user=mdettweiler [2009-06-11 06:06:01] 347*2^320112-1 is not prime. Res64: 3863F1032D9C5021 Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 363*2^320110-1 is not prime. Res64: 4499065E1342D68B Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 315*2^320110-1 is not prime. Res64: F566532AEC2761A9 Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 331*2^320115-1 is not prime. Res64: E2431261E1D31B62 Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 333*2^320114-1 is not prime. Res64: 547F55616EFB7418 Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 357*2^320113-1 is not prime. Res64: 723B744AFE6B4691 Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 367*2^320113-1 is not prime. Res64: DF7F11B21C1058AF Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 381*2^320114-1 is not prime. Res64: 3155B2B29A7DEA59 Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 385*2^320113-1 is not prime. Res64: 214245F2F1B7FE15 Time : 0.0 sec. user=mdettweiler [2009-06-11 06:06:01] 387*2^320113-1 is not prime. Res64: 741346244BE4F184 Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 301*2^320117-1 is not prime. Res64: CF17DD4FD100250C Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 303*2^320118-1 is not prime. Res64: 79F1418E7CB07562 Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 317*2^320118-1 is not prime. Res64: FA5AE3143FCF2683 Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 333*2^320118-1 is not prime. Res64: A0DC4971D7AAEE67 Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 337*2^320117-1 is not prime. Res64: BAAB4DC526F4B69B Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 345*2^320116-1 is not prime. Res64: A5FE2E75FA022EBB Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 345*2^320119-1 is not prime. Res64: CC6E5658AD2232BC Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 373*2^320119-1 is not prime. Res64: 89E3798394F7634C Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 315*2^320119-1 is not prime. Res64: EA784D2AA3530DBD Time : 0.0 sec. user=mdettweiler [2009-06-11 07:17:15] 305*2^320120-1 is not prime. Res64: 21B71EA300CA090E Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 355*2^320121-1 is not prime. Res64: 7BBA00168E7FF6ED Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 369*2^320120-1 is not prime. Res64: 5B31356D7464F3C9 Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 381*2^320121-1 is not prime. Res64: 219C6BBE14A527B5 Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 385*2^320119-1 is not prime. Res64: 95AAEEAACD6359E1 Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 319*2^320121-1 is not prime. Res64: 6E8EDB77B04F20FC Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 309*2^320125-1 is not prime. Res64: 80A2551F75C8CA1C Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 327*2^320125-1 is not prime. Res64: 9219E60E7C29E870 Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 385*2^320125-1 is not prime. Res64: 0063D57E2C55983B Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 315*2^320125-1 is not prime. Res64: C9F305B8DC0307A2 Time : 0.0 sec. user=mdettweiler [2009-06-11 08:28:33] 303*2^320127-1 is not prime. Res64: 0F0E79F09400074D Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 309*2^320129-1 is not prime. Res64: 9284B50A8725DEDC Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 321*2^320127-1 is not prime. Res64: 86FF06ECC9BEB164 Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 355*2^320129-1 is not prime. Res64: D5FF36C26C548B50 Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 391*2^320127-1 is not prime. Res64: 9C16FF7EC0D19682 Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 393*2^320126-1 is not prime. Res64: E36B7AFB9ED1C2E8 Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 353*2^320132-1 is not prime. Res64: 3FA77D04269E87E9 Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 371*2^320130-1 is not prime. Res64: FA4656A73177541C Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 379*2^320129-1 is not prime. Res64: EFA5AAAEB916E2EF Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 381*2^320129-1 is not prime. Res64: 36FAD7A2E7EE7675 Time : 0.0 sec. user=mdettweiler [2009-06-11 09:40:32] 389*2^320132-1 is not prime. Res64: CE4D1E24B596B748 Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 391*2^320129-1 is not prime. Res64: 6F5AB3711CB5A62C Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 395*2^320132-1 is not prime. Res64: 891D28F22543BA6B Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 315*2^320130-1 is not prime. Res64: 6193DCBFA93D0C86 Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 325*2^320133-1 is not prime. Res64: 7B509E09E4F29093 Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 391*2^320133-1 is not prime. Res64: 6466E85789F292B9 Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 393*2^320134-1 is not prime. Res64: EE17056972CD1504 Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 315*2^320134-1 is not prime. Res64: B0EF7A6EACBD35B6 Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 307*2^320137-1 is not prime. Res64: 576A20F6FE48EF9F Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 325*2^320139-1 is not prime. Res64: E74CD72E1B810B27 Time : 0.0 sec. user=mdettweiler [2009-06-11 10:47:10] 333*2^320138-1 is not prime. Res64: D3064670C7B30A84 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 357*2^320138-1 is not prime. Res64: 34B751C94E3DD133 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 377*2^320136-1 is not prime. Res64: BACBC96D0AD51F3B Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 387*2^320137-1 is not prime. Res64: CD8F91C2447319AC Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 393*2^320138-1 is not prime. Res64: 9DA0155C23D78EF2 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 395*2^320136-1 is not prime. Res64: DFA5FA16B2640011 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 301*2^320141-1 is not prime. Res64: B131143473D16BB8 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 303*2^320140-1 is not prime. Res64: 15598A114FA93AF4 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 381*2^320139-1 is not prime. Res64: AB0F815D91E03EF3 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 381*2^320142-1 is not prime. Res64: 90183F2E7B1E88F8 Time : 0.0 sec. user=mdettweiler [2009-06-11 11:58:43] 325*2^320145-1 is not prime. Res64: 0793F434E6C0B007 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 333*2^320144-1 is not prime. Res64: 387DD9252184FCDE Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 345*2^320145-1 is not prime. Res64: 5324D79B3EEA1AF3 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 369*2^320143-1 is not prime. Res64: 8603B766363E48AD Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 389*2^320144-1 is not prime. Res64: B8BE55846DB43D64 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 319*2^320145-1 is not prime. Res64: C8295F8709555BCC Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 303*2^320148-1 is not prime. Res64: 3EE737D4B80719C0 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 357*2^320148-1 is not prime. Res64: 65039CDDE9E519F5 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 377*2^320148-1 is not prime. Res64: 1BB81D0FF4696388 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 309*2^320152-1 is not prime. Res64: C843BE954D4C574A Time : 0.0 sec. user=mdettweiler [2009-06-11 12:19:52] 313*2^320151-1 is not prime. Res64: 10111314D7D13F34 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 321*2^320150-1 is not prime. Res64: 37CFEE8AA74F6E10 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 339*2^320152-1 is not prime. Res64: 5479803C34D6F339 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 357*2^320150-1 is not prime. Res64: 7C4DAC8FEFC7C4FA Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 363*2^320150-1 is not prime. Res64: E743F4080C575340 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 371*2^320150-1 is not prime. Res64: 7EE9B9010A82B668 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 387*2^320152-1 is not prime. Res64: 8FBCB4C553742249 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 393*2^320152-1 is not prime. Res64: C6CD73590F0F1BCF Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 327*2^320154-1 is not prime. Res64: DC5B48EBCBA710A7 Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 339*2^320155-1 is not prime. Res64: 1DD28D8EB8058A1D Time : 0.0 sec. user=mdettweiler [2009-06-11 12:41:05] 371*2^320154-1 is not prime. Res64: B6494B125DDE5DEF Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 393*2^320155-1 is not prime. Res64: D9DAC59D2EDFA544 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 397*2^320153-1 is not prime. Res64: CB7245DF4797CDE9 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 321*2^320157-1 is not prime. Res64: 935C10C38640B3DF Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 363*2^320158-1 is not prime. Res64: 4AABCB508063565F Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 305*2^320162-1 is not prime. Res64: 625574B277DDD563 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 309*2^320161-1 is not prime. Res64: 510DF946A9F7E155 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 327*2^320162-1 is not prime. Res64: 6E8081356FA43C97 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 335*2^320160-1 is not prime. Res64: 0810382EAF073FBF Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 345*2^320160-1 is not prime. Res64: 414A3303197D2A11 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:03:09] 349*2^320159-1 is not prime. Res64: E0FFDAA580C9F139 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 355*2^320159-1 is not prime. Res64: D1C5949D87883EC6 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 357*2^320162-1 is not prime. Res64: 621AD6A138BD3383 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 363*2^320162-1 is not prime. Res64: AAE2859764E6770C Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 369*2^320159-1 is not prime. Res64: 6F35927440A56270 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 393*2^320162-1 is not prime. Res64: 86E92798F1E3AF10 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 395*2^320160-1 is not prime. Res64: CEB94305DE5BD49B Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 399*2^320161-1 is not prime. Res64: 9696A8C8395593C3 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 315*2^320160-1 is not prime. Res64: 2C5AC2D788F8996D Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 383*2^320160-1 is not prime. Res64: A1268CD254F8454B Time : 0.0 sec. user=mdettweiler [2009-06-11 13:25:02] 333*2^320163-1 is not prime. Res64: 9A034FCF21E0C600 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 357*2^320164-1 is not prime. Res64: 2E46B7BBE7DCC4EC Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 363*2^320164-1 is not prime. Res64: 1A199120788DA4D8 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 369*2^320165-1 is not prime. Res64: 8FF8AE27A35FCE48 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 315*2^320165-1 is not prime. Res64: DB23494EBB014DE2 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 333*2^320166-1 is not prime. Res64: 41107FA8DCCBC06D Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 339*2^320167-1 is not prime. Res64: 2AA1266E4A14FEAC Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 345*2^320167-1 is not prime. Res64: 3C8D246B19AEA6BE Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 353*2^320168-1 is not prime. Res64: C5835C16E5CC918E Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 303*2^320172-1 is not prime. Res64: BC96C9DB5B9CB313 Time : 0.0 sec. user=mdettweiler [2009-06-11 13:46:16] 329*2^320172-1 is not prime. Res64: 9460E5BFDE9CA9E9 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 335*2^320172-1 is not prime. Res64: F87A8F151A78817C Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 351*2^320170-1 is not prime. Res64: 803005C79DA5848E Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 381*2^320169-1 is not prime. Res64: DB45C72CB76CC0BB Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 387*2^320172-1 is not prime. Res64: 9015DF1890356C43 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 389*2^320172-1 is not prime. Res64: 3C58AC509D8F6F92 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 391*2^320169-1 is not prime. Res64: 3A6EBD260533C1DC Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 393*2^320170-1 is not prime. Res64: E87D3F5D6E1AED07 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 393*2^320171-1 is not prime. Res64: 88CE4985F79A4495 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 307*2^320173-1 is not prime. Res64: A4DB2765A17B0D72 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:07:24] 325*2^320173-1 is not prime. Res64: E7E1433D83BD5D87 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 341*2^320174-1 is not prime. Res64: A14E4BC0C62E87DE Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 351*2^320173-1 is not prime. Res64: F0866B2511F3CC0D Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 355*2^320173-1 is not prime. Res64: 831D78B3FFACAD87 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 377*2^320174-1 is not prime. Res64: B7C786EAFAA765C2 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 327*2^320176-1 is not prime. Res64: 940CD338D91BFB02 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 355*2^320177-1 is not prime. Res64: 83E4C591059AF979 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 369*2^320176-1 is not prime. Res64: D71FA3042E35F9F7 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 379*2^320177-1 is not prime. Res64: C71360E157EDC540 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 315*2^320178-1 is not prime. Res64: 4B2502550F283274 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:28:37] 315*2^320179-1 is not prime. Res64: F1413B11817E165C Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 319*2^320177-1 is not prime. Res64: 6CB20202E28A43F1 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 383*2^320176-1 is not prime. Res64: 27C969C61BC87E3E Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 327*2^320181-1 is not prime. Res64: E6B6EAB51E1A586D Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 339*2^320181-1 is not prime. Res64: 002E949224690F9E Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 345*2^320181-1 is not prime. Res64: 18A748D9F4B484DD Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 349*2^320179-1 is not prime. Res64: EA2C5E05A63108F0 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 353*2^320182-1 is not prime. Res64: A0C5F252CF7A2FB7 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 357*2^320180-1 is not prime. Res64: 05566EAEB913C746 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 357*2^320182-1 is not prime. Res64: 5C7B7AFE25B49225 Time : 0.0 sec. user=mdettweiler [2009-06-11 14:51:06] 387*2^320181-1 is not prime. Res64: 2A050AB2ED3F1D7F Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 309*2^320185-1 is not prime. Res64: A0833332D6357220 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 313*2^320183-1 is not prime. Res64: 3B77668A7D6054FA Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 321*2^320185-1 is not prime. Res64: 243256E9DE417573 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 339*2^320183-1 is not prime. Res64: AC3EA86B0CA76F88 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 355*2^320185-1 is not prime. Res64: 7B12324B42B28C95 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 385*2^320183-1 is not prime. Res64: C0990AA8BEB8F82A Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 325*2^320187-1 is not prime. Res64: 8AED5C0E00B2B204 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 363*2^320186-1 is not prime. Res64: 32BDC0CFF77969BE Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 381*2^320187-1 is not prime. Res64: D2E25C485543DD09 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:12:19] 395*2^320188-1 is not prime. Res64: 74822592D4EB8DC5 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 315*2^320187-1 is not prime. Res64: 678A6DFAE58B6D24 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 323*2^320192-1 is not prime. Res64: BD813D04F0F4136A Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 333*2^320190-1 is not prime. Res64: D72FCA0BC69B8E9F Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 335*2^320190-1 is not prime. Res64: C2CD1AC8A1C0548D Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 337*2^320189-1 is not prime. Res64: 0B2EAAAD80C6A3CC Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 363*2^320192-1 is not prime. Res64: 898AD4974823EDB1 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 381*2^320191-1 is not prime. Res64: C9038BFF743681CB Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 341*2^320194-1 is not prime. Res64: FFFB312C689F78A8 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 357*2^320193-1 is not prime. Res64: A3220DADEA249118 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:33:33] 369*2^320193-1 is not prime. Res64: A816960074D0CBF7 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 393*2^320195-1 is not prime. Res64: CED664BC706DD87C Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 303*2^320199-1 is not prime. Res64: F81F4F66B4D64CFD Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 309*2^320197-1 is not prime. Res64: 9ECA602183F2BE26 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 315*2^320196-1 is not prime. Res64: D0E24F944FA6C510 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 321*2^320198-1 is not prime. Res64: AA97B13879B3F605 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 339*2^320197-1 is not prime. Res64: B71B59620358FC73 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 363*2^320198-1 is not prime. Res64: B04F6D504CEEAAAA Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 369*2^320196-1 is not prime. Res64: CD4E3B586FF8424F Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 369*2^320197-1 is not prime. Res64: 26D50CC5541A4644 Time : 0.0 sec. user=mdettweiler [2009-06-11 15:54:46] 303*2^320202-1 is not prime. Res64: 632A484A559E779A Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 337*2^320201-1 is not prime. Res64: 8947A3E9BD2BFAF6 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 339*2^320201-1 is not prime. Res64: 908A6E3D47306FB1 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 355*2^320201-1 is not prime. Res64: CE6C51D66DDB2E73 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 363*2^320200-1 is not prime. Res64: 85B995FCE32E5B18 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 381*2^320199-1 is not prime. Res64: 07356247BFC1425E Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 387*2^320200-1 is not prime. Res64: 5B202764EF822068 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 391*2^320199-1 is not prime. Res64: F5C8DB23B50415DB Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 313*2^320203-1 is not prime. Res64: 909EC26AD7AC2DDA Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 325*2^320205-1 is not prime. Res64: 483A36D2E0519DB6 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:15:59] 355*2^320205-1 is not prime. Res64: D9C3B7E68E095DE6 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 363*2^320203-1 is not prime. Res64: 8BFED2378C751786 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 377*2^320204-1 is not prime. Res64: 69113AE5CB60BB76 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 393*2^320203-1 is not prime. Res64: BF01F1499522368B Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 399*2^320203-1 is not prime. Res64: A592AF4F46F7D81C Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 329*2^320208-1 is not prime. Res64: E3829FFB5E3B03FC Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 333*2^320208-1 is not prime. Res64: 82689382A4CD7417 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 335*2^320208-1 is not prime. Res64: 2FAA1CF3EC468B52 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 387*2^320208-1 is not prime. Res64: 7E51275480584ED7 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 313*2^320207-1 is not prime. Res64: 3DE5C99ED8CAD010 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:37:13] 307*2^320209-1 is not prime. Res64: 705355026F8AB5C4 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 309*2^320212-1 is not prime. Res64: C22657698FC30EC2 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 333*2^320211-1 is not prime. Res64: 372CB4CA4E05D3F4 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 339*2^320211-1 is not prime. Res64: 565C147FE6FFBE41 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 347*2^320210-1 is not prime. Res64: AED8EC62A98BE3E0 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 349*2^320211-1 is not prime. Res64: 2AF354CA91683E43 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 351*2^320209-1 is not prime. Res64: 14E18F34DB3DBE5C Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 369*2^320212-1 is not prime. Res64: A414B904A97CEB77 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 305*2^320214-1 is not prime. Res64: 5E2D858ED3513971 Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 321*2^320213-1 is not prime. Res64: A4E7FEDC6D66FFFC Time : 0.0 sec. user=mdettweiler [2009-06-11 16:58:26] 321*2^320215-1 is not prime. Res64: 1581D94F9D945E18 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 369*2^320213-1 is not prime. Res64: 608D389CDB4ABA44 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 381*2^320215-1 is not prime. Res64: 8C91F0665EC7F830 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 393*2^320212-1 is not prime. Res64: 2E96572B5FF3C732 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 383*2^320212-1 is not prime. Res64: 5D7A5570ECA100C5 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 301*2^320217-1 is not prime. Res64: 2C4E253811A47F87 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 311*2^320218-1 is not prime. Res64: B2E1D5D2C76287C7 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 329*2^320216-1 is not prime. Res64: 1E938049A477C24C Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 381*2^320217-1 is not prime. Res64: F74BE1C9496DBC17 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 307*2^320221-1 is not prime. Res64: 59FE81D505169DD4 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:20:35] 315*2^320219-1 is not prime. Res64: 53F64C3DE92C748B Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 327*2^320220-1 is not prime. Res64: 28FEE0752FB13416 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 339*2^320219-1 is not prime. Res64: 8ED755D37DEEF6B1 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 345*2^320220-1 is not prime. Res64: BE7698381E4EDEDD Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 385*2^320221-1 is not prime. Res64: 2580A7DA1F31231B Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 387*2^320221-1 is not prime. Res64: 282535F3B2376F1A Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 399*2^320219-1 is not prime. Res64: 5FE221AC79331713 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 399*2^320220-1 is not prime. Res64: 9430A35602F61880 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 309*2^320224-1 is not prime. Res64: CA7FFEBD36FA1E68 Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 335*2^320224-1 is not prime. Res64: AEFBBB243B8F6AFA Time : 0.0 sec. user=mdettweiler [2009-06-11 17:42:28] 385*2^320223-1 is not prime. Res64: DF69A30C57275507 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 391*2^320225-1 is not prime. Res64: CA813A6D1BEDA045 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 319*2^320225-1 is not prime. Res64: 9F0A966709EF3B82 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 303*2^320226-1 is not prime. Res64: C411029ED52C0901 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 315*2^320227-1 is not prime. Res64: 11C242BF17919F59 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 341*2^320226-1 is not prime. Res64: 81D63B9B668B224A Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 345*2^320227-1 is not prime. Res64: 356A6426615229DD Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 353*2^320228-1 is not prime. Res64: C6E24CE0E38BA42B Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 373*2^320227-1 is not prime. Res64: 6B7107F7F1D5FAB4 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 379*2^320227-1 is not prime. Res64: 2C02C74946E01CF7 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:03:42] 303*2^320232-1 is not prime. Res64: ECF0433A0A774D56 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 345*2^320229-1 is not prime. Res64: 689ABE2174EF05A7 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 345*2^320230-1 is not prime. Res64: 10D6B1DE5028BD12 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 349*2^320231-1 is not prime. Res64: 92656C6FA3513859 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 353*2^320232-1 is not prime. Res64: 0002C2F62D05904F Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 355*2^320229-1 is not prime. Res64: 600E0764C5C6A67A Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 363*2^320230-1 is not prime. Res64: 2BC74D16D949A15C Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 363*2^320232-1 is not prime. Res64: 1A87D9D4B9CE502C Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 385*2^320231-1 is not prime. Res64: A502C660BE5B8B94 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 339*2^320235-1 is not prime. Res64: C85358D6224F6F17 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:24:50] 351*2^320233-1 is not prime. Res64: FB4551F3669A9645 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 365*2^320234-1 is not prime. Res64: 26064DDD49F10461 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 315*2^320236-1 is not prime. Res64: 34D750DFE853E053 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 317*2^320238-1 is not prime. Res64: 6CCFA599DEC74BB3 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 353*2^320236-1 is not prime. Res64: 1D95815E6FF8DC19 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 355*2^320237-1 is not prime. Res64: B4E6B1C8FF70AE36 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 387*2^320236-1 is not prime. Res64: D8157A7C6D993B8A Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 315*2^320242-1 is not prime. Res64: 078CAFDC759ED84C Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 333*2^320240-1 is not prime. Res64: D50B289552902689 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 339*2^320239-1 is not prime. Res64: 28FF88C2EE607D17 Time : 0.0 sec. user=mdettweiler [2009-06-11 18:46:18] 365*2^320240-1 is not prime. Res64: 46FE7C9B7B40282C Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 367*2^320241-1 is not prime. Res64: 503C5A638EFBF4EC Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 369*2^320239-1 is not prime. Res64: D06DFD4699D2CD37 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 391*2^320239-1 is not prime. Res64: 587E6860F730D930 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 313*2^320239-1 is not prime. Res64: B53859CF52BD24A1 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 339*2^320245-1 is not prime. Res64: 34539F8A5F426B38 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 349*2^320243-1 is not prime. Res64: C4A1AACDDF091ED7 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 355*2^320245-1 is not prime. Res64: 2C2E123F530AA125 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 357*2^320242-1 is not prime. Res64: 643A881D02EBDF5F Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 367*2^320245-1 is not prime. Res64: 7627008DD669404D Time : 0.0 sec. user=mdettweiler [2009-06-11 19:07:32] 391*2^320243-1 is not prime. Res64: 202E860B5DFB1B81 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 391*2^320245-1 is not prime. Res64: 4C0B28F3B0882247 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 399*2^320243-1 is not prime. Res64: 980716427B1C9250 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 355*2^320247-1 is not prime. Res64: AADBB75D2B3E51C9 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 323*2^320252-1 is not prime. Res64: 55EE8DCD2459D0DC Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 329*2^320252-1 is not prime. Res64: C2927BF9BF1DEE6B Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 349*2^320251-1 is not prime. Res64: 4DD0602512307C0E Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 371*2^320250-1 is not prime. Res64: 87D9DFBAF37035F1 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 399*2^320249-1 is not prime. Res64: 59F01C8621169656 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 383*2^320250-1 is not prime. Res64: CA26D40CFBDDC272 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:28:45] 335*2^320254-1 is not prime. Res64: BE48ACA770D63A48 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 377*2^320254-1 is not prime. Res64: EBDAF8F145D92DC5 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 313*2^320255-1 is not prime. Res64: C7186F5A39C42CBD Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 315*2^320256-1 is not prime. Res64: 9648240DF695A7B6 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 315*2^320258-1 is not prime. Res64: 92E4B0C0FD065983 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 321*2^320258-1 is not prime. Res64: D2D1B0252B530A04 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 347*2^320256-1 is not prime. Res64: 28C2F34476F9A029 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 351*2^320258-1 is not prime. Res64: 125B23E949195C00 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 377*2^320256-1 is not prime. Res64: DD8C704A8C2F43C6 Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 379*2^320257-1 is not prime. Res64: E259268D8F8B95EE Time : 0.0 sec. user=mdettweiler [2009-06-11 19:49:54] 395*2^320256-1 is not prime. Res64: 87A012803A8A12C7 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 399*2^320256-1 is not prime. Res64: 3AECA713695D22E4 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 399*2^320257-1 is not prime. Res64: D51E148CF03A58F0 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 301*2^320259-1 is not prime. Res64: F9D6DF5F031D70CC Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 315*2^320260-1 is not prime. Res64: 8286666767E4B3AF Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 317*2^320262-1 is not prime. Res64: D54E8E2B4D451BA1 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 321*2^320262-1 is not prime. Res64: CEB039AAB7AD5E58 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 351*2^320261-1 is not prime. Res64: 3E8D616DC76C9099 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 357*2^320260-1 is not prime. Res64: 7612CDE96462EBC1 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 365*2^320260-1 is not prime. Res64: F5EFA5ABE55D07BC Time : 0.0 sec. user=mdettweiler [2009-06-11 20:12:23] 367*2^320261-1 is not prime. Res64: 5FC92633F4C801DE Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 391*2^320259-1 is not prime. Res64: E36D6BE49BD8ED85 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 395*2^320260-1 is not prime. Res64: 698CBA4A9991FB8E Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 335*2^320264-1 is not prime. Res64: 159D58AE3BA4101E Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 345*2^320262-1 is not prime. Res64: F6B3B4264CC5468F Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 355*2^320265-1 is not prime. Res64: E0BCA4267B564487 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 357*2^320262-1 is not prime. Res64: 625E4DAF72E518C1 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 369*2^320264-1 is not prime. Res64: FF923CF9D1F577AE Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 399*2^320263-1 is not prime. Res64: D17C6E201579B60D Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 313*2^320263-1 is not prime. Res64: 37AA0321590BCCA5 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:34:42] 303*2^320268-1 is not prime. Res64: 33B951FBECF27CE6 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 315*2^320266-1 is not prime. Res64: 01D3D1326BCB50DA Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 323*2^320266-1 is not prime. Res64: EA2D1F4B7331126B Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 333*2^320267-1 is not prime. Res64: 68354159C9531C55 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 369*2^320267-1 is not prime. Res64: 79AEC432C4E6716B Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 315*2^320271-1 is not prime. Res64: C1CF67B4AAA07769 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 339*2^320269-1 is not prime. Res64: ED035BD28C810476 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 349*2^320269-1 is not prime. Res64: A90DD8B5EB67CE35 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 365*2^320270-1 is not prime. Res64: EA4BED5244CB48E9 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 321*2^320273-1 is not prime. Res64: 96EFFFB8B5F5C0F5 Time : 0.0 sec. user=mdettweiler [2009-06-11 20:56:15] 321*2^320274-1 is not prime. Res64: 163E0CE97C654CBD Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 339*2^320272-1 is not prime. Res64: A9D5E4DCAA2B85DA Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 345*2^320272-1 is not prime. Res64: E8E3DEA57ABA7DEF Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 379*2^320273-1 is not prime. Res64: 8416F70F6B764492 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 315*2^320278-1 is not prime. Res64: 30D7C908F149B246 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 353*2^320278-1 is not prime. Res64: A5D2107FDC9B9CBE Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 397*2^320277-1 is not prime. Res64: 303BE0F6D3B4716E Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 383*2^320276-1 is not prime. Res64: B8318DD5AF57C66F Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 305*2^320280-1 is not prime. Res64: A907D6B787FED4EA Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 351*2^320279-1 is not prime. Res64: 3E2A8CDEDD045078 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:17:29] 377*2^320280-1 is not prime. Res64: E04420247A3DE251 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 387*2^320281-1 is not prime. Res64: E78C60EB8EF90261 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 319*2^320279-1 is not prime. Res64: F7B27CCDD4C6FA92 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 383*2^320280-1 is not prime. Res64: EF00D7BBD75F6EB9 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 327*2^320282-1 is not prime. Res64: 77F7C51E5468ED17 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 327*2^320284-1 is not prime. Res64: E19CA2A582962AF1 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 327*2^320285-1 is not prime. Res64: 39C996B3B6C34E54 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 339*2^320285-1 is not prime. Res64: C5CF352872B22418 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 363*2^320283-1 is not prime. Res64: A5FB10ECB8AC2760 Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 363*2^320284-1 is not prime. Res64: 7ABDC7F5C86443DB Time : 0.0 sec. user=mdettweiler [2009-06-11 21:38:47] 369*2^320285-1 is not prime. Res64: 68321E9507D22B0A Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 377*2^320284-1 is not prime. Res64: 1C5261B28478A3A0 Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 319*2^320283-1 is not prime. Res64: 5CBDDCB1AC5524D9 Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 321*2^320286-1 is not prime. Res64: FC288DF30BABE982 Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 327*2^320288-1 is not prime. Res64: 628E5A47845E2A63 Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 363*2^320287-1 is not prime. Res64: 1396BDE984F9D51F Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 399*2^320288-1 is not prime. Res64: 13922DC93C16751F Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 301*2^320289-1 is not prime. Res64: 22D02423E5976DDC Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 315*2^320290-1 is not prime. Res64: E4CE6EC5317D0A6A Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 363*2^320290-1 is not prime. Res64: 2ECC7328184246EC Time : 0.0 sec. user=mdettweiler [2009-06-11 22:00:01] 321*2^320294-1 is not prime. Res64: 632B534518A6ADD2 Time : 0.0 sec.