user=mdettweiler [2009-06-13 07:34:31] 383*2^320366-1 is not prime. Res64: 68D547AAD3B871A3 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 391*2^320369-1 is not prime. Res64: 9359FBD9DF12BE45 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 395*2^320370-1 is not prime. Res64: 974B5457853D0FBC Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 313*2^320371-1 is not prime. Res64: EB16F54699B739D7 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 309*2^320375-1 is not prime. Res64: 00ADC39015374B97 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 325*2^320373-1 is not prime. Res64: 9D370E0F30C6B305 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 353*2^320374-1 is not prime. Res64: 7643446D839B50E6 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 363*2^320374-1 is not prime. Res64: 97F8BB073CDEA092 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 365*2^320374-1 is not prime. Res64: 8649A998F034BDD2 Time : 0.0 sec. user=mdettweiler [2009-06-13 07:34:31] 369*2^320372-1 is not prime. Res64: F16921DC8409C2E0 Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 387*2^320373-1 is not prime. Res64: 265DC1D719ED2A42 Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 317*2^320376-1 is not prime. Res64: D8A5D5127709A36B Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 327*2^320376-1 is not prime. Res64: AEB6729F5E3C3209 Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 333*2^320376-1 is not prime. Res64: 8497A99CA9CD288C Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 369*2^320377-1 is not prime. Res64: 4B9FDD15A42BFA57 Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 399*2^320376-1 is not prime. Res64: 1EA455A51205817A Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 307*2^320381-1 is not prime. Res64: F1B229A0B80F43F5 Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 321*2^320381-1 is not prime. Res64: 62EDAE45E27BF492 Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 333*2^320379-1 is not prime. Res64: 867209F66BB93B39 Time : 0.0 sec. user=mdettweiler [2009-06-13 15:57:01] 379*2^320381-1 is not prime. Res64: E92045AEB1A85816 Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 387*2^320380-1 is not prime. Res64: 303B9DD8BD36A8A9 Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 321*2^320383-1 is not prime. Res64: 1475266AEBE4D201 Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 353*2^320384-1 is not prime. Res64: 506BB5862896E222 Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 369*2^320384-1 is not prime. Res64: 72CFEE6970616FAD Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 377*2^320384-1 is not prime. Res64: 4C33142BBD0F0364 Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 385*2^320383-1 is not prime. Res64: E6DB8B668F0CC131 Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 313*2^320383-1 is not prime. Res64: 134873E0133D10EC Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 317*2^320388-1 is not prime. Res64: F20D112D4D76671B Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 327*2^320385-1 is not prime. Res64: 7D5B6E04EE18EC04 Time : 0.0 sec. user=mdettweiler [2009-06-13 17:12:45] 333*2^320387-1 is not prime. Res64: 5ADFBA26EA1934F1 Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 367*2^320385-1 is not prime. Res64: 067C8CA88E48DA45 Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 387*2^320388-1 is not prime. Res64: D16989753F8A1CA0 Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 395*2^320388-1 is not prime. Res64: 7AE089D0DF48CAB2 Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 399*2^320387-1 is not prime. Res64: 99D84031FF313252 Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 313*2^320387-1 is not prime. Res64: C8A3F19445B7A302 Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 327*2^320389-1 is not prime. Res64: 34E85A1C8BCB096F Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 349*2^320389-1 is not prime. Res64: C1FB6A516365DB00 Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 379*2^320389-1 is not prime. Res64: B7EED85890D01E6A Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 319*2^320391-1 is not prime. Res64: 2ECF50DCB666AF3A Time : 0.0 sec. user=mdettweiler [2009-06-13 18:22:43] 303*2^320394-1 is not prime. Res64: DE691150C3F4CCC8 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 321*2^320393-1 is not prime. Res64: 0E70F7D3F5180AB9 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 327*2^320392-1 is not prime. Res64: CECAB0CD690F37D0 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 339*2^320392-1 is not prime. Res64: A8EA1464A934E2A3 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 395*2^320392-1 is not prime. Res64: C4F66037169FC463 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 399*2^320393-1 is not prime. Res64: 7C1761B0E13E086C Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 301*2^320397-1 is not prime. Res64: 7683260E96DA15A8 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 309*2^320396-1 is not prime. Res64: 3689DA6A5ADFB68B Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 321*2^320397-1 is not prime. Res64: BC5DDF1B22A9A74F Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 325*2^320395-1 is not prime. Res64: 00E5E8DE4E5C2D37 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:00:28] 325*2^320397-1 is not prime. Res64: 82DCE6209D491A50 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 339*2^320395-1 is not prime. Res64: D3C25238312EA660 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 345*2^320395-1 is not prime. Res64: E19A6112B1DCDF55 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 367*2^320397-1 is not prime. Res64: C71A7577E545E1A0 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 377*2^320398-1 is not prime. Res64: 0FB9369F5BF770A6 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 391*2^320397-1 is not prime. Res64: 4C8C9831BB4C177B Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 333*2^320400-1 is not prime. Res64: 6D29A386D29D65DF Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 349*2^320399-1 is not prime. Res64: FB4524F470C9435A Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 355*2^320401-1 is not prime. Res64: 8441D0A617AA6F34 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 323*2^320404-1 is not prime. Res64: 130807F52667B2E7 Time : 0.0 sec. user=mdettweiler [2009-06-13 19:42:39] 333*2^320403-1 is not prime. Res64: 6932193D26A436AC Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 335*2^320404-1 is not prime. Res64: F77F737368D2D77B Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 371*2^320402-1 is not prime. Res64: 1693A21822509F2E Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 393*2^320404-1 is not prime. Res64: 9A9C5B7AAE956B09 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 309*2^320407-1 is not prime. Res64: 462FB955BE6076CB Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 315*2^320405-1 is not prime. Res64: 3FFBD99DBF4B547C Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 317*2^320406-1 is not prime. Res64: E681A2B513AB9820 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 321*2^320405-1 is not prime. Res64: 56D5D0F3C0F1DAF1 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 321*2^320406-1 is not prime. Res64: BDAE51D58A5688AD Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 345*2^320406-1 is not prime. Res64: 911A9DC081D2A5F8 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:03:47] 317*2^320410-1 is not prime. Res64: E0AC175C5D6B086C Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 369*2^320409-1 is not prime. Res64: D3E48229606B8BEC Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 377*2^320410-1 is not prime. Res64: AC9F782B1F713B7E Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 399*2^320409-1 is not prime. Res64: A4D12654F42B395B Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 329*2^320412-1 is not prime. Res64: 4A123E3A68A65255 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 339*2^320413-1 is not prime. Res64: C756A1A192121F89 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 341*2^320414-1 is not prime. Res64: FFF42B7B2EF94738 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 353*2^320412-1 is not prime. Res64: 0BD73DBFD3F5A1B7 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 367*2^320413-1 is not prime. Res64: 958C38089DD45E3C Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 385*2^320413-1 is not prime. Res64: 9D8DA62EC550BC57 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:25:01] 391*2^320413-1 is not prime. Res64: F4726488A7695221 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 301*2^320415-1 is not prime. Res64: C1ED00C8CF56CE20 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 315*2^320418-1 is not prime. Res64: 9293687849336D49 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 355*2^320417-1 is not prime. Res64: BAE705CA602783B2 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 363*2^320416-1 is not prime. Res64: A4E2A7473495AA17 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 371*2^320418-1 is not prime. Res64: AE03B1F94A8D61A9 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 387*2^320416-1 is not prime. Res64: 69A7562856C02A72 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 393*2^320416-1 is not prime. Res64: C267D3F9421D7D4D Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 323*2^320420-1 is not prime. Res64: 9466979704BBACD3 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 369*2^320420-1 is not prime. Res64: B56B5E4BC3482105 Time : 0.0 sec. user=mdettweiler [2009-06-13 20:46:14] 377*2^320420-1 is not prime. Res64: CDBB0A2BEB0E9F1C Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 399*2^320420-1 is not prime. Res64: F29EF12E2EC292A9 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 383*2^320418-1 is not prime. Res64: 6042DFDF790E25E2 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 321*2^320423-1 is not prime. Res64: AA1327E7674A2512 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 327*2^320424-1 is not prime. Res64: A99D10D5527AD924 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 333*2^320423-1 is not prime. Res64: 9C90EA9952417A74 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 335*2^320424-1 is not prime. Res64: 37EACA914E3AD294 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 349*2^320423-1 is not prime. Res64: 227E61924D20AEBA Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 353*2^320422-1 is not prime. Res64: 944817B4895DBC02 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 313*2^320423-1 is not prime. Res64: 4BDFBB9A27A6271F Time : 0.0 sec. user=mdettweiler [2009-06-13 21:07:27] 301*2^320425-1 is not prime. Res64: E4F0C6C6F9E9E558 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 311*2^320426-1 is not prime. Res64: D318588B0DD096D1 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 315*2^320428-1 is not prime. Res64: C46D81FCCAE60912 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 327*2^320425-1 is not prime. Res64: 8411F7315A9FA70C Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 387*2^320425-1 is not prime. Res64: DC4CD3C020931C6F Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 335*2^320430-1 is not prime. Res64: 4858589DEF2E9223 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 351*2^320431-1 is not prime. Res64: 9389A8314FD507F1 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 381*2^320429-1 is not prime. Res64: E5289F7B50ACABDC Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 385*2^320431-1 is not prime. Res64: FB4B9F810BC70AA3 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 319*2^320429-1 is not prime. Res64: 51928BA9CC7F1DCE Time : 0.0 sec. user=mdettweiler [2009-06-13 21:28:41] 315*2^320434-1 is not prime. Res64: 1D13CFD0238AE5D3 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 321*2^320434-1 is not prime. Res64: E0543CF7FC794C40 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 329*2^320432-1 is not prime. Res64: 74DDD88F73D42E1C Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 345*2^320434-1 is not prime. Res64: C93B6F8AA8B99394 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 357*2^320434-1 is not prime. Res64: 022B0D1D90C47999 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 367*2^320433-1 is not prime. Res64: 4CF4D5C9EE9CF616 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 377*2^320434-1 is not prime. Res64: 1418F9AE6F5E6345 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 395*2^320432-1 is not prime. Res64: A141649CFE938BB7 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 315*2^320436-1 is not prime. Res64: 2C4432EF249FDB73 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 321*2^320437-1 is not prime. Res64: 1D0ACAFD1498F343 Time : 0.0 sec. user=mdettweiler [2009-06-13 21:49:59] 325*2^320437-1 is not prime. Res64: D61D6B8EC72EA89D Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 337*2^320437-1 is not prime. Res64: FA7CC70897614275 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 369*2^320435-1 is not prime. Res64: D516C74EBF2CD6A1 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 369*2^320437-1 is not prime. Res64: D113F2897CD1FA07 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 381*2^320437-1 is not prime. Res64: D16854DFC47CE6D9 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 399*2^320435-1 is not prime. Res64: C1CF8FFE6C957E22 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 313*2^320435-1 is not prime. Res64: C7E7EAA18F801C0C Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 387*2^320440-1 is not prime. Res64: B7F89125EEF8AD46 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 339*2^320443-1 is not prime. Res64: 75694ED21773BF9B Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 345*2^320442-1 is not prime. Res64: F7E341C920617C7B Time : 0.0 sec. user=mdettweiler [2009-06-13 22:11:58] 347*2^320442-1 is not prime. Res64: A9A0F3B04D279F67 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 353*2^320444-1 is not prime. Res64: 1841B0015DA0B226 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 363*2^320443-1 is not prime. Res64: ED595A279166229B Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 371*2^320442-1 is not prime. Res64: EC782FDE44F91613 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 399*2^320443-1 is not prime. Res64: 76F13F20896D3961 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 313*2^320443-1 is not prime. Res64: 95E59A39FFA2B2C4 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 383*2^320442-1 is not prime. Res64: E355B07E48E7E635 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 315*2^320445-1 is not prime. Res64: 23E06AA93F079F50 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 315*2^320447-1 is not prime. Res64: 5606666289E16672 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 349*2^320445-1 is not prime. Res64: F98740B7DBF6BEC8 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:33:12] 355*2^320445-1 is not prime. Res64: 5B3440AAC3ECE780 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 369*2^320445-1 is not prime. Res64: 50793A10266726F3 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 371*2^320446-1 is not prime. Res64: E0FBA4E85C16DB9F Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 393*2^320446-1 is not prime. Res64: 00696CC29CE2152B Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 305*2^320450-1 is not prime. Res64: 7442FEA62D610D77 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 321*2^320450-1 is not prime. Res64: AAEAE4B1D5166795 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 345*2^320451-1 is not prime. Res64: EC26575414C7CB00 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 363*2^320450-1 is not prime. Res64: 3B40BF340FA29A72 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 391*2^320449-1 is not prime. Res64: 82800F6EB780F6CE Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 395*2^320448-1 is not prime. Res64: 8CC006166F87A172 Time : 0.0 sec. user=mdettweiler [2009-06-13 22:54:30] 399*2^320448-1 is not prime. Res64: 5EEF8BAA04DC1256 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 313*2^320451-1 is not prime. Res64: 73616F075ED70C2F Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 383*2^320450-1 is not prime. Res64: AC7D35EB68B2D192 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 301*2^320453-1 is not prime. Res64: D7620F4B37256D2E Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 309*2^320452-1 is not prime. Res64: AD93138E89D71815 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 357*2^320454-1 is not prime. Res64: 6BD8A8CC43CCAA31 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 393*2^320452-1 is not prime. Res64: C38E2E3270378FD7 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 395*2^320452-1 is not prime. Res64: F729E79A840CD4E8 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 319*2^320453-1 is not prime. Res64: 313AA929E7D930D4 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 301*2^320455-1 is not prime. Res64: C8C19AE56BAF2C8B Time : 0.0 sec. user=mdettweiler [2009-06-13 23:15:49] 309*2^320455-1 is not prime. Res64: 9C1C06CD8B85D23F Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 311*2^320458-1 is not prime. Res64: 1AE6F1BE1C3F77C7 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 325*2^320457-1 is not prime. Res64: A50059C00C905BA3 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 339*2^320456-1 is not prime. Res64: B7947E7E44909651 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 363*2^320456-1 is not prime. Res64: FC49FF3A4FD1E008 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 385*2^320455-1 is not prime. Res64: 92FCF14CE58E1BE8 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 397*2^320457-1 is not prime. Res64: C070221F0E3D5318 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 399*2^320457-1 is not prime. Res64: A08AAA09D1D4B8B9 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 307*2^320461-1 is not prime. Res64: 51F5635751FC23DC Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 335*2^320460-1 is not prime. Res64: 53BE0341A3102D62 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:37:02] 347*2^320460-1 is not prime. Res64: 852C2C01504897C1 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 351*2^320458-1 is not prime. Res64: 98851210BC70DAD3 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 369*2^320459-1 is not prime. Res64: F8376B2CAA857177 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 389*2^320460-1 is not prime. Res64: 0C2720BA96E3B6A5 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 383*2^320458-1 is not prime. Res64: 58E214DB2C75A46A Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 323*2^320464-1 is not prime. Res64: B2C982227CC58963 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 355*2^320463-1 is not prime. Res64: AAD7AABC7EFBFD14 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 365*2^320462-1 is not prime. Res64: 174E248DEFD5B24E Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 391*2^320463-1 is not prime. Res64: 28B84E22FA2821FE Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 319*2^320463-1 is not prime. Res64: 659ADEEA34175483 Time : 0.0 sec. user=mdettweiler [2009-06-13 23:58:15] 383*2^320462-1 is not prime. Res64: 561AC02658E7F2BE Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 301*2^320465-1 is not prime. Res64: 13CD771AE6A1EE11 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 301*2^320467-1 is not prime. Res64: AC3FD093FDC28AAA Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 325*2^320467-1 is not prime. Res64: 0DCB86DE15E98B16 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 339*2^320467-1 is not prime. Res64: 22985F39933A9717 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 351*2^320467-1 is not prime. Res64: 01B4BA78B8ACD461 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 381*2^320465-1 is not prime. Res64: A0041AE4F4AFDD27 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 391*2^320465-1 is not prime. Res64: 2F82718E416AB447 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 327*2^320469-1 is not prime. Res64: C6A76C763C6C54F6 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 345*2^320470-1 is not prime. Res64: D73130961B765132 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:19:24] 349*2^320469-1 is not prime. Res64: 03DCB4CE43CFA721 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 371*2^320470-1 is not prime. Res64: 1C97FB229F3907E0 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 381*2^320469-1 is not prime. Res64: C3D0AAF6AD261251 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 391*2^320469-1 is not prime. Res64: 6920EF6F405A2A22 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 313*2^320471-1 is not prime. Res64: CAE8BDED28CDBD5F Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 317*2^320472-1 is not prime. Res64: D8E40349CE194A21 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 329*2^320472-1 is not prime. Res64: 7EC4FBBC1D9DA021 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 341*2^320474-1 is not prime. Res64: 1C7DE7B151B7619D Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 347*2^320472-1 is not prime. Res64: AA1D01A507E37B27 Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 357*2^320473-1 is not prime. Res64: A4F19B6DBEF5239B Time : 0.0 sec. user=mdettweiler [2009-06-14 00:40:37] 389*2^320472-1 is not prime. Res64: 0CE23CF6A1BCE073 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 399*2^320473-1 is not prime. Res64: 144E976B39097E90 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 301*2^320475-1 is not prime. Res64: 08A343190146022C Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 323*2^320476-1 is not prime. Res64: EED70B0368304FEA Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 327*2^320476-1 is not prime. Res64: A0A3C3B1E9D0C9A2 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 345*2^320475-1 is not prime. Res64: 13B7B141FE2A09FE Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 353*2^320476-1 is not prime. Res64: 4CCE1D5EBAB9A012 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 383*2^320476-1 is not prime. Res64: 930F71DC22B35C7D Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 387*2^320478-1 is not prime. Res64: 7F9F54EFA2CC2310 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 389*2^320480-1 is not prime. Res64: FF7BADB39CEFB933 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:01:51] 397*2^320481-1 is not prime. Res64: 4480CA4E14905242 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 399*2^320480-1 is not prime. Res64: B1F46ED82389061C Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 319*2^320481-1 is not prime. Res64: 33F7C35B80A5DFE8 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 327*2^320482-1 is not prime. Res64: 167F91CFC3B9780B Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 333*2^320484-1 is not prime. Res64: 86ECD96E41EFB89F Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 345*2^320482-1 is not prime. Res64: 57F339D73D74211C Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 369*2^320483-1 is not prime. Res64: 5E66F4CEB6F45AD4 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 303*2^320488-1 is not prime. Res64: 050D870CD81B4F26 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 355*2^320487-1 is not prime. Res64: E83B66998E9DBF89 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 387*2^320485-1 is not prime. Res64: E05C1E3F007C2887 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:22:59] 391*2^320485-1 is not prime. Res64: 9687A77311115E3A Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 315*2^320491-1 is not prime. Res64: B06D021EB73E18BC Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 335*2^320490-1 is not prime. Res64: 44193508F1D25476 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 339*2^320489-1 is not prime. Res64: E404B8BDB4065C58 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 387*2^320488-1 is not prime. Res64: 65CBEBEC0938F654 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 393*2^320491-1 is not prime. Res64: 55020F79621B65BE Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 395*2^320490-1 is not prime. Res64: 1643C1617E891136 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 397*2^320489-1 is not prime. Res64: 5725EDBD39E96CEC Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 311*2^320494-1 is not prime. Res64: 430ADBC250CD6DF9 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 323*2^320492-1 is not prime. Res64: E8EC97670D120763 Time : 0.0 sec. user=mdettweiler [2009-06-14 01:44:18] 329*2^320492-1 is not prime. Res64: 824823C2D5CBD02B Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 365*2^320492-1 is not prime. Res64: 1FA851E83EB1FF4C Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 393*2^320494-1 is not prime. Res64: 3D4AA3942808DCC9 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 301*2^320497-1 is not prime. Res64: E6C530F511B23F69 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 309*2^320495-1 is not prime. Res64: 396668073A41FA63 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 325*2^320497-1 is not prime. Res64: 7A237622CE048F9B Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 355*2^320497-1 is not prime. Res64: 9B08539A9F9D6F57 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 357*2^320500-1 is not prime. Res64: 736B3CEA33B4B596 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 367*2^320501-1 is not prime. Res64: D079C164ABAA367E Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 313*2^320499-1 is not prime. Res64: 6A88921601E8F712 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:05:31] 383*2^320500-1 is not prime. Res64: 2E14E37038332944 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 333*2^320504-1 is not prime. Res64: E941F48D7C0846EF Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 351*2^320503-1 is not prime. Res64: 4D5419430A5FD2C8 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 353*2^320502-1 is not prime. Res64: 4051B329149D4BF3 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 369*2^320504-1 is not prime. Res64: A28EF80C39B88692 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 315*2^320507-1 is not prime. Res64: 8EB6BECC13A47A37 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 333*2^320507-1 is not prime. Res64: 83B862D7CA70DC41 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 387*2^320505-1 is not prime. Res64: 8470B5660CA381A5 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 307*2^320509-1 is not prime. Res64: 04DCEC95243E6F3E Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 351*2^320510-1 is not prime. Res64: 82E5026368629BB8 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:26:45] 363*2^320511-1 is not prime. Res64: D9A8A4F59DD14E4F Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 381*2^320509-1 is not prime. Res64: F37284E3F1954BB4 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 327*2^320512-1 is not prime. Res64: BE73AB36528456BA Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 333*2^320514-1 is not prime. Res64: D08FCF791F8064C5 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 345*2^320514-1 is not prime. Res64: 00EE7727B041F080 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 365*2^320512-1 is not prime. Res64: 32FACB4F63DA0D9A Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 367*2^320513-1 is not prime. Res64: 042618770622462E Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 309*2^320515-1 is not prime. Res64: C0E0A5308A7EFB56 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 325*2^320515-1 is not prime. Res64: DE0B71E207C34B23 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 353*2^320516-1 is not prime. Res64: 9648BB2CD131B882 Time : 0.0 sec. user=mdettweiler [2009-06-14 02:48:03] 357*2^320517-1 is not prime. Res64: 1F98210FCD2F410E Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 365*2^320516-1 is not prime. Res64: 4EBEE7A2D867F551 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 367*2^320517-1 is not prime. Res64: 3E768711F45AED00 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 369*2^320516-1 is not prime. Res64: CB0ECD5FA143F651 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 377*2^320516-1 is not prime. Res64: F386A13332609B71 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 385*2^320515-1 is not prime. Res64: 402B166B8BAA2697 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 397*2^320517-1 is not prime. Res64: 366CB37C4C848777 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 317*2^320520-1 is not prime. Res64: 508DF300721F67C1 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 327*2^320521-1 is not prime. Res64: 0A74F4BFAA2DD6EE Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 335*2^320520-1 is not prime. Res64: 9E07F099443AB408 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:09:17] 351*2^320519-1 is not prime. Res64: 638753031F75054A Time : 0.0 sec. user=mdettweiler [2009-06-14 03:22:04] 381*2^320519-1 is not prime. Res64: F8ECF0F46ABE2E81 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:22:04] 393*2^320518-1 is not prime. Res64: BA35C6F70CB03908 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:22:04] 399*2^320519-1 is not prime. Res64: 63D487237B1E3EF5 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:22:04] 313*2^320519-1 is not prime. Res64: 8D7EF625B53A233A Time : 0.0 sec. user=mdettweiler [2009-06-14 03:22:04] 333*2^320523-1 is not prime. Res64: 3E2C5E4044945F51 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:23:20] 335*2^320524-1 is not prime. Res64: 8B508C9A5C9AA612 Time : 0.0 sec. user=mdettweiler [2009-06-14 03:38:43] 357*2^320525-1 is not prime. Res64: CAF16E7A9D5E730F Time : 0.0 sec. user=mdettweiler [2009-06-14 03:38:43] 379*2^320527-1 is not prime. Res64: 2D5AA97928C4212F Time : 0.0 sec. user=mdettweiler [2009-06-14 03:38:43] 391*2^320527-1 is not prime. Res64: CA78D8B923A3D5FE Time : 0.0 sec. user=mdettweiler [2009-06-14 03:43:07] 399*2^320527-1 is not prime. Res64: Time : 0.0 sec. user=mdettweiler [2009-06-14 03:43:37] 399*2^320527-1 is not prime. Res64: Time : 0.0 sec. user=mdettweiler [2009-06-14 03:51:20] 357*2^320542-1 is not prime. Res64: EC8F4A0539963102 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 321*2^320551-1 is not prime. Res64: 83700A85ED1602E2 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 345*2^320550-1 is not prime. Res64: 0909B57302187F06 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 357*2^320549-1 is not prime. Res64: 9E7208BC0F36B455 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 357*2^320550-1 is not prime. Res64: 3016CD1EF690CDA2 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 369*2^320549-1 is not prime. Res64: 5FE8B7FF6ED2BEB5 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 387*2^320550-1 is not prime. Res64: 39D1E6738F7A738F Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 397*2^320549-1 is not prime. Res64: 645519E2A15E3265 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 383*2^320548-1 is not prime. Res64: 7BDD0D61F9248B2A Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 301*2^320553-1 is not prime. Res64: 2E738C90C8872241 Time : 0.0 sec. user=mdettweiler [2009-06-14 04:19:49] 341*2^320554-1 is not prime. Res64: 51308AFA0E7404DA Time : 0.0 sec.