user=mdettweiler [2009-04-03 00:04:46] 493*2^666611-1 is not prime. Res64: 7298C7D16F9C25B3 Time : 2721.0 sec. user=mdettweiler [2009-04-03 00:04:58] 405*2^666612-1 is not prime. Res64: C273AFD37F9FB6BB Time : 2731.0 sec. user=mdettweiler [2009-04-03 00:05:20] 455*2^666612-1 is not prime. Res64: 9FF5826D2007268D Time : 2717.0 sec. user=glennpat [2009-04-03 00:09:55] 427*2^666601-1 is not prime. Res64: A4DAD5A03FA09A3B Time : 9592.0 sec. user=mdettweiler [2009-04-03 00:13:47] 537*2^666612-1 is not prime. Res64: 9BA3CBDFF2B91AF7 Time : 2705.0 sec. user=mdettweiler [2009-04-03 00:14:00] 539*2^666612-1 is not prime. Res64: BA90DEEDF5212E34 Time : 2706.0 sec. user=mdettweiler [2009-04-03 00:14:20] 549*2^666612-1 is not prime. Res64: 87378B56DAC695C6 Time : 2705.0 sec. user=glennpat [2009-04-03 00:20:34] 425*2^666602-1 is not prime. Res64: AA9BF6C772C82C4A Time : 9590.0 sec. user=mdettweiler [2009-04-03 00:22:48] 569*2^666612-1 is not prime. Res64: 05F8C4CF7F3F384E Time : 2705.0 sec. user=mdettweiler [2009-04-03 00:23:00] 427*2^666613-1 is not prime. Res64: 85D8AFA2627A1F42 Time : 2704.0 sec. user=mdettweiler [2009-04-03 00:23:22] 545*2^666614-1 is not prime. Res64: 7A5A191A48606A2E Time : 2706.0 sec. user=glennpat [2009-04-03 00:31:13] 471*2^666603-1 is not prime. Res64: 2E19A8726458BCC5 Time : 9588.0 sec. user=mdettweiler [2009-04-03 00:32:03] 405*2^666615-1 is not prime. Res64: 0CE07E677B7C69A8 Time : 2707.0 sec. user=mdettweiler [2009-04-03 00:33:14] 587*2^666614-1 is not prime. Res64: 92B14AB81289AFAF Time : 2790.0 sec. user=mdettweiler [2009-04-03 00:33:14] 445*2^666615-1 is not prime. Res64: E7C653A796451B03 Time : 2758.0 sec. user=mdettweiler [2009-04-03 00:40:50] 583*2^666615-1 is not prime. Res64: 68A3F4BB40B267FE Time : 2657.0 sec. user=mdettweiler [2009-04-03 00:41:03] 483*2^666616-1 is not prime. Res64: 3858A786925D6329 Time : 2643.0 sec. user=mdettweiler [2009-04-03 00:41:24] 447*2^666616-1 is not prime. Res64: 604E5CD2F5AEBC55 Time : 2665.0 sec. user=glennpat [2009-04-03 00:42:00] 591*2^666603-1 is not prime. Res64: 3D36E0F6D1D95E9B Time : 9595.0 sec. user=mdettweiler [2009-04-03 00:49:50] 537*2^666616-1 is not prime. Res64: D7969E2EF9D7CC54 Time : 2704.0 sec. user=mdettweiler [2009-04-03 00:50:04] 475*2^666617-1 is not prime. Res64: 037713B32BBA982B Time : 2706.0 sec. user=mdettweiler [2009-04-03 00:50:25] 485*2^666618-1 is not prime. Res64: 3554CBF2A3EEDF22 Time : 2705.0 sec. user=glennpat [2009-04-03 00:52:42] 453*2^666604-1 is not prime. Res64: 3F39A2FF246FDB3E Time : 9597.0 sec. user=mdettweiler [2009-04-03 00:58:52] 501*2^666618-1 is not prime. Res64: D19AD527F5C1194D Time : 2705.0 sec. user=mdettweiler [2009-04-03 00:59:06] 555*2^666618-1 is not prime. Res64: 52FC804EA1E9B2E0 Time : 2707.0 sec. user=mdettweiler [2009-04-03 00:59:26] 429*2^666619-1 is not prime. Res64: 3EA44A5CB619B305 Time : 2706.0 sec. user=glennpat [2009-04-03 01:03:22] 417*2^666606-1 is not prime. Res64: 34D828CC23EC5AEE Time : 9598.0 sec. user=mdettweiler [2009-04-03 01:07:54] 549*2^666619-1 is not prime. Res64: A358516609F675DA Time : 2706.0 sec. user=mdettweiler [2009-04-03 01:08:06] 595*2^666619-1 is not prime. Res64: 0CBBC3811802ABD3 Time : 2706.0 sec. user=mdettweiler [2009-04-03 01:08:27] 479*2^666620-1 is not prime. Res64: 5B6911019858D4AE Time : 2705.0 sec. user=glennpat [2009-04-03 01:14:02] 585*2^666606-1 is not prime. Res64: F02B1D51278B9A0D Time : 9598.0 sec. user=mdettweiler [2009-04-03 01:16:54] 511*2^666621-1 is not prime. Res64: 4F9056DBA43F8BB6 Time : 2620.0 sec. user=mdettweiler [2009-04-03 01:17:07] 495*2^666621-1 is not prime. Res64: 417D4EE1B262E24E Time : 2705.0 sec. user=mdettweiler [2009-04-03 01:17:28] 529*2^666621-1 is not prime. Res64: 91AFDC4A751C11C3 Time : 2654.0 sec. user=glennpat [2009-04-03 01:24:42] 585*2^666608-1 is not prime. Res64: E100768530ED8E56 Time : 9597.0 sec. user=mdettweiler [2009-04-03 01:25:55] 471*2^666622-1 is not prime. Res64: 79313A9C1007545D Time : 2705.0 sec. user=mdettweiler [2009-04-03 01:26:07] 591*2^666622-1 is not prime. Res64: 30CCEA119AAD4871 Time : 2705.0 sec. user=mdettweiler [2009-04-03 01:26:29] 433*2^666623-1 is not prime. Res64: 2FE1E32B8F5E2613 Time : 2705.0 sec. user=mdettweiler [2009-04-03 01:34:55] 505*2^666623-1 is not prime. Res64: 5D9E93F7B83DAF77 Time : 2705.0 sec. user=mdettweiler [2009-04-03 01:35:09] 525*2^666623-1 is not prime. Res64: 7FDD9272804B2119 Time : 2705.0 sec. user=glennpat [2009-04-03 01:35:23] 425*2^666610-1 is not prime. Res64: 6EA29DDC2BECE57A Time : 9596.0 sec. user=mdettweiler [2009-04-03 01:35:29] 573*2^666623-1 is not prime. Res64: 17A8D5014C4F764F Time : 2704.0 sec. user=mdettweiler [2009-04-03 01:43:56] 413*2^666624-1 is not prime. Res64: 7D63981BC0A91471 Time : 2704.0 sec. user=mdettweiler [2009-04-03 01:44:09] 419*2^666624-1 is not prime. Res64: 342FE9E72ED4113E Time : 2703.0 sec. user=mdettweiler [2009-04-03 01:44:30] 473*2^666624-1 is not prime. Res64: 635773C63236DB04 Time : 2704.0 sec. user=glennpat [2009-04-03 01:46:04] 561*2^666610-1 is not prime. Res64: BE8E43AF5D9C3D2F Time : 9596.0 sec. user=mdettweiler [2009-04-03 01:52:57] 525*2^666624-1 is not prime. Res64: 04B45AA06933B299 Time : 2704.0 sec. user=mdettweiler [2009-04-03 01:53:10] 527*2^666624-1 is not prime. Res64: 7001189868E1532B Time : 2704.0 sec. user=mdettweiler [2009-04-03 01:53:31] 557*2^666624-1 is not prime. Res64: D2B78CB6F954E533 Time : 2705.0 sec. user=glennpat [2009-04-03 01:56:46] 465*2^666611-1 is not prime. Res64: 0EE95DADFA84177C Time : 9600.0 sec. user=mdettweiler [2009-04-03 02:02:52] 407*2^666626-1 is not prime. Res64: 7CC93F5C1B6B7838 Time : 2724.0 sec. user=mdettweiler [2009-04-03 02:03:22] 489*2^666625-1 is not prime. Res64: 9C6A354C2A64832C Time : 2788.0 sec. user=mdettweiler [2009-04-03 02:03:35] 531*2^666625-1 is not prime. Res64: 00408905EA9EEB82 Time : 2788.0 sec. user=glennpat [2009-04-03 02:07:25] 483*2^666612-1 is not prime. Res64: 868769531BB1711C Time : 9599.0 sec. user=mdettweiler [2009-04-03 02:10:59] 551*2^666626-1 is not prime. Res64: 036A9B4C8A813FE3 Time : 2704.0 sec. user=mdettweiler [2009-04-03 02:11:12] 593*2^666626-1 is not prime. Res64: 49666A61CC7E5D98 Time : 2705.0 sec. user=mdettweiler [2009-04-03 02:11:33] 433*2^666627-1 is not prime. Res64: C5858515627029A0 Time : 2704.0 sec. user=glennpat [2009-04-03 02:18:06] 555*2^666613-1 is not prime. Res64: 716BEC35913887BE Time : 9601.0 sec. user=mdettweiler [2009-04-03 02:20:00] 441*2^666627-1 is not prime. Res64: FAC4FCF1AAFDBFAF Time : 2705.0 sec. user=mdettweiler [2009-04-03 02:20:13] 465*2^666627-1 is not prime. Res64: EF25297DDAD32FA9 Time : 2704.0 sec. user=mdettweiler [2009-04-03 02:20:33] 579*2^666627-1 is not prime. Res64: 8AC1816E3AD9E805 Time : 2704.0 sec. user=glennpat [2009-04-03 02:28:47] 501*2^666615-1 is not prime. Res64: 16ED7E05B790EF6B Time : 9605.0 sec. user=mdettweiler [2009-04-03 02:29:01] 453*2^666628-1 is not prime. Res64: 3BA92CE3A87F3312 Time : 2705.0 sec. user=mdettweiler [2009-04-03 02:29:13] 489*2^666628-1 is not prime. Res64: 0D7918A085909186 Time : 2704.0 sec. user=mdettweiler [2009-04-03 02:29:35] 525*2^666628-1 is not prime. Res64: 8E52FB2CC28DC3AB Time : 2705.0 sec. user=mdettweiler [2009-04-03 02:38:02] 411*2^666629-1 is not prime. Res64: 7DE33FDC762B6925 Time : 2705.0 sec. user=mdettweiler [2009-04-03 02:38:15] 417*2^666629-1 is not prime. Res64: C1E1352484D5D6E8 Time : 2705.0 sec. user=mdettweiler [2009-04-03 02:38:36] 459*2^666629-1 is not prime. Res64: 42E3DBB1D8705677 Time : 2705.0 sec. user=glennpat [2009-04-03 02:39:25] 485*2^666616-1 is not prime. Res64: 4EEE5210D08B3AE3 Time : 9607.0 sec. user=mdettweiler [2009-04-03 02:47:03] 565*2^666629-1 is not prime. Res64: 099B732BF0857990 Time : 2621.0 sec. user=mdettweiler [2009-04-03 02:47:15] 465*2^666630-1 is not prime. Res64: 8DC49311C1AE7F0A Time : 2620.0 sec. user=mdettweiler [2009-04-03 02:47:37] 405*2^666631-1 is not prime. Res64: 8D3E693949E95F14 Time : 2625.0 sec. user=glennpat [2009-04-03 02:50:08] 497*2^666618-1 is not prime. Res64: 40D1E15E593F098D Time : 9613.0 sec. user=mdettweiler [2009-04-03 02:56:03] 453*2^666631-1 is not prime. Res64: B4EEE103B02436AC Time : 2705.0 sec. user=mdettweiler [2009-04-03 02:56:16] 463*2^666631-1 is not prime. Res64: 36D84103728A80C8 Time : 2704.0 sec. user=mdettweiler [2009-04-03 02:56:38] 505*2^666631-1 is not prime. Res64: 7E81C0EBF8060D67 Time : 2705.0 sec. user=glennpat [2009-04-03 03:00:43] 451*2^666619-1 is not prime. Res64: A01E8F7C09D34EEE Time : 9609.0 sec. user=mdettweiler [2009-04-03 03:06:29] 525*2^666631-1 is not prime. Res64: 5A0D12CC7DF8C234 Time : 2789.0 sec. user=mdettweiler [2009-04-03 03:06:29] 595*2^666631-1 is not prime. Res64: 30B1B838573FA0E4 Time : 2777.0 sec. user=mdettweiler [2009-04-03 03:06:30] 417*2^666632-1 is not prime. Res64: BC70EB53383E0999 Time : 2757.0 sec. user=glennpat [2009-04-03 03:11:19] 563*2^666620-1 is not prime. Res64: 91684471A66B91A9 Time : 9606.0 sec. user=mdettweiler [2009-04-03 03:14:05] 489*2^666632-1 is not prime. Res64: 7F0C7525BA425B0F Time : 2704.0 sec. user=mdettweiler [2009-04-03 03:14:18] 495*2^666632-1 is not prime. Res64: 73138C9A4DC0B6D2 Time : 2705.0 sec. user=mdettweiler [2009-04-03 03:14:39] 567*2^666632-1 is not prime. Res64: 586D563F768FAB0C Time : 2704.0 sec. user=glennpat [2009-04-03 03:22:06] 441*2^666623-1 is not prime. Res64: FCB950ABEB512665 Time : 9606.0 sec. user=mdettweiler [2009-04-03 03:23:06] 573*2^666632-1 is not prime. Res64: B0DA6DB2D8ECA623 Time : 2704.0 sec. user=mdettweiler [2009-04-03 03:23:18] 405*2^666633-1 is not prime. Res64: 8D7B2E4CC9B6DDD3 Time : 2703.0 sec. user=mdettweiler [2009-04-03 03:23:41] 471*2^666633-1 is not prime. Res64: 4A5D132F325E06BB Time : 2706.0 sec. user=mdettweiler [2009-04-03 03:32:07] 529*2^666633-1 is not prime. Res64: 9B5B3FAC8AB7877D Time : 2704.0 sec. user=mdettweiler [2009-04-03 03:32:20] 549*2^666633-1 is not prime. Res64: 7E43555CDD84445D Time : 2705.0 sec. user=mdettweiler [2009-04-03 03:32:41] 411*2^666634-1 is not prime. Res64: 8990E0237A925BE1 Time : 2704.0 sec. user=glennpat [2009-04-03 03:32:44] 591*2^666623-1 is not prime. Res64: D36C05ECF43AA89C Time : 9603.0 sec. user=mdettweiler [2009-04-03 03:41:07] 497*2^666634-1 is not prime. Res64: FD5A6F53A5AB422A Time : 2704.0 sec. user=mdettweiler [2009-04-03 03:41:21] 525*2^666634-1 is not prime. Res64: 3CF5995653DB880D Time : 2705.0 sec. user=mdettweiler [2009-04-03 03:41:43] 531*2^666634-1 is not prime. Res64: A5E10732AF23F670 Time : 2705.0 sec. user=glennpat [2009-04-03 03:43:23] 507*2^666624-1 is not prime. Res64: 9576A48C4FE3D37C Time : 9601.0 sec. user=mdettweiler [2009-04-03 03:50:09] 561*2^666634-1 is not prime. Res64: 8FCF06D6DB610187 Time : 2620.0 sec. user=mdettweiler [2009-04-03 03:50:21] 409*2^666635-1 is not prime. Res64: 2BE92D835FB9B2CD Time : 2632.0 sec. user=mdettweiler [2009-04-03 03:50:43] 405*2^666636-1 is not prime. Res64: D085D276E7CAA115 Time : 2654.0 sec. user=glennpat [2009-04-03 03:54:02] 429*2^666625-1 is not prime. Res64: D9B0FE57CAC89474 Time : 9600.0 sec. user=mdettweiler [2009-04-03 03:59:09] 465*2^666636-1 is not prime. Res64: 32623F7CF94180BE Time : 2704.0 sec. user=mdettweiler [2009-04-03 03:59:22] 479*2^666636-1 is not prime. Res64: C26A46F43312FE47 Time : 2704.0 sec. user=mdettweiler [2009-04-03 04:00:35] 485*2^666636-1 is not prime. Res64: 0F92A604E0119034 Time : 2756.0 sec. user=glennpat [2009-04-03 04:04:41] 507*2^666626-1 is not prime. Res64: 411D8B7D582C6DD2 Time : 9600.0 sec. user=mdettweiler [2009-04-03 04:08:10] 527*2^666636-1 is not prime. Res64: FEF8BE6A3ED035E4 Time : 2704.0 sec. user=mdettweiler [2009-04-03 04:08:22] 545*2^666636-1 is not prime. Res64: E7DC30EC06B3DABA Time : 2704.0 sec. user=mdettweiler [2009-04-03 04:08:46] 593*2^666636-1 is not prime. Res64: C37F37BFEFA66F9B Time : 2705.0 sec. user=glennpat [2009-04-03 04:15:20] 511*2^666627-1 is not prime. Res64: 5423C06D4853EE11 Time : 9597.0 sec. user=mdettweiler [2009-04-03 04:17:10] 429*2^666637-1 is not prime. Res64: 2BB01D630EF379E1 Time : 2704.0 sec. user=mdettweiler [2009-04-03 04:17:23] 465*2^666637-1 is not prime. Res64: AED4BFEA3A4510BA Time : 2703.0 sec. user=mdettweiler [2009-04-03 04:17:46] 499*2^666637-1 is not prime. Res64: 67D977A7F7A51B12 Time : 2705.0 sec. user=glennpat [2009-04-03 04:26:00] 573*2^666628-1 is not prime. Res64: 91A08C12B936437B Time : 9596.0 sec. user=mdettweiler [2009-04-03 04:26:39] 447*2^666638-1 is not prime. Res64: 0761308BE9F05FB0 Time : 2719.0 sec. user=mdettweiler [2009-04-03 04:26:47] 411*2^666639-1 is not prime. Res64: A2E8D31189E2CFA1 Time : 2704.0 sec. user=mdettweiler [2009-04-03 04:27:35] 577*2^666637-1 is not prime. Res64: 61DCFFE0F405393B Time : 2788.0 sec. user=mdettweiler [2009-04-03 04:35:12] 433*2^666639-1 is not prime. Res64: 79CBE912D2BCF90A Time : 2703.0 sec. user=mdettweiler [2009-04-03 04:35:24] 481*2^666639-1 is not prime. Res64: 285E5D11CCC3360B Time : 2703.0 sec. user=mdettweiler [2009-04-03 04:35:47] 573*2^666639-1 is not prime. Res64: B36D31716D395839 Time : 2704.0 sec. user=glennpat [2009-04-03 04:36:44] 489*2^666629-1 is not prime. Res64: BB61BE06A7CC70AE Time : 9598.0 sec. user=mdettweiler [2009-04-03 04:44:12] 489*2^666640-1 is not prime. Res64: 92D9613F0B843D50 Time : 2703.0 sec. user=mdettweiler [2009-04-03 04:44:25] 567*2^666640-1 is not prime. Res64: B5C67B0A3D7712A0 Time : 2703.0 sec. user=mdettweiler [2009-04-03 04:44:49] 597*2^666640-1 is not prime. Res64: EFE9BA4339227A00 Time : 2654.0 sec. user=glennpat [2009-04-03 04:47:21] 433*2^666631-1 is not prime. Res64: B8E64887ED1F11C5 Time : 9596.0 sec. user=mdettweiler [2009-04-03 04:53:13] 413*2^666642-1 is not prime. Res64: A00F7254EF972613 Time : 2703.0 sec. user=mdettweiler [2009-04-03 04:53:25] 453*2^666642-1 is not prime. Res64: 3A522DCC1D602B94 Time : 2703.0 sec. user=mdettweiler [2009-04-03 04:53:49] 495*2^666642-1 is not prime. Res64: CFF26214C015EB5D Time : 2703.0 sec. user=glennpat [2009-04-03 04:58:00] 511*2^666631-1 is not prime. Res64: 49DFC082D88A7693 Time : 9594.0 sec. user=glennpat [2009-04-03 05:08:40] 483*2^666632-1 is not prime. Res64: 66CA868BEA9006AF Time : 9593.0 sec. user=glennpat [2009-04-03 05:19:19] 517*2^666633-1 is not prime. Res64: EFAC65540AC6B4F7 Time : 9594.0 sec. user=glennpat [2009-04-03 05:29:56] 465*2^666634-1 is not prime. Res64: 57194E2FE83F71E1 Time : 9589.0 sec. user=glennpat [2009-04-03 05:40:31] 533*2^666634-1 is not prime. Res64: 4A61B25047379B90 Time : 9588.0 sec. user=glennpat [2009-04-03 05:51:13] 425*2^666636-1 is not prime. Res64: FBA60664035600BD Time : 9594.0 sec. user=glennpat [2009-04-03 06:01:51] 513*2^666636-1 is not prime. Res64: 66E900A9B3ABDBB4 Time : 9585.0 sec. user=glennpat [2009-04-03 06:12:28] 537*2^666637-1 is not prime. Res64: 206E655E20B9F9E6 Time : 9584.0 sec. user=glennpat [2009-04-03 06:23:10] 415*2^666639-1 is not prime. Res64: C5BB9FB49576368F Time : 9587.0 sec. user=glennpat [2009-04-03 06:33:47] 583*2^666639-1 is not prime. Res64: 3A8494943D9640DC Time : 9585.0 sec. user=glennpat [2009-04-03 06:44:29] 507*2^666641-1 is not prime. Res64: BC25280E37FAF939 Time : 9588.0 sec. user=glennpat [2009-04-03 06:55:05] 527*2^666642-1 is not prime. Res64: FCDECD34CF856F5D Time : 9585.0 sec. user=glennpat [2009-04-03 07:05:40] 573*2^666643-1 is not prime. Res64: 5C12AD82C889D633 Time : 9580.0 sec. user=glennpat [2009-04-03 07:16:17] 461*2^666646-1 is not prime. Res64: 7D8098E483B01904 Time : 9573.0 sec. user=glennpat [2009-04-03 07:26:53] 451*2^666647-1 is not prime. Res64: 11D1A553F72E3436 Time : 9572.0 sec. user=glennpat [2009-04-03 07:37:32] 565*2^666647-1 is not prime. Res64: B2605788AFDAEEC9 Time : 9572.0 sec. user=glennpat [2009-04-03 07:48:13] 441*2^666649-1 is not prime. Res64: F62805D527CC2C86 Time : 9573.0 sec. user=glennpat [2009-04-03 07:58:54] 525*2^666649-1 is not prime. Res64: 2FF4310D3DDAEEBE Time : 9575.0 sec. user=glennpat [2009-04-03 08:09:33] 515*2^666648-1 is not prime. Res64: 8481941BC6C2B931 Time : 9577.0 sec. user=glennpat [2009-04-03 08:20:12] 539*2^666648-1 is not prime. Res64: 76C0120A328523CE Time : 9581.0 sec. user=glennpat [2009-04-03 08:30:51] 569*2^666648-1 is not prime. Res64: 690B99A07E0806BE Time : 9578.0 sec. user=glennpat [2009-04-03 08:41:30] 535*2^666649-1 is not prime. Res64: CDF914E32D2345B0 Time : 9579.0 sec. user=glennpat [2009-04-03 08:52:11] 555*2^666649-1 is not prime. Res64: 68F31DC8623D17FC Time : 9584.0 sec. user=glennpat [2009-04-03 09:02:51] 425*2^666650-1 is not prime. Res64: B1D41EF0FDC0FAF3 Time : 9581.0 sec. user=glennpat [2009-04-03 09:13:30] 437*2^666650-1 is not prime. Res64: 9A27AC5B3F5ADAD8 Time : 9583.0 sec. user=glennpat [2009-04-03 09:24:07] 447*2^666650-1 is not prime. Res64: 461C4210392F5F4E Time : 9578.0 sec. user=glennpat [2009-04-03 09:34:47] 521*2^666650-1 is not prime. Res64: EA3F0C92155ABF7E Time : 9583.0 sec. user=glennpat [2009-04-03 09:45:24] 531*2^666650-1 is not prime. Res64: 44E364D8A46E36DB Time : 9585.0 sec. user=glennpat [2009-04-03 09:55:59] 533*2^666650-1 is not prime. Res64: F22A8D5EAEFF45D3 Time : 9583.0 sec. user=glennpat [2009-04-03 10:06:36] 405*2^666651-1 is not prime. Res64: 3A061CDD3E14C2D1 Time : 9583.0 sec. user=glennpat [2009-04-03 10:17:17] 409*2^666651-1 is not prime. Res64: C223362813A0C181 Time : 9586.0 sec. user=glennpat [2009-04-03 10:27:56] 445*2^666651-1 is not prime. Res64: 8D38DE91BF65A8E7 Time : 9584.0 sec. user=glennpat [2009-04-03 10:38:34] 529*2^666651-1 is not prime. Res64: CBF46D374E0DD64A Time : 9580.0 sec. user=glennpat [2009-04-03 10:49:15] 583*2^666651-1 is not prime. Res64: F308BDB01D6E8A0F Time : 9582.0 sec. user=glennpat [2009-04-03 10:59:57] 437*2^666652-1 is not prime. Res64: 0E8EBFF84FDE9403 Time : 9585.0 sec. user=glennpat [2009-04-03 11:10:36] 447*2^666652-1 is not prime. Res64: 27826D754EFE2D70 Time : 9585.0 sec. user=glennpat [2009-04-03 11:21:17] 449*2^666652-1 is not prime. Res64: 7B5E03573B322EE7 Time : 9587.0 sec. user=glennpat [2009-04-03 11:31:57] 485*2^666652-1 is not prime. Res64: E6ABDEE8CB859B9F Time : 9586.0 sec. user=glennpat [2009-04-03 11:42:37] 489*2^666652-1 is not prime. Res64: 2C286B101C820A64 Time : 9586.0 sec. user=glennpat [2009-04-03 11:53:15] 549*2^666652-1 is not prime. Res64: 8A9E33A88154FF41 Time : 9585.0 sec. user=glennpat [2009-04-03 12:03:57] 465*2^666653-1 is not prime. Res64: AB2D9EA06EFCD8F7 Time : 9590.0 sec. user=glennpat [2009-04-03 12:14:35] 525*2^666653-1 is not prime. Res64: E5EB113AE8B11CED Time : 9588.0 sec. user=glennpat [2009-04-03 12:25:10] 401*2^666654-1 is not prime. Res64: 187BC4B9D70FCE7A Time : 9587.0 sec. user=glennpat [2009-04-03 12:35:46] 437*2^666654-1 is not prime. Res64: 8A71505F34B388D7 Time : 9587.0 sec. user=glennpat [2009-04-03 12:46:24] 473*2^666654-1 is not prime. Res64: D5263CCBDA522645 Time : 9588.0 sec. user=mdettweiler [2009-04-03 12:51:40] 523*2^666643-1 is not prime. Res64: 64CE1CDA4A3B131E Time : 30834.0 sec. user=mdettweiler [2009-04-03 12:51:40] 421*2^666643-1 is not prime. Res64: 39195F3509792A60 Time : 30857.0 sec. user=mdettweiler [2009-04-03 12:51:40] 593*2^666642-1 is not prime. Res64: AF41D6291D7DAA3D Time : 30870.0 sec. user=mdettweiler [2009-04-03 12:51:40] 425*2^666644-1 is not prime. Res64: 307348E14608EDCC Time : 30293.0 sec. user=mdettweiler [2009-04-03 12:51:40] 475*2^666645-1 is not prime. Res64: 539A9E630AA6D049 Time : 30240.0 sec. user=mdettweiler [2009-04-03 12:51:40] 473*2^666644-1 is not prime. Res64: 9AC482982E06E54C Time : 30245.0 sec. user=glennpat [2009-04-03 12:57:05] 405*2^666655-1 is not prime. Res64: C7B8F6F5F07E3B56 Time : 9588.0 sec. user=mdettweiler [2009-04-03 12:57:56] 531*2^666645-1 is not prime. Res64: 13EC80CBE631231F Time : 30152.0 sec. user=mdettweiler [2009-04-03 12:58:08] 511*2^666645-1 is not prime. Res64: 0D0275052ECB77EB Time : 30177.0 sec. user=mdettweiler [2009-04-03 12:58:13] 565*2^666645-1 is not prime. Res64: 4926F2E338445D0E Time : 30146.0 sec. user=mdettweiler [2009-04-03 13:07:02] 591*2^666646-1 is not prime. Res64: ADFC970D1882790B Time : 30157.0 sec. user=mdettweiler [2009-04-03 13:07:12] 587*2^666646-1 is not prime. Res64: 7F7FE118D6F6466C Time : 30180.0 sec. user=mdettweiler [2009-04-03 13:07:18] 441*2^666647-1 is not prime. Res64: C2B366DACF52FB10 Time : 30149.0 sec. user=glennpat [2009-04-03 13:07:55] 411*2^666655-1 is not prime. Res64: 049DBF5AF5F1C230 Time : 9599.0 sec. user=mdettweiler [2009-04-03 13:16:08] 543*2^666647-1 is not prime. Res64: 62F57B36D2E87327 Time : 30163.0 sec. user=mdettweiler [2009-04-03 13:16:19] 475*2^666647-1 is not prime. Res64: B4EA42CCC6F92F48 Time : 30186.0 sec. user=mdettweiler [2009-04-03 13:16:23] 559*2^666647-1 is not prime. Res64: 677CA09C22328F36 Time : 30154.0 sec. user=glennpat [2009-04-03 13:19:13] 421*2^666655-1 is not prime. Res64: 51387032506492B4 Time : 9639.0 sec. user=mdettweiler [2009-04-03 13:25:11] 443*2^666658-1 is not prime. Res64: 261DCB67F29C8662 Time : 2012.0 sec. user=mdettweiler [2009-04-03 13:25:27] 447*2^666657-1 is not prime. Res64: DCF72FA7FFB0310B Time : 2028.0 sec. user=mdettweiler [2009-04-03 13:25:29] 429*2^666657-1 is not prime. Res64: 615A4C63CFB78273 Time : 2030.0 sec. user=mdettweiler [2009-04-03 13:25:30] 461*2^666658-1 is not prime. Res64: 628714D97AB2261A Time : 2031.0 sec. user=glennpat [2009-04-03 13:30:07] 451*2^666655-1 is not prime. Res64: 4E3E55D99E98854E Time : 9652.0 sec. user=mdettweiler [2009-04-03 13:34:15] 533*2^666658-1 is not prime. Res64: 577B8BC683687E80 Time : 2555.0 sec. user=mdettweiler [2009-04-03 13:34:33] 525*2^666658-1 is not prime. Res64: BB83382EC6DEBAB9 Time : 2573.0 sec. user=mdettweiler [2009-04-03 13:34:33] 483*2^666658-1 is not prime. Res64: D57266983CD848AB Time : 2573.0 sec. user=mdettweiler [2009-04-03 13:34:33] 411*2^666659-1 is not prime. Res64: 74B3A64639057772 Time : 2573.0 sec. user=glennpat [2009-04-03 13:41:07] 493*2^666655-1 is not prime. Res64: E31814127637FC05 Time : 9670.0 sec. user=mdettweiler [2009-04-03 13:43:19] 549*2^666659-1 is not prime. Res64: 405EE974CC4C8BF0 Time : 2723.0 sec. user=mdettweiler [2009-04-03 13:43:37] 447*2^666660-1 is not prime. Res64: AC2A037AB256196D Time : 2724.0 sec. user=mdettweiler [2009-04-03 13:43:38] 423*2^666660-1 is not prime. Res64: 52B19ADECA0E33B8 Time : 2730.0 sec. user=mdettweiler [2009-04-03 13:43:40] 553*2^666659-1 is not prime. Res64: AAAD668DA7905148 Time : 2735.0 sec. user=glennpat [2009-04-03 13:51:48] 555*2^666655-1 is not prime. Res64: 1517E0837547C673 Time : 9672.0 sec. user=mdettweiler [2009-04-03 13:52:24] 473*2^666660-1 is not prime. Res64: E586886AB5232CE2 Time : 2722.0 sec. user=mdettweiler [2009-04-03 13:52:43] 555*2^666660-1 is not prime. Res64: D1C0D5817B5960E6 Time : 2731.0 sec. user=mdettweiler [2009-04-03 13:52:45] 567*2^666660-1 is not prime. Res64: D29BD9AD535EA359 Time : 2727.0 sec. user=mdettweiler [2009-04-03 13:52:46] 479*2^666660-1 is not prime. Res64: 66DCB72BD82DB8B5 Time : 2735.0 sec. user=mdettweiler [2009-04-03 14:01:30] 465*2^666661-1 is not prime. Res64: 92BC100E4368B0DC Time : 2722.0 sec. user=mdettweiler [2009-04-03 14:01:49] 489*2^666661-1 is not prime. Res64: 874B1D2C54711433 Time : 2730.0 sec. user=mdettweiler [2009-04-03 14:01:50] 517*2^666661-1 is not prime. Res64: 44BC47D97FA45A41 Time : 2727.0 sec. user=mdettweiler [2009-04-03 14:01:57] 511*2^666661-1 is not prime. Res64: 27C6B2CD73FFBFA0 Time : 2737.0 sec. user=glennpat [2009-04-03 14:02:34] 583*2^666655-1 is not prime. Res64: A329A9CAA38EC01D Time : 9677.0 sec. user=mdettweiler [2009-04-03 14:10:33] 531*2^666661-1 is not prime. Res64: DC82D8C33652BE20 Time : 2722.0 sec. user=mdettweiler [2009-04-03 14:10:53] 437*2^666662-1 is not prime. Res64: B01FB2CBF6D34834 Time : 2724.0 sec. user=mdettweiler [2009-04-03 14:10:54] 417*2^666662-1 is not prime. Res64: 1315B0BF4B9DEC2A Time : 2726.0 sec. user=mdettweiler [2009-04-03 14:11:02] 565*2^666661-1 is not prime. Res64: 95FD25BE9D5A5D3F Time : 2735.0 sec. user=glennpat [2009-04-03 14:13:16] 453*2^666656-1 is not prime. Res64: 3CC23840BE503DD6 Time : 9679.0 sec. user=mdettweiler [2009-04-03 14:19:39] 551*2^666662-1 is not prime. Res64: 74F653A4B45577C1 Time : 2724.0 sec. user=mdettweiler [2009-04-03 14:19:58] 587*2^666662-1 is not prime. Res64: 11E6AD76171DE5B4 Time : 2725.0 sec. user=mdettweiler [2009-04-03 14:20:01] 581*2^666662-1 is not prime. Res64: 10846B8F279FAA38 Time : 2728.0 sec. user=mdettweiler [2009-04-03 14:20:13] 561*2^666662-1 is not prime. Res64: 3BF3A7105F1CB898 Time : 2740.0 sec. user=glennpat [2009-04-03 14:24:12] 459*2^666656-1 is not prime. Res64: EBF1CA13E5902043 Time : 9695.0 sec. user=mdettweiler [2009-04-03 14:28:42] 493*2^666663-1 is not prime. Res64: 93B6B05D5BA0D8A4 Time : 2723.0 sec. user=mdettweiler [2009-04-03 14:29:02] 541*2^666663-1 is not prime. Res64: 367564953DEABE41 Time : 2724.0 sec. user=mdettweiler [2009-04-03 14:29:06] 523*2^666663-1 is not prime. Res64: E143D5EBA4F579EC Time : 2729.0 sec. user=mdettweiler [2009-04-03 14:29:21] 435*2^666664-1 is not prime. Res64: DC6934F9B09578FE Time : 2741.0 sec. user=glennpat [2009-04-03 14:35:11] 503*2^666656-1 is not prime. Res64: C4004D690898C19A Time : 9716.0 sec. user=mdettweiler [2009-04-03 14:37:46] 597*2^666664-1 is not prime. Res64: CDCEEA220063F7C4 Time : 2722.0 sec. user=mdettweiler [2009-04-03 14:38:07] 535*2^666665-1 is not prime. Res64: 0492E5F9289D3726 Time : 2724.0 sec. user=mdettweiler [2009-04-03 14:38:13] 567*2^666665-1 is not prime. Res64: 3E970158A53B13DC Time : 2728.0 sec. user=mdettweiler [2009-04-03 14:38:29] 595*2^666665-1 is not prime. Res64: 36A4230156F206FB Time : 2743.0 sec. user=glennpat [2009-04-03 14:46:13] 507*2^666656-1 is not prime. Res64: 288EF2AD8582F025 Time : 9736.0 sec. user=mdettweiler [2009-04-03 14:46:52] 483*2^666666-1 is not prime. Res64: C863916E8D8CD7DB Time : 2722.0 sec. user=mdettweiler [2009-04-03 14:47:16] 485*2^666666-1 is not prime. Res64: 22EC035F95CC12CB Time : 2727.0 sec. user=mdettweiler [2009-04-03 14:47:20] 501*2^666666-1 is not prime. Res64: B01AF23E3DF34C97 Time : 2730.0 sec. user=mdettweiler [2009-04-03 14:47:38] 525*2^666666-1 is not prime. Res64: AE3F0B76455D014E Time : 2741.0 sec. user=mdettweiler [2009-04-03 14:55:56] 421*2^666667-1 is not prime. Res64: EC8C87D0F42B3397 Time : 2723.0 sec. user=mdettweiler [2009-04-03 14:56:20] 429*2^666667-1 is not prime. Res64: BC604EBD7D556CCE Time : 2728.0 sec. user=mdettweiler [2009-04-03 14:56:25] 511*2^666667-1 is not prime. Res64: 2332DDBF3E82D833 Time : 2731.0 sec. user=glennpat [2009-04-03 14:57:19] 519*2^666656-1 is not prime. Res64: B8E399092F54C972 Time : 9764.0 sec. user=mdettweiler [2009-04-03 14:58:58] 405*2^666668-1 is not prime. Res64: 4DC5C631D58F7783 Time : 2877.0 sec. user=mdettweiler [2009-04-03 15:05:02] 459*2^666668-1 is not prime. Res64: 1D8FA7D7F4F11E9A Time : 2723.0 sec. user=mdettweiler [2009-04-03 15:05:24] 545*2^666668-1 is not prime. Res64: 89586E02CABCFBA2 Time : 2726.0 sec. user=mdettweiler [2009-04-03 15:05:32] 445*2^666669-1 is not prime. Res64: 817425CF72684944 Time : 2731.0 sec. user=mdettweiler [2009-04-03 15:05:48] 549*2^666669-1 is not prime. Res64: 20F0507AEC0B742A Time : 2735.0 sec. user=glennpat [2009-04-03 15:08:02] 525*2^666656-1 is not prime. Res64: F8D491BF4342A47B Time : 9772.0 sec. user=mdettweiler [2009-04-03 15:14:06] 483*2^666670-1 is not prime. Res64: 6DBF98B6CDAD96D5 Time : 2725.0 sec. user=mdettweiler [2009-04-03 15:14:28] 475*2^666671-1 is not prime. Res64: 0A4363ED9E119EAA Time : 2726.0 sec. user=mdettweiler [2009-04-03 15:14:35] 519*2^666671-1 is not prime. Res64: 7E9866E5EE7B55C9 Time : 2729.0 sec. user=mdettweiler [2009-04-03 15:14:54] 531*2^666671-1 is not prime. Res64: 19BA5305E57643F0 Time : 2733.0 sec. user=glennpat [2009-04-03 15:18:47] 585*2^666656-1 is not prime. Res64: 2EDADC68D4B1B223 Time : 9781.0 sec. user=mdettweiler [2009-04-03 15:23:10] 405*2^666672-1 is not prime. Res64: ADD4A6ACAE5F0927 Time : 2724.0 sec. user=mdettweiler [2009-04-03 15:23:31] 513*2^666672-1 is not prime. Res64: BA3BBE13A5D61A97 Time : 2724.0 sec. user=mdettweiler [2009-04-03 15:23:39] 527*2^666672-1 is not prime. Res64: 40EF9DD8B7E0B328 Time : 2726.0 sec. user=mdettweiler [2009-04-03 15:23:58] 563*2^666672-1 is not prime. Res64: DA8839A96947500F Time : 2729.0 sec. user=glennpat [2009-04-03 15:29:30] 593*2^666656-1 is not prime. Res64: 16977BEC7CD40192 Time : 9786.0 sec. user=mdettweiler [2009-04-03 15:32:14] 587*2^666672-1 is not prime. Res64: 8FE2F9B2EFBCE6CB Time : 2722.0 sec. user=mdettweiler [2009-04-03 15:32:36] 421*2^666673-1 is not prime. Res64: A7709CA47B09898F Time : 2720.0 sec. user=mdettweiler [2009-04-03 15:32:46] 525*2^666673-1 is not prime. Res64: 8D66BD8D61F0E33D Time : 2726.0 sec. user=mdettweiler [2009-04-03 15:33:02] 541*2^666673-1 is not prime. Res64: 19652B7CB05ACFC7 Time : 2724.0 sec. user=glennpat [2009-04-03 15:40:13] 435*2^666659-1 is not prime. Res64: A7A8B9C25827CEC0 Time : 9788.0 sec. user=mdettweiler [2009-04-03 15:41:17] 559*2^666673-1 is not prime. Res64: E387E50FCFE1BE13 Time : 2721.0 sec. user=mdettweiler [2009-04-03 15:41:40] 445*2^666675-1 is not prime. Res64: 1CA260F7F41F225D Time : 2720.0 sec. user=mdettweiler [2009-04-03 15:41:50] 451*2^666675-1 is not prime. Res64: 7B5014949A4D7DE0 Time : 2725.0 sec. user=mdettweiler [2009-04-03 15:42:08] 469*2^666675-1 is not prime. Res64: 86959921867CCAFE Time : 2529.0 sec. user=mdettweiler [2009-04-03 15:50:20] 523*2^666675-1 is not prime. Res64: D67B8A9BBF125913 Time : 2718.0 sec. user=mdettweiler [2009-04-03 15:50:43] 535*2^666675-1 is not prime. Res64: B1B57EBF98A5DFB2 Time : 2719.0 sec. user=mdettweiler [2009-04-03 15:50:53] 595*2^666675-1 is not prime. Res64: 986B80013C57B4F0 Time : 2721.0 sec. user=glennpat [2009-04-03 15:51:00] 405*2^666661-1 is not prime. Res64: 4141F7E9E462FE0C Time : 9785.0 sec. user=mdettweiler [2009-04-03 15:51:12] 453*2^666676-1 is not prime. Res64: 19F30D124A9CC3BF Time : 2724.0 sec. user=mdettweiler [2009-04-03 16:01:35] 587*2^666676-1 is not prime. Res64: B83CB086B3C80DCF Time : 2825.0 sec. user=mdettweiler [2009-04-03 16:01:40] 593*2^666676-1 is not prime. Res64: BE451ED8C8247490 Time : 2806.0 sec. user=glennpat [2009-04-03 16:01:48] 525*2^666661-1 is not prime. Res64: 9F821F34E54D4D51 Time : 9755.0 sec. user=mdettweiler [2009-04-03 16:02:13] 527*2^666676-1 is not prime. Res64: 6FE74C9156FDF48C Time : 2888.0 sec. user=mdettweiler [2009-04-03 16:02:36] 545*2^666676-1 is not prime. Res64: 2D9F0DE230837FDC Time : 2888.0 sec. user=mdettweiler [2009-04-03 16:08:31] 475*2^666677-1 is not prime. Res64: 4A52FA0230301C4D Time : 2722.0 sec. user=mdettweiler [2009-04-03 16:08:54] 477*2^666677-1 is not prime. Res64: 2A35EBC85724B697 Time : 2723.0 sec. user=mdettweiler [2009-04-03 16:09:08] 511*2^666677-1 is not prime. Res64: 8419AF6E42EB8F59 Time : 2729.0 sec. user=mdettweiler [2009-04-03 16:09:23] 517*2^666677-1 is not prime. Res64: 7ED0C0B8A0B52B9F Time : 2725.0 sec. user=glennpat [2009-04-03 16:12:33] 501*2^666662-1 is not prime. Res64: A6227BB37B6B1C00 Time : 9746.0 sec. user=mdettweiler [2009-04-03 16:17:39] 589*2^666677-1 is not prime. Res64: D8A083631A4DC8F7 Time : 2726.0 sec. user=mdettweiler [2009-04-03 16:18:02] 453*2^666678-1 is not prime. Res64: BFF93E61E90FF50F Time : 2726.0 sec. user=mdettweiler [2009-04-03 16:18:15] 515*2^666678-1 is not prime. Res64: 02194B6E5D023C3F Time : 2729.0 sec. user=mdettweiler [2009-04-03 16:18:31] 411*2^666679-1 is not prime. Res64: 657879FAB1398860 Time : 2729.0 sec. user=glennpat [2009-04-03 16:23:19] 451*2^666663-1 is not prime. Res64: 231DEF3BEFFF4193 Time : 9732.0 sec. user=mdettweiler [2009-04-03 16:26:44] 465*2^666679-1 is not prime. Res64: 48A2F04E61A8727B Time : 2727.0 sec. user=mdettweiler [2009-04-03 16:27:11] 505*2^666679-1 is not prime. Res64: 14871CED0235EDFB Time : 2732.0 sec. user=mdettweiler [2009-04-03 16:27:23] 405*2^666680-1 is not prime. Res64: E151DDBFD780AAF9 Time : 2733.0 sec. user=mdettweiler [2009-04-03 16:27:38] 425*2^666680-1 is not prime. Res64: 3C988071A3A125BE Time : 2730.0 sec. user=glennpat [2009-04-03 16:34:25] 525*2^666664-1 is not prime. Res64: 592005B5432F09B3 Time : 9757.0 sec. user=mdettweiler [2009-04-03 16:35:52] 489*2^666680-1 is not prime. Res64: 1C3EC5F22428DD45 Time : 2732.0 sec. user=mdettweiler [2009-04-03 16:36:16] 585*2^666680-1 is not prime. Res64: FB7582ED62D5E6CC Time : 2733.0 sec. user=mdettweiler [2009-04-03 16:36:29] 447*2^666681-1 is not prime. Res64: BDFB48E8A3C7FF4A Time : 2736.0 sec. user=mdettweiler [2009-04-03 16:36:47] 591*2^666681-1 is not prime. Res64: 930BC77A2749F2D8 Time : 2736.0 sec. user=mdettweiler [2009-04-03 16:44:58] 497*2^666682-1 is not prime. Res64: EF13E064F8912B30 Time : 2565.0 sec. user=mdettweiler [2009-04-03 16:45:23] 445*2^666683-1 is not prime. Res64: 54F206BF564CFF3A Time : 2567.0 sec. user=glennpat [2009-04-03 16:45:34] 405*2^666667-1 is not prime. Res64: 94BFA96D5FB35881 Time : 9780.0 sec. user=mdettweiler [2009-04-03 16:45:37] 501*2^666683-1 is not prime. Res64: AF4AC7DFEB408626 Time : 2577.0 sec. user=mdettweiler [2009-04-03 16:45:57] 483*2^666682-1 is not prime. Res64: D3BF7C66430FC372 Time : 2657.0 sec. user=mdettweiler [2009-04-03 16:54:04] 523*2^666683-1 is not prime. Res64: 1ED62AE3DB8A3886 Time : 2734.0 sec. user=mdettweiler [2009-04-03 16:54:32] 573*2^666683-1 is not prime. Res64: 00A3E39F12069E09 Time : 2738.0 sec. user=mdettweiler [2009-04-03 16:54:45] 429*2^666684-1 is not prime. Res64: 183537BAEA1BD9E9 Time : 2738.0 sec. user=mdettweiler [2009-04-03 16:55:08] 525*2^666684-1 is not prime. Res64: B5C93D0911F1414E Time : 2745.0 sec. user=glennpat [2009-04-03 16:56:26] 435*2^666668-1 is not prime. Res64: CDCEBEF1AB7BE08E Time : 9790.0 sec. user=mdettweiler [2009-04-03 17:03:51] 411*2^666685-1 is not prime. Res64: D2E72A7E50C95C62 Time : 2749.0 sec. user=mdettweiler [2009-04-03 17:03:54] 421*2^666685-1 is not prime. Res64: DFFD331317C34053 Time : 2739.0 sec. user=mdettweiler [2009-04-03 17:04:16] 417*2^666686-1 is not prime. Res64: 0CBC4C1A893E0B53 Time : 2745.0 sec. user=mdettweiler [2009-04-03 17:04:36] 587*2^666684-1 is not prime. Res64: EE7728219DCC03A8 Time : 2818.0 sec. user=glennpat [2009-04-03 17:07:42] 447*2^666670-1 is not prime. Res64: 6CED0618981D20BC Time : 9810.0 sec. user=mdettweiler [2009-04-03 17:15:09] 495*2^666686-1 is not prime. Res64: 555E9B2494E5B81F Time : 2905.0 sec. user=mdettweiler [2009-04-03 17:16:04] 567*2^666686-1 is not prime. Res64: 981B1DA73FA042E9 Time : 2921.0 sec. user=mdettweiler [2009-04-03 17:16:10] 587*2^666686-1 is not prime. Res64: CDC266B9F9E530FA Time : 2912.0 sec. user=mdettweiler [2009-04-03 17:16:14] 563*2^666686-1 is not prime. Res64: C9C4246EE81D3227 Time : 2944.0 sec. user=glennpat [2009-04-03 17:18:45] 591*2^666671-1 is not prime. Res64: C3CE23CC891CD433 Time : 9814.0 sec. user=mdettweiler [2009-04-03 17:24:17] 523*2^666687-1 is not prime. Res64: ECB0893DF1B0E109 Time : 2905.0 sec. user=mdettweiler [2009-04-03 17:25:10] 553*2^666687-1 is not prime. Res64: 646FA5226EE22F87 Time : 2921.0 sec. user=mdettweiler [2009-04-03 17:25:15] 595*2^666687-1 is not prime. Res64: 2B7F170178D0B8D0 Time : 2909.0 sec. user=mdettweiler [2009-04-03 17:25:29] 543*2^666687-1 is not prime. Res64: 9A04FB6924B426D2 Time : 2953.0 sec. user=glennpat [2009-04-03 17:29:35] 567*2^666672-1 is not prime. Res64: EB7AA1837284DDF8 Time : 9802.0 sec. user=mdettweiler [2009-04-03 17:33:23] 489*2^666689-1 is not prime. Res64: ED91221D704F39AE Time : 2905.0 sec. user=mdettweiler [2009-04-03 17:34:17] 437*2^666690-1 is not prime. Res64: 8CBFC80DC6B473C3 Time : 2920.0 sec. user=mdettweiler [2009-04-03 17:34:22] 453*2^666690-1 is not prime. Res64: DCF7BE212FE73E21 Time : 2905.0 sec. user=mdettweiler [2009-04-03 17:34:43] 565*2^666689-1 is not prime. Res64: 9DF49F9D18ABB126 Time : 2960.0 sec. user=glennpat [2009-04-03 17:40:15] 465*2^666675-1 is not prime. Res64: 21F3FB601480B3D2 Time : 9776.0 sec. user=mdettweiler [2009-04-03 17:42:29] 513*2^666690-1 is not prime. Res64: 868F1D6ADE6538B4 Time : 2905.0 sec. user=mdettweiler [2009-04-03 17:43:27] 527*2^666690-1 is not prime. Res64: 4C404501C28E04D7 Time : 2923.0 sec. user=mdettweiler [2009-04-03 17:43:31] 405*2^666691-1 is not prime. Res64: 193574B3C2FADBA0 Time : 2903.0 sec. user=mdettweiler [2009-04-03 17:43:54] 521*2^666690-1 is not prime. Res64: 6DE15EA0895D7021 Time : 2962.0 sec. user=glennpat [2009-04-03 17:50:54] 483*2^666676-1 is not prime. Res64: 28DCFCBA4139895D Time : 9772.0 sec. user=mdettweiler [2009-04-03 17:51:35] 599*2^666692-1 is not prime. Res64: E1FDD9D3D02B5C5A Time : 2819.0 sec. user=mdettweiler [2009-04-03 17:52:36] 437*2^666692-1 is not prime. Res64: 15500A227F7E8463 Time : 2923.0 sec. user=mdettweiler [2009-04-03 17:52:37] 537*2^666692-1 is not prime. Res64: 9E65E9544EB6E61D Time : 2902.0 sec. user=mdettweiler [2009-04-03 17:53:04] 441*2^666693-1 is not prime. Res64: 0CE91D9F21D7BF9C Time : 2893.0 sec. user=mdettweiler [2009-04-03 18:00:45] 537*2^666693-1 is not prime. Res64: 7B190BDC2CB91501 Time : 2736.0 sec. user=glennpat [2009-04-03 18:01:34] 469*2^666677-1 is not prime. Res64: E333E6DDF62082B0 Time : 9774.0 sec. user=mdettweiler [2009-04-03 18:01:43] 413*2^666694-1 is not prime. Res64: F3937FDDBCAF2DF2 Time : 2739.0 sec. user=mdettweiler [2009-04-03 18:01:45] 525*2^666694-1 is not prime. Res64: C99A3A46838308DF Time : 2736.0 sec. user=mdettweiler [2009-04-03 18:02:14] 465*2^666695-1 is not prime. Res64: AC81A34AA37B485F Time : 2760.0 sec. user=mdettweiler [2009-04-03 18:09:50] 543*2^666695-1 is not prime. Res64: 91E8EBBC0C82907B Time : 2733.0 sec. user=mdettweiler [2009-04-03 18:10:50] 573*2^666695-1 is not prime. Res64: D5A0CFA1E55E0B99 Time : 2740.0 sec. user=mdettweiler [2009-04-03 18:10:55] 563*2^666696-1 is not prime. Res64: 14BF64429B178D64 Time : 2740.0 sec. user=mdettweiler [2009-04-03 18:11:24] 585*2^666696-1 is not prime. Res64: 18178EEF23B7F114 Time : 2755.0 sec. user=glennpat [2009-04-03 18:12:15] 577*2^666677-1 is not prime. Res64: 2338BADBFE420821 Time : 9765.0 sec. user=mdettweiler [2009-04-03 18:18:57] 567*2^666697-1 is not prime. Res64: B41882F7BA2438EE Time : 2734.0 sec. user=mdettweiler [2009-04-03 18:19:57] 425*2^666698-1 is not prime. Res64: 929EAFEAE4EA507D Time : 2740.0 sec. user=mdettweiler [2009-04-03 18:20:04] 507*2^666698-1 is not prime. Res64: 139F42E00B299812 Time : 2742.0 sec. user=mdettweiler [2009-04-03 18:20:32] 515*2^666698-1 is not prime. Res64: B0448CAC0750D54D Time : 2749.0 sec. user=glennpat [2009-04-03 18:22:57] 421*2^666679-1 is not prime. Res64: 4FCD5D664344E695 Time : 9764.0 sec. user=mdettweiler [2009-04-03 18:28:01] 433*2^666699-1 is not prime. Res64: F9AF500FC63A0F52 Time : 2732.0 sec. user=mdettweiler [2009-04-03 18:29:01] 441*2^666699-1 is not prime. Res64: DB2087DC72BE5C56 Time : 2734.0 sec. user=mdettweiler [2009-04-03 18:29:10] 489*2^666699-1 is not prime. Res64: 88246FF0531781A1 Time : 2739.0 sec. user=mdettweiler [2009-04-03 18:29:38] 493*2^666699-1 is not prime. Res64: CA744816945E502D Time : 2744.0 sec. user=glennpat [2009-04-03 18:33:39] 499*2^666681-1 is not prime. Res64: A6F23F13E23E2490 Time : 9759.0 sec. user=mdettweiler [2009-04-03 18:37:07] 549*2^666699-1 is not prime. Res64: 92919863907A320A Time : 2733.0 sec. user=mdettweiler [2009-04-03 18:38:05] 429*2^666700-1 is not prime. Res64: C4716024E9CE894E Time : 2729.0 sec. user=mdettweiler [2009-04-03 18:38:17] 453*2^666700-1 is not prime. Res64: 6120D282CB88ECEE Time : 2740.0 sec. user=mdettweiler [2009-04-03 18:38:45] 537*2^666700-1 is not prime. Res64: 87A9407C1AB24599 Time : 2741.0 sec. user=glennpat [2009-04-03 18:44:21] 491*2^666682-1 is not prime. Res64: 9800F77845AD3787 Time : 9753.0 sec. user=mdettweiler [2009-04-03 18:46:15] 567*2^666700-1 is not prime. Res64: B1B14B66B19926B8 Time : 2731.0 sec. user=mdettweiler [2009-04-03 18:47:13] 507*2^666701-1 is not prime. Res64: 528372E006630D6C Time : 2730.0 sec. user=mdettweiler [2009-04-03 18:47:25] 423*2^666702-1 is not prime. Res64: 9EFB57909E31CFBE Time : 2740.0 sec. user=mdettweiler [2009-04-03 18:47:53] 525*2^666702-1 is not prime. Res64: DFEC6EAE93FA22E6 Time : 2739.0 sec. user=glennpat [2009-04-03 18:55:04] 539*2^666684-1 is not prime. Res64: D28A2A4B4780FE4F Time : 9751.0 sec. user=mdettweiler [2009-04-03 18:55:21] 429*2^666703-1 is not prime. Res64: BAB43433AC9D33D7 Time : 2731.0 sec. user=mdettweiler [2009-04-03 18:56:22] 595*2^666703-1 is not prime. Res64: 40FA79C54D90E5FA Time : 2732.0 sec. user=mdettweiler [2009-04-03 18:56:33] 437*2^666704-1 is not prime. Res64: 6FF2CD9EF688D840 Time : 2738.0 sec. user=mdettweiler [2009-04-03 18:57:03] 465*2^666704-1 is not prime. Res64: 706B5D4482290F47 Time : 2740.0 sec. user=mdettweiler [2009-04-03 19:04:32] 539*2^666704-1 is not prime. Res64: CDF4E4F4B7F49E5E Time : 2735.0 sec. user=mdettweiler [2009-04-03 19:05:33] 573*2^666704-1 is not prime. Res64: 74AAF1F963A6A9BF Time : 2736.0 sec. user=mdettweiler [2009-04-03 19:05:45] 415*2^666705-1 is not prime. Res64: 8F05E99CBF87B20D Time : 2741.0 sec. user=glennpat [2009-04-03 19:05:47] 437*2^666686-1 is not prime. Res64: 6F95F01CC59A5D5A Time : 9748.0 sec. user=mdettweiler [2009-04-03 19:06:14] 441*2^666705-1 is not prime. Res64: DD2F617C0A35E83C Time : 2743.0 sec. user=mdettweiler [2009-04-03 19:13:45] 517*2^666705-1 is not prime. Res64: 28275104CB2C65D4 Time : 2744.0 sec. user=mdettweiler [2009-04-03 19:14:51] 535*2^666705-1 is not prime. Res64: 965F936F882FE632 Time : 2750.0 sec. user=mdettweiler [2009-04-03 19:14:54] 425*2^666706-1 is not prime. Res64: F68FDC1EF2BB160B Time : 2744.0 sec. user=mdettweiler [2009-04-03 19:15:28] 531*2^666706-1 is not prime. Res64: E95E4C773E676E1B Time : 2750.0 sec. user=glennpat [2009-04-03 19:16:28] 441*2^666687-1 is not prime. Res64: ADB328E2ADD8F589 Time : 9723.0 sec. user=mdettweiler [2009-04-03 19:22:55] 439*2^666707-1 is not prime. Res64: 6D7C2EBEC1EAA74F Time : 2748.0 sec. user=mdettweiler [2009-04-03 19:24:08] 441*2^666707-1 is not prime. Res64: A3EC259B130F5576 Time : 2764.0 sec. user=mdettweiler [2009-04-03 19:24:12] 451*2^666707-1 is not prime. Res64: 66F0B28FEDFCCF14 Time : 2755.0 sec. user=mdettweiler [2009-04-03 19:26:32] 565*2^666707-1 is not prime. Res64: F1B8FFDFA7C1D484 Time : 2867.0 sec. user=glennpat [2009-04-03 19:27:09] 431*2^666690-1 is not prime. Res64: B5B32D0AAFBD3DAD Time : 9695.0 sec. user=mdettweiler [2009-04-03 19:32:13] 473*2^666708-1 is not prime. Res64: 31A07DAD5D7F7E26 Time : 2758.0 sec. user=mdettweiler [2009-04-03 19:33:24] 527*2^666708-1 is not prime. Res64: 4F04BC7948D7AC4C Time : 2771.0 sec. user=mdettweiler [2009-04-03 19:33:31] 545*2^666708-1 is not prime. Res64: FA1493A24B009C61 Time : 2766.0 sec. user=mdettweiler [2009-04-03 19:34:02] 567*2^666708-1 is not prime. Res64: C60FB801A3943379 Time : 2769.0 sec. user=glennpat [2009-04-03 19:37:57] 417*2^666692-1 is not prime. Res64: 83F51ACDEC1995C2 Time : 9691.0 sec. user=mdettweiler [2009-04-03 19:41:31] 511*2^666709-1 is not prime. Res64: 0B6718F51A748043 Time : 2770.0 sec. user=mdettweiler [2009-04-03 19:42:43] 549*2^666709-1 is not prime. Res64: DCB9AE661623A951 Time : 2781.0 sec. user=mdettweiler [2009-04-03 19:42:52] 417*2^666710-1 is not prime. Res64: 0BDE95B0BF56B909 Time : 2779.0 sec. user=mdettweiler [2009-04-03 19:43:23] 423*2^666710-1 is not prime. Res64: 463FAB4B06A556B1 Time : 2780.0 sec. user=glennpat [2009-04-03 19:48:57] 517*2^666693-1 is not prime. Res64: 84DE0670CBEDD48D Time : 9676.0 sec. user=mdettweiler [2009-04-03 19:50:43] 521*2^666710-1 is not prime. Res64: AA5DC4347A682BA1 Time : 2771.0 sec. user=mdettweiler [2009-04-03 19:51:51] 561*2^666710-1 is not prime. Res64: 2BC8FC6F4197B07C Time : 2779.0 sec. user=mdettweiler [2009-04-03 19:52:06] 563*2^666710-1 is not prime. Res64: C6AA01A4BC9BD6BB Time : 2781.0 sec. user=mdettweiler [2009-04-03 19:52:31] 469*2^666711-1 is not prime. Res64: CE5CADDE091BD601 Time : 2778.0 sec. user=glennpat [2009-04-03 19:59:50] 481*2^666695-1 is not prime. Res64: 8A0045732DAC2225 Time : 9665.0 sec. user=mdettweiler [2009-04-03 19:59:51] 489*2^666711-1 is not prime. Res64: E03CD222F7310551 Time : 2766.0 sec. user=mdettweiler [2009-04-03 20:00:58] 565*2^666711-1 is not prime. Res64: 56BF5D1B6CA1DE8D Time : 2767.0 sec. user=mdettweiler [2009-04-03 20:01:16] 467*2^666712-1 is not prime. Res64: DFA26976947CC12B Time : 2782.0 sec. user=mdettweiler [2009-04-03 20:01:39] 507*2^666712-1 is not prime. Res64: FBAFC064F10529E2 Time : 2771.0 sec. user=mdettweiler [2009-04-03 20:08:59] 481*2^666713-1 is not prime. Res64: 044045FA0AFA01C5 Time : 2765.0 sec. user=mdettweiler [2009-04-03 20:10:06] 537*2^666713-1 is not prime. Res64: 6E6F9C76F558408A Time : 2758.0 sec. user=mdettweiler [2009-04-03 20:10:25] 417*2^666714-1 is not prime. Res64: D12AB63325D56197 Time : 2774.0 sec. user=glennpat [2009-04-03 20:10:41] 561*2^666697-1 is not prime. Res64: 260BB3A74DE9067C Time : 9667.0 sec. user=mdettweiler [2009-04-03 20:10:47] 495*2^666714-1 is not prime. Res64: 2EBDE0C7CDCE739F Time : 2594.0 sec. user=mdettweiler [2009-04-03 20:18:06] 531*2^666714-1 is not prime. Res64: 1A70B4F618B9DCCB Time : 2753.0 sec. user=mdettweiler [2009-04-03 20:19:12] 563*2^666714-1 is not prime. Res64: 7AC4F41A9DE9715A Time : 2748.0 sec. user=mdettweiler [2009-04-03 20:19:36] 411*2^666715-1 is not prime. Res64: DC2732B1D747ED2E Time : 2765.0 sec. user=mdettweiler [2009-04-03 20:19:56] 415*2^666715-1 is not prime. Res64: 961A7045559964A7 Time : 2754.0 sec. user=glennpat [2009-04-03 20:21:56] 575*2^666698-1 is not prime. Res64: 3ABC4CC4439FA50A Time : 9701.0 sec. user=mdettweiler [2009-04-03 20:29:33] 523*2^666715-1 is not prime. Res64: A750201B9953642F Time : 2810.0 sec. user=mdettweiler [2009-04-03 20:29:36] 531*2^666715-1 is not prime. Res64: 8062138F24E8F7A5 Time : 2804.0 sec. user=mdettweiler [2009-04-03 20:29:40] 495*2^666715-1 is not prime. Res64: 72E0EA70B316D685 Time : 2889.0 sec. user=mdettweiler [2009-04-03 20:29:44] 589*2^666715-1 is not prime. Res64: 147B863AAB9EF576 Time : 2782.0 sec. user=glennpat [2009-04-03 20:33:04] 543*2^666699-1 is not prime. Res64: 8DDD0AAB8BB6132F Time : 9730.0 sec. user=mdettweiler [2009-04-03 20:36:22] 539*2^666716-1 is not prime. Res64: 327BF3658DD97DB8 Time : 2739.0 sec. user=mdettweiler [2009-04-03 20:37:29] 409*2^666717-1 is not prime. Res64: 3A48BBFA6AA039B0 Time : 2738.0 sec. user=mdettweiler [2009-04-03 20:37:56] 465*2^666717-1 is not prime. Res64: 6DA5D8C74E0D5E8D Time : 2751.0 sec. user=mdettweiler [2009-04-03 20:38:12] 487*2^666717-1 is not prime. Res64: 09D3469C66E74D84 Time : 2741.0 sec. user=glennpat [2009-04-03 20:43:53] 475*2^666701-1 is not prime. Res64: E2F96F3796471B7F Time : 9739.0 sec. user=mdettweiler [2009-04-03 20:45:33] 555*2^666717-1 is not prime. Res64: 80B5603C9A3E0EAC Time : 2742.0 sec. user=mdettweiler [2009-04-03 20:46:35] 565*2^666717-1 is not prime. Res64: 5E6F2DFC1FBE5EAB Time : 2737.0 sec. user=mdettweiler [2009-04-03 20:47:03] 447*2^666718-1 is not prime. Res64: 35DA1ABF522E00E3 Time : 2748.0 sec. user=mdettweiler [2009-04-03 20:47:22] 461*2^666718-1 is not prime. Res64: D10403642A3BE6AB Time : 2743.0 sec. user=mdettweiler [2009-04-03 20:54:37] 561*2^666718-1 is not prime. Res64: C51D6011F906BBB3 Time : 2738.0 sec. user=glennpat [2009-04-03 20:54:40] 473*2^666704-1 is not prime. Res64: 777B719794EE5773 Time : 9745.0 sec. user=mdettweiler [2009-04-03 20:55:38] 423*2^666719-1 is not prime. Res64: EFDE6F301E4CEC5C Time : 2733.0 sec. user=mdettweiler [2009-04-03 20:56:08] 445*2^666719-1 is not prime. Res64: A080F7E4A52428F3 Time : 2743.0 sec. user=mdettweiler [2009-04-03 20:56:25] 589*2^666719-1 is not prime. Res64: 44141199660DA5CE Time : 2738.0 sec. user=mdettweiler [2009-04-03 21:03:43] 595*2^666719-1 is not prime. Res64: EA3BDE4E3DF33A9E Time : 2737.0 sec. user=mdettweiler [2009-04-03 21:04:40] 429*2^666720-1 is not prime. Res64: C825FC87FEAC86DF Time : 2728.0 sec. user=mdettweiler [2009-04-03 21:05:13] 455*2^666720-1 is not prime. Res64: 738E9D7DF705DDB1 Time : 2737.0 sec. user=glennpat [2009-04-03 21:05:26] 465*2^666705-1 is not prime. Res64: 1CC6C3DA43EF4104 Time : 9749.0 sec. user=mdettweiler [2009-04-03 21:05:30] 503*2^666720-1 is not prime. Res64: 74086240CD9CE5B1 Time : 2735.0 sec. user=mdettweiler [2009-04-03 21:12:48] 427*2^666721-1 is not prime. Res64: B399373A568E01AC Time : 2528.0 sec. user=mdettweiler [2009-04-03 21:13:44] 555*2^666720-1 is not prime. Res64: A189E8ACEC0F7206 Time : 2651.0 sec. user=mdettweiler [2009-04-03 21:14:18] 557*2^666720-1 is not prime. Res64: 9F19C8FC73706203 Time : 2683.0 sec. user=mdettweiler [2009-04-03 21:14:33] 411*2^666721-1 is not prime. Res64: EFF6674FA964E622 Time : 2689.0 sec. user=glennpat [2009-04-03 21:16:11] 561*2^666706-1 is not prime. Res64: 3F6257754FCEA7E1 Time : 9752.0 sec. user=mdettweiler [2009-04-03 21:21:53] 531*2^666721-1 is not prime. Res64: F928F55D89F32C93 Time : 2731.0 sec. user=mdettweiler [2009-04-03 21:22:48] 437*2^666722-1 is not prime. Res64: 0BEF0A939B8A72EC Time : 2719.0 sec. user=mdettweiler [2009-04-03 21:23:23] 453*2^666722-1 is not prime. Res64: 1EB2A85C01132B8D Time : 2727.0 sec. user=mdettweiler [2009-04-03 21:23:36] 533*2^666722-1 is not prime. Res64: DEECE6927B78BCE7 Time : 2724.0 sec. user=glennpat [2009-04-03 21:26:59] 437*2^666708-1 is not prime. Res64: E67D78C80AC7A42B Time : 9758.0 sec. user=mdettweiler [2009-04-03 21:31:39] 471*2^666723-1 is not prime. Res64: B1B7C424C4133588 Time : 2767.0 sec. user=mdettweiler [2009-04-03 21:31:51] 541*2^666723-1 is not prime. Res64: 396FC5D4BEA83AA3 Time : 2716.0 sec. user=mdettweiler [2009-04-03 21:32:29] 543*2^666723-1 is not prime. Res64: 1A4E844BC2D2EA9A Time : 2726.0 sec. user=mdettweiler [2009-04-03 21:32:39] 553*2^666723-1 is not prime. Res64: 721827906A49B4C4 Time : 2718.0 sec. user=glennpat [2009-04-03 21:37:45] 489*2^666709-1 is not prime. Res64: D76A01825C5E14D5 Time : 9761.0 sec. user=mdettweiler [2009-04-03 21:39:59] 595*2^666723-1 is not prime. Res64: 75BF7B932AEA212F Time : 2722.0 sec. user=mdettweiler [2009-04-03 21:40:56] 453*2^666724-1 is not prime. Res64: D66A500EEB69AD7F Time : 2718.0 sec. user=mdettweiler [2009-04-03 21:41:32] 513*2^666724-1 is not prime. Res64: 956410F6B9412130 Time : 2724.0 sec. user=mdettweiler [2009-04-03 21:41:45] 545*2^666724-1 is not prime. Res64: E3B446362892E774 Time : 2720.0 sec. user=glennpat [2009-04-03 21:48:30] 459*2^666711-1 is not prime. Res64: 974181C79559985B Time : 9763.0 sec. user=mdettweiler [2009-04-03 21:49:03] 597*2^666724-1 is not prime. Res64: 8D00F21C64DAC69A Time : 2720.0 sec. user=mdettweiler [2009-04-03 21:49:59] 487*2^666725-1 is not prime. Res64: 88301ED62393B097 Time : 2719.0 sec. user=mdettweiler [2009-04-03 21:50:38] 547*2^666725-1 is not prime. Res64: FEC49BD6E227E01F Time : 2725.0 sec. user=mdettweiler [2009-04-03 21:50:47] 411*2^666726-1 is not prime. Res64: 7DDE65C5A1E9F13D Time : 2717.0 sec. user=mdettweiler [2009-04-03 21:58:07] 447*2^666726-1 is not prime. Res64: BC3DDBDDF3E620D4 Time : 2719.0 sec. user=mdettweiler [2009-04-03 21:59:05] 537*2^666726-1 is not prime. Res64: 5EEB93014900D18D Time : 2721.0 sec. user=glennpat [2009-04-03 21:59:17] 441*2^666713-1 is not prime. Res64: A516971E35DF9788 Time : 9769.0 sec. user=mdettweiler [2009-04-03 21:59:42] 585*2^666726-1 is not prime. Res64: 47CF5151EE7CDB4E Time : 2724.0 sec. user=mdettweiler [2009-04-03 21:59:50] 465*2^666727-1 is not prime. Res64: F18C9706F49E2F89 Time : 2717.0 sec. user=mdettweiler [2009-04-03 22:07:09] 423*2^666728-1 is not prime. Res64: 2965A2B8A764D881 Time : 2716.0 sec. user=mdettweiler [2009-04-03 22:08:09] 449*2^666728-1 is not prime. Res64: 680ED106C2408F90 Time : 2721.0 sec. user=mdettweiler [2009-04-03 22:08:46] 515*2^666728-1 is not prime. Res64: D61FF608659A3324 Time : 2723.0 sec. user=mdettweiler [2009-04-03 22:08:53] 525*2^666728-1 is not prime. Res64: E90244EE5D1725E0 Time : 2717.0 sec. user=glennpat [2009-04-03 22:10:04] 443*2^666714-1 is not prime. Res64: 6B6FD80B42398624 Time : 9775.0 sec. user=mdettweiler [2009-04-03 22:16:14] 441*2^666729-1 is not prime. Res64: C0D1D3CC8A9B91E0 Time : 2675.0 sec. user=mdettweiler [2009-04-03 22:17:12] 459*2^666729-1 is not prime. Res64: AA58D324B9F2462B Time : 2721.0 sec. user=mdettweiler [2009-04-03 22:17:49] 535*2^666729-1 is not prime. Res64: 9F540DC1874F3A63 Time : 2721.0 sec. user=mdettweiler [2009-04-03 22:17:55] 559*2^666729-1 is not prime. Res64: 4120C1E16B20EFBD Time : 2716.0 sec. user=glennpat [2009-04-03 22:20:50] 471*2^666715-1 is not prime. Res64: CB4DFBBE6B8439D5 Time : 9773.0 sec. user=mdettweiler [2009-04-03 22:25:19] 411*2^666730-1 is not prime. Res64: 8CF35BCFB4D6AD35 Time : 2720.0 sec. user=mdettweiler [2009-04-03 22:26:16] 425*2^666730-1 is not prime. Res64: EEAB79F134751252 Time : 2720.0 sec. user=mdettweiler [2009-04-03 22:26:53] 531*2^666730-1 is not prime. Res64: 970C60DEDF877B2E Time : 2721.0 sec. user=mdettweiler [2009-04-03 22:26:58] 587*2^666730-1 is not prime. Res64: 2A486F624C391E32 Time : 2713.0 sec. user=glennpat [2009-04-03 22:31:37] 417*2^666716-1 is not prime. Res64: 08582197AFAFD350 Time : 9760.0 sec. user=mdettweiler [2009-04-03 22:34:23] 453*2^666731-1 is not prime. Res64: B59C57AD1E85BC08 Time : 2720.0 sec. user=mdettweiler [2009-04-03 22:35:17] 463*2^666731-1 is not prime. Res64: 28C419E51135A946 Time : 2718.0 sec. user=mdettweiler [2009-04-03 22:35:56] 519*2^666731-1 is not prime. Res64: 91C6B6F728BFE68F Time : 2718.0 sec. user=mdettweiler [2009-04-03 22:36:02] 423*2^666732-1 is not prime. Res64: 71B796484869F54E Time : 2716.0 sec. user=glennpat [2009-04-03 22:42:23] 531*2^666717-1 is not prime. Res64: 80258E1F37DDBFD1 Time : 9753.0 sec. user=mdettweiler [2009-04-03 22:43:26] 483*2^666732-1 is not prime. Res64: 7E24E80114F1CD07 Time : 2720.0 sec. user=mdettweiler [2009-04-03 22:44:21] 513*2^666732-1 is not prime. Res64: B64C9E1C22236BD9 Time : 2716.0 sec. user=mdettweiler [2009-04-03 22:44:59] 563*2^666732-1 is not prime. Res64: F532FAD7A74F7294 Time : 2717.0 sec. user=mdettweiler [2009-04-03 22:45:04] 427*2^666733-1 is not prime. Res64: 723FDF50D18DEF5C Time : 2714.0 sec. user=glennpat [2009-04-03 22:53:10] 571*2^666719-1 is not prime. Res64: 9C5E570AEDE0183B Time : 9749.0 sec. user=mdettweiler [2009-04-03 22:58:22] 461*2^666734-1 is not prime. Res64: 1294D10A03F79BFE Time : 3013.0 sec. user=mdettweiler [2009-04-03 22:58:22] 499*2^666733-1 is not prime. Res64: 8295E52D4099F3F1 Time : 3073.0 sec. user=mdettweiler [2009-04-03 22:58:22] 501*2^666734-1 is not prime. Res64: 3D79D25958554956 Time : 2976.0 sec. user=glennpat [2009-04-03 23:03:53] 537*2^666720-1 is not prime. Res64: 6E9E05F03D1D4B48 Time : 9717.0 sec. user=mdettweiler [2009-04-03 23:05:35] 403*2^666735-1 is not prime. Res64: B007633119E56808 Time : 2961.0 sec. user=mdettweiler [2009-04-03 23:06:28] 405*2^666735-1 is not prime. Res64: 22A2DE9D90252D5E Time : 2956.0 sec. user=mdettweiler [2009-04-03 23:07:31] 551*2^666742-1 is not prime. Res64: 3C08D3FE2F13A0DF Time : 549.0 sec. user=mdettweiler [2009-04-03 23:07:34] 441*2^666735-1 is not prime. Res64: EB0449F715DF7E67 Time : 2986.0 sec. user=glennpat [2009-04-03 23:14:34] 499*2^666721-1 is not prime. Res64: 73EF0C425C162D29 Time : 9690.0 sec. user=mdettweiler [2009-04-03 23:14:56] 429*2^666736-1 is not prime. Res64: A8D47ECF03732C35 Time : 2977.0 sec. user=mdettweiler [2009-04-03 23:15:31] 447*2^666736-1 is not prime. Res64: 8A25372B2131987F Time : 2955.0 sec. user=mdettweiler [2009-04-03 23:16:43] 465*2^666737-1 is not prime. Res64: 21F01A4181A90A93 Time : 2990.0 sec. user=mdettweiler [2009-04-03 23:17:01] 591*2^666742-1 is not prime. Res64: 28F92BC3ABEB0D81 Time : 1119.0 sec. user=mdettweiler [2009-04-03 23:24:00] 577*2^666737-1 is not prime. Res64: 4E6F45DDC4E61CCD Time : 2977.0 sec. user=mdettweiler [2009-04-03 23:24:34] 437*2^666738-1 is not prime. Res64: 3D72DF8759CFDE87 Time : 2957.0 sec. user=glennpat [2009-04-03 23:25:15] 433*2^666723-1 is not prime. Res64: 350B7606B941EE63 Time : 9682.0 sec. user=mdettweiler [2009-04-03 23:25:46] 483*2^666738-1 is not prime. Res64: EC939ED521A39667 Time : 2990.0 sec. user=mdettweiler [2009-04-03 23:26:04] 511*2^666743-1 is not prime. Res64: B09ABCC7CC7CD019 Time : 1661.0 sec. user=mdettweiler [2009-04-03 23:33:05] 531*2^666739-1 is not prime. Res64: 16009EA37C0BC6BB Time : 2979.0 sec. user=mdettweiler [2009-04-03 23:33:37] 583*2^666739-1 is not prime. Res64: 78485CC532352B4A Time : 2956.0 sec. user=mdettweiler [2009-04-03 23:34:49] 483*2^666740-1 is not prime. Res64: 1D164B0E2AE74EFC Time : 2990.0 sec. user=mdettweiler [2009-04-03 23:35:07] 559*2^666743-1 is not prime. Res64: 1DA4CD022E2A29AA Time : 2204.0 sec. user=glennpat [2009-04-03 23:36:00] 435*2^666724-1 is not prime. Res64: 17AB79748574F662 Time : 9680.0 sec. user=mdettweiler [2009-04-03 23:42:08] 537*2^666741-1 is not prime. Res64: FD13F63D68769F17 Time : 2626.0 sec. user=mdettweiler [2009-04-03 23:42:38] 529*2^666741-1 is not prime. Res64: 84472EA1F6C345D5 Time : 2656.0 sec. user=mdettweiler [2009-04-03 23:43:52] 565*2^666741-1 is not prime. Res64: 997EAF7423D6BB4F Time : 2730.0 sec. user=mdettweiler [2009-04-03 23:44:09] 589*2^666743-1 is not prime. Res64: B6368B89CEB2146E Time : 2746.0 sec. user=glennpat [2009-04-03 23:46:45] 589*2^666725-1 is not prime. Res64: 8CBEF827BF8AEEBD Time : 9679.0 sec. user=mdettweiler [2009-04-03 23:51:14] 503*2^666744-1 is not prime. Res64: 5F1A054EBEC3DCC9 Time : 2739.0 sec. user=mdettweiler [2009-04-03 23:51:41] 555*2^666744-1 is not prime. Res64: 683954058F15A667 Time : 2713.0 sec. user=mdettweiler [2009-04-03 23:52:55] 409*2^666745-1 is not prime. Res64: 6428EEF3CF902966 Time : 2721.0 sec. user=mdettweiler [2009-04-03 23:53:13] 557*2^666744-1 is not prime. Res64: 32A3F774211291D5 Time : 2742.0 sec. user=glennpat [2009-04-03 23:57:32] 493*2^666727-1 is not prime. Res64: 83EB55702D91D30D Time : 9681.0 sec.