user=Mini-Geek [2011-12-05 00:05:29] 421*2^1071389-1 is not prime. Res64: 7FEDDC0885F2ACB7 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:07:05] 513*2^1071394-1 is not prime. Res64: 0F5F965D08421C29 Time : 0.0 sec. user=odicin [2011-12-05 00:07:18] 477*2^1071394-1 is not prime. Res64: 4C01ED9E5BC6E863 Time : 0.0 sec. user=Mini-Geek [2011-12-05 00:09:32] 563*2^1071388-1 is not prime. Res64: 8A967165EF4FA539 Time : 0.0 sec. user=Mini-Geek [2011-12-05 00:09:33] 445*2^1071389-1 is not prime. Res64: 4D7F2D4BF8E417B4 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:11:52] 555*2^1071387-1 is not prime. Res64: 4050D453720FB9BA Time : 0.0 sec. user=mdettweiler [2011-12-05 00:13:48] 563*2^1071396-1 is not prime. Res64: 20A3B28DADDC8A25 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:18:46] 579*2^1071396-1 is not prime. Res64: C64895D5A51715B5 Time : 0.0 sec. user=odicin [2011-12-05 00:20:46] 551*2^1071394-1 is not prime. Res64: EAEE41B0C55224B4 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:25:28] 427*2^1071397-1 is not prime. Res64: 37AB645EACEF2C28 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:30:21] 425*2^1071398-1 is not prime. Res64: 42A0789005811A26 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:32:06] 473*2^1071398-1 is not prime. Res64: 9F4257BEF7670182 Time : 0.0 sec. user=odicin [2011-12-05 00:33:36] 495*2^1071397-1 is not prime. Res64: DF8E96B33BA44A57 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:37:00] 503*2^1071398-1 is not prime. Res64: FB5144C430D61A18 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:43:46] 501*2^1071399-1 is not prime. Res64: 78553846E9185C82 Time : 0.0 sec. user=odicin [2011-12-05 00:47:08] 489*2^1071399-1 is not prime. Res64: B3777CAAD7CF8108 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:48:40] 511*2^1071399-1 is not prime. Res64: D4CAA1B280684979 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:50:18] 559*2^1071399-1 is not prime. Res64: A56FF75DCE4F3560 Time : 0.0 sec. user=mdettweiler [2011-12-05 00:55:20] 595*2^1071399-1 is not prime. Res64: 08D59FDC484D0B64 Time : 0.0 sec. user=odicin [2011-12-05 00:59:47] 571*2^1071399-1 is not prime. Res64: 980E1FEF957C30DD Time : 0.0 sec. user=mdettweiler [2011-12-05 01:02:22] 447*2^1071400-1 is not prime. Res64: 5454A1C16079F8CF Time : 0.0 sec. user=mdettweiler [2011-12-05 01:07:17] 439*2^1071401-1 is not prime. Res64: 6C80440BFEA41B1F Time : 0.0 sec. user=mdettweiler [2011-12-05 01:08:37] 525*2^1071401-1 is not prime. Res64: 209B94417AA171AA Time : 0.0 sec. user=odicin [2011-12-05 01:13:26] 533*2^1071400-1 is not prime. Res64: DA0A0216219A5D8B Time : 0.0 sec. user=mdettweiler [2011-12-05 01:13:51] 529*2^1071401-1 is not prime. Res64: 4AA9E0F543BF9F8E Time : 0.0 sec. user=mdettweiler [2011-12-05 01:20:41] 563*2^1071402-1 is not prime. Res64: 3223F22BB8F409DD Time : 0.0 sec. user=mdettweiler [2011-12-05 01:25:41] 587*2^1071402-1 is not prime. Res64: 852679F52EE8411E Time : 0.0 sec. user=odicin [2011-12-05 01:26:04] 555*2^1071402-1 is not prime. Res64: 6968F87B932E5CEC Time : 0.0 sec. user=mdettweiler [2011-12-05 01:26:54] 411*2^1071403-1 is not prime. Res64: FD5F01485445505B Time : 0.0 sec. user=mdettweiler [2011-12-05 01:32:09] 493*2^1071403-1 is not prime. Res64: EB7A61BF747A96BC Time : 0.0 sec. user=mdettweiler [2011-12-05 01:38:54] 479*2^1071404-1 is not prime. Res64: 31CF5440C4012620 Time : 0.0 sec. user=odicin [2011-12-05 01:39:56] 483*2^1071403-1 is not prime. Res64: CE5BC20174B7592D Time : 0.0 sec. user=mdettweiler [2011-12-05 01:43:59] 545*2^1071404-1 is not prime. Res64: 709AC50918FD7267 Time : 0.0 sec. user=mdettweiler [2011-12-05 01:45:12] 429*2^1071405-1 is not prime. Res64: 2F2F6ACF2328180D Time : 0.0 sec. user=mdettweiler [2011-12-05 01:50:32] 445*2^1071405-1 is not prime. Res64: DF6C2599552DD918 Time : 0.0 sec. user=odicin [2011-12-05 01:52:24] 579*2^1071404-1 is not prime. Res64: 209DBEEB1FAB912E Time : 0.0 sec. user=mdettweiler [2011-12-05 01:57:08] 447*2^1071405-1 is not prime. Res64: BE4F7A6CC0B9B888 Time : 0.0 sec. user=mdettweiler [2011-12-05 02:02:15] 517*2^1071405-1 is not prime. Res64: ED33B40BF5FB24C0 Time : 0.0 sec. user=mdettweiler [2011-12-05 02:03:29] 537*2^1071405-1 is not prime. Res64: 25A6570687966C73 Time : 0.0 sec. user=odicin [2011-12-05 02:06:18] 507*2^1071405-1 is not prime. Res64: 6B54341FA06F659F Time : 0.0 sec. user=mdettweiler [2011-12-05 02:08:56] 567*2^1071406-1 is not prime. Res64: 678567F929DDC09E Time : 0.0 sec. user=mdettweiler [2011-12-05 02:15:21] 475*2^1071407-1 is not prime. Res64: AE74DEB111992693 Time : 0.0 sec. user=odicin [2011-12-05 02:18:55] 593*2^1071406-1 is not prime. Res64: A0C5CCC7F3523457 Time : 0.0 sec. user=mdettweiler [2011-12-05 02:20:41] 423*2^1071408-1 is not prime. Res64: A6A9C4B09350574B Time : 0.0 sec. user=mdettweiler [2011-12-05 02:21:46] 429*2^1071409-1 is not prime. Res64: 84C8B294B46BCD4E Time : 0.0 sec. user=mdettweiler [2011-12-05 02:27:21] 525*2^1071409-1 is not prime. Res64: 6381CF7406C1F5EE Time : 0.0 sec. user=odicin [2011-12-05 02:32:44] 495*2^1071409-1 is not prime. Res64: 3DA0F585D78FC91B Time : 0.0 sec. user=mdettweiler [2011-12-05 02:33:40] 537*2^1071409-1 is not prime. Res64: 95222B32AFB0C3DD Time : 0.0 sec. user=mdettweiler [2011-12-05 02:38:56] 561*2^1071409-1 is not prime. Res64: 029A115B37968F12 Time : 0.0 sec. user=mdettweiler [2011-12-05 02:40:10] 501*2^1071410-1 is not prime. Res64: 289F47B2F3A07F02 Time : 0.0 sec. user=odicin [2011-12-05 02:45:13] 559*2^1071409-1 is not prime. Res64: 55B067B741634F4B Time : 0.0 sec. user=mdettweiler [2011-12-05 02:45:42] 563*2^1071410-1 is not prime. Res64: 75E158508C1B5016 Time : 0.0 sec. user=mdettweiler [2011-12-05 02:51:56] 459*2^1071411-1 is not prime. Res64: E6FDA34D44EFAA26 Time : 0.0 sec. user=mdettweiler [2011-12-05 02:57:15] 511*2^1071411-1 is not prime. Res64: 4CB59F3486EFBCEE Time : 0.0 sec. user=mdettweiler [2011-12-05 02:58:28] 513*2^1071411-1 is not prime. Res64: 511F57F8ACA3E2A1 Time : 0.0 sec. user=odicin [2011-12-05 02:59:06] 587*2^1071410-1 is not prime. Res64: 67F51F69938746AD Time : 0.0 sec. user=mdettweiler [2011-12-05 03:04:08] 571*2^1071411-1 is not prime. Res64: 8CB553E3F9598740 Time : 0.0 sec. user=mdettweiler [2011-12-05 03:10:19] 405*2^1071412-1 is not prime. Res64: 9984BB1721C43917 Time : 0.0 sec. user=odicin [2011-12-05 03:11:49] 549*2^1071411-1 is not prime. Res64: 0296EBB1F8532558 Time : 0.0 sec. user=mdettweiler [2011-12-05 03:15:32] 419*2^1071412-1 is not prime. Res64: 8BA21B65602CA9D6 Time : 0.0 sec. user=mdettweiler [2011-12-05 03:16:46] 423*2^1071412-1 is not prime. Res64: 5BC7756AACAEA36C Time : 0.0 sec. user=mdettweiler [2011-12-05 03:22:37] 485*2^1071412-1 is not prime. Res64: 5983D6438181B29C Time : 0.0 sec. user=odicin [2011-12-05 03:25:25] 483*2^1071412-1 is not prime. Res64: 98119930507353BC Time : 0.0 sec. user=mdettweiler [2011-12-05 03:28:52] 513*2^1071412-1 is not prime. Res64: 24DC40C4C965B631 Time : 0.0 sec. user=mdettweiler [2011-12-05 03:33:56] 411*2^1071413-1 is not prime. Res64: 8FE988BE4C5A1960 Time : 0.0 sec. user=mdettweiler [2011-12-05 03:35:10] 475*2^1071413-1 is not prime. Res64: D395C32B36774496 Time : 0.0 sec. user=mdettweiler [2011-12-05 03:40:51] 495*2^1071413-1 is not prime. Res64: 390D02CA0CC0C1E6 Time : 0.0 sec. user=mdettweiler [2011-12-05 03:47:15] 413*2^1071414-1 is not prime. Res64: 993909342F7AB71F Time : 0.0 sec. user=odicin [2011-12-05 03:50:47] 511*2^1071413-1 is not prime. Res64: BA73459324269F4E Time : 0.0 sec. user=mdettweiler [2011-12-05 03:52:15] 425*2^1071414-1 is not prime. Res64: 55727B77C0C5EF3E Time : 0.0 sec. user=mdettweiler [2011-12-05 03:53:31] 465*2^1071414-1 is not prime. Res64: 5E693864645BAA1A Time : 0.0 sec. user=mdettweiler [2011-12-05 03:59:05] 513*2^1071414-1 is not prime. Res64: 90DCAC85CFA56F0D Time : 0.0 sec. user=juhehe [2011-12-05 04:03:18] 559*2^1071197-1 is not prime. Res64: 7F4788487D4B67DD Time : 0.0 sec. user=juhehe [2011-12-05 04:03:19] 571*2^1071197-1 is not prime. Res64: 57C7D2D79462B8AF Time : 0.0 sec. user=juhehe [2011-12-05 04:03:20] 425*2^1071198-1 is not prime. Res64: 051F71ECC8E05CDA Time : 0.0 sec. user=juhehe [2011-12-05 04:03:21] 557*2^1071198-1 is not prime. Res64: 62FAE57E5FDEDDA9 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:22] 581*2^1071198-1 is not prime. Res64: 3874B5CBE6EC72A4 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:23] 471*2^1071199-1 is not prime. Res64: 3E6B92D207756069 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:25] 493*2^1071199-1 is not prime. Res64: 611E0B164534403C Time : 0.0 sec. user=juhehe [2011-12-05 04:03:26] 595*2^1071199-1 is not prime. Res64: 7F0C349D98A7DB8D Time : 0.0 sec. user=juhehe [2011-12-05 04:03:30] 479*2^1071200-1 is not prime. Res64: B81CB8DB415CA42E Time : 0.0 sec. user=juhehe [2011-12-05 04:03:34] 483*2^1071200-1 is not prime. Res64: 6E1C6D73FA1C1809 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:38] 495*2^1071200-1 is not prime. Res64: 69D736C0A0A7BF48 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:39] 427*2^1071201-1 is not prime. Res64: 2EE7938C4B2F8AF0 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:42] 465*2^1071201-1 is not prime. Res64: C139BE29647E908F Time : 0.0 sec. user=juhehe [2011-12-05 04:03:45] 499*2^1071201-1 is not prime. Res64: 40ADCF25EF0D7208 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:45] 423*2^1071202-1 is not prime. Res64: 6C148449F848DC9E Time : 0.0 sec. user=juhehe [2011-12-05 04:03:46] 483*2^1071202-1 is not prime. Res64: 09C73CD397852ACC Time : 0.0 sec. user=juhehe [2011-12-05 04:03:47] 495*2^1071202-1 is not prime. Res64: 8EF8B0DE8FA87562 Time : 0.0 sec. user=juhehe [2011-12-05 04:03:47] 463*2^1071203-1 is not prime. Res64: 262EDF20E35916ED Time : 0.0 sec. user=juhehe [2011-12-05 04:03:48] 511*2^1071203-1 is not prime. Res64: AD172C9C024EE8E8 Time : 0.0 sec. user=mdettweiler [2011-12-05 04:05:37] 433*2^1071415-1 is not prime. Res64: 5C5B99ACD607BE4F Time : 0.0 sec. user=mdettweiler [2011-12-05 04:10:34] 525*2^1071416-1 is not prime. Res64: 04C466D19129A88D Time : 0.0 sec. user=mdettweiler [2011-12-05 04:11:46] 539*2^1071416-1 is not prime. Res64: DD25C4FD037474BF Time : 0.0 sec. user=odicin [2011-12-05 04:13:23] 563*2^1071412-1 is not prime. Res64: F3727281984FA16B Time : 0.0 sec. user=odicin [2011-12-05 04:15:44] 469*2^1071415-1 is not prime. Res64: F564C7E7ED4B9C7E Time : 0.0 sec. user=mdettweiler [2011-12-05 04:17:22] 587*2^1071416-1 is not prime. Res64: 3D3DFEE53666618E Time : 0.0 sec. user=mdettweiler [2011-12-05 04:24:04] 437*2^1071434-1 is not prime. Res64: A9C3398440F88FBE Time : 0.0 sec. user=mdettweiler [2011-12-05 04:28:51] 531*2^1071434-1 is not prime. Res64: 0FABB6D92090639E Time : 0.0 sec. user=mdettweiler [2011-12-05 04:30:05] 585*2^1071434-1 is not prime. Res64: 85E371BC29960C79 Time : 0.0 sec. user=mdettweiler [2011-12-05 04:35:34] 555*2^1071435-1 is not prime. Res64: E7828D797A7EABC5 Time : 0.0 sec. user=odicin [2011-12-05 04:39:36] 433*2^1071435-1 is not prime. Res64: 045C94EA631DF4B1 Time : 0.0 sec. user=odicin [2011-12-05 04:42:00] 475*2^1071435-1 is not prime. Res64: 87F008E55421963D Time : 0.0 sec. user=mdettweiler [2011-12-05 04:42:26] 591*2^1071435-1 is not prime. Res64: 154DB8A6960E4B5E Time : 0.0 sec. user=mdettweiler [2011-12-05 04:47:07] 537*2^1071436-1 is not prime. Res64: 5A4B19A2E243F3DA Time : 0.0 sec. user=mdettweiler [2011-12-05 04:48:23] 563*2^1071436-1 is not prime. Res64: B42F482F83CE247F Time : 0.0 sec. user=mdettweiler [2011-12-05 04:53:53] 569*2^1071436-1 is not prime. Res64: C14A2CB8359244F2 Time : 0.0 sec. user=juhehe [2011-12-05 05:00:37] 487*2^1071389-1 is not prime. Res64: E205C936FA1BF5F7 Time : 0.0 sec. user=juhehe [2011-12-05 05:00:41] 511*2^1071389-1 is not prime. Res64: 3DD7559222060A07 Time : 0.0 sec. user=juhehe [2011-12-05 05:00:45] 577*2^1071389-1 is not prime. Res64: 43E9E9A8F2E57BBB Time : 0.0 sec. user=juhehe [2011-12-05 05:00:48] 413*2^1071390-1 is not prime. Res64: 8E2E9554C9BCCE69 Time : 0.0 sec. user=juhehe [2011-12-05 05:00:51] 437*2^1071390-1 is not prime. Res64: 852CC3A08C80A97C Time : 0.0 sec. user=mdettweiler [2011-12-05 05:00:54] 475*2^1071437-1 is not prime. Res64: FE6229B569217344 Time : 0.0 sec. user=juhehe [2011-12-05 05:00:55] 465*2^1071390-1 is not prime. Res64: 48F1C5B353B6D890 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:05:24] 489*2^1071437-1 is not prime. Res64: 168A45D751416C07 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:06:46] 529*2^1071437-1 is not prime. Res64: 31755C6B199495D9 Time : 0.0 sec. user=odicin [2011-12-05 05:08:13] 465*2^1071437-1 is not prime. Res64: C82CA01D63A494EB Time : 0.0 sec. user=juhehe [2011-12-05 05:11:56] 543*2^1071390-1 is not prime. Res64: DBD554C078C2F35C Time : 0.0 sec. user=juhehe [2011-12-05 05:11:58] 557*2^1071390-1 is not prime. Res64: C9636C3546953B50 Time : 0.0 sec. user=juhehe [2011-12-05 05:11:59] 581*2^1071390-1 is not prime. Res64: 4494539811240BE3 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:00] 415*2^1071391-1 is not prime. Res64: 17E300FFCC42FF39 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:02] 505*2^1071391-1 is not prime. Res64: 7189155CE2671FBB Time : 0.0 sec. user=juhehe [2011-12-05 05:12:03] 525*2^1071391-1 is not prime. Res64: 72765F0AAB104002 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:05] 595*2^1071391-1 is not prime. Res64: 210838E0B7B23BE5 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:06] 435*2^1071392-1 is not prime. Res64: D061FB7D48CC6815 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:06] 447*2^1071392-1 is not prime. Res64: CF671CB74B490823 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:07] 557*2^1071392-1 is not prime. Res64: 37900F4238623D58 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:08] 563*2^1071392-1 is not prime. Res64: 313691497ADCB9EC Time : 0.0 sec. user=juhehe [2011-12-05 05:12:08] 405*2^1071393-1 is not prime. Res64: 19165C74B4714D01 Time : 0.0 sec. user=juhehe [2011-12-05 05:12:09] 471*2^1071393-1 is not prime. Res64: 6E02EDF0039D6F9A Time : 0.0 sec. user=juhehe [2011-12-05 05:12:09] 585*2^1071393-1 is not prime. Res64: AB074F8AC4E5200C Time : 0.0 sec. user=mdettweiler [2011-12-05 05:12:12] 423*2^1071438-1 is not prime. Res64: E83763401B5641B8 Time : 0.0 sec. user=odicin [2011-12-05 05:13:32] 435*2^1071437-1 is not prime. Res64: F0149BA3439C84B5 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:23:54] 485*2^1071438-1 is not prime. Res64: 9CBE83B6773B38CF Time : 0.0 sec. user=gd_barnes [2011-12-05 05:24:25] 431*2^1071438-1 is not prime. Res64: 6DD7DADCB44206C4 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:25:05] 507*2^1071438-1 is not prime. Res64: 39D9C187A4899914 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:27:48] 415*2^1071439-1 is not prime. Res64: EDC459F0A304DEEE Time : 0.0 sec. user=mdettweiler [2011-12-05 05:30:46] 553*2^1071439-1 is not prime. Res64: 0B39638D945F3518 Time : 0.0 sec. user=odicin [2011-12-05 05:33:59] 525*2^1071438-1 is not prime. Res64: 7DDC933B4C38C992 Time : 0.0 sec. user=gd_barnes [2011-12-05 05:38:21] 575*2^1071448-1 is not prime. Res64: 14E0710DD9251F44 Time : 0.0 sec. user=gd_barnes [2011-12-05 05:38:31] 437*2^1071448-1 is not prime. Res64: 549A5ADE5AA6EAA5 Time : 0.0 sec. user=odicin [2011-12-05 05:39:52] 419*2^1071448-1 is not prime. Res64: D926D20986F9F23F Time : 0.0 sec. user=mdettweiler [2011-12-05 05:42:26] 411*2^1071449-1 is not prime. Res64: 84576F09C532C807 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:43:22] 481*2^1071449-1 is not prime. Res64: 3BA80DD6473791E0 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:46:04] 425*2^1071450-1 is not prime. Res64: 408FC68216182300 Time : 0.0 sec. user=mdettweiler [2011-12-05 05:49:09] 461*2^1071450-1 is not prime. Res64: 1DB948A23FA4207C Time : 0.0 sec. user=mdettweiler [2011-12-05 06:00:49] 581*2^1071450-1 is not prime. Res64: 8B3C31AD0BB9AC95 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:01:34] 489*2^1071451-1 is not prime. Res64: BA05C342FC716E90 Time : 0.0 sec. user=odicin [2011-12-05 06:04:08] 473*2^1071450-1 is not prime. Res64: E5F45D540A5B32D3 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:04:21] 511*2^1071451-1 is not prime. Res64: 699C05C01884F65F Time : 0.0 sec. user=odicin [2011-12-05 06:05:46] 543*2^1071450-1 is not prime. Res64: 5F9CDA0A7A78C0DC Time : 0.0 sec. user=mdettweiler [2011-12-05 06:07:29] 531*2^1071451-1 is not prime. Res64: A758AC61C4E2E22A Time : 0.0 sec. user=mdettweiler [2011-12-05 06:19:17] 507*2^1071452-1 is not prime. Res64: D3D550AE09F44722 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:19:51] 507*2^1071453-1 is not prime. Res64: 1B7112F30537CB20 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:22:38] 571*2^1071453-1 is not prime. Res64: B02DEE63831500A5 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:25:51] 461*2^1071454-1 is not prime. Res64: 344D4E0D269A86DB Time : 0.0 sec. user=odicin [2011-12-05 06:30:32] 529*2^1071453-1 is not prime. Res64: FF71D6BA6C5D5542 Time : 0.0 sec. user=odicin [2011-12-05 06:32:07] 585*2^1071453-1 is not prime. Res64: 4E8A4CCD8BEE8AAA Time : 0.0 sec. user=mdettweiler [2011-12-05 06:37:34] 533*2^1071454-1 is not prime. Res64: FEE4C09C4536126F Time : 0.0 sec. user=mdettweiler [2011-12-05 06:38:12] 551*2^1071454-1 is not prime. Res64: 0312515D424C3783 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:40:59] 575*2^1071454-1 is not prime. Res64: 30C130D406B9F03D Time : 0.0 sec. user=mdettweiler [2011-12-05 06:44:06] 433*2^1071455-1 is not prime. Res64: 76F36F52AB68A708 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:55:48] 579*2^1071455-1 is not prime. Res64: FCAB71B15A2AF15B Time : 0.0 sec. user=mdettweiler [2011-12-05 06:56:34] 503*2^1071456-1 is not prime. Res64: 5E7C317E489E4695 Time : 0.0 sec. user=odicin [2011-12-05 06:56:54] 501*2^1071455-1 is not prime. Res64: 59514B82AF374434 Time : 0.0 sec. user=odicin [2011-12-05 06:58:22] 523*2^1071455-1 is not prime. Res64: 706C41F2530B8C62 Time : 0.0 sec. user=mdettweiler [2011-12-05 06:59:15] 557*2^1071456-1 is not prime. Res64: EE9FE0240D2CA5D7 Time : 0.0 sec. user=mdettweiler [2011-12-05 07:02:27] 593*2^1071456-1 is not prime. Res64: 34B652898B9204B6 Time : 0.0 sec. user=mdettweiler [2011-12-05 07:14:00] 429*2^1071457-1 is not prime. Res64: B24B5BDAD71B235A Time : 0.0 sec. user=mdettweiler [2011-12-05 07:14:57] 565*2^1071457-1 is not prime. Res64: C708760808C0256A Time : 0.0 sec. user=mdettweiler [2011-12-05 07:17:31] 445*2^1071459-1 is not prime. Res64: 4E7EC2C5DEC5D06F Time : 0.0 sec. user=mdettweiler [2011-12-05 07:20:48] 553*2^1071459-1 is not prime. Res64: 93E4E383AA0245D9 Time : 0.0 sec. user=odicin [2011-12-05 07:23:15] 501*2^1071458-1 is not prime. Res64: 58C772474A248F32 Time : 0.0 sec. user=odicin [2011-12-05 07:24:40] 515*2^1071458-1 is not prime. Res64: 58588B969BF8987C Time : 0.0 sec. user=mdettweiler [2011-12-05 07:32:33] 571*2^1071459-1 is not prime. Res64: 49E695ED9D91415F Time : 0.0 sec. user=mdettweiler [2011-12-05 07:33:21] 539*2^1071460-1 is not prime. Res64: 62A5BB7C17F11583 Time : 0.0 sec. user=mdettweiler [2011-12-05 07:35:51] 545*2^1071460-1 is not prime. Res64: 7B30D19158E18937 Time : 0.0 sec. user=mdettweiler [2011-12-05 07:39:05] 405*2^1071461-1 is not prime. Res64: 69B94FFF631E16B4 Time : 0.0 sec. user=odicin [2011-12-05 07:49:35] 439*2^1071461-1 is not prime. Res64: 34C694C5DCA8BF84 Time : 0.0 sec. user=mdettweiler [2011-12-05 07:50:58] 417*2^1071462-1 is not prime. Res64: C5F28280599A13A1 Time : 0.0 sec. user=odicin [2011-12-05 07:51:00] 441*2^1071461-1 is not prime. Res64: F8C68B8CCF872312 Time : 0.0 sec. user=mdettweiler [2011-12-05 07:51:40] 513*2^1071462-1 is not prime. Res64: 4A9C5C145C8A81FD Time : 0.0 sec. user=mdettweiler [2011-12-05 07:54:08] 585*2^1071462-1 is not prime. Res64: 3C5B5B9913485DAA Time : 0.0 sec. user=mdettweiler [2011-12-05 07:57:24] 587*2^1071462-1 is not prime. Res64: FD536E7C4BCCC120 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:09:14] 499*2^1071463-1 is not prime. Res64: 520ED84544DD7153 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:10:03] 505*2^1071463-1 is not prime. Res64: 917C2E2FBF7BB731 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:12:23] 549*2^1071463-1 is not prime. Res64: BAB775867503F6D2 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:15:39] 447*2^1071464-1 is not prime. Res64: B74C7CC99EEACB99 Time : 0.0 sec. user=odicin [2011-12-05 08:15:58] 441*2^1071463-1 is not prime. Res64: 0C31BC0AFD1FDC51 Time : 0.0 sec. user=odicin [2011-12-05 08:17:25] 489*2^1071463-1 is not prime. Res64: 1E05315D317DC354 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:27:38] 459*2^1071464-1 is not prime. Res64: 64DB785F897C3B41 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:28:22] 507*2^1071464-1 is not prime. Res64: 38C80ABFA4FB3242 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:30:46] 509*2^1071464-1 is not prime. Res64: AAB0C65CEB08411C Time : 0.0 sec. user=mdettweiler [2011-12-05 08:33:56] 599*2^1071464-1 is not prime. Res64: 98CD9F8031F29D4C Time : 0.0 sec. user=odicin [2011-12-05 08:42:15] 405*2^1071465-1 is not prime. Res64: 2F24A72CEF1ABAE1 Time : 0.0 sec. user=odicin [2011-12-05 08:43:38] 465*2^1071465-1 is not prime. Res64: B1D396AE4F885BD3 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:45:57] 491*2^1071466-1 is not prime. Res64: 7BCB0A76A0A71EA3 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:46:37] 421*2^1071467-1 is not prime. Res64: 6432AE3BA32FF7D7 Time : 0.0 sec. user=mdettweiler [2011-12-05 08:49:08] 489*2^1071467-1 is not prime. Res64: EDDC9233013D31BD Time : 0.0 sec. user=mdettweiler [2011-12-05 08:52:06] 519*2^1071467-1 is not prime. Res64: D2F258471193E268 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:04:15] 415*2^1071469-1 is not prime. Res64: FF8D5C4302182295 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:04:54] 471*2^1071469-1 is not prime. Res64: ACF821EC363E5085 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:07:28] 507*2^1071469-1 is not prime. Res64: 6FCAD62393AE634F Time : 0.0 sec. user=odicin [2011-12-05 09:08:44] 425*2^1071468-1 is not prime. Res64: 9170769F77FD71AF Time : 0.0 sec. user=mdettweiler [2011-12-05 09:10:28] 549*2^1071469-1 is not prime. Res64: 550A3705A1C9B739 Time : 0.0 sec. user=odicin [2011-12-05 09:13:32] 567*2^1071468-1 is not prime. Res64: 865C5FEAE120F3DD Time : 0.0 sec. user=mdettweiler [2011-12-05 09:22:40] 567*2^1071469-1 is not prime. Res64: D46B94BDEED78890 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:23:14] 589*2^1071469-1 is not prime. Res64: D0BE30D3FE75AB3A Time : 0.0 sec. user=mdettweiler [2011-12-05 09:25:51] 417*2^1071470-1 is not prime. Res64: CF98F6A57D43645A Time : 0.0 sec. user=mdettweiler [2011-12-05 09:28:55] 591*2^1071470-1 is not prime. Res64: ECE9730F95AF1EB9 Time : 0.0 sec. user=odicin [2011-12-05 09:34:43] 495*2^1071470-1 is not prime. Res64: D0811DC265A7AC8B Time : 0.0 sec. user=odicin [2011-12-05 09:39:53] 429*2^1071472-1 is not prime. Res64: A0AADA6018DFA608 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:40:58] 483*2^1071472-1 is not prime. Res64: FBBA3133E8FE185C Time : 0.0 sec. user=mdettweiler [2011-12-05 09:41:33] 569*2^1071472-1 is not prime. Res64: 5455A40FF043C151 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:44:08] 465*2^1071473-1 is not prime. Res64: 08C8BFACFC48189D Time : 0.0 sec. user=mdettweiler [2011-12-05 09:47:11] 561*2^1071473-1 is not prime. Res64: B736119D56F11D52 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:59:13] 431*2^1071474-1 is not prime. Res64: E2B398C18FFB58C3 Time : 0.0 sec. user=mdettweiler [2011-12-05 09:59:52] 513*2^1071474-1 is not prime. Res64: 427690DB2C65FAB7 Time : 0.0 sec. user=odicin [2011-12-05 10:01:12] 585*2^1071473-1 is not prime. Res64: 309FF0BA92358B69 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:02:27] 527*2^1071474-1 is not prime. Res64: 2930A3104BA98884 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:05:30] 573*2^1071474-1 is not prime. Res64: A0012D146CD86CDA Time : 0.0 sec. user=odicin [2011-12-05 10:06:12] 413*2^1071474-1 is not prime. Res64: 37845ACE9FA8757C Time : 0.0 sec. user=mdettweiler [2011-12-05 10:17:28] 585*2^1071474-1 is not prime. Res64: E4EAA445E46F1DD6 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:18:11] 489*2^1071475-1 is not prime. Res64: 0277C60099AD302D Time : 0.0 sec. user=mdettweiler [2011-12-05 10:20:48] 511*2^1071475-1 is not prime. Res64: 08BCEF3F32965B69 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:23:52] 413*2^1071476-1 is not prime. Res64: 594D98E95CDBC3B1 Time : 0.0 sec. user=odicin [2011-12-05 10:27:34] 493*2^1071475-1 is not prime. Res64: 7D29DC775BF8AC54 Time : 0.0 sec. user=odicin [2011-12-05 10:32:32] 545*2^1071476-1 is not prime. Res64: DD801D13F141410B Time : 0.0 sec. user=mdettweiler [2011-12-05 10:35:52] 563*2^1071476-1 is not prime. Res64: 5CBB4129EED7DD62 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:36:22] 571*2^1071477-1 is not prime. Res64: 44CA8A010EBA4BFC Time : 0.0 sec. user=mdettweiler [2011-12-05 10:39:06] 483*2^1071478-1 is not prime. Res64: 13D526EDD02EA037 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:42:10] 561*2^1071478-1 is not prime. Res64: 90AB800B98A1F427 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:18] 489*2^1071439-1 is not prime. Res64: E65160FF767E194D Time : 0.0 sec. user=juhehe [2011-12-05 10:45:18] 531*2^1071439-1 is not prime. Res64: 51CE47D55486F4C8 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:18] 471*2^1071441-1 is not prime. Res64: F0B15A4BFCCD8329 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:19] 571*2^1071441-1 is not prime. Res64: 19FF51BAA79C4A12 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:19] 597*2^1071441-1 is not prime. Res64: 54B6C19095609226 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:19] 471*2^1071442-1 is not prime. Res64: C72B97B7015498A9 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:19] 581*2^1071442-1 is not prime. Res64: 851D10B334881374 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:20] 435*2^1071443-1 is not prime. Res64: 1A53CBF3E72CABE7 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:20] 589*2^1071443-1 is not prime. Res64: 3C32B13B6D7E3A84 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:20] 419*2^1071444-1 is not prime. Res64: 3859FD888467E0AF Time : 0.0 sec. user=juhehe [2011-12-05 10:45:21] 503*2^1071444-1 is not prime. Res64: CED9C071C64CA9D7 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:21] 587*2^1071444-1 is not prime. Res64: F201CF8DC8F38CF0 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:21] 405*2^1071445-1 is not prime. Res64: A31C6753879343B1 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:22] 441*2^1071445-1 is not prime. Res64: DC1F6D9A9E70F50C Time : 0.0 sec. user=juhehe [2011-12-05 10:45:22] 447*2^1071445-1 is not prime. Res64: 302B330012EB483A Time : 0.0 sec. user=juhehe [2011-12-05 10:45:22] 515*2^1071446-1 is not prime. Res64: B94D12DBD4119195 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:22] 587*2^1071446-1 is not prime. Res64: 780A09E3606A5F05 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:23] 591*2^1071446-1 is not prime. Res64: 64886A7DB5AB847D Time : 0.0 sec. user=juhehe [2011-12-05 10:45:23] 409*2^1071447-1 is not prime. Res64: 8D586497CADD9399 Time : 0.0 sec. user=juhehe [2011-12-05 10:45:23] 513*2^1071447-1 is not prime. Res64: 81BF54BAF25C788A Time : 0.0 sec. user=odicin [2011-12-05 10:54:00] 567*2^1071478-1 is not prime. Res64: 1D1540B5186B74E5 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:54:08] 459*2^1071479-1 is not prime. Res64: 45FF821E9BA04A13 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:54:45] 553*2^1071479-1 is not prime. Res64: E3A9AFC861DEB072 Time : 0.0 sec. user=mdettweiler [2011-12-05 10:57:24] 447*2^1071480-1 is not prime. Res64: 587292D85C576892 Time : 0.0 sec. user=odicin [2011-12-05 10:58:59] 591*2^1071478-1 is not prime. Res64: CDB8E73574400C89 Time : 0.0 sec. user=mdettweiler [2011-12-05 11:00:23] 453*2^1071480-1 is not prime. Res64: BC53EB8A116FD97C Time : 0.0 sec. user=mdettweiler [2011-12-05 11:12:21] 525*2^1071486-1 is not prime. Res64: 9E4577754261597B Time : 0.0 sec. user=mdettweiler [2011-12-05 11:12:55] 453*2^1071487-1 is not prime. Res64: 768A5BB2015241CB Time : 0.0 sec. user=mdettweiler [2011-12-05 11:15:35] 519*2^1071487-1 is not prime. Res64: FB6EF30EA679CCC8 Time : 0.0 sec. user=mdettweiler [2011-12-05 11:18:35] 417*2^1071488-1 is not prime. Res64: 74B146669720871E Time : 0.0 sec. user=odicin [2011-12-05 11:20:22] 515*2^1071486-1 is not prime. Res64: 76A07DE4983986EB Time : 0.0 sec. user=odicin [2011-12-05 11:25:13] 579*2^1071487-1 is not prime. Res64: 4F0B500A36C7FFB2 Time : 0.0 sec. user=mdettweiler [2011-12-05 11:30:40] 519*2^1071488-1 is not prime. Res64: A9E982BFCEAF0F6D Time : 0.0 sec. user=mdettweiler [2011-12-05 11:31:08] 441*2^1071489-1 is not prime. Res64: BBCFAF95C93E49AE Time : 0.0 sec. user=mdettweiler [2011-12-05 11:33:45] 445*2^1071489-1 is not prime. Res64: 5694A8DEDCC4E2A5 Time : 0.0 sec. user=mdettweiler [2011-12-05 11:36:46] 555*2^1071489-1 is not prime. Res64: 7D5B5983B3B63F43 Time : 0.0 sec. user=odicin [2011-12-05 11:46:37] 411*2^1071490-1 is not prime. Res64: 8D1BD188C3DB139C Time : 0.0 sec. user=mdettweiler [2011-12-05 11:48:52] 527*2^1071490-1 is not prime. Res64: 5308095C99D2CC62 Time : 0.0 sec. user=mdettweiler [2011-12-05 11:49:17] 433*2^1071491-1 is not prime. Res64: 2E21FB80C3F534FC Time : 0.0 sec. user=odicin [2011-12-05 11:51:30] 453*2^1071490-1 is not prime. Res64: F868E8C2EFB558FD Time : 0.0 sec. user=mdettweiler [2011-12-05 11:51:56] 451*2^1071491-1 is not prime. Res64: BEA0F1F01743896D Time : 0.0 sec. user=mdettweiler [2011-12-05 11:54:58] 437*2^1071492-1 is not prime. Res64: FD383FEFA2316DC2 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:07:03] 539*2^1071492-1 is not prime. Res64: 3BF778CF37190890 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:07:28] 405*2^1071493-1 is not prime. Res64: AC4AEB422E02AA56 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:10:07] 555*2^1071493-1 is not prime. Res64: 47ACCA1ED43C6C52 Time : 0.0 sec. user=odicin [2011-12-05 12:12:49] 459*2^1071492-1 is not prime. Res64: 7D11BE0D85FCCCDE Time : 0.0 sec. user=mdettweiler [2011-12-05 12:13:11] 591*2^1071493-1 is not prime. Res64: BFA0FC74727E6B42 Time : 0.0 sec. user=odicin [2011-12-05 12:17:44] 421*2^1071493-1 is not prime. Res64: 796329D9C849C45B Time : 0.0 sec. user=mdettweiler [2011-12-05 12:25:19] 533*2^1071494-1 is not prime. Res64: 733458EF01735C69 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:25:41] 433*2^1071495-1 is not prime. Res64: 1C7D8A8EEFFAC264 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:28:18] 511*2^1071495-1 is not prime. Res64: 3B825EF0C94FFE4E Time : 0.0 sec. user=mdettweiler [2011-12-05 12:31:25] 573*2^1071495-1 is not prime. Res64: F9FDDD0A402AA1E5 Time : 0.0 sec. user=odicin [2011-12-05 12:39:08] 513*2^1071495-1 is not prime. Res64: 0E68A5EAE4E01878 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:43:30] 447*2^1071496-1 is not prime. Res64: 8F0E6525AAB8B269 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:43:52] 527*2^1071496-1 is not prime. Res64: 14F2079014FCF649 Time : 0.0 sec. user=odicin [2011-12-05 12:44:09] 583*2^1071495-1 is not prime. Res64: B71C3046B29FD225 Time : 0.0 sec. user=mdettweiler [2011-12-05 12:46:28] 539*2^1071496-1 is not prime. Res64: C23832BE1BDB37FE Time : 0.0 sec. user=mdettweiler [2011-12-05 12:49:35] 563*2^1071496-1 is not prime. Res64: 56DE6BF2C1C43292 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:01:43] 475*2^1071497-1 is not prime. Res64: 54F33EE7A3B3F866 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:02:03] 501*2^1071497-1 is not prime. Res64: 558C8012F90E9446 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:04:39] 483*2^1071498-1 is not prime. Res64: 1DE42214E245C98C Time : 0.0 sec. user=odicin [2011-12-05 13:05:28] 445*2^1071497-1 is not prime. Res64: 92C514549A6669BF Time : 0.0 sec. user=mdettweiler [2011-12-05 13:07:43] 483*2^1071499-1 is not prime. Res64: D276C9B790296608 Time : 0.0 sec. user=odicin [2011-12-05 13:10:25] 437*2^1071498-1 is not prime. Res64: 5210F44D9B2465CD Time : 0.0 sec. user=mdettweiler [2011-12-05 13:20:02] 459*2^1071500-1 is not prime. Res64: 6299BC9B29952707 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:20:17] 487*2^1071501-1 is not prime. Res64: FBA545532131E768 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:22:54] 499*2^1071501-1 is not prime. Res64: 5561AF7E0316F4A0 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:25:55] 549*2^1071501-1 is not prime. Res64: B9AD713C043BD165 Time : 0.0 sec. user=odicin [2011-12-05 13:31:49] 529*2^1071501-1 is not prime. Res64: 9092496B863A413C Time : 0.0 sec. user=odicin [2011-12-05 13:36:42] 423*2^1071502-1 is not prime. Res64: CFC11C2AFA0638DA Time : 0.0 sec. user=mdettweiler [2011-12-05 13:38:14] 461*2^1071502-1 is not prime. Res64: 8A6124E430A61287 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:38:27] 525*2^1071503-1 is not prime. Res64: 8249F32D77F81A04 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:41:04] 559*2^1071503-1 is not prime. Res64: CFEE56D238CCDBBB Time : 0.0 sec. user=mdettweiler [2011-12-05 13:44:09] 497*2^1071504-1 is not prime. Res64: 9C5393C08241FC20 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:56:24] 589*2^1071505-1 is not prime. Res64: 01622762F1B39E46 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:56:39] 591*2^1071505-1 is not prime. Res64: 7242FE4DAD62A0E9 Time : 0.0 sec. user=odicin [2011-12-05 13:58:08] 543*2^1071504-1 is not prime. Res64: CF28DAF9C2BC4699 Time : 0.0 sec. user=mdettweiler [2011-12-05 13:59:16] 405*2^1071506-1 is not prime. Res64: 4AE166A4676D10F4 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:02:21] 431*2^1071506-1 is not prime. Res64: 1C86C7DA049C4B19 Time : 0.0 sec. user=odicin [2011-12-05 14:03:01] 525*2^1071505-1 is not prime. Res64: 510E1429EF7C19CF Time : 0.0 sec. user=mdettweiler [2011-12-05 14:14:35] 473*2^1071506-1 is not prime. Res64: A11DAA1175836394 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:14:53] 581*2^1071506-1 is not prime. Res64: 71FC49B6C41BE52B Time : 0.0 sec. user=mdettweiler [2011-12-05 14:17:26] 441*2^1071507-1 is not prime. Res64: 18494830255BE912 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:20:37] 489*2^1071507-1 is not prime. Res64: A8A18434A3C1D914 Time : 0.0 sec. user=odicin [2011-12-05 14:24:28] 585*2^1071506-1 is not prime. Res64: BC38BC41E3A58DF9 Time : 0.0 sec. user=odicin [2011-12-05 14:29:13] 513*2^1071507-1 is not prime. Res64: 52CBF5C3033F63DA Time : 0.0 sec. user=mdettweiler [2011-12-05 14:32:48] 585*2^1071507-1 is not prime. Res64: 398DCE19876AF92C Time : 0.0 sec. user=mdettweiler [2011-12-05 14:33:02] 595*2^1071507-1 is not prime. Res64: C7132AF6CBB2CA82 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:35:38] 527*2^1071508-1 is not prime. Res64: B008C660CB8B66C7 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:38:47] 549*2^1071508-1 is not prime. Res64: 8743ED0F5B15DF28 Time : 0.0 sec. user=odicin [2011-12-05 14:50:53] 567*2^1071508-1 is not prime. Res64: EE49FC30A83ED47F Time : 0.0 sec. user=mdettweiler [2011-12-05 14:51:19] 481*2^1071509-1 is not prime. Res64: 52F04A09E2759718 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:51:29] 489*2^1071509-1 is not prime. Res64: B294DFB02539E044 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:54:12] 525*2^1071509-1 is not prime. Res64: D00E9789E2B8C19A Time : 0.0 sec. user=odicin [2011-12-05 14:55:36] 575*2^1071508-1 is not prime. Res64: 3AC886B566DAE1B5 Time : 0.0 sec. user=mdettweiler [2011-12-05 14:57:21] 423*2^1071510-1 is not prime. Res64: A249A24000F6263A Time : 0.0 sec. user=mdettweiler [2011-12-05 15:09:38] 443*2^1071510-1 is not prime. Res64: 92698B7EA417A94A Time : 0.0 sec. user=mdettweiler [2011-12-05 15:10:00] 447*2^1071510-1 is not prime. Res64: 5E23BB3D01CB2B5B Time : 0.0 sec. user=mdettweiler [2011-12-05 15:12:31] 593*2^1071510-1 is not prime. Res64: E8832E647E4306C6 Time : 0.0 sec. user=mdettweiler [2011-12-05 15:15:41] 453*2^1071511-1 is not prime. Res64: 910A9600A4E7CDBB Time : 0.0 sec. user=odicin [2011-12-05 15:17:17] 437*2^1071510-1 is not prime. Res64: D90D92F33AA13B0C Time : 0.0 sec. user=odicin [2011-12-05 15:21:57] 405*2^1071511-1 is not prime. Res64: 0DCB12D4288E15B5 Time : 0.0 sec. user=mdettweiler [2011-12-05 15:28:01] 447*2^1071512-1 is not prime. Res64: 1E616AB3E726676C Time : 0.0 sec. user=mdettweiler [2011-12-05 15:28:21] 557*2^1071512-1 is not prime. Res64: BBD4439DF7B931C6 Time : 0.0 sec. user=mdettweiler [2011-12-05 15:30:47] 409*2^1071513-1 is not prime. Res64: 1AD1F0E796BCC870 Time : 0.0 sec. user=mdettweiler [2011-12-05 15:33:53] 441*2^1071513-1 is not prime. Res64: 9EBCE793EE53A3E1 Time : 0.0 sec. user=odicin [2011-12-05 15:43:43] 481*2^1071513-1 is not prime. Res64: 0C37ACE9611766A5 Time : 0.0 sec. user=mdettweiler [2011-12-05 15:46:14] 527*2^1071514-1 is not prime. Res64: E4422397ED1880CC Time : 0.0 sec. user=mdettweiler [2011-12-05 15:46:30] 463*2^1071515-1 is not prime. Res64: 608F1B1777BB0453 Time : 0.0 sec. user=odicin [2011-12-05 15:48:18] 483*2^1071514-1 is not prime. Res64: 807D9CD6D8CE06C6 Time : 0.0 sec. user=mdettweiler [2011-12-05 15:48:57] 495*2^1071515-1 is not prime. Res64: B9D4F304CE017124 Time : 0.0 sec. user=mdettweiler [2011-12-05 15:52:03] 511*2^1071515-1 is not prime. Res64: 81EE6E6AD09D86DB Time : 0.0 sec. user=mdettweiler [2011-12-05 16:04:23] 553*2^1071515-1 is not prime. Res64: 81B7D49D1A1E643C Time : 0.0 sec. user=mdettweiler [2011-12-05 16:04:44] 455*2^1071516-1 is not prime. Res64: ED822705694D2E0C Time : 0.0 sec. user=mdettweiler [2011-12-05 16:07:12] 557*2^1071516-1 is not prime. Res64: 1E4E1EA3FB86CE29 Time : 0.0 sec. user=odicin [2011-12-05 16:10:02] 531*2^1071515-1 is not prime. Res64: C34C35DF8151FB70 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:10:25] 567*2^1071516-1 is not prime. Res64: 24F4ACEEFC3048E1 Time : 0.0 sec. user=odicin [2011-12-05 16:14:34] 479*2^1071516-1 is not prime. Res64: 816A9917E4FEF0E9 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:23:05] 597*2^1071516-1 is not prime. Res64: 56FEE4AFDB18B002 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:23:11] 471*2^1071517-1 is not prime. Res64: 23F0D6CEF787762E Time : 0.0 sec. user=mdettweiler [2011-12-05 16:25:44] 517*2^1071517-1 is not prime. Res64: 4E641833C4E4FC33 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:28:49] 435*2^1071518-1 is not prime. Res64: 4FB56A0BB7540BC7 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:27] 473*2^1071480-1 is not prime. Res64: D72B31C0C1A238C5 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:28] 515*2^1071480-1 is not prime. Res64: 012FBCD1743658BF Time : 0.0 sec. user=juhehe [2011-12-05 16:34:28] 525*2^1071480-1 is not prime. Res64: 9A5E28D8A1D269E9 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:28] 409*2^1071481-1 is not prime. Res64: 21170BEA681EDE89 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:29] 471*2^1071481-1 is not prime. Res64: A7C542EAC2110DBB Time : 0.0 sec. user=juhehe [2011-12-05 16:34:29] 495*2^1071481-1 is not prime. Res64: 58BABF43826CEFFB Time : 0.0 sec. user=juhehe [2011-12-05 16:34:29] 517*2^1071481-1 is not prime. Res64: 9812C5FDFFF050B8 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:30] 515*2^1071482-1 is not prime. Res64: 79C2D43287E2F2E1 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:30] 573*2^1071482-1 is not prime. Res64: CD93B1F1A5CB3CA0 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:30] 415*2^1071483-1 is not prime. Res64: 72A0AB23F961C6CD Time : 0.0 sec. user=juhehe [2011-12-05 16:34:31] 441*2^1071483-1 is not prime. Res64: 21E7D1F1BA0E507D Time : 0.0 sec. user=juhehe [2011-12-05 16:34:31] 489*2^1071483-1 is not prime. Res64: 61A80C12AA32D3FC Time : 0.0 sec. user=juhehe [2011-12-05 16:34:31] 435*2^1071484-1 is not prime. Res64: 7917121F9EB6A989 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:32] 437*2^1071484-1 is not prime. Res64: BF23F4A640BC834F Time : 0.0 sec. user=juhehe [2011-12-05 16:34:32] 455*2^1071484-1 is not prime. Res64: 2F2B154F31D8081E Time : 0.0 sec. user=juhehe [2011-12-05 16:34:32] 495*2^1071484-1 is not prime. Res64: 2E493BFD7A1757E4 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:32] 533*2^1071484-1 is not prime. Res64: 2FB9D30C907A7874 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:33] 511*2^1071485-1 is not prime. Res64: ABE893BB1E2E4335 Time : 0.0 sec. user=juhehe [2011-12-05 16:34:33] 525*2^1071485-1 is not prime. Res64: F619F699FA86D68E Time : 0.0 sec. user=juhehe [2011-12-05 16:34:33] 471*2^1071486-1 is not prime. Res64: 82C7F4C239C54659 Time : 0.0 sec. user=odicin [2011-12-05 16:36:24] 555*2^1071517-1 is not prime. Res64: 04D67D2EF28A9B95 Time : 0.0 sec. user=odicin [2011-12-05 16:40:51] 461*2^1071518-1 is not prime. Res64: 084027D4486A1D27 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:41:24] 481*2^1071519-1 is not prime. Res64: 15310F9B6022C21B Time : 0.0 sec. user=mdettweiler [2011-12-05 16:41:25] 495*2^1071518-1 is not prime. Res64: C84DF0AA6B3C310E Time : 0.0 sec. user=mdettweiler [2011-12-05 16:43:55] 449*2^1071520-1 is not prime. Res64: 2340A39832B20DE1 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:47:07] 509*2^1071520-1 is not prime. Res64: 0E9528AC0C199F33 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:59:39] 569*2^1071528-1 is not prime. Res64: 38C0D6E8C4A333C0 Time : 0.0 sec. user=mdettweiler [2011-12-05 16:59:41] 411*2^1071529-1 is not prime. Res64: FB3D4E00536DBD58 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:02:13] 415*2^1071529-1 is not prime. Res64: 63C86CBA1D6EED4B Time : 0.0 sec. user=odicin [2011-12-05 17:03:01] 441*2^1071527-1 is not prime. Res64: BE345148F1FB3853 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:05:28] 427*2^1071529-1 is not prime. Res64: FA42ADCA97F3C456 Time : 0.0 sec. user=odicin [2011-12-05 17:07:12] 539*2^1071528-1 is not prime. Res64: DE7F02F8C495B3F8 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:17:55] 561*2^1071529-1 is not prime. Res64: CC1B14E98FA8AB2B Time : 0.0 sec. user=mdettweiler [2011-12-05 17:17:57] 407*2^1071530-1 is not prime. Res64: 9E4A7DCDEE8237C7 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:20:32] 521*2^1071530-1 is not prime. Res64: E816B00C1BF879A8 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:23:42] 489*2^1071531-1 is not prime. Res64: 8B9037A562F94D05 Time : 0.0 sec. user=odicin [2011-12-05 17:29:30] 545*2^1071530-1 is not prime. Res64: 5AE38E001B23D80D Time : 0.0 sec. user=odicin [2011-12-05 17:33:32] 419*2^1071532-1 is not prime. Res64: 7D862ED518CA03D4 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:36:05] 533*2^1071532-1 is not prime. Res64: 25C04C03182A229C Time : 0.0 sec. user=mdettweiler [2011-12-05 17:36:07] 549*2^1071532-1 is not prime. Res64: BD14D31EB66A809E Time : 0.0 sec. user=mdettweiler [2011-12-05 17:38:42] 417*2^1071533-1 is not prime. Res64: EAAB50D1ED472F20 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:41:52] 465*2^1071533-1 is not prime. Res64: 27F8C8A0E5404109 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:00] 591*2^1071425-1 is not prime. Res64: 1D4845693D753146 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:01] 483*2^1071426-1 is not prime. Res64: CE439A5307FB5BE6 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:01] 421*2^1071427-1 is not prime. Res64: 45D6EF29AC6E9599 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:02] 555*2^1071427-1 is not prime. Res64: 48E320332DF5042A Time : 0.0 sec. user=juhehe [2011-12-05 17:54:03] 579*2^1071427-1 is not prime. Res64: C62EDFEC4CA28AA6 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:03] 481*2^1071429-1 is not prime. Res64: 23AE56A9741B262E Time : 0.0 sec. user=juhehe [2011-12-05 17:54:04] 507*2^1071429-1 is not prime. Res64: 506671681B161CAA Time : 0.0 sec. user=juhehe [2011-12-05 17:54:04] 511*2^1071429-1 is not prime. Res64: 4358729EDC0EB653 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:05] 423*2^1071430-1 is not prime. Res64: 828E321B9D9FCE22 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:05] 447*2^1071430-1 is not prime. Res64: B542EC283BC7C0F8 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:06] 525*2^1071430-1 is not prime. Res64: 58722F403CF56029 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:06] 527*2^1071430-1 is not prime. Res64: 2B5F737E085656DB Time : 0.0 sec. user=juhehe [2011-12-05 17:54:07] 533*2^1071430-1 is not prime. Res64: 89B7DA1259EB9EFA Time : 0.0 sec. user=juhehe [2011-12-05 17:54:08] 423*2^1071431-1 is not prime. Res64: 63FAC73CE510ABEF Time : 0.0 sec. user=juhehe [2011-12-05 17:54:08] 475*2^1071431-1 is not prime. Res64: 13E22C888FFA00D5 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:09] 489*2^1071431-1 is not prime. Res64: 3FA97E27A4932D38 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:09] 493*2^1071431-1 is not prime. Res64: 34456102E470E1FE Time : 0.0 sec. user=juhehe [2011-12-05 17:54:10] 571*2^1071431-1 is not prime. Res64: F5ABB61503027F92 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:10] 405*2^1071432-1 is not prime. Res64: 0E5730CA24C1D2E0 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:11] 429*2^1071432-1 is not prime. Res64: 0151D2F57B626119 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:11] 497*2^1071432-1 is not prime. Res64: DD31E3D21CFD201B Time : 0.0 sec. user=juhehe [2011-12-05 17:54:12] 471*2^1071433-1 is not prime. Res64: 772D606CCFFA29D3 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:13] 477*2^1071433-1 is not prime. Res64: 292FFF9514DAC9F9 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:13] 517*2^1071433-1 is not prime. Res64: 57D8CCA349658FB7 Time : 0.0 sec. user=juhehe [2011-12-05 17:54:14] 525*2^1071433-1 is not prime. Res64: FF65800D22063FA1 Time : 0.0 sec. user=mdettweiler [2011-12-05 17:54:15] 571*2^1071533-1 is not prime. Res64: 418367D6F9E812EF Time : 0.0 sec. user=mdettweiler [2011-12-05 17:54:19] 589*2^1071533-1 is not prime. Res64: D5D8C73DC26A3C55 Time : 0.0 sec. user=odicin [2011-12-05 17:55:59] 519*2^1071533-1 is not prime. Res64: DEE950FFDA909B6D Time : 0.0 sec. user=mdettweiler [2011-12-05 17:56:52] 453*2^1071534-1 is not prime. Res64: 53B0EBB019F66338 Time : 0.0 sec. user=odicin [2011-12-05 17:59:51] 567*2^1071533-1 is not prime. Res64: CA9B3CB70F498548 Time : 0.0 sec. user=mdettweiler [2011-12-05 18:00:02] 473*2^1071534-1 is not prime. Res64: 29F580F4AF6CBBD2 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:05] 457*2^1071417-1 is not prime. Res64: 6ADEC25EA5E9F05F Time : 0.0 sec. user=juhehe [2011-12-05 18:04:06] 465*2^1071417-1 is not prime. Res64: 55DA9627592310C5 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:09] 471*2^1071417-1 is not prime. Res64: ADF6CFF64A2665A8 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:09] 555*2^1071417-1 is not prime. Res64: 8E5758D9B8FE0240 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:10] 579*2^1071417-1 is not prime. Res64: C3C00A0340368381 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:10] 595*2^1071417-1 is not prime. Res64: BAFAFEAE32320774 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:11] 413*2^1071418-1 is not prime. Res64: 457830234AC37287 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:12] 423*2^1071418-1 is not prime. Res64: 4B57CCE375ECA0DE Time : 0.0 sec. user=juhehe [2011-12-05 18:04:12] 513*2^1071418-1 is not prime. Res64: 5C504E520A93D1E8 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:13] 451*2^1071419-1 is not prime. Res64: 4B2DB1081DD059BD Time : 0.0 sec. user=juhehe [2011-12-05 18:04:13] 523*2^1071419-1 is not prime. Res64: D688CA3A9A9D5408 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:14] 405*2^1071420-1 is not prime. Res64: A3CE199D8FD6E665 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:16] 429*2^1071421-1 is not prime. Res64: E506EDEB3C7A6CFD Time : 0.0 sec. user=juhehe [2011-12-05 18:04:17] 441*2^1071421-1 is not prime. Res64: 798FCB22265D5F77 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:20] 507*2^1071421-1 is not prime. Res64: 005DFB878FCE5775 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:24] 455*2^1071422-1 is not prime. Res64: 66D3BBF9A0A3EACF Time : 0.0 sec. user=juhehe [2011-12-05 18:04:26] 567*2^1071422-1 is not prime. Res64: 0EC65EB9519D1D86 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:28] 411*2^1071423-1 is not prime. Res64: 53FE8D62203529DF Time : 0.0 sec. user=juhehe [2011-12-05 18:04:28] 423*2^1071423-1 is not prime. Res64: 163144C111B66139 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:29] 419*2^1071424-1 is not prime. Res64: 3EF22F08ACF41DDF Time : 0.0 sec. user=juhehe [2011-12-05 18:04:30] 429*2^1071424-1 is not prime. Res64: 78C466A433D493B9 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:31] 527*2^1071424-1 is not prime. Res64: C44DFA03DD500826 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:32] 481*2^1071425-1 is not prime. Res64: 3CAEC245194BB102 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:32] 525*2^1071425-1 is not prime. Res64: 44C57BC39D81B337 Time : 0.0 sec. user=juhehe [2011-12-05 18:04:33] 577*2^1071425-1 is not prime. Res64: 025718D79B065A06 Time : 0.0 sec. user=mdettweiler [2011-12-05 18:12:26] 453*2^1071542-1 is not prime. Res64: 00F1CC0A602E0AED Time : 0.0 sec. user=mdettweiler [2011-12-05 18:12:29] 483*2^1071542-1 is not prime. Res64: 37E23E4725FDEA44 Time : 0.0 sec. user=mdettweiler [2011-12-05 18:15:03] 503*2^1071542-1 is not prime. Res64: CDB5B4F595915B46 Time : 0.0 sec. user=mdettweiler [2011-12-05 18:18:12] 563*2^1071542-1 is not prime. Res64: 7FAB82A64FB371EB Time : 0.0 sec. user=odicin [2011-12-05 18:22:13] 495*2^1071542-1 is not prime. Res64: 73B0B9EF8D0461EF Time : 0.0 sec. user=odicin [2011-12-05 18:26:06] 545*2^1071542-1 is not prime. Res64: 3A6F9C39B9CA9D23 Time : 0.0 sec. user=mdettweiler [2011-12-05 18:30:50] 561*2^1071550-1 is not prime. Res64: 995B7E0D166A11BC Time : 0.0 sec. user=mdettweiler [2011-12-05 18:30:51] 567*2^1071550-1 is not prime. Res64: D902F4F21B8D903C Time : 0.0 sec. user=mdettweiler [2011-12-05 18:33:19] 423*2^1071551-1 is not prime. Res64: 4451F1BAA722E083 Time : 0.0 sec. user=mdettweiler [2011-12-05 18:36:23] 433*2^1071551-1 is not prime. Res64: FBD8ACB8B4B716EC Time : 0.0 sec. user=odicin [2011-12-05 18:48:27] 453*2^1071552-1 is not prime. Res64: BA20887B3FE1AF84 Time : 0.0 sec. user=mdettweiler [2011-12-05 18:49:14] 499*2^1071553-1 is not prime. Res64: 19CA17538496BE6B Time : 0.0 sec. user=mdettweiler [2011-12-05 18:49:18] 481*2^1071553-1 is not prime. Res64: 5AA47BA91AC4C3EA Time : 0.0 sec. user=mdettweiler [2011-12-05 18:51:48] 541*2^1071553-1 is not prime. Res64: 66D5434DD75791DF Time : 0.0 sec. user=odicin [2011-12-05 18:52:20] 513*2^1071552-1 is not prime. Res64: 829A1689210E9F9B Time : 0.0 sec. user=mdettweiler [2011-12-05 18:54:56] 483*2^1071554-1 is not prime. Res64: 9B75480235B0407B Time : 0.0 sec. user=mdettweiler [2011-12-05 19:07:36] 575*2^1071554-1 is not prime. Res64: 42EE81FAD22184B2 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:07:40] 429*2^1071555-1 is not prime. Res64: 47F99CC9B6F52156 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:10:03] 469*2^1071555-1 is not prime. Res64: FA88395D1FF54A98 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:13:10] 405*2^1071556-1 is not prime. Res64: 1FCA8B4B2CFD1C45 Time : 0.0 sec. user=odicin [2011-12-05 19:14:46] 525*2^1071554-1 is not prime. Res64: 9ABDBA2884813A4F Time : 0.0 sec. user=odicin [2011-12-05 19:18:41] 481*2^1071555-1 is not prime. Res64: E5CDF36E721624D8 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:25:53] 429*2^1071556-1 is not prime. Res64: 75276FDC31672B44 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:25:57] 485*2^1071556-1 is not prime. Res64: 4AB49591D0D9C3E0 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:28:17] 537*2^1071556-1 is not prime. Res64: E17E8AE072FD1F11 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:31:30] 577*2^1071557-1 is not prime. Res64: E655B045E84B27BC Time : 0.0 sec. user=odicin [2011-12-05 19:41:09] 425*2^1071558-1 is not prime. Res64: 974724ACC6A4FE40 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:44:39] 503*2^1071558-1 is not prime. Res64: 8E1A77106DA2420C Time : 0.0 sec. user=mdettweiler [2011-12-05 19:44:49] 567*2^1071558-1 is not prime. Res64: F353CCD7D0DB5BC3 Time : 0.0 sec. user=odicin [2011-12-05 19:45:00] 485*2^1071558-1 is not prime. Res64: D00F64C35DCAC9D8 Time : 0.0 sec. user=mdettweiler [2011-12-05 19:47:17] 483*2^1071559-1 is not prime. Res64: 62EA2D51E0575A7F Time : 0.0 sec. user=mdettweiler [2011-12-05 19:50:22] 595*2^1071559-1 is not prime. Res64: 35400BFE77CE5344 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:03:02] 447*2^1071560-1 is not prime. Res64: 994BD19AB34B4797 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:03:16] 483*2^1071560-1 is not prime. Res64: B150BB82C7D27D9E Time : 0.0 sec. user=mdettweiler [2011-12-05 20:05:42] 517*2^1071561-1 is not prime. Res64: 7D5154612FA30E65 Time : 0.0 sec. user=odicin [2011-12-05 20:07:33] 405*2^1071560-1 is not prime. Res64: B822359E7BA099BA Time : 0.0 sec. user=mdettweiler [2011-12-05 20:09:17] 561*2^1071562-1 is not prime. Res64: 6E7F7CBBB0EAEF7A Time : 0.0 sec. user=odicin [2011-12-05 20:11:32] 475*2^1071561-1 is not prime. Res64: C5261C7CA028C505 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:21:39] 489*2^1071563-1 is not prime. Res64: 02BFD97E89AA39C9 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:21:40] 511*2^1071563-1 is not prime. Res64: E2213317FE0093F6 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:24:07] 549*2^1071564-1 is not prime. Res64: 337743092CAB8CB9 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:27:47] 447*2^1071565-1 is not prime. Res64: A493C384C2E2AF75 Time : 0.0 sec. user=odicin [2011-12-05 20:34:07] 421*2^1071565-1 is not prime. Res64: 2D19EE90C6B546F3 Time : 0.0 sec. user=odicin [2011-12-05 20:38:00] 465*2^1071565-1 is not prime. Res64: 59A76B15A1556FE4 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:39:59] 511*2^1071565-1 is not prime. Res64: 5DCD8F229DBBBF8D Time : 0.0 sec. user=mdettweiler [2011-12-05 20:40:28] 481*2^1071565-1 is not prime. Res64: 69A116A9D26703A6 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:42:29] 519*2^1071565-1 is not prime. Res64: 557CB68339B35B0A Time : 0.0 sec. user=mdettweiler [2011-12-05 20:46:09] 567*2^1071565-1 is not prime. Res64: EA3835921D91EF50 Time : 0.0 sec. user=mdettweiler [2011-12-05 20:58:17] 409*2^1071567-1 is not prime. Res64: 546969E7A553BDCB Time : 0.0 sec. user=mdettweiler [2011-12-05 20:58:52] 451*2^1071567-1 is not prime. Res64: FC82EC498B88FDB7 Time : 0.0 sec. user=odicin [2011-12-05 21:00:24] 563*2^1071566-1 is not prime. Res64: 65CCB8FAF4534D47 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:01:22] 513*2^1071567-1 is not prime. Res64: 8B0E6481A53CC99A Time : 0.0 sec. user=odicin [2011-12-05 21:04:15] 567*2^1071566-1 is not prime. Res64: CFE32065A4FFF043 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:04:31] 559*2^1071567-1 is not prime. Res64: 8D681C8947AF7C7E Time : 0.0 sec. user=mdettweiler [2011-12-05 21:16:37] 413*2^1071568-1 is not prime. Res64: CC130EAD5E06B942 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:17:07] 437*2^1071568-1 is not prime. Res64: B67D5E6605A5DC68 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:19:44] 495*2^1071568-1 is not prime. Res64: F0CE915F46873332 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:23:02] 597*2^1071568-1 is not prime. Res64: 5F2B6AF708704A69 Time : 0.0 sec. user=odicin [2011-12-05 21:26:44] 453*2^1071568-1 is not prime. Res64: DD6EAD51E812E640 Time : 0.0 sec. user=odicin [2011-12-05 21:30:35] 539*2^1071568-1 is not prime. Res64: FC909A77D3BEEDB0 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:35:08] 421*2^1071569-1 is not prime. Res64: 331601300C54D296 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:35:33] 487*2^1071569-1 is not prime. Res64: 1825DC51399B19F2 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:38:33] 537*2^1071569-1 is not prime. Res64: 69370884CB0EA457 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:41:48] 411*2^1071570-1 is not prime. Res64: 8E971C71DFEC0851 Time : 0.0 sec. user=odicin [2011-12-05 21:53:02] 423*2^1071570-1 is not prime. Res64: EA86F5E78209864A Time : 0.0 sec. user=mdettweiler [2011-12-05 21:54:06] 411*2^1071571-1 is not prime. Res64: B5FDE583CDDDB693 Time : 0.0 sec. user=mdettweiler [2011-12-05 21:54:07] 495*2^1071571-1 is not prime. Res64: E36F3D0FADAF529B Time : 0.0 sec. user=odicin [2011-12-05 21:56:57] 555*2^1071570-1 is not prime. Res64: 1450DDF175F7112A Time : 0.0 sec. user=mdettweiler [2011-12-05 21:57:14] 505*2^1071571-1 is not prime. Res64: EBB6BDC18BB7A07E Time : 0.0 sec. user=mdettweiler [2011-12-05 22:00:49] 417*2^1071572-1 is not prime. Res64: 0FEA6E9EB9551521 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:12:37] 587*2^1071572-1 is not prime. Res64: 1756423A73AA0845 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:12:39] 467*2^1071572-1 is not prime. Res64: 5746217D2F3E94FA Time : 0.0 sec. user=mdettweiler [2011-12-05 22:15:43] 507*2^1071573-1 is not prime. Res64: 595D5FBA43290C86 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:52] 487*2^1071521-1 is not prime. Res64: AD459B864B5C71D7 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:52] 529*2^1071521-1 is not prime. Res64: D1B1B99DC45840E1 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:52] 549*2^1071521-1 is not prime. Res64: 1EEB5F41EFA7D239 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:53] 565*2^1071521-1 is not prime. Res64: 9CEF4F79CF5AD4A7 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:53] 577*2^1071521-1 is not prime. Res64: 1F3A2EB458549802 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:53] 405*2^1071522-1 is not prime. Res64: CCCE5CC2FFCC1CF6 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:54] 497*2^1071522-1 is not prime. Res64: 167FEB702F103373 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:54] 415*2^1071523-1 is not prime. Res64: 671CB41D41479AC3 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:54] 441*2^1071523-1 is not prime. Res64: 358BAAF2DA2AEB75 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:55] 549*2^1071523-1 is not prime. Res64: 577FF1C7EA6697EA Time : 0.0 sec. user=juhehe [2011-12-05 22:18:55] 583*2^1071523-1 is not prime. Res64: 1770B7835D6D8DC0 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:55] 425*2^1071524-1 is not prime. Res64: D6A56B0C6B260D4F Time : 0.0 sec. user=juhehe [2011-12-05 22:18:56] 489*2^1071524-1 is not prime. Res64: 8EFA46809A4DF1BC Time : 0.0 sec. user=juhehe [2011-12-05 22:18:56] 573*2^1071524-1 is not prime. Res64: DF22A08E38A08C14 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:56] 441*2^1071525-1 is not prime. Res64: 23A1D90320498ACF Time : 0.0 sec. user=juhehe [2011-12-05 22:18:56] 585*2^1071525-1 is not prime. Res64: C78A662D5F7C3B98 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:57] 413*2^1071526-1 is not prime. Res64: BB578424D92BDBCC Time : 0.0 sec. user=juhehe [2011-12-05 22:18:57] 453*2^1071526-1 is not prime. Res64: D24A5576A453E07F Time : 0.0 sec. user=juhehe [2011-12-05 22:18:57] 575*2^1071526-1 is not prime. Res64: E8EAD41C6FC2C648 Time : 0.0 sec. user=juhehe [2011-12-05 22:18:58] 403*2^1071527-1 is not prime. Res64: E73504FD98FFC568 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:19:12] 459*2^1071575-1 is not prime. Res64: 35DEC9EEFBA79735 Time : 0.0 sec. user=odicin [2011-12-05 22:19:19] 447*2^1071572-1 is not prime. Res64: 6D282066734D79EA Time : 0.0 sec. user=odicin [2011-12-05 22:23:15] 439*2^1071573-1 is not prime. Res64: 6455F35C55D95052 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:31:02] 489*2^1071575-1 is not prime. Res64: 707846F07DA73387 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:31:08] 453*2^1071576-1 is not prime. Res64: 0BF02A1AD77E5BDB Time : 0.0 sec. user=mdettweiler [2011-12-05 22:34:02] 473*2^1071576-1 is not prime. Res64: 2EB68EE969968938 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:37:28] 439*2^1071581-1 is not prime. Res64: 6400351413392980 Time : 0.0 sec. user=odicin [2011-12-05 22:45:34] 475*2^1071581-1 is not prime. Res64: E451F10FAFCA51C0 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:49:19] 405*2^1071582-1 is not prime. Res64: 6F064502D5C92C99 Time : 0.0 sec. user=odicin [2011-12-05 22:49:32] 487*2^1071581-1 is not prime. Res64: 7B3BB261731E5A72 Time : 0.0 sec. user=mdettweiler [2011-12-05 22:49:34] 431*2^1071582-1 is not prime. Res64: 7C17A5254503978B Time : 0.0 sec. user=henryzz [2011-12-05 22:50:11] 517*2^1071581-1 is not prime. Res64: C77FCD899DDB159E Time : 0.0 sec. user=mdettweiler [2011-12-05 22:52:21] 485*2^1071582-1 is not prime. Res64: 4A219354B869F465 Time : 0.0 sec. user=henryzz [2011-12-05 22:52:46] 471*2^1071582-1 is not prime. Res64: F886362B887F0C0A Time : 0.0 sec. user=henryzz [2011-12-05 22:55:44] 555*2^1071582-1 is not prime. Res64: 29295849600B8F0E Time : 0.0 sec. user=mdettweiler [2011-12-05 22:55:45] 465*2^1071583-1 is not prime. Res64: C5DA5088F0D8C31F Time : 0.0 sec. user=henryzz [2011-12-05 22:56:50] 521*2^1071582-1 is not prime. Res64: D980F74D1768A579 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:07:43] 553*2^1071583-1 is not prime. Res64: 26C18334F8BEFA0F Time : 0.0 sec. user=mdettweiler [2011-12-05 23:07:59] 425*2^1071584-1 is not prime. Res64: 41B0CE8964F97E66 Time : 0.0 sec. user=henryzz [2011-12-05 23:09:48] 503*2^1071584-1 is not prime. Res64: 2BC50DD8921F3CDE Time : 0.0 sec. user=mdettweiler [2011-12-05 23:11:03] 573*2^1071584-1 is not prime. Res64: 6565A3BCC7C7B58A Time : 0.0 sec. user=odicin [2011-12-05 23:12:02] 541*2^1071583-1 is not prime. Res64: 5D47E738A390CF05 Time : 0.0 sec. user=henryzz [2011-12-05 23:13:23] 447*2^1071585-1 is not prime. Res64: BBACE915B3DE7D22 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:14:28] 507*2^1071585-1 is not prime. Res64: 792D6467F7448B93 Time : 0.0 sec. user=henryzz [2011-12-05 23:15:09] 465*2^1071585-1 is not prime. Res64: B35849FAC47FC597 Time : 0.0 sec. user=odicin [2011-12-05 23:16:04] 555*2^1071583-1 is not prime. Res64: 78DF68B0038C5CF5 Time : 0.0 sec. user=henryzz [2011-12-05 23:17:04] 425*2^1071586-1 is not prime. Res64: 464215A21A1FE131 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:26:36] 483*2^1071586-1 is not prime. Res64: 7D9CD9C16EA91E41 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:26:39] 453*2^1071586-1 is not prime. Res64: DE6C85D226ED1B94 Time : 0.0 sec. user=gd_barnes [2011-12-05 23:29:13] 443*2^1071586-1 is not prime. Res64: BB004FB04F8796CA Time : 0.0 sec. user=mdettweiler [2011-12-05 23:29:39] 597*2^1071586-1 is not prime. Res64: 89D0DC27E2965440 Time : 0.0 sec. user=henryzz [2011-12-05 23:30:44] 575*2^1071586-1 is not prime. Res64: 4249240CF166C0A6 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:33:03] 589*2^1071587-1 is not prime. Res64: 94008C5681999011 Time : 0.0 sec. user=henryzz [2011-12-05 23:33:26] 585*2^1071587-1 is not prime. Res64: 9AA0C322E3106460 Time : 0.0 sec. user=henryzz [2011-12-05 23:35:00] 471*2^1071589-1 is not prime. Res64: 058D589E623179F1 Time : 0.0 sec. user=henryzz [2011-12-05 23:36:58] 517*2^1071589-1 is not prime. Res64: 8945ECF551C372DC Time : 0.0 sec. user=odicin [2011-12-05 23:38:29] 511*2^1071587-1 is not prime. Res64: 57ADFB909C1BEE9E Time : 0.0 sec. user=odicin [2011-12-05 23:42:24] 477*2^1071589-1 is not prime. Res64: CF179C9226C6BBB7 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:44:57] 567*2^1071589-1 is not prime. Res64: 645EBD3252105E37 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:45:05] 559*2^1071589-1 is not prime. Res64: 406214E2474683BC Time : 0.0 sec. user=mdettweiler [2011-12-05 23:47:57] 473*2^1071590-1 is not prime. Res64: 0F5FFF4F80F3D406 Time : 0.0 sec. user=henryzz [2011-12-05 23:50:57] 533*2^1071590-1 is not prime. Res64: 5CC5E755F7711F53 Time : 0.0 sec. user=mdettweiler [2011-12-05 23:51:23] 489*2^1071591-1 is not prime. Res64: 24B3AE83C1F05AFB Time : 0.0 sec. user=henryzz [2011-12-05 23:52:59] 531*2^1071591-1 is not prime. Res64: B3052E127B3B309A Time : 0.0 sec. user=henryzz [2011-12-05 23:55:05] 569*2^1071592-1 is not prime. Res64: A8AA85E0C0AC10D2 Time : 0.0 sec.