user=vaughan [2012-05-03 00:06:18] 447*2^1132404-1 is not prime. Res64: 250A92957C3FC9D7 Time : 0.0 sec. user=vaughan [2012-05-03 01:52:09] 527*2^1132404-1 is not prime. Res64: CBBE56E18FBED2D7 Time : 0.0 sec. user=vaughan [2012-05-03 03:02:12] 563*2^1132404-1 is not prime. Res64: 56D80B839701BE54 Time : 0.0 sec. user=vaughan [2012-05-03 04:47:45] 597*2^1132404-1 is not prime. Res64: CA12C7BD0063832E Time : 0.0 sec. user=henryzz [2012-05-03 04:48:54] 585*2^1132400-1 is not prime. Res64: 58350A32A1533BE6 Time : 0.0 sec. user=marco.bs [2012-05-03 04:57:06] 441*2^1132401-1 is not prime. Res64: E2EB4DA1D0F6AE06 Time : 0.0 sec. user=henryzz [2012-05-03 05:00:38] 445*2^1132401-1 is not prime. Res64: 18E5EE03AD5033A9 Time : 0.0 sec. user=henryzz [2012-05-03 05:00:39] 517*2^1132401-1 is not prime. Res64: 6865F50F8A701480 Time : 0.0 sec. user=henryzz [2012-05-03 05:04:16] 571*2^1132401-1 is not prime. Res64: F1A4545187037EDB Time : 0.0 sec. user=henryzz [2012-05-03 05:09:00] 429*2^1132405-1 is not prime. Res64: 8B6A738F40B74BBF Time : 0.0 sec. user=henryzz [2012-05-03 05:20:54] 525*2^1132405-1 is not prime. Res64: CE363F98CBD303CC Time : 0.0 sec. user=henryzz [2012-05-03 05:21:26] 561*2^1132405-1 is not prime. Res64: 2054D43D8DEDA10A Time : 0.0 sec. user=henryzz [2012-05-03 05:24:23] 405*2^1132406-1 is not prime. Res64: CAE164196BB88E77 Time : 0.0 sec. user=henryzz [2012-05-03 05:29:29] 453*2^1132406-1 is not prime. Res64: F0D5D17ED745EEFE Time : 0.0 sec. user=henryzz [2012-05-03 05:41:31] 585*2^1132406-1 is not prime. Res64: 9B2269A41BEBDF55 Time : 0.0 sec. user=henryzz [2012-05-03 05:41:34] 441*2^1132407-1 is not prime. Res64: FF142AE2668ECD61 Time : 0.0 sec. user=henryzz [2012-05-03 05:44:50] 465*2^1132407-1 is not prime. Res64: 8996A9CB3BBB1189 Time : 0.0 sec. user=marco.bs [2012-05-03 05:46:08] 489*2^1132405-1 is not prime. Res64: 72DAB760A6112ED4 Time : 0.0 sec. user=henryzz [2012-05-03 05:49:33] 513*2^1132407-1 is not prime. Res64: 96FACC8B6A589989 Time : 0.0 sec. user=vaughan [2012-05-03 05:57:02] 453*2^1132407-1 is not prime. Res64: C3BB433FB223E999 Time : 0.0 sec. user=henryzz [2012-05-03 06:01:36] 555*2^1132407-1 is not prime. Res64: DEED6563FCFC2F21 Time : 0.0 sec. user=henryzz [2012-05-03 06:02:03] 419*2^1132408-1 is not prime. Res64: 47FDDCFB56C9B696 Time : 0.0 sec. user=henryzz [2012-05-03 06:04:56] 525*2^1132408-1 is not prime. Res64: 4214DB316435A58B Time : 0.0 sec. user=henryzz [2012-05-03 06:10:06] 487*2^1132409-1 is not prime. Res64: 7A2ED30D1D6E62D6 Time : 0.0 sec. user=henryzz [2012-05-03 06:22:17] 577*2^1132409-1 is not prime. Res64: 57BD8B7FD21BBDCD Time : 0.0 sec. user=henryzz [2012-05-03 06:22:25] 511*2^1132409-1 is not prime. Res64: 35AFB4EB5A0DA867 Time : 0.0 sec. user=henryzz [2012-05-03 06:26:22] 579*2^1132409-1 is not prime. Res64: FEED05E26A99B3D8 Time : 0.0 sec. user=henryzz [2012-05-03 06:30:09] 589*2^1132409-1 is not prime. Res64: B5C88F38DDF255F6 Time : 0.0 sec. user=marco.bs [2012-05-03 06:34:42] 549*2^1132408-1 is not prime. Res64: FDBF83C370808B10 Time : 0.0 sec. user=henryzz [2012-05-03 06:42:38] 513*2^1132410-1 is not prime. Res64: 9CB583A0D874D267 Time : 0.0 sec. user=henryzz [2012-05-03 06:42:39] 483*2^1132410-1 is not prime. Res64: 5D75B8902F69E3E0 Time : 0.0 sec. user=henryzz [2012-05-03 06:46:41] 543*2^1132410-1 is not prime. Res64: A6EE8D2072FDB009 Time : 0.0 sec. user=henryzz [2012-05-03 06:50:54] 453*2^1132411-1 is not prime. Res64: D5468268DA6C9712 Time : 0.0 sec. user=henryzz [2012-05-03 07:03:50] 535*2^1132411-1 is not prime. Res64: 796218D26CB8302D Time : 0.0 sec. user=henryzz [2012-05-03 07:06:33] 525*2^1132412-1 is not prime. Res64: B22EB01540DFD564 Time : 0.0 sec. user=henryzz [2012-05-03 07:08:13] 539*2^1132412-1 is not prime. Res64: AD2FA0936D95AEA6 Time : 0.0 sec. user=henryzz [2012-05-03 07:13:54] 451*2^1132413-1 is not prime. Res64: 8F049DEFBDEC4379 Time : 0.0 sec. user=marco.bs [2012-05-03 07:22:49] 511*2^1132411-1 is not prime. Res64: 08057A247121C2B7 Time : 0.0 sec. user=henryzz [2012-05-03 07:25:50] 555*2^1132413-1 is not prime. Res64: 3449A1AB937EF0A8 Time : 0.0 sec. user=henryzz [2012-05-03 07:27:21] 443*2^1132414-1 is not prime. Res64: 2A734B2FB1A4894C Time : 0.0 sec. user=henryzz [2012-05-03 07:30:09] 447*2^1132414-1 is not prime. Res64: 12EB3A307962C699 Time : 0.0 sec. user=henryzz [2012-05-03 07:34:42] 475*2^1132415-1 is not prime. Res64: 544F0F8813AB452C Time : 0.0 sec. user=henryzz [2012-05-03 07:47:53] 573*2^1132415-1 is not prime. Res64: 1F4F83501EB08F6E Time : 0.0 sec. user=henryzz [2012-05-03 07:48:19] 413*2^1132416-1 is not prime. Res64: C745B9576B6F4FE6 Time : 0.0 sec. user=henryzz [2012-05-03 07:51:36] 429*2^1132416-1 is not prime. Res64: B5C5905834599F97 Time : 0.0 sec. user=henryzz [2012-05-03 07:55:24] 453*2^1132416-1 is not prime. Res64: 899CC59665F69A88 Time : 0.0 sec. user=henryzz [2012-05-03 08:08:33] 459*2^1132416-1 is not prime. Res64: 6A03526485C8FEE8 Time : 0.0 sec. user=henryzz [2012-05-03 08:09:31] 479*2^1132416-1 is not prime. Res64: BA6D6AD50F3436F4 Time : 0.0 sec. user=marco.bs [2012-05-03 08:11:21] 511*2^1132415-1 is not prime. Res64: 12352A1E09D57EB6 Time : 0.0 sec. user=henryzz [2012-05-03 08:12:20] 513*2^1132416-1 is not prime. Res64: BF6CBF0302B705C9 Time : 0.0 sec. user=henryzz [2012-05-03 08:16:12] 557*2^1132416-1 is not prime. Res64: B7AE02CD1CDEF89E Time : 0.0 sec. user=henryzz [2012-05-03 08:29:03] 587*2^1132416-1 is not prime. Res64: ACB2097152D03FAA Time : 0.0 sec. user=henryzz [2012-05-03 08:30:40] 465*2^1132417-1 is not prime. Res64: A956F66CB6E99F9A Time : 0.0 sec. user=henryzz [2012-05-03 08:32:45] 433*2^1132419-1 is not prime. Res64: 4D63AE46FC1AC494 Time : 0.0 sec. user=henryzz [2012-05-03 08:37:12] 481*2^1132419-1 is not prime. Res64: ADFD23194511A24F Time : 0.0 sec. user=henryzz [2012-05-03 08:49:39] 501*2^1132419-1 is not prime. Res64: 122610A7892C053F Time : 0.0 sec. user=henryzz [2012-05-03 08:51:40] 513*2^1132419-1 is not prime. Res64: 4046806D3C7B8972 Time : 0.0 sec. user=henryzz [2012-05-03 08:53:14] 523*2^1132419-1 is not prime. Res64: E16CF694CEA7402F Time : 0.0 sec. user=henryzz [2012-05-03 08:57:40] 595*2^1132419-1 is not prime. Res64: 10BB31378DD5FA6D Time : 0.0 sec. user=marco.bs [2012-05-03 08:59:39] 447*2^1132418-1 is not prime. Res64: F56387811323E123 Time : 0.0 sec. user=henryzz [2012-05-03 09:10:16] 423*2^1132420-1 is not prime. Res64: 58733376B4229ADB Time : 0.0 sec. user=henryzz [2012-05-03 09:13:50] 447*2^1132420-1 is not prime. Res64: E968418075542A3A Time : 0.0 sec. user=henryzz [2012-05-03 09:18:23] 545*2^1132420-1 is not prime. Res64: D5E35343D28A2721 Time : 0.0 sec. user=mdettweiler [2012-05-03 09:18:23] 475*2^1132421-1 is not prime. Res64: 006080222E34AE22 Time : 0.0 sec. user=henryzz [2012-05-03 09:22:57] 597*2^1132420-1 is not prime. Res64: 3A01E9F76068EA2B Time : 0.0 sec. user=henryzz [2012-05-03 09:30:53] 517*2^1132421-1 is not prime. Res64: 70BC51442BAC32B7 Time : 0.0 sec. user=henryzz [2012-05-03 09:34:48] 537*2^1132421-1 is not prime. Res64: E87FFFD023D225F4 Time : 0.0 sec. user=henryzz [2012-05-03 09:38:57] 411*2^1132423-1 is not prime. Res64: 52412778A7454252 Time : 0.0 sec. user=henryzz [2012-05-03 09:43:53] 421*2^1132423-1 is not prime. Res64: 90DC19ACD8B122E9 Time : 0.0 sec. user=marco.bs [2012-05-03 09:47:58] 549*2^1132420-1 is not prime. Res64: 0F3409E0BB13D615 Time : 0.0 sec. user=henryzz [2012-05-03 09:51:33] 453*2^1132423-1 is not prime. Res64: 7CCB5EF4F7FA5538 Time : 0.0 sec. user=henryzz [2012-05-03 09:55:58] 463*2^1132423-1 is not prime. Res64: D5FAA13917D36699 Time : 0.0 sec. user=henryzz [2012-05-03 10:00:15] 489*2^1132423-1 is not prime. Res64: 5D3BF927001035DC Time : 0.0 sec. user=henryzz [2012-05-03 10:04:25] 583*2^1132423-1 is not prime. Res64: 82DF8A4D9598FE43 Time : 0.0 sec. user=henryzz [2012-05-03 10:12:54] 595*2^1132423-1 is not prime. Res64: 37092E4E8416854B Time : 0.0 sec. user=henryzz [2012-05-03 10:17:40] 447*2^1132424-1 is not prime. Res64: AB696AB87111ED84 Time : 0.0 sec. user=henryzz [2012-05-03 10:20:50] 483*2^1132424-1 is not prime. Res64: 5D1B22ECF53DA71D Time : 0.0 sec. user=henryzz [2012-05-03 10:27:04] 509*2^1132424-1 is not prime. Res64: 419FF65E9E0B462D Time : 0.0 sec. user=henryzz [2012-05-03 10:33:40] 465*2^1132425-1 is not prime. Res64: 24D8EC3AE4E96D57 Time : 0.0 sec. user=henryzz [2012-05-03 10:38:13] 507*2^1132425-1 is not prime. Res64: 80ED8744AF559929 Time : 0.0 sec. user=henryzz [2012-05-03 10:42:07] 565*2^1132425-1 is not prime. Res64: 4DD137260F4079D2 Time : 0.0 sec. user=henryzz [2012-05-03 10:47:50] 413*2^1132426-1 is not prime. Res64: AE06F4C199C8AA04 Time : 0.0 sec. user=henryzz [2012-05-03 10:55:39] 483*2^1132426-1 is not prime. Res64: 4345F15ED4DF3947 Time : 0.0 sec. user=henryzz [2012-05-03 11:00:37] 531*2^1132426-1 is not prime. Res64: ED24619C5FCC2050 Time : 0.0 sec. user=henryzz [2012-05-03 11:05:19] 561*2^1132426-1 is not prime. Res64: 5BDB5F25B87DBBE0 Time : 0.0 sec. user=henryzz [2012-05-03 11:13:08] 419*2^1132428-1 is not prime. Res64: 16F6C991199D2579 Time : 0.0 sec. user=vaughan [2012-05-03 11:18:20] 413*2^1132428-1 is not prime. Res64: CC42FD60EB80E9BD Time : 0.0 sec. user=henryzz [2012-05-03 11:33:11] 479*2^1132428-1 is not prime. Res64: DFA2237747691894 Time : 0.0 sec. user=henryzz [2012-05-03 11:34:20] 423*2^1132428-1 is not prime. Res64: 5BCC3385AB2ABFBD Time : 0.0 sec. user=henryzz [2012-05-03 11:44:01] 527*2^1132428-1 is not prime. Res64: D9DA00C3146C7A7E Time : 0.0 sec. user=henryzz [2012-05-03 11:53:11] 405*2^1132430-1 is not prime. Res64: 3F9D4E5D20A845A6 Time : 0.0 sec. user=henryzz [2012-05-03 11:57:58] 467*2^1132430-1 is not prime. Res64: 8814B2617C5D2304 Time : 0.0 sec. user=marco.bs [2012-05-03 12:08:49] 589*2^1132423-1 is not prime. Res64: DA06CB327A94882D Time : 0.0 sec. user=henryzz [2012-05-03 12:10:16] 593*2^1132430-1 is not prime. Res64: B1A1BFC4336A0595 Time : 0.0 sec. user=henryzz [2012-05-03 12:10:54] 473*2^1132430-1 is not prime. Res64: 7154CF1F85F93BE8 Time : 0.0 sec. user=henryzz [2012-05-03 12:19:01] 469*2^1132431-1 is not prime. Res64: E925315EF86B25AD Time : 0.0 sec. user=henryzz [2012-05-03 12:22:50] 531*2^1132431-1 is not prime. Res64: 4D9C6DCD979A8629 Time : 0.0 sec. user=vaughan [2012-05-03 12:27:55] 493*2^1132431-1 is not prime. Res64: CB43015FB04B6CB9 Time : 0.0 sec. user=henryzz [2012-05-03 12:33:44] 429*2^1132432-1 is not prime. Res64: 674470689FFBD624 Time : 0.0 sec. user=henryzz [2012-05-03 12:34:25] 533*2^1132432-1 is not prime. Res64: F1E4FDB7C41828C1 Time : 0.0 sec. user=henryzz [2012-05-03 12:42:39] 569*2^1132432-1 is not prime. Res64: 39E46F102D872F1F Time : 0.0 sec. user=henryzz [2012-05-03 12:48:04] 435*2^1132433-1 is not prime. Res64: 40A517F6B02E16A6 Time : 0.0 sec. user=marco.bs [2012-05-03 12:57:18] 565*2^1132431-1 is not prime. Res64: 648C9CC64F6F608D Time : 0.0 sec. user=henryzz [2012-05-03 13:00:17] 507*2^1132433-1 is not prime. Res64: C592A0F212B61A16 Time : 0.0 sec. user=henryzz [2012-05-03 13:02:16] 529*2^1132433-1 is not prime. Res64: E2CD175B889FCC81 Time : 0.0 sec. user=henryzz [2012-05-03 13:06:44] 461*2^1132434-1 is not prime. Res64: 4A6254F4CC991DEA Time : 0.0 sec. user=henryzz [2012-05-03 13:10:33] 485*2^1132434-1 is not prime. Res64: 27E674AB12069004 Time : 0.0 sec. user=henryzz [2012-05-03 13:21:20] 531*2^1132434-1 is not prime. Res64: 94C5D26743347E95 Time : 0.0 sec. user=henryzz [2012-05-03 13:22:53] 555*2^1132434-1 is not prime. Res64: 92C7C39484327011 Time : 0.0 sec. user=henryzz [2012-05-03 13:30:00] 511*2^1132435-1 is not prime. Res64: FF9FF43650314D64 Time : 0.0 sec. user=henryzz [2012-05-03 13:31:06] 437*2^1132436-1 is not prime. Res64: ECADED16B93C008F Time : 0.0 sec. user=vaughan [2012-05-03 13:37:20] 593*2^1132434-1 is not prime. Res64: 751178DF6D32772B Time : 0.0 sec. user=henryzz [2012-05-03 13:42:37] 449*2^1132436-1 is not prime. Res64: DD12C9AF78880D34 Time : 0.0 sec. user=henryzz [2012-05-03 13:43:22] 519*2^1132436-1 is not prime. Res64: 9561B5907EDF9461 Time : 0.0 sec. user=marco.bs [2012-05-03 13:45:32] 501*2^1132434-1 is not prime. Res64: 24C741D8E2EC86AE Time : 0.0 sec. user=henryzz [2012-05-03 13:50:56] 563*2^1132436-1 is not prime. Res64: B003803166D8E6FF Time : 0.0 sec. user=henryzz [2012-05-03 13:51:27] 593*2^1132436-1 is not prime. Res64: BBA60312BAD136B7 Time : 0.0 sec. user=henryzz [2012-05-03 14:03:00] 417*2^1132437-1 is not prime. Res64: 6501451FD6899894 Time : 0.0 sec. user=henryzz [2012-05-03 14:04:11] 427*2^1132437-1 is not prime. Res64: B26312F48F5BA38D Time : 0.0 sec. user=henryzz [2012-05-03 14:11:23] 571*2^1132437-1 is not prime. Res64: 11ED8A2C0778A99B Time : 0.0 sec. user=henryzz [2012-05-03 14:12:21] 461*2^1132438-1 is not prime. Res64: 831742D6A26F596B Time : 0.0 sec. user=henryzz [2012-05-03 14:24:02] 525*2^1132438-1 is not prime. Res64: 95F89312117DF9A7 Time : 0.0 sec. user=henryzz [2012-05-03 14:25:11] 591*2^1132438-1 is not prime. Res64: 66935CDC6D37EFB5 Time : 0.0 sec. user=henryzz [2012-05-03 14:32:30] 531*2^1132439-1 is not prime. Res64: 435DACB5AE19B530 Time : 0.0 sec. user=marco.bs [2012-05-03 14:34:37] 507*2^1132437-1 is not prime. Res64: AAC4207082725050 Time : 0.0 sec. user=henryzz [2012-05-03 14:37:44] 559*2^1132439-1 is not prime. Res64: D199F353A43FE336 Time : 0.0 sec. user=henryzz [2012-05-03 14:45:22] 565*2^1132439-1 is not prime. Res64: 9A2117D02232BF17 Time : 0.0 sec. user=henryzz [2012-05-03 14:47:06] 589*2^1132439-1 is not prime. Res64: EA4CC9E679BD661F Time : 0.0 sec. user=henryzz [2012-05-03 14:53:28] 437*2^1132440-1 is not prime. Res64: 2D36DEF8F8881CB6 Time : 0.0 sec. user=henryzz [2012-05-03 14:58:56] 539*2^1132440-1 is not prime. Res64: 045FCFC57136A6C5 Time : 0.0 sec. user=henryzz [2012-05-03 15:06:28] 597*2^1132440-1 is not prime. Res64: 2A988753385071D9 Time : 0.0 sec. user=henryzz [2012-05-03 15:07:53] 441*2^1132441-1 is not prime. Res64: 89CCEA41EC1427B6 Time : 0.0 sec. user=henryzz [2012-05-03 15:14:30] 407*2^1132442-1 is not prime. Res64: 7C8E4AB8DDF0928F Time : 0.0 sec. user=henryzz [2012-05-03 15:19:36] 545*2^1132442-1 is not prime. Res64: 848A3850AB82FFA3 Time : 0.0 sec. user=vaughan [2012-05-03 15:23:11] 517*2^1132441-1 is not prime. Res64: 3504B95AEFB19C7E Time : 0.0 sec. user=henryzz [2012-05-03 15:28:00] 573*2^1132442-1 is not prime. Res64: F5B8ACE440875CC9 Time : 0.0 sec. user=henryzz [2012-05-03 15:33:39] 445*2^1132443-1 is not prime. Res64: A633D5F9A2FC6CDA Time : 0.0 sec. user=henryzz [2012-05-03 15:36:18] 451*2^1132443-1 is not prime. Res64: 7A91AD5A145AB2C0 Time : 0.0 sec. user=henryzz [2012-05-03 15:40:49] 529*2^1132443-1 is not prime. Res64: E48288A36B659CF2 Time : 0.0 sec. user=henryzz [2012-05-03 15:52:19] 571*2^1132443-1 is not prime. Res64: D179AD98E6203DFF Time : 0.0 sec. user=henryzz [2012-05-03 15:58:15] 413*2^1132444-1 is not prime. Res64: 7B19927E7CBEE522 Time : 0.0 sec. user=henryzz [2012-05-03 16:01:04] 591*2^1132443-1 is not prime. Res64: F44712D98DD2AF9E Time : 0.0 sec. user=henryzz [2012-05-03 16:01:42] 573*2^1132444-1 is not prime. Res64: 135B1C467218BEC6 Time : 0.0 sec. user=henryzz [2012-05-03 16:13:44] 411*2^1132445-1 is not prime. Res64: 91A8877EB86F7105 Time : 0.0 sec. user=henryzz [2012-05-03 16:18:44] 507*2^1132445-1 is not prime. Res64: 5B55E0A0408B60EF Time : 0.0 sec. user=henryzz [2012-05-03 16:21:25] 525*2^1132445-1 is not prime. Res64: 810E72A8CA33AC02 Time : 0.0 sec. user=henryzz [2012-05-03 16:23:08] 529*2^1132445-1 is not prime. Res64: C6EA9AC9420FDC04 Time : 0.0 sec. user=henryzz [2012-05-03 16:34:18] 547*2^1132445-1 is not prime. Res64: 7A58C0C604306B89 Time : 0.0 sec. user=henryzz [2012-05-03 16:39:39] 579*2^1132445-1 is not prime. Res64: 8AD9A239BD374549 Time : 0.0 sec. user=henryzz [2012-05-03 16:42:06] 589*2^1132445-1 is not prime. Res64: 0801CC8815B99927 Time : 0.0 sec. user=henryzz [2012-05-03 16:44:43] 591*2^1132445-1 is not prime. Res64: 9B75CF388C76AC8D Time : 0.0 sec. user=henryzz [2012-05-03 16:55:20] 557*2^1132446-1 is not prime. Res64: 8A23BEA99BC8AAFB Time : 0.0 sec. user=henryzz [2012-05-03 17:00:13] 573*2^1132446-1 is not prime. Res64: 4151F1F068CF35D5 Time : 0.0 sec. user=henryzz [2012-05-03 17:03:15] 483*2^1132447-1 is not prime. Res64: 259F316126345F44 Time : 0.0 sec. user=henryzz [2012-05-03 17:06:28] 553*2^1132447-1 is not prime. Res64: CAF3DC064DF5C8EE Time : 0.0 sec. user=henryzz [2012-05-03 17:16:35] 559*2^1132447-1 is not prime. Res64: 6FC199B1A961AB05 Time : 0.0 sec. user=henryzz [2012-05-03 17:21:09] 465*2^1132448-1 is not prime. Res64: 3EFD24D34C684EF9 Time : 0.0 sec. user=henryzz [2012-05-03 17:27:22] 481*2^1132449-1 is not prime. Res64: 0FA1713E738B9430 Time : 0.0 sec. user=henryzz [2012-05-03 17:27:48] 537*2^1132448-1 is not prime. Res64: DDE43BDCB904C347 Time : 0.0 sec. user=henryzz [2012-05-03 17:38:56] 535*2^1132449-1 is not prime. Res64: 1B08857194D8572D Time : 0.0 sec. user=henryzz [2012-05-03 17:42:28] 443*2^1132450-1 is not prime. Res64: FDD4A78A9F1D8C6C Time : 0.0 sec. user=vaughan [2012-05-03 17:44:45] 487*2^1132449-1 is not prime. Res64: 39F51EF4B4D92B75 Time : 0.0 sec. user=vaughan [2012-05-03 18:18:10] 513*2^1132452-1 is not prime. Res64: ED9C938C21EC47F2 Time : 0.0 sec. user=vaughan [2012-05-03 18:54:51] 527*2^1132452-1 is not prime. Res64: 61F38EE59233A62C Time : 0.0 sec. user=vaughan [2012-05-03 21:16:42] 439*2^1132453-1 is not prime. Res64: 1D0F1DB3150221B8 Time : 0.0 sec.