user=mdettweiler [2012-11-11 00:32:51] 591*2^1162886-1 is not prime. Res64: D7EBEB3EB59908B6 Time : 0.0 sec. user=mdettweiler [2012-11-11 00:37:30] 501*2^1162887-1 is not prime. Res64: 3F433339BEE17341 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:53:45] 433*2^1162887-1 is not prime. Res64: A32CD2E535886E89 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:53:50] 571*2^1162887-1 is not prime. Res64: 1DAFED0A14A08248 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:54:29] 451*2^1162887-1 is not prime. Res64: E548330D9F400784 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:55:02] 435*2^1162889-1 is not prime. Res64: 0AE1CF8516CB3F66 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:55:04] 483*2^1162888-1 is not prime. Res64: E5644C5D391A57CE Time : 0.0 sec. user=gd_barnes [2012-11-11 00:55:12] 595*2^1162887-1 is not prime. Res64: 3F2A22AC8A4539C6 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:55:21] 413*2^1162890-1 is not prime. Res64: 4B8CA3960AEF7B58 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:55:35] 453*2^1162890-1 is not prime. Res64: D1BE2B8B3E31D18E Time : 0.0 sec. user=gd_barnes [2012-11-11 00:55:51] 511*2^1162887-1 is not prime. Res64: CC757B959B14F51F Time : 0.0 sec. user=gd_barnes [2012-11-11 00:56:26] 543*2^1162887-1 is not prime. Res64: D9141BB0C5BFC750 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:58:41] 537*2^1162889-1 is not prime. Res64: C18DBBB57729C387 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:58:51] 559*2^1162889-1 is not prime. Res64: 629656630620DCED Time : 0.0 sec. user=juhehe [2012-11-11 00:59:39] 477*2^1162886-1 is not prime. Res64: 68DF9AAB3700D512 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:59:43] 405*2^1162891-1 is not prime. Res64: 2EDFB75495C67575 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:01:06] 513*2^1162890-1 is not prime. Res64: 9F5FD8A674487358 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:01:53] 573*2^1162892-1 is not prime. Res64: 1847D20CA2EEBF90 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:02:19] 451*2^1162891-1 is not prime. Res64: 1064B6F84BE66D1D Time : 0.0 sec. user=gd_barnes [2012-11-11 01:02:29] 535*2^1162891-1 is not prime. Res64: 3E00B79FE9610DF4 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:02:43] 457*2^1162893-1 is not prime. Res64: D60049EB15206C26 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:17:43] 579*2^1162895-1 is not prime. Res64: 956F84CEE103DC27 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:18:52] 549*2^1162893-1 is not prime. Res64: 8383438EE2D83853 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:21:13] 531*2^1162895-1 is not prime. Res64: 643697FC88DD49B7 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:21:45] 489*2^1162895-1 is not prime. Res64: 42DABFD57244D58F Time : 0.0 sec. user=gd_barnes [2012-11-11 01:22:05] 511*2^1162895-1 is not prime. Res64: 1AAECE5A57347119 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:22:54] 595*2^1162895-1 is not prime. Res64: 49BA093A0E803AFC Time : 0.0 sec. user=juhehe [2012-11-11 02:18:22] 503*2^1162896-1 is not prime. Res64: C38B28778CA67E74 Time : 0.0 sec. user=gd_barnes [2012-11-11 02:44:14] 585*2^1162896-1 is not prime. Res64: 62BA25DE0AE4AAEF Time : 0.0 sec. user=gd_barnes [2012-11-11 02:47:18] 405*2^1162897-1 is not prime. Res64: D360DC7060502AB8 Time : 0.0 sec. user=gd_barnes [2012-11-11 02:49:13] 567*2^1162896-1 is not prime. Res64: 267818EB30F83D44 Time : 0.0 sec. user=gd_barnes [2012-11-11 03:23:36] 445*2^1162899-1 is not prime. Res64: A803B65FBFB41361 Time : 0.0 sec. user=gd_barnes [2012-11-11 03:26:40] 423*2^1162898-1 is not prime. Res64: E43BFF94A0345D2B Time : 0.0 sec. user=gd_barnes [2012-11-11 03:28:02] 483*2^1162898-1 is not prime. Res64: 7DA503F7A925FB50 Time : 0.0 sec. user=gd_barnes [2012-11-11 03:28:25] 525*2^1162898-1 is not prime. Res64: 444E7F96E702F72D Time : 0.0 sec. user=gd_barnes [2012-11-11 03:28:53] 453*2^1162898-1 is not prime. Res64: 6515809E79C85F7D Time : 0.0 sec. user=gd_barnes [2012-11-11 03:29:02] 501*2^1162898-1 is not prime. Res64: 314291C1316A8A24 Time : 0.0 sec. user=gd_barnes [2012-11-11 03:29:08] 561*2^1162897-1 is not prime. Res64: DD2CDF97C4C5B18B Time : 0.0 sec. user=gd_barnes [2012-11-11 03:29:22] 563*2^1162898-1 is not prime. Res64: A9B2A171884A1441 Time : 0.0 sec. user=gd_barnes [2012-11-11 03:29:44] 465*2^1162899-1 is not prime. Res64: 29BE9E6215078A65 Time : 0.0 sec. user=juhehe [2012-11-11 03:40:18] 507*2^1162897-1 is not prime. Res64: DE21E84AD4CB93C5 Time : 0.0 sec. user=gd_barnes [2012-11-11 04:02:37] 421*2^1162901-1 is not prime. Res64: EB749841D7FB5597 Time : 0.0 sec. user=gd_barnes [2012-11-11 04:04:36] 511*2^1162899-1 is not prime. Res64: 8032816E6D6DA8CE Time : 0.0 sec. user=gd_barnes [2012-11-11 04:10:30] 537*2^1162901-1 is not prime. Res64: F5C75AFF8BBD0D25 Time : 0.0 sec. user=gd_barnes [2012-11-11 04:13:36] 559*2^1162901-1 is not prime. Res64: FAD8AA5F6E6FC8C1 Time : 0.0 sec. user=gd_barnes [2012-11-11 04:13:46] 525*2^1162901-1 is not prime. Res64: C4D9E65FC2104841 Time : 0.0 sec. user=juhehe [2012-11-11 04:59:02] 511*2^1162901-1 is not prime. Res64: BDC1C12926E19013 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:06:45] 401*2^1162902-1 is not prime. Res64: CA19991B9E119EF8 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:08:49] 433*2^1162903-1 is not prime. Res64: D0551E359ABC0D7E Time : 0.0 sec. user=gd_barnes [2012-11-11 05:08:57] 591*2^1162901-1 is not prime. Res64: FB3E06172CC1FCFF Time : 0.0 sec. user=gd_barnes [2012-11-11 05:09:00] 543*2^1162902-1 is not prime. Res64: 84381531DDED9EF4 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:09:01] 453*2^1162903-1 is not prime. Res64: 8EFF2985141574D6 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:09:02] 453*2^1162902-1 is not prime. Res64: B356589C1A263C2A Time : 0.0 sec. user=gd_barnes [2012-11-11 05:09:05] 511*2^1162903-1 is not prime. Res64: EDDCF2C9FBFD00C3 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:09:06] 475*2^1162903-1 is not prime. Res64: 49816D9432F095B2 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:09:14] 485*2^1162902-1 is not prime. Res64: DFAA1F8B8F1359E3 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:13:14] 579*2^1162889-1 is not prime. Res64: 25212A53FC1E2D13 Time : 0.0 sec. user=juhehe [2012-11-11 06:17:52] 495*2^1162904-1 is not prime. Res64: EE1165ED8129BAE7 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:41:52] 471*2^1162905-1 is not prime. Res64: 307378EE56335776 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:45:31] 429*2^1162905-1 is not prime. Res64: 66D6E376EA691092 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:45:56] 469*2^1162905-1 is not prime. Res64: 1A17D010842707F7 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:46:56] 511*2^1162905-1 is not prime. Res64: F90450F3068B1ECC Time : 0.0 sec. user=gd_barnes [2012-11-11 06:47:27] 525*2^1162906-1 is not prime. Res64: 3828B1888B05B859 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:47:43] 581*2^1162906-1 is not prime. Res64: 8BF12E43E0FFAFB4 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:48:03] 489*2^1162907-1 is not prime. Res64: 1C79B31C10D48BC8 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:48:10] 519*2^1162907-1 is not prime. Res64: 49A298DF6671ACC1 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:48:11] 475*2^1162907-1 is not prime. Res64: FFE73F787AAFD518 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:48:17] 589*2^1162907-1 is not prime. Res64: 357990E02791A253 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:48:19] 513*2^1162908-1 is not prime. Res64: 2768E9F1B1B90477 Time : 0.0 sec. user=gd_barnes [2012-11-11 06:48:49] 525*2^1162908-1 is not prime. Res64: 920C006D3E5DC83A Time : 0.0 sec. user=juhehe [2012-11-11 07:36:39] 465*2^1162906-1 is not prime. Res64: C56CD10CBA9DB0BE Time : 0.0 sec. user=gd_barnes [2012-11-11 08:41:22] 505*2^1162909-1 is not prime. Res64: 68396E1D3EE47733 Time : 0.0 sec. user=gd_barnes [2012-11-11 08:41:54] 561*2^1162910-1 is not prime. Res64: AD3EF21E3AC9C57D Time : 0.0 sec. user=gd_barnes [2012-11-11 08:42:41] 545*2^1162910-1 is not prime. Res64: B43DD60747377774 Time : 0.0 sec. user=gd_barnes [2012-11-11 08:45:52] 427*2^1162909-1 is not prime. Res64: 0B84B7AAD210D3DE Time : 0.0 sec. user=gd_barnes [2012-11-11 08:46:06] 429*2^1162909-1 is not prime. Res64: 3ECA79B4BB5D7F8E Time : 0.0 sec. user=gd_barnes [2012-11-11 08:46:10] 469*2^1162909-1 is not prime. Res64: 8CF036232D4BD4B7 Time : 0.0 sec. user=gd_barnes [2012-11-11 08:46:12] 525*2^1162909-1 is not prime. Res64: E0266527489E6E9C Time : 0.0 sec. user=gd_barnes [2012-11-11 08:46:15] 437*2^1162910-1 is not prime. Res64: 288586DDBA4BF5FF Time : 0.0 sec. user=gd_barnes [2012-11-11 08:46:19] 533*2^1162910-1 is not prime. Res64: 6FD023EDDC450136 Time : 0.0 sec. user=gd_barnes [2012-11-11 08:46:29] 455*2^1162910-1 is not prime. Res64: 08BFC51672E7984E Time : 0.0 sec. user=gd_barnes [2012-11-11 08:48:47] 439*2^1162911-1 is not prime. Res64: D63C33CFFF823F0E Time : 0.0 sec. user=juhehe [2012-11-11 08:55:22] 597*2^1162908-1 is not prime. Res64: DE3943C42B06A1FD Time : 0.0 sec. user=juhehe [2012-11-11 10:14:15] 595*2^1162911-1 is not prime. Res64: C6E315260B2008C7 Time : 0.0 sec. user=juhehe [2012-11-11 10:32:42] 477*2^1162873-1 is not prime. Res64: A11FDB026334D992 Time : 0.0 sec. user=gd_barnes [2012-11-11 10:45:22] 489*2^1162912-1 is not prime. Res64: 2ADD376B773C1FC3 Time : 0.0 sec. user=juhehe [2012-11-11 11:33:18] 479*2^1162912-1 is not prime. Res64: CE885949B6272238 Time : 0.0 sec. user=gd_barnes [2012-11-11 12:43:13] 573*2^1162912-1 is not prime. Res64: C624F52855FE39EB Time : 0.0 sec. user=gd_barnes [2012-11-11 12:47:42] 567*2^1162912-1 is not prime. Res64: 33BF90AD774C5781 Time : 0.0 sec. user=gd_barnes [2012-11-11 12:47:58] 549*2^1162912-1 is not prime. Res64: 062BFACEB0AA6F7A Time : 0.0 sec. user=juhehe [2012-11-11 12:52:04] 507*2^1162912-1 is not prime. Res64: BE5BB22B5E2BD737 Time : 0.0 sec. user=juhehe [2012-11-11 14:10:50] 465*2^1162913-1 is not prime. Res64: 7B80BB103CC56987 Time : 0.0 sec. user=gd_barnes [2012-11-11 14:45:22] 411*2^1162914-1 is not prime. Res64: 8DFABC93BA9AC451 Time : 0.0 sec. user=gd_barnes [2012-11-11 14:47:50] 585*2^1162913-1 is not prime. Res64: EA7ADCFCBF7BD697 Time : 0.0 sec. user=gd_barnes [2012-11-11 14:48:04] 483*2^1162914-1 is not prime. Res64: 81E60F0DC187DE23 Time : 0.0 sec. user=juhehe [2012-11-11 15:29:43] 567*2^1162913-1 is not prime. Res64: 6DB16CD4D61B1871 Time : 0.0 sec. user=gd_barnes [2012-11-11 15:40:48] 495*2^1162916-1 is not prime. Res64: 20E75C17AFB52E30 Time : 0.0 sec. user=gd_barnes [2012-11-11 15:42:30] 441*2^1162915-1 is not prime. Res64: 5C4DB1246120654B Time : 0.0 sec. user=gd_barnes [2012-11-11 15:42:46] 475*2^1162917-1 is not prime. Res64: FEC70BEAFEE1DDC9 Time : 0.0 sec. user=gd_barnes [2012-11-11 15:45:28] 465*2^1162916-1 is not prime. Res64: 3CB4C7C5A7A3EE37 Time : 0.0 sec. user=gd_barnes [2012-11-11 15:47:03] 519*2^1162916-1 is not prime. Res64: 25E7948FF584A664 Time : 0.0 sec. user=gd_barnes [2012-11-11 15:47:08] 471*2^1162917-1 is not prime. Res64: D622CB8F79205484 Time : 0.0 sec. user=gd_barnes [2012-11-11 15:47:42] 555*2^1162918-1 is not prime. Res64: A778F7B520FADDBC Time : 0.0 sec. user=gd_barnes [2012-11-11 15:49:15] 581*2^1162918-1 is not prime. Res64: 52CCBDEA929F1B95 Time : 0.0 sec. user=gd_barnes [2012-11-11 16:45:12] 417*2^1162922-1 is not prime. Res64: F049740A6BD74FA1 Time : 0.0 sec. user=gd_barnes [2012-11-11 16:46:27] 419*2^1162924-1 is not prime. Res64: 9AAE3E2A5E8BF2B4 Time : 0.0 sec. user=gd_barnes [2012-11-11 16:47:12] 469*2^1162919-1 is not prime. Res64: 40BAC3AC66E03F5D Time : 0.0 sec. user=gd_barnes [2012-11-11 16:47:20] 515*2^1162920-1 is not prime. Res64: BEB92029521B39D4 Time : 0.0 sec. user=gd_barnes [2012-11-11 16:47:34] 543*2^1162920-1 is not prime. Res64: F6E92DDEEA7FEA8D Time : 0.0 sec. user=gd_barnes [2012-11-11 16:47:46] 431*2^1162922-1 is not prime. Res64: F24B00DF3175D48D Time : 0.0 sec. user=gd_barnes [2012-11-11 16:47:54] 571*2^1162923-1 is not prime. Res64: 53A9715F7CC68BB5 Time : 0.0 sec. user=juhehe [2012-11-11 16:48:27] 465*2^1162919-1 is not prime. Res64: 42BA008B2C1F3685 Time : 0.0 sec. user=gd_barnes [2012-11-11 16:49:02] 429*2^1162924-1 is not prime. Res64: 4712609A1241CB79 Time : 0.0 sec. user=gd_barnes [2012-11-11 17:43:18] 587*2^1162924-1 is not prime. Res64: FED1E5EF0DA2DEB4 Time : 0.0 sec. user=gd_barnes [2012-11-11 17:43:28] 507*2^1162924-1 is not prime. Res64: 91437D088716D674 Time : 0.0 sec. user=gd_barnes [2012-11-11 17:49:09] 561*2^1162925-1 is not prime. Res64: A881B544455C006B Time : 0.0 sec. user=juhehe [2012-11-11 18:07:12] 437*2^1162924-1 is not prime. Res64: 5BDC6B6A0F4ADFC6 Time : 0.0 sec. user=juhehe [2012-11-11 19:30:40] 567*2^1162926-1 is not prime. Res64: 8D8115D69129A4B7 Time : 0.0 sec. user=gd_barnes [2012-11-11 19:36:23] 423*2^1162927-1 is not prime. Res64: 7F6D99B8BF757FE6 Time : 0.0 sec. user=gd_barnes [2012-11-11 19:56:04] 463*2^1162927-1 is not prime. Res64: 84F1E6AB3DF4C038 Time : 0.0 sec. user=gd_barnes [2012-11-11 19:57:39] 401*2^1162930-1 is not prime. Res64: 12530B6B3A81F6E2 Time : 0.0 sec. user=gd_barnes [2012-11-11 19:57:55] 471*2^1162927-1 is not prime. Res64: 47A85A2E881C24D5 Time : 0.0 sec. user=gd_barnes [2012-11-11 19:59:02] 539*2^1162928-1 is not prime. Res64: FE9F30D22AF505AC Time : 0.0 sec. user=gd_barnes [2012-11-11 19:59:29] 579*2^1162927-1 is not prime. Res64: 018B38B1CB8687A7 Time : 0.0 sec. user=gd_barnes [2012-11-11 19:59:47] 421*2^1162927-1 is not prime. Res64: 25E2C4CA069A08E3 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:00:35] 413*2^1162928-1 is not prime. Res64: AC011CBF89ED45AD Time : 0.0 sec. user=gd_barnes [2012-11-11 20:02:41] 583*2^1162927-1 is not prime. Res64: 05C0D6F171642BE7 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:03:06] 481*2^1162929-1 is not prime. Res64: 9017EE1F5466B6A3 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:03:49] 507*2^1162929-1 is not prime. Res64: BB0336B12DEA6071 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:42:44] 425*2^1162930-1 is not prime. Res64: B4A5DD37278C4618 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:45:02] 477*2^1162930-1 is not prime. Res64: 60699D8F6BE50226 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:45:13] 513*2^1162930-1 is not prime. Res64: DBAEBAD7089A2780 Time : 0.0 sec. user=juhehe [2012-11-11 20:52:41] 473*2^1162928-1 is not prime. Res64: 3EF63B0526E1FB57 Time : 0.0 sec. user=juhehe [2012-11-11 20:58:45] 555*2^1162930-1 is not prime. Res64: C9F1AB50A17E2E5F Time : 0.0 sec. user=gd_barnes [2012-11-11 21:42:49] 485*2^1162932-1 is not prime. Res64: 6917824A06026BE7 Time : 0.0 sec. user=gd_barnes [2012-11-11 21:46:53] 497*2^1162932-1 is not prime. Res64: CA0AC99C41584358 Time : 0.0 sec. user=juhehe [2012-11-11 22:11:31] 571*2^1162931-1 is not prime. Res64: FDC909BB93E37A17 Time : 0.0 sec. user=juhehe [2012-11-11 22:13:41] 503*2^1162932-1 is not prime. Res64: 3750CE0A95AD27D8 Time : 0.0 sec. user=juhehe [2012-11-11 22:49:58] 555*2^1162932-1 is not prime. Res64: 467A2DAAF3C37653 Time : 0.0 sec. user=juhehe [2012-11-11 23:30:38] 527*2^1162932-1 is not prime. Res64: 664C3537DE7639FE Time : 0.0 sec. user=gd_barnes [2012-11-11 23:38:15] 405*2^1162933-1 is not prime. Res64: 324B403C95137A41 Time : 0.0 sec. user=gd_barnes [2012-11-11 23:57:13] 429*2^1162927-1 is not prime. Res64: E81FF2963B2E928B Time : 0.0 sec.