user=mdettweiler [2012-05-24 00:01:20] 891*2^1184250-1 is not prime. Res64: 7ABD9EE7B4D1CEBD Time : 0.0 sec. user=mdettweiler [2012-05-24 00:01:20] 681*2^1184251-1 is not prime. Res64: 6123ED56400ED333 Time : 0.0 sec. user=PCZ [2012-05-24 00:01:45] 959*2^1184252-1 is not prime. Res64: 9EDD972AD7BC224E Time : 0.0 sec. user=PCZ [2012-05-24 00:01:48] 609*2^1184253-1 is not prime. Res64: EC10488981F06E85 Time : 0.0 sec. user=PCZ [2012-05-24 00:01:59] 721*2^1184253-1 is not prime. Res64: B58E1CB06919C266 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:02:50] 733*2^1184251-1 is not prime. Res64: F1A06F8621F3F852 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:02:52] 751*2^1184251-1 is not prime. Res64: 0E7A61F3BF8FCD69 Time : 0.0 sec. user=PCZ [2012-05-24 00:06:20] 781*2^1184253-1 is not prime. Res64: 9BA19048075C7B8F Time : 0.0 sec. user=PCZ [2012-05-24 00:11:39] 915*2^1184253-1 is not prime. Res64: FCD0AE3DA54AC1A4 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:11:42] 677*2^1184252-1 is not prime. Res64: 3A7F9906C69AFC48 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:11:43] 875*2^1184252-1 is not prime. Res64: 241FBC44439F1E88 Time : 0.0 sec. user=PCZ [2012-05-24 00:11:44] 961*2^1184253-1 is not prime. Res64: 88E3F8F72E4C0FD9 Time : 0.0 sec. user=PCZ [2012-05-24 00:11:55] 663*2^1184254-1 is not prime. Res64: B325DFAA3EF695F4 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:12:51] 903*2^1184252-1 is not prime. Res64: 43EA278A6511CBBE Time : 0.0 sec. user=mdettweiler [2012-05-24 00:12:52] 935*2^1184252-1 is not prime. Res64: E0DD56E33FC73D29 Time : 0.0 sec. user=PCZ [2012-05-24 00:16:14] 693*2^1184255-1 is not prime. Res64: 64BACB47D0A37EC8 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:17:23] 885*2^1184242-1 is not prime. Res64: B2433355AE25567D Time : 0.0 sec. user=mdettweiler [2012-05-24 00:17:24] 947*2^1184242-1 is not prime. Res64: DB9B231ED4A61781 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:18:26] 913*2^1184243-1 is not prime. Res64: 2ACB9CDA9DB6D1E9 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:18:27] 981*2^1184243-1 is not prime. Res64: B23BBDFB64B466E0 Time : 0.0 sec. user=PCZ [2012-05-24 00:21:40] 789*2^1184255-1 is not prime. Res64: 1417C605A65507E4 Time : 0.0 sec. user=PCZ [2012-05-24 00:21:49] 859*2^1184255-1 is not prime. Res64: A5359F6E88C4C820 Time : 0.0 sec. user=PCZ [2012-05-24 00:21:55] 943*2^1184255-1 is not prime. Res64: 7C9742EE06C3E446 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:22:17] 849*2^1184253-1 is not prime. Res64: 4E82A22BC378507A Time : 0.0 sec. user=mdettweiler [2012-05-24 00:22:17] 889*2^1184253-1 is not prime. Res64: EAEAEA756AA015DB Time : 0.0 sec. user=mdettweiler [2012-05-24 00:23:49] 903*2^1184254-1 is not prime. Res64: 6646C54ABEB8581E Time : 0.0 sec. user=mdettweiler [2012-05-24 00:23:50] 679*2^1184255-1 is not prime. Res64: 18FC08A08DBDA6E4 Time : 0.0 sec. user=PCZ [2012-05-24 00:26:07] 999*2^1184255-1 is not prime. Res64: 78C523FC34CE2D0C Time : 0.0 sec. user=vaughan [2012-05-24 00:29:42] 769*2^1184253-1 is not prime. Res64: 8E1720172EC45265 Time : 0.0 sec. user=PCZ [2012-05-24 00:31:35] 715*2^1184257-1 is not prime. Res64: C04551DAFAE53F6E Time : 0.0 sec. user=PCZ [2012-05-24 00:31:43] 717*2^1184257-1 is not prime. Res64: EC64B507D68E8223 Time : 0.0 sec. user=PCZ [2012-05-24 00:31:51] 727*2^1184257-1 is not prime. Res64: BFCC507488595AF4 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:32:43] 735*2^1184255-1 is not prime. Res64: F350C8E95E3045B0 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:32:44] 759*2^1184255-1 is not prime. Res64: 45B511C959E6B21E Time : 0.0 sec. user=mdettweiler [2012-05-24 00:33:52] 963*2^1184255-1 is not prime. Res64: C2C1EACDAF144A6D Time : 0.0 sec. user=mdettweiler [2012-05-24 00:33:52] 973*2^1184255-1 is not prime. Res64: 529628DBD5A322A5 Time : 0.0 sec. user=PCZ [2012-05-24 00:35:59] 975*2^1184257-1 is not prime. Res64: 8CE0B31C7D13280E Time : 0.0 sec. user=PCZ [2012-05-24 00:41:28] 603*2^1184258-1 is not prime. Res64: ED58C771554E81CB Time : 0.0 sec. user=PCZ [2012-05-24 00:41:37] 605*2^1184258-1 is not prime. Res64: C7C7640CD78634E6 Time : 0.0 sec. user=PCZ [2012-05-24 00:41:44] 633*2^1184258-1 is not prime. Res64: 49A10C4FA31ED821 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:43:13] 741*2^1184257-1 is not prime. Res64: DFC5A0C5E51EA137 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:43:14] 871*2^1184257-1 is not prime. Res64: D62AD12EAB19ACED Time : 0.0 sec. user=mdettweiler [2012-05-24 00:44:49] 895*2^1184257-1 is not prime. Res64: 8ADD255A71694A5E Time : 0.0 sec. user=mdettweiler [2012-05-24 00:44:49] 945*2^1184257-1 is not prime. Res64: F65DDCE520A5D486 Time : 0.0 sec. user=PCZ [2012-05-24 00:45:51] 971*2^1184258-1 is not prime. Res64: 706F2B1D216DD0E9 Time : 0.0 sec. user=PCZ [2012-05-24 00:51:21] 977*2^1184258-1 is not prime. Res64: AB55EADF258396F4 Time : 0.0 sec. user=PCZ [2012-05-24 00:51:38] 609*2^1184259-1 is not prime. Res64: 9A5FA6AEB48A9A25 Time : 0.0 sec. user=PCZ [2012-05-24 00:51:44] 709*2^1184259-1 is not prime. Res64: 3D3477973ECE9ADE Time : 0.0 sec. user=mdettweiler [2012-05-24 00:52:34] 861*2^1184247-1 is not prime. Res64: A4C833F7046BBF26 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:52:34] 615*2^1184248-1 is not prime. Res64: 00FE0AE0EEABD240 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:53:40] 645*2^1184258-1 is not prime. Res64: 8EBCB4409F7FA5E1 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:53:41] 813*2^1184258-1 is not prime. Res64: B42B2F4E3CFE19E7 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:54:49] 815*2^1184258-1 is not prime. Res64: 5E7C815B65D39BE8 Time : 0.0 sec. user=mdettweiler [2012-05-24 00:54:49] 831*2^1184258-1 is not prime. Res64: 7978B7D27155A7E2 Time : 0.0 sec. user=PCZ [2012-05-24 00:55:46] 675*2^1184260-1 is not prime. Res64: 0C2DD5EE638DA98F Time : 0.0 sec. user=PCZ [2012-05-24 01:01:15] 693*2^1184260-1 is not prime. Res64: 16B8EF84B6E88FCD Time : 0.0 sec. user=PCZ [2012-05-24 01:01:33] 765*2^1184260-1 is not prime. Res64: AD1289898C0715D2 Time : 0.0 sec. user=PCZ [2012-05-24 01:01:38] 819*2^1184260-1 is not prime. Res64: 58FF37BEFB534E06 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:04:07] 741*2^1184259-1 is not prime. Res64: 002DC333C949304A Time : 0.0 sec. user=mdettweiler [2012-05-24 01:04:08] 769*2^1184259-1 is not prime. Res64: 6928A8DAAF839CCB Time : 0.0 sec. user=PCZ [2012-05-24 01:05:40] 657*2^1184261-1 is not prime. Res64: 8344095B68A18749 Time : 0.0 sec. user=vaughan [2012-05-24 01:05:47] 985*2^1184257-1 is not prime. Res64: 229AE8D16A6BAF99 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:05:50] 801*2^1184259-1 is not prime. Res64: D4433883598FC5BC Time : 0.0 sec. user=mdettweiler [2012-05-24 01:05:50] 885*2^1184259-1 is not prime. Res64: E83812B0CFFFF356 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:05:51] 987*2^1184249-1 is not prime. Res64: 7E821FDA7409E34C Time : 0.0 sec. user=mdettweiler [2012-05-24 01:05:51] 991*2^1184249-1 is not prime. Res64: CA3AE4B601B7BD6B Time : 0.0 sec. user=PCZ [2012-05-24 01:11:09] 727*2^1184261-1 is not prime. Res64: 6FC73D435EBA04AA Time : 0.0 sec. user=PCZ [2012-05-24 01:11:29] 781*2^1184261-1 is not prime. Res64: 19B1078CBED4CE2D Time : 0.0 sec. user=PCZ [2012-05-24 01:11:36] 867*2^1184261-1 is not prime. Res64: 0E04BE477A961BFB Time : 0.0 sec. user=mdettweiler [2012-05-24 01:14:42] 959*2^1184260-1 is not prime. Res64: F44C4CAAB6E89607 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:14:43] 965*2^1184260-1 is not prime. Res64: 8EA9F5A799439E47 Time : 0.0 sec. user=PCZ [2012-05-24 01:15:34] 987*2^1184261-1 is not prime. Res64: 70AB1E433B82758F Time : 0.0 sec. user=mdettweiler [2012-05-24 01:15:45] 607*2^1184261-1 is not prime. Res64: 08A113C65C6236D2 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:15:46] 645*2^1184261-1 is not prime. Res64: 39EE1C376DB3AA82 Time : 0.0 sec. user=PCZ [2012-05-24 01:21:05] 975*2^1184262-1 is not prime. Res64: ADAA7A525E016B73 Time : 0.0 sec. user=PCZ [2012-05-24 01:21:25] 639*2^1184263-1 is not prime. Res64: 29B3FB5E4B1030D6 Time : 0.0 sec. user=PCZ [2012-05-24 01:21:30] 723*2^1184263-1 is not prime. Res64: 10284ECDC0E5EFFA Time : 0.0 sec. user=mdettweiler [2012-05-24 01:25:04] 979*2^1184261-1 is not prime. Res64: 9DFBC72B8A05B8DA Time : 0.0 sec. user=mdettweiler [2012-05-24 01:25:04] 981*2^1184261-1 is not prime. Res64: AFD4D14BF31E3213 Time : 0.0 sec. user=PCZ [2012-05-24 01:25:29] 665*2^1184264-1 is not prime. Res64: 5331F66302C72749 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:26:50] 873*2^1184262-1 is not prime. Res64: 68199D41CD713B0F Time : 0.0 sec. user=mdettweiler [2012-05-24 01:26:51] 893*2^1184262-1 is not prime. Res64: 8966CD7149963464 Time : 0.0 sec. user=PCZ [2012-05-24 01:31:00] 773*2^1184264-1 is not prime. Res64: D8838B9210CC4099 Time : 0.0 sec. user=PCZ [2012-05-24 01:31:18] 813*2^1184264-1 is not prime. Res64: F92694DF1FEE2D0A Time : 0.0 sec. user=PCZ [2012-05-24 01:31:23] 679*2^1184265-1 is not prime. Res64: 8281ADF19DC55113 Time : 0.0 sec. user=PCZ [2012-05-24 01:35:25] 747*2^1184266-1 is not prime. Res64: F548C06C3FFA6BB5 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:35:39] 735*2^1184263-1 is not prime. Res64: 4191E85C73F6A7C2 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:35:40] 855*2^1184263-1 is not prime. Res64: 3982EA4D23A0437A Time : 0.0 sec. user=mdettweiler [2012-05-24 01:36:40] 747*2^1184264-1 is not prime. Res64: 91FC701C2A1D26D2 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:36:40] 753*2^1184264-1 is not prime. Res64: F3B8C2BAC2F6F04F Time : 0.0 sec. user=PCZ [2012-05-24 01:40:51] 651*2^1184267-1 is not prime. Res64: 43C167E13911F847 Time : 0.0 sec. user=PCZ [2012-05-24 01:41:09] 685*2^1184267-1 is not prime. Res64: 40AF8D9E4C8FA215 Time : 0.0 sec. user=PCZ [2012-05-24 01:41:15] 979*2^1184267-1 is not prime. Res64: CB1F53C839934B76 Time : 0.0 sec. user=vaughan [2012-05-24 01:41:53] 635*2^1184262-1 is not prime. Res64: E9C7C09F0969DDEC Time : 0.0 sec. user=PCZ [2012-05-24 01:45:17] 635*2^1184268-1 is not prime. Res64: 7D38987B6327E76A Time : 0.0 sec. user=mdettweiler [2012-05-24 01:45:58] 781*2^1184265-1 is not prime. Res64: 7031EBE81F61FE64 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:45:59] 787*2^1184265-1 is not prime. Res64: AFC87FF98503DC76 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:47:43] 755*2^1184266-1 is not prime. Res64: 8F3C2F1AD17585E1 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:47:44] 887*2^1184266-1 is not prime. Res64: 2C34F1BA0EFB6841 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:48:06] 653*2^1184256-1 is not prime. Res64: C76D734F137460DB Time : 0.0 sec. user=mdettweiler [2012-05-24 01:48:07] 657*2^1184256-1 is not prime. Res64: 042EC3DF6D754E20 Time : 0.0 sec. user=PCZ [2012-05-24 01:50:41] 929*2^1184268-1 is not prime. Res64: C4D9244182D8ED36 Time : 0.0 sec. user=PCZ [2012-05-24 01:51:02] 999*2^1184268-1 is not prime. Res64: 33B9AEBD288872F1 Time : 0.0 sec. user=PCZ [2012-05-24 01:51:09] 619*2^1184269-1 is not prime. Res64: 15771E6EEDD124D3 Time : 0.0 sec. user=PCZ [2012-05-24 01:55:09] 861*2^1184269-1 is not prime. Res64: ED73096402637189 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:56:11] 619*2^1184257-1 is not prime. Res64: CB0143E9B1F4095F Time : 0.0 sec. user=mdettweiler [2012-05-24 01:56:12] 639*2^1184257-1 is not prime. Res64: C3661A96B74BDF15 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:56:33] 647*2^1184268-1 is not prime. Res64: 5BF999290BD800F0 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:56:33] 707*2^1184268-1 is not prime. Res64: 634D7BDFCCDAA8AC Time : 0.0 sec. user=mdettweiler [2012-05-24 01:57:40] 725*2^1184268-1 is not prime. Res64: DCA98FB6E65E9556 Time : 0.0 sec. user=mdettweiler [2012-05-24 01:57:40] 845*2^1184268-1 is not prime. Res64: 3296545845FE22A0 Time : 0.0 sec. user=PCZ [2012-05-24 02:00:33] 665*2^1184272-1 is not prime. Res64: 5FB92EC295AC27C8 Time : 0.0 sec. user=PCZ [2012-05-24 02:00:56] 677*2^1184272-1 is not prime. Res64: 4F034D7CD2E9D479 Time : 0.0 sec. user=PCZ [2012-05-24 02:01:04] 755*2^1184272-1 is not prime. Res64: 89434BE6E149FDDA Time : 0.0 sec. user=PCZ [2012-05-24 02:05:03] 785*2^1184272-1 is not prime. Res64: D2E7C0D5D68A4BF5 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:06:51] 627*2^1184270-1 is not prime. Res64: E366EAE541FFEB52 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:06:54] 711*2^1184270-1 is not prime. Res64: B6E36EC086CDCDD2 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:08:31] 971*2^1184270-1 is not prime. Res64: FE0256ED221B1634 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:08:32] 987*2^1184270-1 is not prime. Res64: EB40F3FEEE675FCE Time : 0.0 sec. user=PCZ [2012-05-24 02:10:23] 879*2^1184273-1 is not prime. Res64: 8B53B2F5EEF1DA7E Time : 0.0 sec. user=PCZ [2012-05-24 02:10:51] 901*2^1184273-1 is not prime. Res64: 98D6C59B2E06B8FE Time : 0.0 sec. user=PCZ [2012-05-24 02:11:00] 987*2^1184273-1 is not prime. Res64: 0A0654EF189BA440 Time : 0.0 sec. user=PCZ [2012-05-24 02:14:54] 641*2^1184274-1 is not prime. Res64: 72714CB6292E220D Time : 0.0 sec. user=mdettweiler [2012-05-24 02:17:25] 699*2^1184273-1 is not prime. Res64: D9F6EE8B50B8B4ED Time : 0.0 sec. user=mdettweiler [2012-05-24 02:17:26] 729*2^1184273-1 is not prime. Res64: 84879F39EE6809EE Time : 0.0 sec. user=vaughan [2012-05-24 02:17:57] 687*2^1184269-1 is not prime. Res64: 7533DF7D2D896944 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:18:31] 771*2^1184273-1 is not prime. Res64: 39F7A9D3EA0B236C Time : 0.0 sec. user=mdettweiler [2012-05-24 02:18:31] 795*2^1184273-1 is not prime. Res64: 8544574311A9549F Time : 0.0 sec. user=PCZ [2012-05-24 02:20:18] 651*2^1184275-1 is not prime. Res64: 4CA91770551BE5BC Time : 0.0 sec. user=PCZ [2012-05-24 02:20:45] 679*2^1184275-1 is not prime. Res64: 6DCB1C9BA354FEC0 Time : 0.0 sec. user=PCZ [2012-05-24 02:20:54] 723*2^1184275-1 is not prime. Res64: 09D3AFDE453B444A Time : 0.0 sec. user=PCZ [2012-05-24 02:24:47] 733*2^1184275-1 is not prime. Res64: 24417CB92F8FDA77 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:28:05] 717*2^1184274-1 is not prime. Res64: A20F7A25B541288B Time : 0.0 sec. user=mdettweiler [2012-05-24 02:28:06] 767*2^1184274-1 is not prime. Res64: BFFFB2BA7C0409A4 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:29:48] 881*2^1184274-1 is not prime. Res64: 9A8052E06F4E322F Time : 0.0 sec. user=mdettweiler [2012-05-24 02:29:49] 905*2^1184274-1 is not prime. Res64: EA27AB02D9EF9E41 Time : 0.0 sec. user=PCZ [2012-05-24 02:30:09] 969*2^1184275-1 is not prime. Res64: 1DF217CB3C328123 Time : 0.0 sec. user=PCZ [2012-05-24 02:30:40] 623*2^1184276-1 is not prime. Res64: C69C20D76865E895 Time : 0.0 sec. user=PCZ [2012-05-24 02:30:47] 669*2^1184276-1 is not prime. Res64: 7D1CB66C03519058 Time : 0.0 sec. user=PCZ [2012-05-24 02:34:42] 625*2^1184277-1 is not prime. Res64: 6021DC14FE84735E Time : 0.0 sec. user=mdettweiler [2012-05-24 02:38:31] 741*2^1184275-1 is not prime. Res64: F6231C092EA540C0 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:38:32] 765*2^1184275-1 is not prime. Res64: 69F08EF1AACF98BB Time : 0.0 sec. user=mdettweiler [2012-05-24 02:39:41] 793*2^1184275-1 is not prime. Res64: 751658B34D410E50 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:39:41] 853*2^1184275-1 is not prime. Res64: B860C505A53F6C09 Time : 0.0 sec. user=PCZ [2012-05-24 02:40:01] 927*2^1184277-1 is not prime. Res64: BEE3C336BF92A504 Time : 0.0 sec. user=PCZ [2012-05-24 02:40:33] 979*2^1184277-1 is not prime. Res64: B426568E86C63008 Time : 0.0 sec. user=PCZ [2012-05-24 02:40:37] 635*2^1184278-1 is not prime. Res64: 0AE703FE4E060439 Time : 0.0 sec. user=PCZ [2012-05-24 02:44:36] 831*2^1184278-1 is not prime. Res64: 88F6C44413B77137 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:48:55] 735*2^1184277-1 is not prime. Res64: C92B66EF92913B63 Time : 0.0 sec. user=mdettweiler [2012-05-24 02:48:56] 751*2^1184277-1 is not prime. Res64: 03B992AEC49AC769 Time : 0.0 sec. user=PCZ [2012-05-24 02:49:52] 729*2^1184279-1 is not prime. Res64: 2ED21EB61A0FE483 Time : 0.0 sec. user=PCZ [2012-05-24 02:50:27] 825*2^1184279-1 is not prime. Res64: E3DBFF92275F8244 Time : 0.0 sec. user=PCZ [2012-05-24 02:50:31] 939*2^1184279-1 is not prime. Res64: B217731C0CFE300E Time : 0.0 sec. user=mdettweiler [2012-05-24 02:50:41] 781*2^1184277-1 is not prime. Res64: 8342E149A616EF5B Time : 0.0 sec. user=mdettweiler [2012-05-24 02:50:41] 915*2^1184277-1 is not prime. Res64: A2BCCD48552772E3 Time : 0.0 sec. user=vaughan [2012-05-24 02:54:01] 771*2^1184275-1 is not prime. Res64: 2E30D0B4FA31D8FC Time : 0.0 sec. user=PCZ [2012-05-24 02:54:27] 943*2^1184279-1 is not prime. Res64: FB0B1D69268C395A Time : 0.0 sec. user=mdettweiler [2012-05-24 02:59:28] 833*2^1184278-1 is not prime. Res64: C8DC3B3F4C576A3C Time : 0.0 sec. user=mdettweiler [2012-05-24 02:59:28] 933*2^1184278-1 is not prime. Res64: 12550E7873FA97A0 Time : 0.0 sec. user=PCZ [2012-05-24 02:59:41] 765*2^1184280-1 is not prime. Res64: 2ACBA07171C3CC23 Time : 0.0 sec. user=PCZ [2012-05-24 03:00:17] 867*2^1184280-1 is not prime. Res64: 9A636AD265A1D669 Time : 0.0 sec. user=PCZ [2012-05-24 03:00:20] 873*2^1184280-1 is not prime. Res64: 04E10B8A3A61A222 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:00:39] 601*2^1184279-1 is not prime. Res64: F29D8E539210D3E4 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:00:40] 621*2^1184279-1 is not prime. Res64: 498772F15098734E Time : 0.0 sec. user=PCZ [2012-05-24 03:04:16] 683*2^1184282-1 is not prime. Res64: E5254F5A3F0C8086 Time : 0.0 sec. user=PCZ [2012-05-24 03:09:31] 753*2^1184282-1 is not prime. Res64: 1B3EDE69B6BBA2C8 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:09:44] 693*2^1184280-1 is not prime. Res64: 314CFB58807307E1 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:09:46] 735*2^1184280-1 is not prime. Res64: 5D3CE9CB48D7F7CE Time : 0.0 sec. user=PCZ [2012-05-24 03:10:09] 771*2^1184282-1 is not prime. Res64: 57E6F3DD60F24353 Time : 0.0 sec. user=PCZ [2012-05-24 03:10:10] 813*2^1184282-1 is not prime. Res64: BC335D365EF9A4A2 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:11:31] 875*2^1184280-1 is not prime. Res64: E249EE55A59895B5 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:11:31] 937*2^1184281-1 is not prime. Res64: EF828741F7F7548A Time : 0.0 sec. user=PCZ [2012-05-24 03:14:10] 977*2^1184282-1 is not prime. Res64: 1FF52B77D43D6526 Time : 0.0 sec. user=PCZ [2012-05-24 03:19:27] 643*2^1184283-1 is not prime. Res64: A8B1B7AF23EDAACA Time : 0.0 sec. user=PCZ [2012-05-24 03:19:59] 795*2^1184283-1 is not prime. Res64: F3FDA901AF1623DD Time : 0.0 sec. user=PCZ [2012-05-24 03:20:07] 801*2^1184283-1 is not prime. Res64: 0881EF839B48ECE8 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:20:16] 705*2^1184282-1 is not prime. Res64: 2147D436F7276597 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:20:16] 711*2^1184282-1 is not prime. Res64: 64D4C63F4625270F Time : 0.0 sec. user=mdettweiler [2012-05-24 03:21:33] 837*2^1184282-1 is not prime. Res64: 55532B40A05A3A65 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:21:33] 867*2^1184282-1 is not prime. Res64: 8320B6FAF38EC384 Time : 0.0 sec. user=PCZ [2012-05-24 03:23:59] 879*2^1184283-1 is not prime. Res64: 63DE1A446A11EB30 Time : 0.0 sec. user=PCZ [2012-05-24 03:29:21] 913*2^1184283-1 is not prime. Res64: A945E5025DA333F1 Time : 0.0 sec. user=PCZ [2012-05-24 03:29:46] 609*2^1184284-1 is not prime. Res64: F80855E13B377CE2 Time : 0.0 sec. user=PCZ [2012-05-24 03:29:57] 615*2^1184284-1 is not prime. Res64: 69305280917897F3 Time : 0.0 sec. user=vaughan [2012-05-24 03:30:05] 665*2^1184282-1 is not prime. Res64: CD717CB26EDF61FF Time : 0.0 sec. user=mdettweiler [2012-05-24 03:30:46] 703*2^1184283-1 is not prime. Res64: 1A3E29C012B0BADC Time : 0.0 sec. user=mdettweiler [2012-05-24 03:30:47] 753*2^1184283-1 is not prime. Res64: E86363459B961350 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:32:20] 825*2^1184283-1 is not prime. Res64: F81DF9E6FC2909B5 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:32:21] 853*2^1184283-1 is not prime. Res64: C9B287E215BC6192 Time : 0.0 sec. user=PCZ [2012-05-24 03:33:51] 783*2^1184284-1 is not prime. Res64: C43BBB14C1B18226 Time : 0.0 sec. user=PCZ [2012-05-24 03:39:11] 869*2^1184284-1 is not prime. Res64: EA003A9F472FCD00 Time : 0.0 sec. user=PCZ [2012-05-24 03:39:37] 927*2^1184284-1 is not prime. Res64: 84736637A60C8838 Time : 0.0 sec. user=PCZ [2012-05-24 03:39:46] 987*2^1184284-1 is not prime. Res64: 13979D9312225BC0 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:41:04] 657*2^1184284-1 is not prime. Res64: 17D062D9A68DB1C8 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:41:05] 677*2^1184284-1 is not prime. Res64: FCD1A17DEDDDC598 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:42:25] 755*2^1184284-1 is not prime. Res64: 3ADD5F38CE3E5583 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:42:26] 759*2^1184284-1 is not prime. Res64: DD334CB9DD66BA7F Time : 0.0 sec. user=PCZ [2012-05-24 03:43:45] 741*2^1184286-1 is not prime. Res64: 5C63F3D5CEEAD2F8 Time : 0.0 sec. user=PCZ [2012-05-24 03:49:06] 783*2^1184286-1 is not prime. Res64: 6301BFCA9825EAE5 Time : 0.0 sec. user=PCZ [2012-05-24 03:49:26] 825*2^1184286-1 is not prime. Res64: 3894F68450677A72 Time : 0.0 sec. user=PCZ [2012-05-24 03:49:34] 609*2^1184287-1 is not prime. Res64: BA45A4351B1125CA Time : 0.0 sec. user=mdettweiler [2012-05-24 03:51:35] 861*2^1184285-1 is not prime. Res64: 16956DEFE0922246 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:51:35] 871*2^1184285-1 is not prime. Res64: D9008DF8DB51A009 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:53:09] 925*2^1184285-1 is not prime. Res64: 7DB9F60058605509 Time : 0.0 sec. user=mdettweiler [2012-05-24 03:53:09] 955*2^1184285-1 is not prime. Res64: EFC561AD5FA85398 Time : 0.0 sec. user=PCZ [2012-05-24 03:53:35] 945*2^1184287-1 is not prime. Res64: 6185F256859BE227 Time : 0.0 sec. user=PCZ [2012-05-24 03:58:55] 615*2^1184288-1 is not prime. Res64: 41AA647F390A96A7 Time : 0.0 sec. user=PCZ [2012-05-24 03:59:18] 713*2^1184288-1 is not prime. Res64: E968B33EBF7A0BEE Time : 0.0 sec. user=PCZ [2012-05-24 03:59:27] 725*2^1184288-1 is not prime. Res64: D5AAA088CFF1844E Time : 0.0 sec. user=mdettweiler [2012-05-24 04:01:54] 673*2^1184287-1 is not prime. Res64: 1901F0FC91AE15B7 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:01:55] 681*2^1184287-1 is not prime. Res64: AA01421474FE5045 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:03:20] 831*2^1184287-1 is not prime. Res64: B1B606C656A50C7B Time : 0.0 sec. user=mdettweiler [2012-05-24 04:03:21] 933*2^1184287-1 is not prime. Res64: 9913728BFA3AF6B8 Time : 0.0 sec. user=PCZ [2012-05-24 04:03:25] 681*2^1184289-1 is not prime. Res64: 4FADBA19EC6C8961 Time : 0.0 sec. user=vaughan [2012-05-24 04:06:16] 759*2^1184285-1 is not prime. Res64: 441F0BB2787D959E Time : 0.0 sec. user=PCZ [2012-05-24 04:08:44] 691*2^1184289-1 is not prime. Res64: 5D0D0D8B828693D8 Time : 0.0 sec. user=PCZ [2012-05-24 04:09:12] 741*2^1184289-1 is not prime. Res64: BD5B6083290E1A2B Time : 0.0 sec. user=PCZ [2012-05-24 04:09:20] 745*2^1184289-1 is not prime. Res64: 48D98005E2CB874B Time : 0.0 sec. user=mdettweiler [2012-05-24 04:12:25] 815*2^1184288-1 is not prime. Res64: 85214AE479B127B1 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:12:25] 923*2^1184288-1 is not prime. Res64: 6FBC34ED305FD965 Time : 0.0 sec. user=PCZ [2012-05-24 04:13:16] 997*2^1184289-1 is not prime. Res64: BFCBD25F3BFB0ED5 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:13:55] 625*2^1184289-1 is not prime. Res64: D76A374CB3CFA8CA Time : 0.0 sec. user=mdettweiler [2012-05-24 04:13:59] 679*2^1184289-1 is not prime. Res64: 5836521D38F83592 Time : 0.0 sec. user=PCZ [2012-05-24 04:18:35] 687*2^1184290-1 is not prime. Res64: DAE00AD9127E8A74 Time : 0.0 sec. user=PCZ [2012-05-24 04:19:05] 791*2^1184290-1 is not prime. Res64: 4C26C0AB62395A9C Time : 0.0 sec. user=PCZ [2012-05-24 04:19:12] 873*2^1184290-1 is not prime. Res64: 5D861D3AF1783056 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:22:41] 781*2^1184289-1 is not prime. Res64: 015B08F85005E54B Time : 0.0 sec. user=mdettweiler [2012-05-24 04:22:41] 835*2^1184289-1 is not prime. Res64: 981569D5807ECB86 Time : 0.0 sec. user=PCZ [2012-05-24 04:23:05] 609*2^1184291-1 is not prime. Res64: E80C1513B414590A Time : 0.0 sec. user=mdettweiler [2012-05-24 04:24:08] 889*2^1184289-1 is not prime. Res64: ED7B52E59C2E82E8 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:24:08] 985*2^1184289-1 is not prime. Res64: 55E15C1E4B765307 Time : 0.0 sec. user=PCZ [2012-05-24 04:28:30] 843*2^1184291-1 is not prime. Res64: 9B3BBC5633E50EE2 Time : 0.0 sec. user=PCZ [2012-05-24 04:28:53] 913*2^1184291-1 is not prime. Res64: 1035C722A70099B4 Time : 0.0 sec. user=PCZ [2012-05-24 04:29:00] 635*2^1184292-1 is not prime. Res64: AEFD3C7584E68119 Time : 0.0 sec. user=PCZ [2012-05-24 04:32:54] 609*2^1184293-1 is not prime. Res64: B40E38DCD63F3C7D Time : 0.0 sec. user=mdettweiler [2012-05-24 04:33:10] 945*2^1184290-1 is not prime. Res64: 263DCA37970DA6EE Time : 0.0 sec. user=mdettweiler [2012-05-24 04:33:11] 975*2^1184290-1 is not prime. Res64: E5D4B31EF3DAA4D3 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:34:45] 663*2^1184291-1 is not prime. Res64: C68FA179E4A1EEDB Time : 0.0 sec. user=mdettweiler [2012-05-24 04:34:46] 693*2^1184291-1 is not prime. Res64: 334AD6936E8755D1 Time : 0.0 sec. user=PCZ [2012-05-24 04:38:19] 769*2^1184293-1 is not prime. Res64: 199B459549388698 Time : 0.0 sec. user=PCZ [2012-05-24 04:38:42] 811*2^1184293-1 is not prime. Res64: D7B6F6CB9F171106 Time : 0.0 sec. user=PCZ [2012-05-24 04:38:47] 855*2^1184293-1 is not prime. Res64: E438614D845BC279 Time : 0.0 sec. user=vaughan [2012-05-24 04:42:24] 635*2^1184290-1 is not prime. Res64: D68C485050DE139D Time : 0.0 sec. user=PCZ [2012-05-24 04:42:42] 889*2^1184293-1 is not prime. Res64: 446F44D5B2B64BE7 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:43:27] 695*2^1184292-1 is not prime. Res64: 95FE698F1050595E Time : 0.0 sec. user=mdettweiler [2012-05-24 04:43:28] 903*2^1184292-1 is not prime. Res64: 99B0FCDB7CB02D65 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:44:54] 741*2^1184293-1 is not prime. Res64: 5412C8E4D2A9AAEE Time : 0.0 sec. user=mdettweiler [2012-05-24 04:44:55] 747*2^1184293-1 is not prime. Res64: FD476E54B310208C Time : 0.0 sec. user=PCZ [2012-05-24 04:48:37] 663*2^1184294-1 is not prime. Res64: FF0F6A70479BD4A8 Time : 0.0 sec. user=PCZ [2012-05-24 04:48:39] 677*2^1184294-1 is not prime. Res64: AB796961D1A94D93 Time : 0.0 sec. user=PCZ [2012-05-24 04:48:40] 683*2^1184294-1 is not prime. Res64: 01CF6D20F36882D8 Time : 0.0 sec. user=PCZ [2012-05-24 04:52:29] 747*2^1184294-1 is not prime. Res64: AAF7967BEE445CE3 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:54:01] 895*2^1184293-1 is not prime. Res64: 5D341476F8044411 Time : 0.0 sec. user=mdettweiler [2012-05-24 04:54:02] 615*2^1184294-1 is not prime. Res64: DCC45DB83BFCCDBD Time : 0.0 sec. user=mdettweiler [2012-05-24 04:55:36] 623*2^1184294-1 is not prime. Res64: 458D476894E64BCE Time : 0.0 sec. user=mdettweiler [2012-05-24 04:55:37] 645*2^1184294-1 is not prime. Res64: 34F845C20EDF9550 Time : 0.0 sec. user=PCZ [2012-05-24 04:58:26] 819*2^1184295-1 is not prime. Res64: 102B023CB12C8D62 Time : 0.0 sec. user=PCZ [2012-05-24 04:58:29] 831*2^1184295-1 is not prime. Res64: 89E13E59F6A1AB4E Time : 0.0 sec. user=PCZ [2012-05-24 04:58:29] 861*2^1184295-1 is not prime. Res64: F45D9AE7F061F07C Time : 0.0 sec. user=PCZ [2012-05-24 05:02:17] 921*2^1184295-1 is not prime. Res64: AB62955B002C00C2 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:04:14] 923*2^1184294-1 is not prime. Res64: 6637712D10F809BE Time : 0.0 sec. user=mdettweiler [2012-05-24 05:04:16] 945*2^1184294-1 is not prime. Res64: 30790489711BDA94 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:05:42] 613*2^1184295-1 is not prime. Res64: 2FD1D77C6EDB7D77 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:05:43] 691*2^1184295-1 is not prime. Res64: 99A96301524E9C93 Time : 0.0 sec. user=PCZ [2012-05-24 05:08:15] 807*2^1184296-1 is not prime. Res64: A193F9545A828A37 Time : 0.0 sec. user=PCZ [2012-05-24 05:08:19] 855*2^1184296-1 is not prime. Res64: BD86B5153D5BB71F Time : 0.0 sec. user=PCZ [2012-05-24 05:08:20] 845*2^1184296-1 is not prime. Res64: E5DE3B133D884A26 Time : 0.0 sec. user=PCZ [2012-05-24 05:12:07] 909*2^1184296-1 is not prime. Res64: 4C96446923B19F7E Time : 0.0 sec. user=mdettweiler [2012-05-24 05:14:48] 963*2^1184295-1 is not prime. Res64: 4690AE14BC499E5E Time : 0.0 sec. user=mdettweiler [2012-05-24 05:14:49] 657*2^1184296-1 is not prime. Res64: 9024524DC0F7EDBE Time : 0.0 sec. user=mdettweiler [2012-05-24 05:16:28] 663*2^1184296-1 is not prime. Res64: BC82506233EF5D76 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:16:29] 803*2^1184296-1 is not prime. Res64: 07D47872C295DC32 Time : 0.0 sec. user=PCZ [2012-05-24 05:18:03] 771*2^1184297-1 is not prime. Res64: A0CEB7DAB256F2B5 Time : 0.0 sec. user=PCZ [2012-05-24 05:18:06] 879*2^1184297-1 is not prime. Res64: BABC24F8D676C67B Time : 0.0 sec. user=PCZ [2012-05-24 05:18:08] 885*2^1184297-1 is not prime. Res64: 01C384ACEBE0B3A2 Time : 0.0 sec. user=vaughan [2012-05-24 05:18:33] 707*2^1184294-1 is not prime. Res64: 1E1BFA03A0166DD7 Time : 0.0 sec. user=PCZ [2012-05-24 05:21:57] 931*2^1184297-1 is not prime. Res64: 5F0D288FC642FF18 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:26:06] 615*2^1184297-1 is not prime. Res64: 1BB9F96B3C0BB14A Time : 0.0 sec. user=mdettweiler [2012-05-24 05:26:06] 669*2^1184297-1 is not prime. Res64: 3A1FC29062315C46 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:26:39] 717*2^1184297-1 is not prime. Res64: 8A9433BA94477AAE Time : 0.0 sec. user=mdettweiler [2012-05-24 05:26:40] 735*2^1184297-1 is not prime. Res64: 733154CC47952D9F Time : 0.0 sec. user=PCZ [2012-05-24 05:27:51] 735*2^1184299-1 is not prime. Res64: 5C36BBDD67848212 Time : 0.0 sec. user=PCZ [2012-05-24 05:27:53] 751*2^1184299-1 is not prime. Res64: 9C26572EDAF71435 Time : 0.0 sec. user=PCZ [2012-05-24 05:27:53] 693*2^1184299-1 is not prime. Res64: CEA5E7A8A3CDEE26 Time : 0.0 sec. user=PCZ [2012-05-24 05:31:46] 843*2^1184299-1 is not prime. Res64: BD0B624B539D4CC3 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:35:36] 755*2^1184298-1 is not prime. Res64: 9EEF360204869A7F Time : 0.0 sec. user=mdettweiler [2012-05-24 05:35:36] 797*2^1184298-1 is not prime. Res64: 4BDABFD3BFB35812 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:37:20] 837*2^1184298-1 is not prime. Res64: 49FC66ABE82E3EBC Time : 0.0 sec. user=mdettweiler [2012-05-24 05:37:20] 951*2^1184298-1 is not prime. Res64: 91D55CE883DAF034 Time : 0.0 sec. user=PCZ [2012-05-24 05:37:37] 707*2^1184300-1 is not prime. Res64: 87B1B3A29C6B4A87 Time : 0.0 sec. user=PCZ [2012-05-24 05:37:39] 669*2^1184300-1 is not prime. Res64: 1C5C0364350E46DC Time : 0.0 sec. user=PCZ [2012-05-24 05:37:42] 719*2^1184300-1 is not prime. Res64: 871939C63017C6FE Time : 0.0 sec. user=PCZ [2012-05-24 05:41:36] 999*2^1184300-1 is not prime. Res64: 04D61AAFBC566271 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:46:54] 853*2^1184299-1 is not prime. Res64: 032474B500A0B1FE Time : 0.0 sec. user=mdettweiler [2012-05-24 05:46:55] 885*2^1184299-1 is not prime. Res64: FA72A96A98DF2160 Time : 0.0 sec. user=PCZ [2012-05-24 05:47:25] 735*2^1184301-1 is not prime. Res64: F70E67F828D42F7F Time : 0.0 sec. user=mdettweiler [2012-05-24 05:47:26] 909*2^1184299-1 is not prime. Res64: C23197BCF77628EA Time : 0.0 sec. user=PCZ [2012-05-24 05:47:27] 713*2^1184302-1 is not prime. Res64: 58159C8586655053 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:47:27] 961*2^1184299-1 is not prime. Res64: 7A084C603C745189 Time : 0.0 sec. user=PCZ [2012-05-24 05:47:30] 761*2^1184302-1 is not prime. Res64: 7F85D99C59A21228 Time : 0.0 sec. user=PCZ [2012-05-24 05:51:24] 833*2^1184302-1 is not prime. Res64: 2109A7B748F2638C Time : 0.0 sec. user=vaughan [2012-05-24 05:54:39] 771*2^1184299-1 is not prime. Res64: 86AD453F3470CAA5 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:56:18] 615*2^1184301-1 is not prime. Res64: CBFDF8B5170CD63C Time : 0.0 sec. user=mdettweiler [2012-05-24 05:56:18] 627*2^1184301-1 is not prime. Res64: 60B67BEB8F31EA10 Time : 0.0 sec. user=PCZ [2012-05-24 05:57:14] 805*2^1184303-1 is not prime. Res64: 5053E8D6AD853729 Time : 0.0 sec. user=PCZ [2012-05-24 05:57:15] 969*2^1184303-1 is not prime. Res64: DB8CB68D5DAF7E0C Time : 0.0 sec. user=PCZ [2012-05-24 05:57:16] 753*2^1184304-1 is not prime. Res64: 80B4CDF34FC75BC3 Time : 0.0 sec. user=mdettweiler [2012-05-24 05:58:08] 639*2^1184301-1 is not prime. Res64: D970B4C084C4304D Time : 0.0 sec. user=mdettweiler [2012-05-24 05:58:08] 685*2^1184301-1 is not prime. Res64: 2CC3BE5F604F3931 Time : 0.0 sec. user=PCZ [2012-05-24 06:01:14] 789*2^1184304-1 is not prime. Res64: 9526A7D6E6A94398 Time : 0.0 sec. user=PCZ [2012-05-24 06:06:58] 667*2^1184305-1 is not prime. Res64: 0E1CCF9B13336461 Time : 0.0 sec. user=PCZ [2012-05-24 06:07:04] 687*2^1184305-1 is not prime. Res64: 5E425FAD1E994656 Time : 0.0 sec. user=PCZ [2012-05-24 06:07:05] 765*2^1184305-1 is not prime. Res64: EB5E9F80A1FBF56C Time : 0.0 sec. user=mdettweiler [2012-05-24 06:07:38] 987*2^1184302-1 is not prime. Res64: 9C56973B729FF1F1 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:07:41] 703*2^1184303-1 is not prime. Res64: 6BD6495A613E73C4 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:08:05] 889*2^1184303-1 is not prime. Res64: A5D1CDC83985D6D6 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:08:07] 955*2^1184303-1 is not prime. Res64: A2F23F584675C078 Time : 0.0 sec. user=PCZ [2012-05-24 06:10:59] 951*2^1184305-1 is not prime. Res64: 0505CAA5B8183435 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 06:11:49] 857*2^1184300-1 is not prime. Res64: 345BCA0BB41B3BFC Time : 0.0 sec. user=PCZ [2012-05-24 06:16:44] 623*2^1184306-1 is not prime. Res64: A189755C8A5AFA7A Time : 0.0 sec. user=PCZ [2012-05-24 06:16:52] 645*2^1184306-1 is not prime. Res64: 42C17C30916E2F8D Time : 0.0 sec. user=PCZ [2012-05-24 06:16:53] 633*2^1184306-1 is not prime. Res64: CE5256289429681E Time : 0.0 sec. user=mdettweiler [2012-05-24 06:17:13] 905*2^1184304-1 is not prime. Res64: 882E7AD65F4D2B2A Time : 0.0 sec. user=mdettweiler [2012-05-24 06:17:14] 915*2^1184304-1 is not prime. Res64: CA1C5539CF5633BB Time : 0.0 sec. user=mdettweiler [2012-05-24 06:18:50] 847*2^1184305-1 is not prime. Res64: AF6B51AD1626A09D Time : 0.0 sec. user=mdettweiler [2012-05-24 06:18:51] 919*2^1184305-1 is not prime. Res64: 43876BE3AF6F2ED4 Time : 0.0 sec. user=PCZ [2012-05-24 06:20:47] 875*2^1184306-1 is not prime. Res64: E4BB131A2C156684 Time : 0.0 sec. user=PCZ [2012-05-24 06:26:28] 945*2^1184306-1 is not prime. Res64: BAB25C78B30060F0 Time : 0.0 sec. user=PCZ [2012-05-24 06:26:37] 1001*2^1184306-1 is not prime. Res64: 79330F49CAE31B84 Time : 0.0 sec. user=PCZ [2012-05-24 06:26:38] 615*2^1184307-1 is not prime. Res64: 8D2742E31D078A89 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:28:25] 651*2^1184306-1 is not prime. Res64: 59EA21772D249E1D Time : 0.0 sec. user=mdettweiler [2012-05-24 06:28:26] 711*2^1184306-1 is not prime. Res64: 98B4D645D427E3A9 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:28:51] 735*2^1184306-1 is not prime. Res64: 993F87B2AF877525 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:28:51] 873*2^1184306-1 is not prime. Res64: A5BA6DB08D5F5F36 Time : 0.0 sec. user=PCZ [2012-05-24 06:30:31] 863*2^1184308-1 is not prime. Res64: 656E8C5458BC3D90 Time : 0.0 sec. user=vaughan [2012-05-24 06:30:41] 863*2^1184304-1 is not prime. Res64: A6D9D899C93C7ABF Time : 0.0 sec. user=PCZ [2012-05-24 06:36:12] 947*2^1184308-1 is not prime. Res64: 13C51FAC8A25CA9C Time : 0.0 sec. user=PCZ [2012-05-24 06:36:22] 957*2^1184308-1 is not prime. Res64: E19789C1AE21DFFD Time : 0.0 sec. user=PCZ [2012-05-24 06:36:25] 711*2^1184309-1 is not prime. Res64: 73D399C12AF78F13 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:38:01] 669*2^1184307-1 is not prime. Res64: 1D9F4CC3E64A65CD Time : 0.0 sec. user=mdettweiler [2012-05-24 06:38:02] 793*2^1184307-1 is not prime. Res64: 8F829165A98A4B7B Time : 0.0 sec. user=mdettweiler [2012-05-24 06:39:33] 677*2^1184308-1 is not prime. Res64: 9EDA58178D01A5C9 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:39:34] 797*2^1184308-1 is not prime. Res64: FC17F229C37E930D Time : 0.0 sec. user=PCZ [2012-05-24 06:40:13] 957*2^1184309-1 is not prime. Res64: 01857E7B7C41378D Time : 0.0 sec. user=PCZ [2012-05-24 06:45:55] 657*2^1184310-1 is not prime. Res64: 116B3EF53E15036F Time : 0.0 sec. user=PCZ [2012-05-24 06:46:05] 801*2^1184310-1 is not prime. Res64: 57FB4942840D2E12 Time : 0.0 sec. user=PCZ [2012-05-24 06:46:06] 845*2^1184310-1 is not prime. Res64: CEA265153FC99E6E Time : 0.0 sec. user=mdettweiler [2012-05-24 06:49:05] 787*2^1184309-1 is not prime. Res64: 06CC042260AF440C Time : 0.0 sec. user=mdettweiler [2012-05-24 06:49:05] 831*2^1184309-1 is not prime. Res64: 1E30D354CDEA12C8 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:49:28] 889*2^1184309-1 is not prime. Res64: 94416CA019584506 Time : 0.0 sec. user=mdettweiler [2012-05-24 06:49:28] 931*2^1184309-1 is not prime. Res64: 1FF122AA1AB37A7A Time : 0.0 sec. user=PCZ [2012-05-24 06:49:57] 973*2^1184311-1 is not prime. Res64: 98180568213902B7 Time : 0.0 sec. user=PCZ [2012-05-24 06:55:37] 633*2^1184312-1 is not prime. Res64: 0E93AE2D176EE598 Time : 0.0 sec. user=PCZ [2012-05-24 06:55:47] 677*2^1184312-1 is not prime. Res64: 2BBAAEC3BA2DA52C Time : 0.0 sec. user=PCZ [2012-05-24 06:55:51] 719*2^1184312-1 is not prime. Res64: 2377CFFEC276E28C Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 06:58:34] 935*2^1184306-1 is not prime. Res64: 11225154EA673D3E Time : 0.0 sec. user=mdettweiler [2012-05-24 06:58:37] 945*2^1184310-1 is not prime. Res64: 8ED996F5BD47FD2C Time : 0.0 sec. user=mdettweiler [2012-05-24 06:58:38] 723*2^1184311-1 is not prime. Res64: C496BEB61E1E146C Time : 0.0 sec. user=PCZ [2012-05-24 06:59:42] 637*2^1184313-1 is not prime. Res64: 4EAE540FAF1BF4A7 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:00:11] 793*2^1184311-1 is not prime. Res64: 66ADEE1C2B715808 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:00:11] 843*2^1184311-1 is not prime. Res64: 1D11D2D2F256C3A9 Time : 0.0 sec. user=PCZ [2012-05-24 07:05:25] 669*2^1184313-1 is not prime. Res64: 0BD2E2F01E9514CC Time : 0.0 sec. user=PCZ [2012-05-24 07:05:32] 691*2^1184313-1 is not prime. Res64: 7C62EA9B9DDBCD0B Time : 0.0 sec. user=PCZ [2012-05-24 07:05:34] 741*2^1184313-1 is not prime. Res64: 76E84EDCB89A1E9D Time : 0.0 sec. user=vaughan [2012-05-24 07:06:47] 611*2^1184310-1 is not prime. Res64: D7A61E376661A6C2 Time : 0.0 sec. user=PCZ [2012-05-24 07:09:28] 737*2^1184314-1 is not prime. Res64: 3B6ECC75585EDE7F Time : 0.0 sec. user=mdettweiler [2012-05-24 07:09:48] 725*2^1184312-1 is not prime. Res64: E02E26D498137DAA Time : 0.0 sec. user=mdettweiler [2012-05-24 07:09:50] 759*2^1184312-1 is not prime. Res64: FDA31938DA178601 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:10:08] 867*2^1184312-1 is not prime. Res64: 22A954F2BCB332B5 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:10:09] 875*2^1184312-1 is not prime. Res64: 7CF07A65C4158BF6 Time : 0.0 sec. user=PCZ [2012-05-24 07:15:10] 905*2^1184314-1 is not prime. Res64: 98CF95D5924DBDC8 Time : 0.0 sec. user=PCZ [2012-05-24 07:15:18] 923*2^1184314-1 is not prime. Res64: 7037F5EEB9CBE3D6 Time : 0.0 sec. user=PCZ [2012-05-24 07:15:24] 941*2^1184314-1 is not prime. Res64: 390A6462352C45CF Time : 0.0 sec. user=PCZ [2012-05-24 07:19:20] 859*2^1184315-1 is not prime. Res64: 2B2D3446780210E9 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:19:24] 651*2^1184314-1 is not prime. Res64: CDE630DF73BF53FB Time : 0.0 sec. user=mdettweiler [2012-05-24 07:19:24] 687*2^1184314-1 is not prime. Res64: 725447FBB42DB1E6 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:20:48] 813*2^1184314-1 is not prime. Res64: 09C2A7949E9A7504 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:20:49] 857*2^1184314-1 is not prime. Res64: 0723D9193CEF18CC Time : 0.0 sec. user=PCZ [2012-05-24 07:24:54] 927*2^1184316-1 is not prime. Res64: 7A78F2445175A5B8 Time : 0.0 sec. user=PCZ [2012-05-24 07:25:04] 747*2^1184317-1 is not prime. Res64: 715E2BADEA142BE4 Time : 0.0 sec. user=PCZ [2012-05-24 07:25:11] 759*2^1184317-1 is not prime. Res64: 645488EBE415622A Time : 0.0 sec. user=PCZ [2012-05-24 07:29:06] 825*2^1184317-1 is not prime. Res64: 7CE4AC26AD891978 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:30:30] 627*2^1184316-1 is not prime. Res64: 6985EDB2C8D9DF93 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:30:31] 705*2^1184316-1 is not prime. Res64: 70AC8BB0EECE9623 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:30:51] 737*2^1184316-1 is not prime. Res64: C558E9A3102AD156 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:30:51] 759*2^1184316-1 is not prime. Res64: 02388CE6626912C3 Time : 0.0 sec. user=PCZ [2012-05-24 07:34:41] 711*2^1184318-1 is not prime. Res64: B7752F6BEF3B689B Time : 0.0 sec. user=PCZ [2012-05-24 07:34:49] 845*2^1184318-1 is not prime. Res64: 46778E5F3C0C5554 Time : 0.0 sec. user=PCZ [2012-05-24 07:34:55] 861*2^1184318-1 is not prime. Res64: 2B235940B396059D Time : 0.0 sec. user=PCZ [2012-05-24 07:38:52] 897*2^1184318-1 is not prime. Res64: 214BD8074991A74B Time : 0.0 sec. user=mdettweiler [2012-05-24 07:40:07] 859*2^1184317-1 is not prime. Res64: 91FB866708D7009F Time : 0.0 sec. user=mdettweiler [2012-05-24 07:40:08] 861*2^1184317-1 is not prime. Res64: EBDABED457634AE3 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 07:41:08] 921*2^1184313-1 is not prime. Res64: 90D5B0F395044802 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:41:31] 627*2^1184318-1 is not prime. Res64: 9FC6B7DA45646612 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:41:32] 665*2^1184318-1 is not prime. Res64: 50451B46355154C0 Time : 0.0 sec. user=vaughan [2012-05-24 07:42:51] 651*2^1184315-1 is not prime. Res64: 7B044C9D34FE58BE Time : 0.0 sec. user=PCZ [2012-05-24 07:44:27] 843*2^1184319-1 is not prime. Res64: 126D843115400118 Time : 0.0 sec. user=PCZ [2012-05-24 07:44:37] 895*2^1184319-1 is not prime. Res64: DB0B3A71F1D39467 Time : 0.0 sec. user=PCZ [2012-05-24 07:44:40] 909*2^1184319-1 is not prime. Res64: A476970ED12C6DF9 Time : 0.0 sec. user=PCZ [2012-05-24 07:48:42] 609*2^1184320-1 is not prime. Res64: 9F4DC65D4404E244 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:51:12] 609*2^1184319-1 is not prime. Res64: DB1C59FFCC3897DC Time : 0.0 sec. user=mdettweiler [2012-05-24 07:51:12] 661*2^1184319-1 is not prime. Res64: F361E0AD90948900 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:51:35] 675*2^1184319-1 is not prime. Res64: 7F40B0998422C205 Time : 0.0 sec. user=mdettweiler [2012-05-24 07:51:35] 769*2^1184319-1 is not prime. Res64: 96A32C13AB3DDE2F Time : 0.0 sec. user=PCZ [2012-05-24 07:54:12] 855*2^1184321-1 is not prime. Res64: FBB726C348C07AF1 Time : 0.0 sec. user=PCZ [2012-05-24 07:54:24] 955*2^1184321-1 is not prime. Res64: 63672AE69F58AC79 Time : 0.0 sec. user=PCZ [2012-05-24 07:54:28] 987*2^1184321-1 is not prime. Res64: C2902B56D24083E5 Time : 0.0 sec. user=PCZ [2012-05-24 07:58:29] 695*2^1184322-1 is not prime. Res64: FAA5890086146901 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:00:48] 615*2^1184320-1 is not prime. Res64: 2C7CEAF3C12E920F Time : 0.0 sec. user=mdettweiler [2012-05-24 08:00:49] 675*2^1184320-1 is not prime. Res64: 043960F4E9B94C33 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:02:14] 819*2^1184320-1 is not prime. Res64: 8B6F3C1DECAF3B1C Time : 0.0 sec. user=mdettweiler [2012-05-24 08:02:14] 927*2^1184320-1 is not prime. Res64: DEC24D3BF1F77C66 Time : 0.0 sec. user=PCZ [2012-05-24 08:04:05] 693*2^1184323-1 is not prime. Res64: 46434A4FA7F242E7 Time : 0.0 sec. user=PCZ [2012-05-24 08:04:15] 901*2^1184323-1 is not prime. Res64: 8B7D4DD1AED7C004 Time : 0.0 sec. user=PCZ [2012-05-24 08:04:17] 789*2^1184323-1 is not prime. Res64: 011DB747C39DBCCE Time : 0.0 sec. user=PCZ [2012-05-24 08:08:17] 993*2^1184323-1 is not prime. Res64: CFEBA28E81CD4A74 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:11:56] 737*2^1184322-1 is not prime. Res64: 672871918157376C Time : 0.0 sec. user=mdettweiler [2012-05-24 08:11:58] 977*2^1184322-1 is not prime. Res64: 2B1B873BE4D25737 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:12:23] 649*2^1184323-1 is not prime. Res64: CEC4B06A09FADA41 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:12:24] 673*2^1184323-1 is not prime. Res64: A24564EACACF21DF Time : 0.0 sec. user=PCZ [2012-05-24 08:13:56] 935*2^1184324-1 is not prime. Res64: 83A3E964363420E5 Time : 0.0 sec. user=PCZ [2012-05-24 08:14:05] 995*2^1184324-1 is not prime. Res64: 15BA8853B4F89FC3 Time : 0.0 sec. user=PCZ [2012-05-24 08:14:09] 607*2^1184325-1 is not prime. Res64: 3F2CD39A9393780F Time : 0.0 sec. user=PCZ [2012-05-24 08:18:08] 675*2^1184325-1 is not prime. Res64: 10170AA0238B4E45 Time : 0.0 sec. user=vaughan [2012-05-24 08:18:56] 983*2^1184320-1 is not prime. Res64: C567A5C22D01ECA0 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:21:37] 753*2^1184324-1 is not prime. Res64: CB8E9195F73157A0 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:21:38] 767*2^1184324-1 is not prime. Res64: 3B731F53EB2A0742 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:23:07] 873*2^1184324-1 is not prime. Res64: 7A34214445494135 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:23:07] 915*2^1184324-1 is not prime. Res64: D737CFE024BFBD3B Time : 0.0 sec. user=PCZ [2012-05-24 08:23:50] 919*2^1184325-1 is not prime. Res64: 7AFA1B538C2B223D Time : 0.0 sec. user=PCZ [2012-05-24 08:23:56] 927*2^1184325-1 is not prime. Res64: 3F7E18EB15CE9B2C Time : 0.0 sec. user=PCZ [2012-05-24 08:24:00] 937*2^1184325-1 is not prime. Res64: A50C549DCC386858 Time : 0.0 sec. user=PCZ [2012-05-24 08:27:55] 979*2^1184325-1 is not prime. Res64: 86C1354FF9349F15 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:32:49] 699*2^1184325-1 is not prime. Res64: 3896FB77C5ECF8D8 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:32:49] 721*2^1184325-1 is not prime. Res64: D0AD663B3FA8FA5E Time : 0.0 sec. user=mdettweiler [2012-05-24 08:33:10] 777*2^1184325-1 is not prime. Res64: 480D53D7FD953083 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:33:11] 877*2^1184325-1 is not prime. Res64: BE143CC72EC1B352 Time : 0.0 sec. user=PCZ [2012-05-24 08:33:37] 765*2^1184326-1 is not prime. Res64: DDDEBC9BA2C88EC9 Time : 0.0 sec. user=PCZ [2012-05-24 08:33:44] 777*2^1184326-1 is not prime. Res64: EF5AB17F2D7F43B9 Time : 0.0 sec. user=PCZ [2012-05-24 08:33:47] 801*2^1184326-1 is not prime. Res64: 27EFD3EBECDF203F Time : 0.0 sec. user=PCZ [2012-05-24 08:37:42] 843*2^1184326-1 is not prime. Res64: 8AB4829F188AD867 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:42:25] 623*2^1184326-1 is not prime. Res64: 0688F6BE7CDB613C Time : 0.0 sec. user=mdettweiler [2012-05-24 08:42:25] 653*2^1184326-1 is not prime. Res64: 9F15CD3251E206E8 Time : 0.0 sec. user=PCZ [2012-05-24 08:43:33] 901*2^1184327-1 is not prime. Res64: 644AEE7422436423 Time : 0.0 sec. user=PCZ [2012-05-24 08:43:35] 829*2^1184327-1 is not prime. Res64: 992FE30AB8006582 Time : 0.0 sec. user=PCZ [2012-05-24 08:43:46] 979*2^1184327-1 is not prime. Res64: 57C25806EB37D730 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:43:51] 705*2^1184326-1 is not prime. Res64: 79DE864628F14B06 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:43:51] 723*2^1184326-1 is not prime. Res64: E4CCC5680E3BD866 Time : 0.0 sec. user=PCZ [2012-05-24 08:47:30] 669*2^1184328-1 is not prime. Res64: A2ABF6DC9184E7AB Time : 0.0 sec. user=PCZ [2012-05-24 08:53:22] 899*2^1184328-1 is not prime. Res64: 8450918B2F5994D3 Time : 0.0 sec. user=PCZ [2012-05-24 08:53:33] 905*2^1184328-1 is not prime. Res64: 169AC88DB925121C Time : 0.0 sec. user=PCZ [2012-05-24 08:53:36] 999*2^1184328-1 is not prime. Res64: BD4400F114822C42 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:53:36] 857*2^1184326-1 is not prime. Res64: DE36C01F6391A06A Time : 0.0 sec. user=mdettweiler [2012-05-24 08:53:37] 957*2^1184326-1 is not prime. Res64: B30F97FE4C55D28B Time : 0.0 sec. user=mdettweiler [2012-05-24 08:53:58] 987*2^1184326-1 is not prime. Res64: AEBAD8D546972113 Time : 0.0 sec. user=mdettweiler [2012-05-24 08:53:58] 729*2^1184327-1 is not prime. Res64: 2BB20FDA9074BCF1 Time : 0.0 sec. user=vaughan [2012-05-24 08:55:00] 999*2^1184325-1 is not prime. Res64: 135A37D2A2F0C93F Time : 0.0 sec. user=PCZ [2012-05-24 08:57:16] 765*2^1184329-1 is not prime. Res64: 98DD5603F5D574D8 Time : 0.0 sec. user=PCZ [2012-05-24 09:03:11] 675*2^1184330-1 is not prime. Res64: 8B5895A3337FF826 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:03:12] 825*2^1184328-1 is not prime. Res64: B766ACAA8D6E8888 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:03:12] 879*2^1184328-1 is not prime. Res64: 4F7D3E44D16D20FF Time : 0.0 sec. user=PCZ [2012-05-24 09:03:23] 735*2^1184330-1 is not prime. Res64: E34FFF1C3DE9CEAE Time : 0.0 sec. user=PCZ [2012-05-24 09:03:27] 801*2^1184330-1 is not prime. Res64: BB529D4C35B8AD6F Time : 0.0 sec. user=mdettweiler [2012-05-24 09:04:38] 649*2^1184329-1 is not prime. Res64: B7736C62ADD4283E Time : 0.0 sec. user=mdettweiler [2012-05-24 09:04:40] 679*2^1184329-1 is not prime. Res64: 13010E178C21549D Time : 0.0 sec. user=PCZ [2012-05-24 09:07:07] 781*2^1184331-1 is not prime. Res64: E756761BD625FBC4 Time : 0.0 sec. user=PCZ [2012-05-24 09:13:05] 835*2^1184331-1 is not prime. Res64: 20527A90B831BC44 Time : 0.0 sec. user=PCZ [2012-05-24 09:13:10] 623*2^1184332-1 is not prime. Res64: 75C5793075FD6CD0 Time : 0.0 sec. user=PCZ [2012-05-24 09:13:17] 803*2^1184332-1 is not prime. Res64: AB0A495DF9E5D925 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:14:25] 813*2^1184330-1 is not prime. Res64: B1D3B9D38C3CFCED Time : 0.0 sec. user=mdettweiler [2012-05-24 09:14:26] 911*2^1184330-1 is not prime. Res64: B1E2B5B6269D9885 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:14:50] 669*2^1184331-1 is not prime. Res64: 4449CE96A8D696D6 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:14:51] 705*2^1184331-1 is not prime. Res64: 777EBC189425A95F Time : 0.0 sec. user=PCZ [2012-05-24 09:17:03] 699*2^1184333-1 is not prime. Res64: 7DE0832A149F3038 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 09:20:37] 699*2^1184328-1 is not prime. Res64: 303744A4A205D727 Time : 0.0 sec. user=PCZ [2012-05-24 09:22:54] 627*2^1184334-1 is not prime. Res64: 666348EC15A3A56A Time : 0.0 sec. user=PCZ [2012-05-24 09:23:00] 791*2^1184334-1 is not prime. Res64: 10590F4B423B23D0 Time : 0.0 sec. user=PCZ [2012-05-24 09:23:12] 797*2^1184334-1 is not prime. Res64: E45049E83B044DA5 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:24:05] 903*2^1184331-1 is not prime. Res64: 2EB44337373DA336 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:24:06] 605*2^1184332-1 is not prime. Res64: 79ADE8922F091331 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:25:27] 923*2^1184332-1 is not prime. Res64: B37E1427178065A5 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:25:28] 631*2^1184333-1 is not prime. Res64: 71ED2C421A3DA630 Time : 0.0 sec. user=PCZ [2012-05-24 09:26:52] 673*2^1184335-1 is not prime. Res64: CA5F5994284B754B Time : 0.0 sec. user=vaughan [2012-05-24 09:31:05] 741*2^1184331-1 is not prime. Res64: 4D6B5FD2A48B5D12 Time : 0.0 sec. user=PCZ [2012-05-24 09:32:42] 751*2^1184335-1 is not prime. Res64: B3FE61F4EEE001BB Time : 0.0 sec. user=PCZ [2012-05-24 09:32:48] 793*2^1184335-1 is not prime. Res64: 007EA411A6592035 Time : 0.0 sec. user=PCZ [2012-05-24 09:33:00] 849*2^1184335-1 is not prime. Res64: DD00A2F6A15E2768 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 09:33:13] 885*2^1184329-1 is not prime. Res64: 7CC4908DEC9CFE8A Time : 0.0 sec. user=mdettweiler [2012-05-24 09:35:18] 887*2^1184334-1 is not prime. Res64: 45FEBFA18A2D24F4 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:35:18] 965*2^1184334-1 is not prime. Res64: D395D4E9EBBC68D9 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:35:47] 975*2^1184334-1 is not prime. Res64: A8582A160C995E6A Time : 0.0 sec. user=mdettweiler [2012-05-24 09:35:48] 1001*2^1184334-1 is not prime. Res64: 68FF1B40ACB63E81 Time : 0.0 sec. user=PCZ [2012-05-24 09:36:43] 867*2^1184336-1 is not prime. Res64: 686556D311A1E63A Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 09:37:06] 939*2^1184329-1 is not prime. Res64: 586CD94943C46668 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 09:37:45] 665*2^1184330-1 is not prime. Res64: 97862AB7F7CD0CE4 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 09:41:20] 775*2^1184331-1 is not prime. Res64: B670847D565E326E Time : 0.0 sec. user=PCZ [2012-05-24 09:42:31] 909*2^1184336-1 is not prime. Res64: 0B6B877D5CAB780A Time : 0.0 sec. user=PCZ [2012-05-24 09:42:37] 957*2^1184336-1 is not prime. Res64: 59CE7153484F8C26 Time : 0.0 sec. user=PCZ [2012-05-24 09:42:51] 627*2^1184337-1 is not prime. Res64: 6099000B2F00BD22 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:44:54] 859*2^1184335-1 is not prime. Res64: 65FDA2AA6A6FF94F Time : 0.0 sec. user=mdettweiler [2012-05-24 09:44:55] 979*2^1184335-1 is not prime. Res64: A4FF78225AB0F911 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:46:15] 689*2^1184336-1 is not prime. Res64: 5C57F83C770D2FAA Time : 0.0 sec. user=mdettweiler [2012-05-24 09:46:15] 827*2^1184336-1 is not prime. Res64: 30E3C8563C642EFB Time : 0.0 sec. user=PCZ [2012-05-24 09:46:32] 815*2^1184338-1 is not prime. Res64: AB8281258A77B4A3 Time : 0.0 sec. user=PCZ [2012-05-24 09:52:23] 615*2^1184339-1 is not prime. Res64: E8A0A14865B2564B Time : 0.0 sec. user=PCZ [2012-05-24 09:52:27] 619*2^1184339-1 is not prime. Res64: 5C0461DB01944267 Time : 0.0 sec. user=PCZ [2012-05-24 09:52:47] 711*2^1184339-1 is not prime. Res64: B7F90521AC4D07DC Time : 0.0 sec. user=mdettweiler [2012-05-24 09:56:05] 847*2^1184337-1 is not prime. Res64: C7F57FFACD6EFCB4 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:56:05] 861*2^1184337-1 is not prime. Res64: E4395FC56C734880 Time : 0.0 sec. user=PCZ [2012-05-24 09:56:23] 753*2^1184340-1 is not prime. Res64: 9DCDABC9249F8766 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:56:34] 909*2^1184337-1 is not prime. Res64: 65113A13E41BDC44 Time : 0.0 sec. user=mdettweiler [2012-05-24 09:56:35] 657*2^1184338-1 is not prime. Res64: 57B396706AF2A9D7 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 09:58:16] 759*2^1184333-1 is not prime. Res64: 6058168FCEA9B436 Time : 0.0 sec. user=PCZ [2012-05-24 10:02:14] 779*2^1184340-1 is not prime. Res64: 8D290CA3973D911A Time : 0.0 sec. user=PCZ [2012-05-24 10:02:18] 845*2^1184340-1 is not prime. Res64: A326727CFB648C5E Time : 0.0 sec. user=PCZ [2012-05-24 10:02:38] 945*2^1184340-1 is not prime. Res64: 1B612BB9909BE955 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:05:47] 741*2^1184339-1 is not prime. Res64: 55D83D3303D408FA Time : 0.0 sec. user=mdettweiler [2012-05-24 10:05:48] 979*2^1184339-1 is not prime. Res64: 95D04C45F8AD8907 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:05:58] 675*2^1184335-1 is not prime. Res64: 64978066D10C9163 Time : 0.0 sec. user=PCZ [2012-05-24 10:06:10] 691*2^1184341-1 is not prime. Res64: 8A4913B1975C2F88 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:06:45] 705*2^1184335-1 is not prime. Res64: 52A825E251980769 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:07:05] 633*2^1184340-1 is not prime. Res64: B7FD141EEFA130E7 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:07:06] 725*2^1184340-1 is not prime. Res64: ABCFE445787FDB51 Time : 0.0 sec. user=vaughan [2012-05-24 10:07:10] 903*2^1184336-1 is not prime. Res64: F404404086FB0D04 Time : 0.0 sec. user=PCZ [2012-05-24 10:12:07] 675*2^1184342-1 is not prime. Res64: 7E51DE7B2A564EC0 Time : 0.0 sec. user=PCZ [2012-05-24 10:12:10] 713*2^1184342-1 is not prime. Res64: C78C67EBD7014E36 Time : 0.0 sec. user=PCZ [2012-05-24 10:12:29] 771*2^1184342-1 is not prime. Res64: 02AB19D7EEF411E9 Time : 0.0 sec. user=PCZ [2012-05-24 10:16:00] 941*2^1184342-1 is not prime. Res64: 3ECDA42A6224F38A Time : 0.0 sec. user=mdettweiler [2012-05-24 10:16:57] 601*2^1184341-1 is not prime. Res64: 2DD6F1A332A96775 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:16:57] 645*2^1184341-1 is not prime. Res64: 1B606710B8DAAA2E Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:32] 727*2^1184341-1 is not prime. Res64: 9119B07DDA0EBD99 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:32] 757*2^1184341-1 is not prime. Res64: 400DF81E5E75C5E1 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:54] 653*2^1184262-1 is not prime. Res64: 9CAE224A46426108 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:54] 887*2^1184272-1 is not prime. Res64: 68A61F4751BD408D Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:54] 723*2^1184271-1 is not prime. Res64: 8696A75116D50895 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:54] 843*2^1184260-1 is not prime. Res64: 4A205F2788E8D146 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:54] 815*2^1184262-1 is not prime. Res64: 7411DE212D98A4DC Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:55] 983*2^1184272-1 is not prime. Res64: 5DDBC90805EDA9BF Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:55] 961*2^1184271-1 is not prime. Res64: 5FDD96399653413B Time : 0.0 sec. user=mdettweiler [2012-05-24 10:17:55] 863*2^1184260-1 is not prime. Res64: 4BA25FC5B46C813B Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:19:06] 805*2^1184337-1 is not prime. Res64: CEFDE1C5B05456A3 Time : 0.0 sec. user=PCZ [2012-05-24 10:21:59] 829*2^1184343-1 is not prime. Res64: 18046C93C3A9AB22 Time : 0.0 sec. user=PCZ [2012-05-24 10:22:04] 609*2^1184344-1 is not prime. Res64: BD3DB59C298F6C89 Time : 0.0 sec. user=PCZ [2012-05-24 10:22:25] 663*2^1184344-1 is not prime. Res64: E84343AC0B4D9BB1 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:22:47] 915*2^1184338-1 is not prime. Res64: C19A2067519F942E Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:23:36] 945*2^1184338-1 is not prime. Res64: 6C5357FFA9EB1EC1 Time : 0.0 sec. user=PCZ [2012-05-24 10:25:51] 785*2^1184344-1 is not prime. Res64: C57688F20B930DFF Time : 0.0 sec. user=mdettweiler [2012-05-24 10:26:41] 785*2^1184342-1 is not prime. Res64: 0C4FE5C518721B56 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:26:42] 813*2^1184342-1 is not prime. Res64: F33292216AE75F9A Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:27:28] 981*2^1184338-1 is not prime. Res64: 5C2E18D60E4AD354 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:27:59] 685*2^1184343-1 is not prime. Res64: 322088462842D062 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:27:59] 723*2^1184343-1 is not prime. Res64: AE1326E40CB7E8AF Time : 0.0 sec. user=PCZ [2012-05-24 10:31:52] 991*2^1184345-1 is not prime. Res64: 57E69205E8DF95AA Time : 0.0 sec. user=PCZ [2012-05-24 10:31:55] 657*2^1184346-1 is not prime. Res64: E6417D1BF441113F Time : 0.0 sec. user=PCZ [2012-05-24 10:32:14] 777*2^1184346-1 is not prime. Res64: 52DA0886F943FECD Time : 0.0 sec. user=PCZ [2012-05-24 10:35:42] 851*2^1184346-1 is not prime. Res64: 9A5AB6B1532ABA14 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:37:48] 827*2^1184344-1 is not prime. Res64: DCCE2F555762D121 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:37:49] 917*2^1184344-1 is not prime. Res64: 6B857B5C4D94DF2B Time : 0.0 sec. user=mdettweiler [2012-05-24 10:38:32] 923*2^1184344-1 is not prime. Res64: 13DD3DFC5DD5D38C Time : 0.0 sec. user=mdettweiler [2012-05-24 10:38:32] 993*2^1184344-1 is not prime. Res64: 555A999F9083FA40 Time : 0.0 sec. user=PCZ [2012-05-24 10:41:43] 919*2^1184347-1 is not prime. Res64: F4ED52F7199D174A Time : 0.0 sec. user=PCZ [2012-05-24 10:41:44] 975*2^1184347-1 is not prime. Res64: 446CF8918B04C138 Time : 0.0 sec. user=PCZ [2012-05-24 10:42:03] 603*2^1184348-1 is not prime. Res64: C1B5E88B897899D1 Time : 0.0 sec. user=vaughan [2012-05-24 10:43:17] 775*2^1184343-1 is not prime. Res64: 4CC417A9DEA81649 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:44:47] 961*2^1184341-1 is not prime. Res64: 5F0FECD686A323A3 Time : 0.0 sec. user=PCZ [2012-05-24 10:45:33] 665*2^1184348-1 is not prime. Res64: 0A701396515C8788 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:47:38] 601*2^1184347-1 is not prime. Res64: E555F345F231921E Time : 0.0 sec. user=mdettweiler [2012-05-24 10:47:39] 639*2^1184347-1 is not prime. Res64: A7ECCD66642D462E Time : 0.0 sec. user=mdettweiler [2012-05-24 10:48:53] 849*2^1184347-1 is not prime. Res64: 26D5306D38AB542B Time : 0.0 sec. user=mdettweiler [2012-05-24 10:48:53] 891*2^1184347-1 is not prime. Res64: BE9EC37E7EBD4391 Time : 0.0 sec. user=PCZ [2012-05-24 10:51:34] 861*2^1184349-1 is not prime. Res64: 721B7020298E70E4 Time : 0.0 sec. user=PCZ [2012-05-24 10:51:35] 865*2^1184349-1 is not prime. Res64: 026042C54467E45F Time : 0.0 sec. user=PCZ [2012-05-24 10:51:52] 889*2^1184349-1 is not prime. Res64: AFF48FA6D76FA366 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:52:36] 897*2^1184342-1 is not prime. Res64: 71CF026429620D28 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 10:53:19] 619*2^1184343-1 is not prime. Res64: 207848235060194D Time : 0.0 sec. user=PCZ [2012-05-24 10:55:24] 917*2^1184350-1 is not prime. Res64: AF1B5B8E0A004C8F Time : 0.0 sec. user=mdettweiler [2012-05-24 10:58:42] 755*2^1184348-1 is not prime. Res64: B872A3B1F2938F76 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:58:42] 767*2^1184348-1 is not prime. Res64: 90C3A540DE12A3E5 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:59:24] 813*2^1184348-1 is not prime. Res64: 6B0DEF8342859747 Time : 0.0 sec. user=mdettweiler [2012-05-24 10:59:25] 667*2^1184349-1 is not prime. Res64: 6C47A08937E4D2A6 Time : 0.0 sec. user=PCZ [2012-05-24 11:01:25] 653*2^1184352-1 is not prime. Res64: D410B45D25D9AD39 Time : 0.0 sec. user=PCZ [2012-05-24 11:01:26] 725*2^1184352-1 is not prime. Res64: 58EED515A3D067B8 Time : 0.0 sec. user=PCZ [2012-05-24 11:01:42] 747*2^1184352-1 is not prime. Res64: B54AF3394D265CC6 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:02:22] 765*2^1184344-1 is not prime. Res64: B53AEEA9FA88613C Time : 0.0 sec. user=PCZ [2012-05-24 11:05:15] 867*2^1184352-1 is not prime. Res64: 1A159A6EF697E02C Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:05:56] 969*2^1184345-1 is not prime. Res64: C3AB7706735427DB Time : 0.0 sec. user=mdettweiler [2012-05-24 11:08:31] 609*2^1184351-1 is not prime. Res64: 9E72833AA8ABFC5A Time : 0.0 sec. user=mdettweiler [2012-05-24 11:08:33] 789*2^1184351-1 is not prime. Res64: 3C62A5CC0A772547 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:09:24] 833*2^1184346-1 is not prime. Res64: 559223CC5B010A33 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:09:49] 931*2^1184351-1 is not prime. Res64: CDCF397DE779506D Time : 0.0 sec. user=mdettweiler [2012-05-24 11:09:51] 609*2^1184352-1 is not prime. Res64: F74BFD950C4930A2 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:10:15] 843*2^1184346-1 is not prime. Res64: 85D9ABC482A6F77D Time : 0.0 sec. user=PCZ [2012-05-24 11:11:16] 855*2^1184353-1 is not prime. Res64: 8C1AB9C148FBE701 Time : 0.0 sec. user=PCZ [2012-05-24 11:11:20] 885*2^1184353-1 is not prime. Res64: 86566F0B19F96C02 Time : 0.0 sec. user=PCZ [2012-05-24 11:11:34] 945*2^1184353-1 is not prime. Res64: C88C809B46669BF4 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:13:27] 681*2^1184347-1 is not prime. Res64: 8717B6C5514AA2C1 Time : 0.0 sec. user=PCZ [2012-05-24 11:15:10] 665*2^1184354-1 is not prime. Res64: 0B9000D92B444352 Time : 0.0 sec. user=vaughan [2012-05-24 11:19:23] 713*2^1184350-1 is not prime. Res64: FFCF4C95DD075032 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:19:37] 873*2^1184352-1 is not prime. Res64: B0A5C7623F5C1CC2 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:19:38] 903*2^1184352-1 is not prime. Res64: 888FED694F3D387A Time : 0.0 sec. user=mdettweiler [2012-05-24 11:20:22] 917*2^1184352-1 is not prime. Res64: 197E58EFCBE068E3 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:20:23] 847*2^1184353-1 is not prime. Res64: F1BCF736D19D259E Time : 0.0 sec. user=PCZ [2012-05-24 11:21:18] 751*2^1184355-1 is not prime. Res64: 32A1C06BBE7460E8 Time : 0.0 sec. user=PCZ [2012-05-24 11:21:20] 685*2^1184355-1 is not prime. Res64: 113A4918D52E6960 Time : 0.0 sec. user=PCZ [2012-05-24 11:21:30] 781*2^1184355-1 is not prime. Res64: 42F0E2CA765EF490 Time : 0.0 sec. user=PCZ [2012-05-24 11:25:08] 795*2^1184355-1 is not prime. Res64: E7981D1B4C46CA2B Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:28:33] 833*2^1184350-1 is not prime. Res64: B4CEEFA53E0D3AB7 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:29:30] 921*2^1184354-1 is not prime. Res64: EDE8CD88CE358892 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:29:31] 923*2^1184354-1 is not prime. Res64: 2E846D93713398E8 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:30:48] 927*2^1184354-1 is not prime. Res64: 47B3217B1792ECB7 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:30:49] 619*2^1184355-1 is not prime. Res64: B907CFA9CC635A7A Time : 0.0 sec. user=PCZ [2012-05-24 11:31:12] 833*2^1184356-1 is not prime. Res64: 6BC09B7A1AE797F4 Time : 0.0 sec. user=PCZ [2012-05-24 11:31:16] 933*2^1184356-1 is not prime. Res64: 6F03A94417118E4E Time : 0.0 sec. user=PCZ [2012-05-24 11:31:30] 939*2^1184356-1 is not prime. Res64: C13B3A5947DAAEC8 Time : 0.0 sec. user=PCZ [2012-05-24 11:35:06] 975*2^1184356-1 is not prime. Res64: FBE7B63286484F0F Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:36:31] 797*2^1184352-1 is not prime. Res64: F6DA354A44330120 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:40:33] 895*2^1184355-1 is not prime. Res64: F656153E80DEEAD7 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:40:33] 979*2^1184355-1 is not prime. Res64: 88FE9AA83ED206B9 Time : 0.0 sec. user=PCZ [2012-05-24 11:41:06] 611*2^1184358-1 is not prime. Res64: 38BE798970A28889 Time : 0.0 sec. user=PCZ [2012-05-24 11:41:08] 663*2^1184358-1 is not prime. Res64: 2AA2D80234FD94B5 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:41:19] 647*2^1184356-1 is not prime. Res64: 2CA945BB88D03BA7 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:41:19] 705*2^1184356-1 is not prime. Res64: 290C8A3D43C08E14 Time : 0.0 sec. user=PCZ [2012-05-24 11:41:23] 683*2^1184358-1 is not prime. Res64: 48B26B8AF03E2F3F Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:44:02] 635*2^1184354-1 is not prime. Res64: 3866B65290A10922 Time : 0.0 sec. user=PCZ [2012-05-24 11:45:02] 797*2^1184358-1 is not prime. Res64: FE27D201D99CFE80 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 11:47:08] 675*2^1184354-1 is not prime. Res64: 987C6C481BD56EDB Time : 0.0 sec. user=mdettweiler [2012-05-24 11:49:43] 867*2^1184345-1 is not prime. Res64: 900A7B15D84B2CFC Time : 0.0 sec. user=mdettweiler [2012-05-24 11:49:43] 897*2^1184345-1 is not prime. Res64: 6DCDEB6CBA8446D1 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:50:29] 691*2^1184357-1 is not prime. Res64: CC16A2D444B207D3 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:50:29] 697*2^1184357-1 is not prime. Res64: DF6C667E5F7F632B Time : 0.0 sec. user=mdettweiler [2012-05-24 11:50:37] 787*2^1184345-1 is not prime. Res64: 90F2C04E85DD4737 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:50:37] 795*2^1184345-1 is not prime. Res64: 71B3ED576652C2AD Time : 0.0 sec. user=PCZ [2012-05-24 11:50:58] 921*2^1184358-1 is not prime. Res64: ECD4FD1DEDDEF636 Time : 0.0 sec. user=PCZ [2012-05-24 11:51:02] 977*2^1184358-1 is not prime. Res64: 12814A4F385B7440 Time : 0.0 sec. user=PCZ [2012-05-24 11:51:16] 633*2^1184359-1 is not prime. Res64: 80F24D59B5049985 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:51:44] 801*2^1184357-1 is not prime. Res64: 95AAA069EED27425 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:51:45] 861*2^1184357-1 is not prime. Res64: 49C7836D5295A50F Time : 0.0 sec. user=PCZ [2012-05-24 11:55:01] 639*2^1184359-1 is not prime. Res64: F5B21F3376CFC74D Time : 0.0 sec. user=mdettweiler [2012-05-24 11:55:14] 837*2^1184345-1 is not prime. Res64: 8CC356AD213F632D Time : 0.0 sec. user=mdettweiler [2012-05-24 11:55:14] 861*2^1184345-1 is not prime. Res64: EBAEC7C35AE00893 Time : 0.0 sec. user=vaughan [2012-05-24 11:55:31] 829*2^1184355-1 is not prime. Res64: 1B1D5E6E3CFEC0A3 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:59:52] 645*2^1184345-1 is not prime. Res64: 61494889552DB8D8 Time : 0.0 sec. user=mdettweiler [2012-05-24 11:59:52] 651*2^1184345-1 is not prime. Res64: 693E32066D547552 Time : 0.0 sec. user=PCZ [2012-05-24 12:00:51] 735*2^1184360-1 is not prime. Res64: B653A7F73F9B1EBF Time : 0.0 sec. user=PCZ [2012-05-24 12:00:54] 767*2^1184360-1 is not prime. Res64: 25C719A10B674E75 Time : 0.0 sec. user=PCZ [2012-05-24 12:01:09] 825*2^1184360-1 is not prime. Res64: 222112CBCC9BFFEB Time : 0.0 sec. user=mdettweiler [2012-05-24 12:01:27] 825*2^1184358-1 is not prime. Res64: 532D98FF50DDACA1 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:01:29] 891*2^1184358-1 is not prime. Res64: FE9D18682626460A Time : 0.0 sec. user=mdettweiler [2012-05-24 12:02:16] 609*2^1184359-1 is not prime. Res64: 5EA455FAC8770FB8 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:02:17] 615*2^1184359-1 is not prime. Res64: 6AB9D2E91C243033 Time : 0.0 sec. user=PCZ [2012-05-24 12:04:58] 963*2^1184360-1 is not prime. Res64: 02FE5C788D24D390 Time : 0.0 sec. user=PCZ [2012-05-24 12:10:46] 635*2^1184362-1 is not prime. Res64: 493DEF35F6B8C906 Time : 0.0 sec. user=PCZ [2012-05-24 12:10:48] 677*2^1184362-1 is not prime. Res64: 5CB6CF2A3CFCC568 Time : 0.0 sec. user=PCZ [2012-05-24 12:11:02] 735*2^1184362-1 is not prime. Res64: 8545D96F7F4CAFFD Time : 0.0 sec. user=mdettweiler [2012-05-24 12:11:25] 943*2^1184359-1 is not prime. Res64: 47EF35DEB5C0150A Time : 0.0 sec. user=mdettweiler [2012-05-24 12:11:26] 961*2^1184359-1 is not prime. Res64: 50479E5798C9C889 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:12:44] 917*2^1184360-1 is not prime. Res64: 5ACB6E5A00FBB35B Time : 0.0 sec. user=mdettweiler [2012-05-24 12:12:45] 929*2^1184360-1 is not prime. Res64: DCEB5A12B8C9B524 Time : 0.0 sec. user=PCZ [2012-05-24 12:14:52] 789*2^1184363-1 is not prime. Res64: 8AFD9A509358B1EB Time : 0.0 sec. user=PCZ [2012-05-24 12:20:41] 635*2^1184364-1 is not prime. Res64: 0EE50ADFF7B686BE Time : 0.0 sec. user=PCZ [2012-05-24 12:20:46] 699*2^1184364-1 is not prime. Res64: 4FD7A5BAE4B746B0 Time : 0.0 sec. user=PCZ [2012-05-24 12:20:59] 809*2^1184364-1 is not prime. Res64: 60B88A0998383A70 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:22:32] 741*2^1184362-1 is not prime. Res64: B1657D9FAD08E456 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:22:32] 603*2^1184363-1 is not prime. Res64: 8913850841321854 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:23:20] 663*2^1184363-1 is not prime. Res64: 747B600FD7E58A57 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:23:20] 775*2^1184363-1 is not prime. Res64: 0134D3A1EE844910 Time : 0.0 sec. user=PCZ [2012-05-24 12:24:47] 885*2^1184365-1 is not prime. Res64: 2562DD72A321170D Time : 0.0 sec. user=PCZ [2012-05-24 12:30:35] 925*2^1184365-1 is not prime. Res64: 62784BF64BE181AC Time : 0.0 sec. user=PCZ [2012-05-24 12:30:41] 741*2^1184366-1 is not prime. Res64: C9B7AE53B90C7798 Time : 0.0 sec. user=PCZ [2012-05-24 12:30:51] 801*2^1184366-1 is not prime. Res64: 0E0CD7A7CBC543AA Time : 0.0 sec. user=vaughan [2012-05-24 12:31:36] 865*2^1184361-1 is not prime. Res64: EA56874C2B7DE587 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:32:31] 899*2^1184364-1 is not prime. Res64: 92A4140B9FA6E12C Time : 0.0 sec. user=mdettweiler [2012-05-24 12:32:31] 775*2^1184365-1 is not prime. Res64: DD3557C9B0F21B39 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:33:47] 777*2^1184365-1 is not prime. Res64: 16987C385F632AA9 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:33:47] 831*2^1184365-1 is not prime. Res64: 2EE0CDACDD5502D8 Time : 0.0 sec. user=PCZ [2012-05-24 12:34:44] 945*2^1184367-1 is not prime. Res64: 9D78717C778857EA Time : 0.0 sec. user=PCZ [2012-05-24 12:40:28] 665*2^1184368-1 is not prime. Res64: 83218AF3A2A6F10D Time : 0.0 sec. user=PCZ [2012-05-24 12:40:40] 813*2^1184368-1 is not prime. Res64: AC3B2CC854BBDF0F Time : 0.0 sec. user=PCZ [2012-05-24 12:40:45] 819*2^1184368-1 is not prime. Res64: AF6A21B6AADD5AC2 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:43:28] 711*2^1184367-1 is not prime. Res64: 11CBCA6152839F90 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:43:29] 751*2^1184367-1 is not prime. Res64: EEE2EFBDA8699842 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:44:21] 765*2^1184367-1 is not prime. Res64: 5FFC13D88DACF74C Time : 0.0 sec. user=mdettweiler [2012-05-24 12:44:22] 795*2^1184367-1 is not prime. Res64: 6EB3C45C3BDA04E4 Time : 0.0 sec. user=PCZ [2012-05-24 12:44:41] 723*2^1184370-1 is not prime. Res64: 3C6A1C9A0552E76A Time : 0.0 sec. user=PCZ [2012-05-24 12:50:23] 803*2^1184370-1 is not prime. Res64: E29442E8C280D5B0 Time : 0.0 sec. user=PCZ [2012-05-24 12:50:36] 917*2^1184370-1 is not prime. Res64: 9A6FBD1E2B56DDC6 Time : 0.0 sec. user=PCZ [2012-05-24 12:50:39] 615*2^1184371-1 is not prime. Res64: 9D697F1AB108CB30 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:53:29] 889*2^1184369-1 is not prime. Res64: 2554CE02953B7CB7 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:53:29] 909*2^1184369-1 is not prime. Res64: 45477DD11CE1CF3D Time : 0.0 sec. user=PCZ [2012-05-24 12:54:36] 993*2^1184371-1 is not prime. Res64: 4C8C26B98C1B0FB1 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:54:52] 925*2^1184369-1 is not prime. Res64: 847F34394D025E91 Time : 0.0 sec. user=mdettweiler [2012-05-24 12:54:52] 647*2^1184370-1 is not prime. Res64: 574234A2DB122CAE Time : 0.0 sec. user=PCZ [2012-05-24 13:00:16] 669*2^1184372-1 is not prime. Res64: E40624446FCE9715 Time : 0.0 sec. user=PCZ [2012-05-24 13:00:30] 767*2^1184372-1 is not prime. Res64: B2CB5ED2514618AF Time : 0.0 sec. user=PCZ [2012-05-24 13:00:32] 963*2^1184372-1 is not prime. Res64: 0AA9856548EB9446 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:04:25] 703*2^1184371-1 is not prime. Res64: B8EBFD193B9208EB Time : 0.0 sec. user=mdettweiler [2012-05-24 13:04:25] 769*2^1184371-1 is not prime. Res64: 54B22575264B40BA Time : 0.0 sec. user=PCZ [2012-05-24 13:04:30] 691*2^1184373-1 is not prime. Res64: EF6334719D608F46 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:05:18] 913*2^1184371-1 is not prime. Res64: 1B6EA8AEB01E39A7 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:05:19] 943*2^1184371-1 is not prime. Res64: E6FEDD4C5435304A Time : 0.0 sec. user=vaughan [2012-05-24 13:08:07] 697*2^1184369-1 is not prime. Res64: 11BD34A235B952F6 Time : 0.0 sec. user=PCZ [2012-05-24 13:10:16] 805*2^1184373-1 is not prime. Res64: B76702155CC19F3A Time : 0.0 sec. user=PCZ [2012-05-24 13:10:25] 811*2^1184373-1 is not prime. Res64: AFA0D0CD7A118817 Time : 0.0 sec. user=PCZ [2012-05-24 13:10:28] 817*2^1184373-1 is not prime. Res64: FA428E57E4270FB9 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:14:28] 651*2^1184373-1 is not prime. Res64: 435BAEC6ACFB4B52 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:14:29] 685*2^1184373-1 is not prime. Res64: 134BDFFD068B49D7 Time : 0.0 sec. user=PCZ [2012-05-24 13:14:31] 945*2^1184373-1 is not prime. Res64: D538DC15E2F51033 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:15:51] 745*2^1184373-1 is not prime. Res64: 07E31A1D808D5117 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:15:51] 787*2^1184373-1 is not prime. Res64: FDD3B96F65A03D9B Time : 0.0 sec. user=PCZ [2012-05-24 13:20:19] 897*2^1184374-1 is not prime. Res64: 34577E3A34FA7824 Time : 0.0 sec. user=PCZ [2012-05-24 13:20:19] 993*2^1184374-1 is not prime. Res64: B369D249F899BEAD Time : 0.0 sec. user=PCZ [2012-05-24 13:20:28] 663*2^1184375-1 is not prime. Res64: FD675F257FD49A44 Time : 0.0 sec. user=PCZ [2012-05-24 13:24:29] 739*2^1184375-1 is not prime. Res64: 772CAF4B34E6762C Time : 0.0 sec. user=mdettweiler [2012-05-24 13:25:25] 847*2^1184373-1 is not prime. Res64: 6FBEBFAE0A0930E7 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:25:25] 921*2^1184373-1 is not prime. Res64: F2F9E4037623753B Time : 0.0 sec. user=mdettweiler [2012-05-24 13:25:45] 993*2^1184359-1 is not prime. Res64: 6564C8AC8E18032A Time : 0.0 sec. user=mdettweiler [2012-05-24 13:25:45] 659*2^1184360-1 is not prime. Res64: 9136DA8922E2E452 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:26:21] 665*2^1184374-1 is not prime. Res64: AFA638E28BD63D7E Time : 0.0 sec. user=mdettweiler [2012-05-24 13:26:21] 677*2^1184374-1 is not prime. Res64: F2F1CC2E24060451 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:26:41] 741*2^1184359-1 is not prime. Res64: D6A762DCD22AA11D Time : 0.0 sec. user=mdettweiler [2012-05-24 13:26:41] 745*2^1184359-1 is not prime. Res64: 242EFBCECF44F585 Time : 0.0 sec. user=PCZ [2012-05-24 13:30:14] 669*2^1184376-1 is not prime. Res64: D506C09760052FF4 Time : 0.0 sec. user=PCZ [2012-05-24 13:30:20] 855*2^1184375-1 is not prime. Res64: B7107E61761CBC06 Time : 0.0 sec. user=PCZ [2012-05-24 13:30:27] 675*2^1184376-1 is not prime. Res64: BD4EDFAE09D3B5EF Time : 0.0 sec. user=mdettweiler [2012-05-24 13:32:42] 909*2^1184361-1 is not prime. Res64: 3BB8036EF194FFDA Time : 0.0 sec. user=mdettweiler [2012-05-24 13:32:42] 623*2^1184362-1 is not prime. Res64: CA9C2C5CC6EB8F17 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:33:29] 977*2^1184360-1 is not prime. Res64: 55981B66A2FF2BC2 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:33:30] 795*2^1184361-1 is not prime. Res64: 82742218C122EEC1 Time : 0.0 sec. user=PCZ [2012-05-24 13:34:28] 789*2^1184376-1 is not prime. Res64: 60063E51F51B0489 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:35:30] 693*2^1184375-1 is not prime. Res64: C65E3B3ADDA5B2A1 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:35:30] 705*2^1184375-1 is not prime. Res64: 478AAE0FB4F67743 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:36:53] 753*2^1184375-1 is not prime. Res64: 5D5AD85805660863 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:36:54] 843*2^1184375-1 is not prime. Res64: 7DB290891156B1CD Time : 0.0 sec. user=PCZ [2012-05-24 13:40:09] 841*2^1184377-1 is not prime. Res64: 5F68A5DB302AC42E Time : 0.0 sec. user=PCZ [2012-05-24 13:40:17] 651*2^1184378-1 is not prime. Res64: 1BE9D62BDF4854F0 Time : 0.0 sec. user=PCZ [2012-05-24 13:40:25] 773*2^1184378-1 is not prime. Res64: 54F2517009578401 Time : 0.0 sec. user=vaughan [2012-05-24 13:44:12] 783*2^1184374-1 is not prime. Res64: 633D11C464FC4053 Time : 0.0 sec. user=PCZ [2012-05-24 13:44:24] 743*2^1184380-1 is not prime. Res64: 680BDE9ADFC1B8C0 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:46:50] 845*2^1184376-1 is not prime. Res64: 0A0A119B7CBB05FB Time : 0.0 sec. user=mdettweiler [2012-05-24 13:46:50] 875*2^1184376-1 is not prime. Res64: F3B15360DE237F14 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:47:40] 675*2^1184377-1 is not prime. Res64: 1569E77FE65BD408 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:47:40] 685*2^1184377-1 is not prime. Res64: A915504A4A60E484 Time : 0.0 sec. user=PCZ [2012-05-24 13:50:05] 975*2^1184380-1 is not prime. Res64: DDC48C1FAA823B0A Time : 0.0 sec. user=PCZ [2012-05-24 13:50:14] 987*2^1184380-1 is not prime. Res64: 0780EB9D9ED25DEE Time : 0.0 sec. user=PCZ [2012-05-24 13:50:21] 601*2^1184381-1 is not prime. Res64: 6E271DB15F4EB075 Time : 0.0 sec. user=PCZ [2012-05-24 13:54:19] 651*2^1184381-1 is not prime. Res64: 6F3332399C9A7887 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:57:16] 827*2^1184380-1 is not prime. Res64: DCA95C2F0C86B1FB Time : 0.0 sec. user=mdettweiler [2012-05-24 13:57:16] 929*2^1184380-1 is not prime. Res64: 1ADE4ECC76931F0D Time : 0.0 sec. user=mdettweiler [2012-05-24 13:58:33] 939*2^1184380-1 is not prime. Res64: 17EE157CCB8E2BD8 Time : 0.0 sec. user=mdettweiler [2012-05-24 13:58:34] 959*2^1184380-1 is not prime. Res64: 2C13D40BE9D5171B Time : 0.0 sec. user=PCZ [2012-05-24 14:00:04] 921*2^1184382-1 is not prime. Res64: 51CD9160BF44D3C7 Time : 0.0 sec. user=PCZ [2012-05-24 14:00:10] 633*2^1184383-1 is not prime. Res64: 2C6505713A7B52FD Time : 0.0 sec. user=PCZ [2012-05-24 14:00:19] 723*2^1184383-1 is not prime. Res64: 1A08FA5BD21BAC72 Time : 0.0 sec. user=PCZ [2012-05-24 14:04:15] 993*2^1184383-1 is not prime. Res64: FA4F92C27CEC0B8B Time : 0.0 sec. user=mdettweiler [2012-05-24 14:08:08] 685*2^1184381-1 is not prime. Res64: 76484C1CD0686534 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:08:09] 727*2^1184381-1 is not prime. Res64: C58E6A48B7F49A3D Time : 0.0 sec. user=mdettweiler [2012-05-24 14:08:54] 871*2^1184381-1 is not prime. Res64: 074AA3CCA7D3DE7A Time : 0.0 sec. user=mdettweiler [2012-05-24 14:08:56] 705*2^1184382-1 is not prime. Res64: AB7A1BC632D492F2 Time : 0.0 sec. user=PCZ [2012-05-24 14:09:59] 691*2^1184385-1 is not prime. Res64: 001EFDFBCAA2413D Time : 0.0 sec. user=PCZ [2012-05-24 14:10:09] 709*2^1184385-1 is not prime. Res64: F189DDCFDA5CB4F9 Time : 0.0 sec. user=PCZ [2012-05-24 14:10:18] 909*2^1184385-1 is not prime. Res64: AB175B486FAC21C7 Time : 0.0 sec. user=PCZ [2012-05-24 14:14:12] 937*2^1184385-1 is not prime. Res64: 35B551F90D755FC6 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 14:15:24] 955*2^1184379-1 is not prime. Res64: 9A62A4419A714B6B Time : 0.0 sec. user=mdettweiler [2012-05-24 14:18:27] 635*2^1184384-1 is not prime. Res64: B0044E5249859781 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:18:27] 843*2^1184384-1 is not prime. Res64: 241A798FC93DA66B Time : 0.0 sec. user=mdettweiler [2012-05-24 14:19:42] 875*2^1184384-1 is not prime. Res64: 389F6361B4E36812 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:19:43] 959*2^1184384-1 is not prime. Res64: A67F986AF3F5CAA9 Time : 0.0 sec. user=PCZ [2012-05-24 14:19:58] 873*2^1184386-1 is not prime. Res64: D7241F3A1EF17032 Time : 0.0 sec. user=PCZ [2012-05-24 14:20:12] 933*2^1184386-1 is not prime. Res64: B60B1647462452EF Time : 0.0 sec. user=vaughan [2012-05-24 14:20:16] 621*2^1184381-1 is not prime. Res64: FBEEE8978555902A Time : 0.0 sec. user=PCZ [2012-05-24 14:20:19] 1001*2^1184386-1 is not prime. Res64: A6E17E33228E0824 Time : 0.0 sec. user=PCZ [2012-05-24 14:24:05] 685*2^1184387-1 is not prime. Res64: 225ED3311BFD40C2 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:29:16] 623*2^1184386-1 is not prime. Res64: 8530057123E1CCEF Time : 0.0 sec. user=mdettweiler [2012-05-24 14:29:16] 737*2^1184386-1 is not prime. Res64: 53A8A7884BE6CE74 Time : 0.0 sec. user=PCZ [2012-05-24 14:29:54] 707*2^1184388-1 is not prime. Res64: A28A9E515942FBE2 Time : 0.0 sec. user=PCZ [2012-05-24 14:30:05] 839*2^1184388-1 is not prime. Res64: 7738B7EED2C15FF8 Time : 0.0 sec. user=PCZ [2012-05-24 14:30:15] 893*2^1184388-1 is not prime. Res64: 59F057F01B2ECFEC Time : 0.0 sec. user=mdettweiler [2012-05-24 14:30:15] 755*2^1184386-1 is not prime. Res64: 2587D5E6448CFFB3 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:30:15] 833*2^1184386-1 is not prime. Res64: 712669CC18CCEB87 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 14:31:17] 717*2^1184382-1 is not prime. Res64: CF9E1FD08D569230 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 14:31:56] 843*2^1184382-1 is not prime. Res64: 0A9A1480662E9E38 Time : 0.0 sec. user=PCZ [2012-05-24 14:34:03] 729*2^1184389-1 is not prime. Res64: 47F35EF452375907 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 14:35:01] 951*2^1184383-1 is not prime. Res64: 3487A25D8F4572BD Time : 0.0 sec. user=mdettweiler [2012-05-24 14:39:36] 843*2^1184387-1 is not prime. Res64: F6E264F6C57CC263 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:39:36] 859*2^1184387-1 is not prime. Res64: DF99253E25B2A8C3 Time : 0.0 sec. user=PCZ [2012-05-24 14:39:47] 799*2^1184389-1 is not prime. Res64: F95C148A53C03102 Time : 0.0 sec. user=PCZ [2012-05-24 14:40:00] 819*2^1184389-1 is not prime. Res64: 31A8B166928CA989 Time : 0.0 sec. user=PCZ [2012-05-24 14:40:10] 829*2^1184389-1 is not prime. Res64: FCA64ACA3D8DF98C Time : 0.0 sec. user=mdettweiler [2012-05-24 14:40:51] 949*2^1184387-1 is not prime. Res64: 86E72D70FCF13B50 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:40:51] 705*2^1184388-1 is not prime. Res64: 5F6C4F345C7AA956 Time : 0.0 sec. user=PCZ [2012-05-24 14:44:02] 801*2^1184390-1 is not prime. Res64: 59A0153D4C0CB713 Time : 0.0 sec. user=PCZ [2012-05-24 14:49:41] 805*2^1184391-1 is not prime. Res64: F24094F263B1BAEB Time : 0.0 sec. user=PCZ [2012-05-24 14:49:54] 823*2^1184391-1 is not prime. Res64: 9BAEE3CB191679EA Time : 0.0 sec. user=PCZ [2012-05-24 14:50:05] 865*2^1184391-1 is not prime. Res64: F9E34DE2E1CE913D Time : 0.0 sec. user=mdettweiler [2012-05-24 14:50:21] 751*2^1184389-1 is not prime. Res64: 8D082699A09BEB8C Time : 0.0 sec. user=mdettweiler [2012-05-24 14:50:21] 759*2^1184389-1 is not prime. Res64: A6B23B3C3B5CD184 Time : 0.0 sec. user=mdettweiler [2012-05-24 14:51:27] 867*2^1184389-1 is not prime. Res64: 27817C554FD08C1D Time : 0.0 sec. user=mdettweiler [2012-05-24 14:51:27] 657*2^1184390-1 is not prime. Res64: A2096EF62436B550 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 14:53:09] 949*2^1184385-1 is not prime. Res64: 8C2F9CE488B28EA4 Time : 0.0 sec. user=PCZ [2012-05-24 14:53:58] 735*2^1184392-1 is not prime. Res64: 8286EC2255F25B03 Time : 0.0 sec. user=vaughan [2012-05-24 14:56:20] 879*2^1184388-1 is not prime. Res64: 5808BB5CBCC8DA55 Time : 0.0 sec. user=PCZ [2012-05-24 14:59:38] 785*2^1184392-1 is not prime. Res64: BF3EFB15704EE79D Time : 0.0 sec. user=PCZ [2012-05-24 14:59:47] 849*2^1184392-1 is not prime. Res64: B367CC9CF3369FB1 Time : 0.0 sec. user=PCZ [2012-05-24 15:00:03] 999*2^1184392-1 is not prime. Res64: E5BA277776197DA2 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:00:46] 823*2^1184387-1 is not prime. Res64: 1F0145811181F709 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:00:52] 983*2^1184376-1 is not prime. Res64: C8AE4137C2D24740 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:00:52] 609*2^1184377-1 is not prime. Res64: EBCF6CDCB5FA5771 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:00:54] 705*2^1184387-1 is not prime. Res64: E3F37A7EBD8C08A7 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:00:57] 745*2^1184391-1 is not prime. Res64: BD4849F8C0B5817C Time : 0.0 sec. user=mdettweiler [2012-05-24 15:00:58] 789*2^1184391-1 is not prime. Res64: F55416E3DB27CB2D Time : 0.0 sec. user=mdettweiler [2012-05-24 15:02:14] 895*2^1184391-1 is not prime. Res64: 4680EA10B35037C3 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:02:14] 615*2^1184392-1 is not prime. Res64: E50885E1DB3DF0D5 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:03:36] 799*2^1184377-1 is not prime. Res64: EE5849F52D03CF31 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:03:40] 805*2^1184377-1 is not prime. Res64: 06392A1E31ED1BF6 Time : 0.0 sec. user=PCZ [2012-05-24 15:03:55] 867*2^1184393-1 is not prime. Res64: F45F54DD7A21FA09 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:09:33] 625*2^1184389-1 is not prime. Res64: A185B6D6E1090C4A Time : 0.0 sec. user=PCZ [2012-05-24 15:09:35] 987*2^1184393-1 is not prime. Res64: 5EF4E9EB2D329656 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:09:40] 801*2^1184378-1 is not prime. Res64: D2DF1747CBC64CEC Time : 0.0 sec. user=mdettweiler [2012-05-24 15:09:43] 911*2^1184378-1 is not prime. Res64: 92A2C6CAEC69F050 Time : 0.0 sec. user=PCZ [2012-05-24 15:09:45] 683*2^1184394-1 is not prime. Res64: 7C718563C3E13575 Time : 0.0 sec. user=PCZ [2012-05-24 15:10:02] 725*2^1184394-1 is not prime. Res64: 002E8D84804AAB5A Time : 0.0 sec. user=mdettweiler [2012-05-24 15:10:23] 963*2^1184378-1 is not prime. Res64: 787BDD093F026B4A Time : 0.0 sec. user=mdettweiler [2012-05-24 15:10:24] 709*2^1184379-1 is not prime. Res64: 8B34896ADEF6D4F2 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:12:09] 607*2^1184393-1 is not prime. Res64: C3029B24F734BF55 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:12:09] 657*2^1184393-1 is not prime. Res64: 61562AB03F8BC92D Time : 0.0 sec. user=mdettweiler [2012-05-24 15:13:22] 727*2^1184393-1 is not prime. Res64: 9B631DB1EAB8B187 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:13:28] 819*2^1184393-1 is not prime. Res64: 4939587153FE6763 Time : 0.0 sec. user=PCZ [2012-05-24 15:13:53] 735*2^1184396-1 is not prime. Res64: 979D3BA2CA34D368 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:16:26] 677*2^1184390-1 is not prime. Res64: 334FC19DF3560220 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:17:27] 797*2^1184390-1 is not prime. Res64: 6FF1F364918E9D37 Time : 0.0 sec. user=PCZ [2012-05-24 15:19:31] 755*2^1184396-1 is not prime. Res64: D2D09F03DDC11BA4 Time : 0.0 sec. user=PCZ [2012-05-24 15:19:48] 893*2^1184396-1 is not prime. Res64: 9A6184491F11F1EA Time : 0.0 sec. user=PCZ [2012-05-24 15:20:03] 935*2^1184396-1 is not prime. Res64: A22844CC456E7C95 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:20:05] 957*2^1184390-1 is not prime. Res64: 491838B471EEF259 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:22:46] 759*2^1184395-1 is not prime. Res64: 214F40DA9FD5DCF3 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:22:46] 855*2^1184395-1 is not prime. Res64: CAE3783B8FA9A4D6 Time : 0.0 sec. user=PCZ [2012-05-24 15:23:48] 713*2^1184398-1 is not prime. Res64: 51C493E586000CDB Time : 0.0 sec. user=mdettweiler [2012-05-24 15:23:58] 891*2^1184395-1 is not prime. Res64: 6FC1B54177FBC4FE Time : 0.0 sec. user=mdettweiler [2012-05-24 15:23:58] 909*2^1184395-1 is not prime. Res64: B77F952854F7B9B5 Time : 0.0 sec. user=PCZ [2012-05-24 15:29:28] 825*2^1184398-1 is not prime. Res64: E39FAAD5AAD36E6A Time : 0.0 sec. user=PCZ [2012-05-24 15:29:48] 843*2^1184398-1 is not prime. Res64: 62172F37735E5924 Time : 0.0 sec. user=PCZ [2012-05-24 15:30:02] 981*2^1184398-1 is not prime. Res64: 892869D2DD9CC12B Time : 0.0 sec. user=vaughan [2012-05-24 15:32:24] 885*2^1184393-1 is not prime. Res64: 94F9F2D1AA1ECE55 Time : 0.0 sec. user=PCZ [2012-05-24 15:33:43] 635*2^1184400-1 is not prime. Res64: 1EA5566AD5DC635C Time : 0.0 sec. user=mdettweiler [2012-05-24 15:33:57] 829*2^1184397-1 is not prime. Res64: 5598C8CECBBBA58E Time : 0.0 sec. user=mdettweiler [2012-05-24 15:33:57] 919*2^1184397-1 is not prime. Res64: E5CCC261DC9AF0CB Time : 0.0 sec. user=mdettweiler [2012-05-24 15:35:13] 979*2^1184397-1 is not prime. Res64: 98720022479B4934 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:35:13] 611*2^1184398-1 is not prime. Res64: CB6CBE6D505EAF54 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:37:23] 861*2^1184393-1 is not prime. Res64: BF35F416839BE384 Time : 0.0 sec. user=PCZ [2012-05-24 15:39:24] 759*2^1184400-1 is not prime. Res64: F75447C771B361C6 Time : 0.0 sec. user=PCZ [2012-05-24 15:39:42] 795*2^1184400-1 is not prime. Res64: DC52F7FD8C15696A Time : 0.0 sec. user=PCZ [2012-05-24 15:39:57] 825*2^1184400-1 is not prime. Res64: F1D9AF0836AA2197 Time : 0.0 sec. user=PCZ [2012-05-24 15:43:38] 927*2^1184400-1 is not prime. Res64: 1FD7CABA8A1AEE86 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:44:30] 885*2^1184394-1 is not prime. Res64: B3347FB8E0686AB5 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:44:52] 825*2^1184399-1 is not prime. Res64: 404CE60567377D09 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:44:52] 969*2^1184399-1 is not prime. Res64: 59C5E89A7C6FFBAD Time : 0.0 sec. user=mdettweiler [2012-05-24 15:45:57] 699*2^1184400-1 is not prime. Res64: 8C12232F94B68C7E Time : 0.0 sec. user=mdettweiler [2012-05-24 15:45:57] 737*2^1184400-1 is not prime. Res64: B9B384A1370B983C Time : 0.0 sec. user=PCZ [2012-05-24 15:49:19] 931*2^1184401-1 is not prime. Res64: 5C890293362AFB55 Time : 0.0 sec. user=PCZ [2012-05-24 15:49:35] 945*2^1184401-1 is not prime. Res64: CCE13FC2D090FB3A Time : 0.0 sec. user=PCZ [2012-05-24 15:49:51] 951*2^1184401-1 is not prime. Res64: 5947277E3B11FC14 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 15:52:21] 767*2^1184396-1 is not prime. Res64: 9AB22D744174D1B3 Time : 0.0 sec. user=PCZ [2012-05-24 15:53:33] 987*2^1184401-1 is not prime. Res64: 9B5E4918170C415B Time : 0.0 sec. user=mdettweiler [2012-05-24 15:55:35] 983*2^1184400-1 is not prime. Res64: A1B81B88B199DF76 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:55:35] 609*2^1184401-1 is not prime. Res64: B1635DAFDCA3C674 Time : 0.0 sec. user=mdettweiler [2012-05-24 15:56:57] 681*2^1184401-1 is not prime. Res64: AF333CF55448AB2F Time : 0.0 sec. user=mdettweiler [2012-05-24 15:56:57] 835*2^1184401-1 is not prime. Res64: F495989968CF481C Time : 0.0 sec. user=PCZ [2012-05-24 15:59:13] 949*2^1184403-1 is not prime. Res64: BFAA09A5D1301F80 Time : 0.0 sec. user=PCZ [2012-05-24 15:59:31] 951*2^1184403-1 is not prime. Res64: 614AE09CF2F0E2C5 Time : 0.0 sec. user=PCZ [2012-05-24 15:59:44] 955*2^1184403-1 is not prime. Res64: 3CF11ADAF989D0EF Time : 0.0 sec. user=PCZ [2012-05-24 16:03:26] 759*2^1184404-1 is not prime. Res64: DC167E1E8E62836E Time : 0.0 sec. user=mdettweiler [2012-05-24 16:06:36] 999*2^1184401-1 is not prime. Res64: E7835340332263B4 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:06:36] 875*2^1184402-1 is not prime. Res64: 397B20C47F5A4C7E Time : 0.0 sec. user=mdettweiler [2012-05-24 16:07:45] 983*2^1184402-1 is not prime. Res64: B6BEB15CB50E3986 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:07:45] 871*2^1184403-1 is not prime. Res64: 27D3BDE61F1E4C91 Time : 0.0 sec. user=vaughan [2012-05-24 16:08:27] 887*2^1184400-1 is not prime. Res64: D0266ACED204190E Time : 0.0 sec. user=PCZ [2012-05-24 16:09:07] 993*2^1184404-1 is not prime. Res64: EDE1253AD2875828 Time : 0.0 sec. user=PCZ [2012-05-24 16:09:26] 607*2^1184405-1 is not prime. Res64: 78B83DD005388F64 Time : 0.0 sec. user=PCZ [2012-05-24 16:09:39] 657*2^1184405-1 is not prime. Res64: 21E6DF1098EB6305 Time : 0.0 sec. user=PCZ [2012-05-24 16:13:20] 759*2^1184405-1 is not prime. Res64: 7EC0910FBE6F67B3 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:17:22] 807*2^1184404-1 is not prime. Res64: 344690F0D0FCABC0 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:17:23] 833*2^1184404-1 is not prime. Res64: ECCB88A9907BC626 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:18:36] 959*2^1184404-1 is not prime. Res64: A6FFAAC5A800104C Time : 0.0 sec. user=mdettweiler [2012-05-24 16:18:36] 983*2^1184404-1 is not prime. Res64: 0089A532E8F00095 Time : 0.0 sec. user=PCZ [2012-05-24 16:19:09] 821*2^1184406-1 is not prime. Res64: 077867E418F40C74 Time : 0.0 sec. user=PCZ [2012-05-24 16:19:28] 861*2^1184406-1 is not prime. Res64: C9BF864FDBD381D3 Time : 0.0 sec. user=PCZ [2012-05-24 16:19:40] 945*2^1184406-1 is not prime. Res64: 04C5AD6326256EDD Time : 0.0 sec. user=PCZ [2012-05-24 16:23:19] 947*2^1184406-1 is not prime. Res64: E26E43D8295B0863 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:28:30] 859*2^1184405-1 is not prime. Res64: 5430CEF7DF7B479F Time : 0.0 sec. user=mdettweiler [2012-05-24 16:28:30] 885*2^1184405-1 is not prime. Res64: 7A22D0043FDD01A2 Time : 0.0 sec. user=PCZ [2012-05-24 16:29:03] 819*2^1184407-1 is not prime. Res64: 1101826B2C812C1B Time : 0.0 sec. user=PCZ [2012-05-24 16:29:26] 975*2^1184407-1 is not prime. Res64: DA7E3B181AE3EC4A Time : 0.0 sec. user=mdettweiler [2012-05-24 16:29:27] 713*2^1184406-1 is not prime. Res64: D24BD2CBCA091771 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:29:27] 723*2^1184406-1 is not prime. Res64: 133BB79CC7E37752 Time : 0.0 sec. user=PCZ [2012-05-24 16:29:40] 617*2^1184408-1 is not prime. Res64: CDA65FF2DBA6CB08 Time : 0.0 sec. user=PCZ [2012-05-24 16:33:15] 855*2^1184408-1 is not prime. Res64: EDFC1BB887924D1E Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 16:33:35] 991*2^1184403-1 is not prime. Res64: 68A0F0815B2C6696 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:38:12] 619*2^1184395-1 is not prime. Res64: 7900B7DADAE5394D Time : 0.0 sec. user=mdettweiler [2012-05-24 16:38:13] 631*2^1184395-1 is not prime. Res64: B322DA6C3FF85E5A Time : 0.0 sec. user=PCZ [2012-05-24 16:38:58] 957*2^1184408-1 is not prime. Res64: 5B4E2C84D1FCF1BF Time : 0.0 sec. user=mdettweiler [2012-05-24 16:39:11] 681*2^1184407-1 is not prime. Res64: DCE44F30861AD517 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:39:11] 685*2^1184407-1 is not prime. Res64: DF33B9069B116FEC Time : 0.0 sec. user=PCZ [2012-05-24 16:39:26] 969*2^1184408-1 is not prime. Res64: 19F5BB2FCE4C7ECC Time : 0.0 sec. user=PCZ [2012-05-24 16:39:38] 919*2^1184409-1 is not prime. Res64: 05B708F45891470D Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 16:40:03] 995*2^1184398-1 is not prime. Res64: FCD0CA3537D9003C Time : 0.0 sec. user=mdettweiler [2012-05-24 16:40:41] 729*2^1184407-1 is not prime. Res64: 2BA743686B03AA3E Time : 0.0 sec. user=mdettweiler [2012-05-24 16:40:41] 735*2^1184407-1 is not prime. Res64: FE216F31ABF6B5D9 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:42:34] 825*2^1184396-1 is not prime. Res64: 001A9F94E76CFC76 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:42:34] 845*2^1184396-1 is not prime. Res64: BEEA0BF0295F4B81 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:43:03] 661*2^1184397-1 is not prime. Res64: 60398F7095DEA4CD Time : 0.0 sec. user=mdettweiler [2012-05-24 16:43:03] 669*2^1184397-1 is not prime. Res64: CA2EBED3A2598AB0 Time : 0.0 sec. user=PCZ [2012-05-24 16:43:08] 605*2^1184410-1 is not prime. Res64: 6419EC5756D90215 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:43:26] 961*2^1184395-1 is not prime. Res64: EB73002CBD93C747 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:43:26] 985*2^1184395-1 is not prime. Res64: D4EE4F96E9551C4F Time : 0.0 sec. user=vaughan [2012-05-24 16:44:31] 777*2^1184406-1 is not prime. Res64: CBE1DEE8B2B84776 Time : 0.0 sec. user=PCZ [2012-05-24 16:48:52] 861*2^1184410-1 is not prime. Res64: 17D5F3D31772EA4C Time : 0.0 sec. user=PCZ [2012-05-24 16:49:20] 741*2^1184411-1 is not prime. Res64: 5A2B4819353E2BF8 Time : 0.0 sec. user=PCZ [2012-05-24 16:49:32] 745*2^1184411-1 is not prime. Res64: 7F4540DD3C717271 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:50:11] 935*2^1184408-1 is not prime. Res64: 53D8D8F021E1DC0D Time : 0.0 sec. user=mdettweiler [2012-05-24 16:50:11] 945*2^1184408-1 is not prime. Res64: 99FD97486BCD3880 Time : 0.0 sec. user=mdettweiler [2012-05-24 16:51:03] 811*2^1184409-1 is not prime. Res64: 36803756BCC018FF Time : 0.0 sec. user=mdettweiler [2012-05-24 16:51:04] 895*2^1184409-1 is not prime. Res64: B67425028DECE856 Time : 0.0 sec. user=PCZ [2012-05-24 16:53:02] 639*2^1184413-1 is not prime. Res64: 05BCA792D1991384 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 16:56:31] 975*2^1184406-1 is not prime. Res64: 54666837A92EDBA9 Time : 0.0 sec. user=PCZ [2012-05-24 16:58:46] 877*2^1184413-1 is not prime. Res64: 2DBAB881527F50AB Time : 0.0 sec. user=PCZ [2012-05-24 16:59:17] 961*2^1184413-1 is not prime. Res64: B3EDA09BD4B9CC14 Time : 0.0 sec. user=PCZ [2012-05-24 16:59:29] 635*2^1184414-1 is not prime. Res64: B57155696A44D070 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:00:26] 945*2^1184410-1 is not prime. Res64: 9668AC857BCA34C5 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:00:27] 987*2^1184410-1 is not prime. Res64: 21F702F98C0AB984 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:01:57] 781*2^1184411-1 is not prime. Res64: 28A0698279F8635E Time : 0.0 sec. user=mdettweiler [2012-05-24 17:01:58] 801*2^1184411-1 is not prime. Res64: 2903D43B00D98778 Time : 0.0 sec. user=PCZ [2012-05-24 17:02:55] 663*2^1184415-1 is not prime. Res64: B7F418C96E9ABA06 Time : 0.0 sec. user=PCZ [2012-05-24 17:08:41] 751*2^1184415-1 is not prime. Res64: 766BFD5CB7FE7C0F Time : 0.0 sec. user=PCZ [2012-05-24 17:09:16] 763*2^1184415-1 is not prime. Res64: 260E172D051456F2 Time : 0.0 sec. user=PCZ [2012-05-24 17:09:30] 853*2^1184415-1 is not prime. Res64: 2705D654C409B870 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:11:52] 641*2^1184414-1 is not prime. Res64: 1D9054108EAACE1E Time : 0.0 sec. user=mdettweiler [2012-05-24 17:11:53] 797*2^1184414-1 is not prime. Res64: 47DCAF47EF85198E Time : 0.0 sec. user=mdettweiler [2012-05-24 17:12:28] 827*2^1184414-1 is not prime. Res64: FE1050A863BAD976 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:12:30] 643*2^1184415-1 is not prime. Res64: 14EFFA1FB7662EE7 Time : 0.0 sec. user=PCZ [2012-05-24 17:12:49] 961*2^1184415-1 is not prime. Res64: 942FB86ED6D5EE88 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 17:17:53] 647*2^1184410-1 is not prime. Res64: 08CC7388C017566F Time : 0.0 sec. user=PCZ [2012-05-24 17:18:41] 963*2^1184415-1 is not prime. Res64: 2BCA0E49D2E6BEC8 Time : 0.0 sec. user=PCZ [2012-05-24 17:19:14] 615*2^1184416-1 is not prime. Res64: 08A69F477DC75FEE Time : 0.0 sec. user=PCZ [2012-05-24 17:19:29] 803*2^1184416-1 is not prime. Res64: 805C3C81F9B5AB22 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:22:05] 859*2^1184415-1 is not prime. Res64: 0D998490AFAEDF1F Time : 0.0 sec. user=mdettweiler [2012-05-24 17:22:06] 871*2^1184415-1 is not prime. Res64: 7B9BD4E921068C8F Time : 0.0 sec. user=PCZ [2012-05-24 17:22:41] 637*2^1184417-1 is not prime. Res64: 096F60B3529B061C Time : 0.0 sec. user=mdettweiler [2012-05-24 17:23:56] 885*2^1184415-1 is not prime. Res64: CB1467490F15E2C4 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:23:57] 891*2^1184415-1 is not prime. Res64: 7077602D524DC17C Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 17:25:17] 825*2^1184412-1 is not prime. Res64: 6D0C969741BBA191 Time : 0.0 sec. user=PCZ [2012-05-24 17:28:35] 727*2^1184417-1 is not prime. Res64: 334A9D7E028BEDB1 Time : 0.0 sec. user=PCZ [2012-05-24 17:29:06] 729*2^1184417-1 is not prime. Res64: 42DD9B44F4BBFDDF Time : 0.0 sec. user=PCZ [2012-05-24 17:29:22] 741*2^1184417-1 is not prime. Res64: 8A30A859424C174A Time : 0.0 sec. user=PCZ [2012-05-24 17:32:36] 931*2^1184417-1 is not prime. Res64: C3549828918AE805 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:33:52] 825*2^1184416-1 is not prime. Res64: 798EE9D9200F100C Time : 0.0 sec. user=mdettweiler [2012-05-24 17:33:53] 887*2^1184416-1 is not prime. Res64: C0EE7C7B9BB9D34C Time : 0.0 sec. user=mdettweiler [2012-05-24 17:34:22] 965*2^1184416-1 is not prime. Res64: 59EBF75FC730CEFC Time : 0.0 sec. user=mdettweiler [2012-05-24 17:34:23] 631*2^1184417-1 is not prime. Res64: 2BB417D7F1829FA8 Time : 0.0 sec. user=PCZ [2012-05-24 17:38:31] 885*2^1184418-1 is not prime. Res64: 098EF929B03AFB2C Time : 0.0 sec. user=PCZ [2012-05-24 17:38:59] 893*2^1184418-1 is not prime. Res64: 551AEBF5F0F814AD Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 17:39:00] 693*2^1184415-1 is not prime. Res64: C7A7B42C285622F2 Time : 0.0 sec. user=PCZ [2012-05-24 17:39:17] 601*2^1184419-1 is not prime. Res64: 0319431B04D3BA64 Time : 0.0 sec. user=PCZ [2012-05-24 17:42:34] 741*2^1184419-1 is not prime. Res64: 294B799EF9CAFC12 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:43:42] 777*2^1184417-1 is not prime. Res64: D3E539569C150C60 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:43:42] 909*2^1184417-1 is not prime. Res64: 4567A87F859B7BB1 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:45:25] 683*2^1184418-1 is not prime. Res64: 9BC6142D172BD89C Time : 0.0 sec. user=mdettweiler [2012-05-24 17:45:25] 755*2^1184418-1 is not prime. Res64: 216A06E7E70F30A8 Time : 0.0 sec. user=PCZ [2012-05-24 17:48:30] 609*2^1184420-1 is not prime. Res64: E179CD6E22B7CD7B Time : 0.0 sec. user=PCZ [2012-05-24 17:48:55] 665*2^1184420-1 is not prime. Res64: F0D592C46EFCE3F5 Time : 0.0 sec. user=PCZ [2012-05-24 17:49:12] 669*2^1184420-1 is not prime. Res64: 1F94F7E42FB77DDF Time : 0.0 sec. user=PCZ [2012-05-24 17:52:29] 795*2^1184420-1 is not prime. Res64: 8951831230C1DA80 Time : 0.0 sec. user=vaughan [2012-05-24 17:53:55] 775*2^1184413-1 is not prime. Res64: 7A7D6E63F374D992 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:55:10] 793*2^1184419-1 is not prime. Res64: 3CCF14B4AC2F51F4 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:55:10] 801*2^1184419-1 is not prime. Res64: 0C84AE7AE9AD08A5 Time : 0.0 sec. user=mdettweiler [2012-05-24 17:55:41] 843*2^1184419-1 is not prime. Res64: 51722C90259684CF Time : 0.0 sec. user=mdettweiler [2012-05-24 17:55:41] 859*2^1184419-1 is not prime. Res64: 2E80E7AD7A6B9E3B Time : 0.0 sec. user=PCZ [2012-05-24 17:58:28] 949*2^1184421-1 is not prime. Res64: C069189906A6094E Time : 0.0 sec. user=PCZ [2012-05-24 17:58:50] 991*2^1184421-1 is not prime. Res64: 9DDE08D99E9C99F4 Time : 0.0 sec. user=PCZ [2012-05-24 17:59:05] 647*2^1184422-1 is not prime. Res64: 02C2434CC1B2CF3D Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 18:00:55] 649*2^1184417-1 is not prime. Res64: 3C116FCB5039D9C7 Time : 0.0 sec. user=PCZ [2012-05-24 18:02:22] 665*2^1184422-1 is not prime. Res64: CFF3471E6163AEBB Time : 0.0 sec. user=mdettweiler [2012-05-24 18:04:46] 855*2^1184420-1 is not prime. Res64: 0C13EA2F6664C8CF Time : 0.0 sec. user=mdettweiler [2012-05-24 18:04:46] 875*2^1184420-1 is not prime. Res64: B36039DA8E2BDE91 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:06:35] 681*2^1184421-1 is not prime. Res64: 740A25C4C319F516 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:06:35] 889*2^1184421-1 is not prime. Res64: 6D7C16CB072D24AA Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 18:07:57] 767*2^1184418-1 is not prime. Res64: DA57C72BDB796411 Time : 0.0 sec. user=PCZ [2012-05-24 18:08:22] 773*2^1184424-1 is not prime. Res64: 824AD077EBDDFCFD Time : 0.0 sec. user=PCZ [2012-05-24 18:08:45] 893*2^1184424-1 is not prime. Res64: DBDBC784B9082270 Time : 0.0 sec. user=PCZ [2012-05-24 18:09:00] 685*2^1184425-1 is not prime. Res64: EF174C75FFEC0332 Time : 0.0 sec. user=PCZ [2012-05-24 18:12:19] 759*2^1184425-1 is not prime. Res64: 8D12525B4C58FBD8 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:14:52] 827*2^1184410-1 is not prime. Res64: 5F183F4A089E0EBA Time : 0.0 sec. user=mdettweiler [2012-05-24 18:14:53] 857*2^1184410-1 is not prime. Res64: CEB044974D5E07E7 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 18:15:58] 771*2^1184419-1 is not prime. Res64: 8758A22CBDCCF0EA Time : 0.0 sec. user=mdettweiler [2012-05-24 18:16:24] 943*2^1184423-1 is not prime. Res64: E2B76ECCC122C47F Time : 0.0 sec. user=mdettweiler [2012-05-24 18:16:24] 973*2^1184423-1 is not prime. Res64: 7EA99CAF72F8E7C9 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:16:48] 639*2^1184424-1 is not prime. Res64: F86C50458A0F9266 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:16:48] 705*2^1184424-1 is not prime. Res64: B0F63C053A07C56D Time : 0.0 sec. user=PCZ [2012-05-24 18:18:19] 915*2^1184425-1 is not prime. Res64: 5A60837B34AA0BC1 Time : 0.0 sec. user=PCZ [2012-05-24 18:18:39] 955*2^1184425-1 is not prime. Res64: C192CFB1EE63F898 Time : 0.0 sec. user=PCZ [2012-05-24 18:18:59] 987*2^1184425-1 is not prime. Res64: C3B7C4BF98D350E4 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:19:45] 991*2^1184411-1 is not prime. Res64: ADA12DD0856EACCA Time : 0.0 sec. user=mdettweiler [2012-05-24 18:19:45] 623*2^1184412-1 is not prime. Res64: 8284008402175C25 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:20:39] 687*2^1184413-1 is not prime. Res64: A6E51E4E55D90CB9 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:20:39] 691*2^1184413-1 is not prime. Res64: 06FEAC72E88EF2DD Time : 0.0 sec. user=mdettweiler [2012-05-24 18:21:56] 909*2^1184411-1 is not prime. Res64: F881B820799DCFAB Time : 0.0 sec. user=mdettweiler [2012-05-24 18:21:57] 973*2^1184411-1 is not prime. Res64: C9EF86A15BAAABA6 Time : 0.0 sec. user=PCZ [2012-05-24 18:22:16] 785*2^1184426-1 is not prime. Res64: 4457BF65FBC778AD Time : 0.0 sec. user=mdettweiler [2012-05-24 18:25:55] 771*2^1184425-1 is not prime. Res64: B4621B92E3D43B5F Time : 0.0 sec. user=mdettweiler [2012-05-24 18:25:55] 789*2^1184425-1 is not prime. Res64: BA98D763AF67A25D Time : 0.0 sec. user=mdettweiler [2012-05-24 18:27:47] 841*2^1184425-1 is not prime. Res64: C5CA1B8B01A71264 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:27:48] 855*2^1184425-1 is not prime. Res64: E7E1D7A51DA26668 Time : 0.0 sec. user=PCZ [2012-05-24 18:28:15] 825*2^1184427-1 is not prime. Res64: EF92133288015F3B Time : 0.0 sec. user=PCZ [2012-05-24 18:28:36] 951*2^1184427-1 is not prime. Res64: 3D1D30E79934EBC9 Time : 0.0 sec. user=PCZ [2012-05-24 18:28:55] 955*2^1184427-1 is not prime. Res64: B70E404BC908C363 Time : 0.0 sec. user=vaughan [2012-05-24 18:30:01] 821*2^1184422-1 is not prime. Res64: 61AD4CC99AAF9819 Time : 0.0 sec. user=PCZ [2012-05-24 18:32:13] 887*2^1184428-1 is not prime. Res64: B19774555C16E13D Time : 0.0 sec. user=PCZ [2012-05-24 18:38:09] 647*2^1184430-1 is not prime. Res64: 3AA203966CB80DAA Time : 0.0 sec. user=mdettweiler [2012-05-24 18:38:12] 941*2^1184426-1 is not prime. Res64: A3CFA193CA1F241E Time : 0.0 sec. user=mdettweiler [2012-05-24 18:38:13] 963*2^1184426-1 is not prime. Res64: FBF058814D2AD86E Time : 0.0 sec. user=mdettweiler [2012-05-24 18:38:19] 971*2^1184426-1 is not prime. Res64: 449FABB95C412D61 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:38:19] 705*2^1184427-1 is not prime. Res64: 165DC91A0ED69B4D Time : 0.0 sec. user=PCZ [2012-05-24 18:38:37] 717*2^1184430-1 is not prime. Res64: E52569636D7736CD Time : 0.0 sec. user=PCZ [2012-05-24 18:38:50] 723*2^1184430-1 is not prime. Res64: 71A8B2EDE2F71418 Time : 0.0 sec. user=PCZ [2012-05-24 18:42:09] 875*2^1184430-1 is not prime. Res64: C31588A546AD3C9C Time : 0.0 sec. user=mdettweiler [2012-05-24 18:47:51] 999*2^1184428-1 is not prime. Res64: 6B831B24CE90BE12 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:47:52] 649*2^1184429-1 is not prime. Res64: 9BBB6A7351AF9020 Time : 0.0 sec. user=PCZ [2012-05-24 18:48:03] 971*2^1184430-1 is not prime. Res64: 7832FEAE193D95C4 Time : 0.0 sec. user=PCZ [2012-05-24 18:48:31] 943*2^1184431-1 is not prime. Res64: 057E6439E8AF7E62 Time : 0.0 sec. user=PCZ [2012-05-24 18:48:47] 961*2^1184431-1 is not prime. Res64: 3677F026560E273C Time : 0.0 sec. user=mdettweiler [2012-05-24 18:49:42] 847*2^1184429-1 is not prime. Res64: B078E3D11FB7308C Time : 0.0 sec. user=mdettweiler [2012-05-24 18:49:42] 955*2^1184429-1 is not prime. Res64: 259042F9CAA53C38 Time : 0.0 sec. user=PCZ [2012-05-24 18:52:07] 609*2^1184432-1 is not prime. Res64: 5B3B49A4BCDF0F34 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 18:53:13] 861*2^1184425-1 is not prime. Res64: 34BBC46F55944212 Time : 0.0 sec. user=PCZ [2012-05-24 18:57:57] 743*2^1184432-1 is not prime. Res64: 172F28B349F482EA Time : 0.0 sec. user=PCZ [2012-05-24 18:58:24] 903*2^1184432-1 is not prime. Res64: C98AAE9AD1EF40B4 Time : 0.0 sec. user=PCZ [2012-05-24 18:58:40] 929*2^1184432-1 is not prime. Res64: 0B6EFDC8EF0B7878 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:59:48] 789*2^1184431-1 is not prime. Res64: 0C099B0D2D2BF7A2 Time : 0.0 sec. user=mdettweiler [2012-05-24 18:59:48] 871*2^1184431-1 is not prime. Res64: 07D782833FB00D75 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:00:03] 619*2^1184431-1 is not prime. Res64: A4BCA8D6107CA5B4 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:00:04] 679*2^1184431-1 is not prime. Res64: E8FB4CB28780ACA4 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 19:01:19] 911*2^1184426-1 is not prime. Res64: 27D99ABA03AC24FA Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 19:01:40] 917*2^1184426-1 is not prime. Res64: 2351433E66418B9F Time : 0.0 sec. user=PCZ [2012-05-24 19:02:02] 795*2^1184433-1 is not prime. Res64: B0BB505FF423CD65 Time : 0.0 sec. user=vaughan [2012-05-24 19:06:05] 833*2^1184430-1 is not prime. Res64: 54B4598C181BF608 Time : 0.0 sec. user=PCZ [2012-05-24 19:07:49] 817*2^1184433-1 is not prime. Res64: EBD756F8A2611821 Time : 0.0 sec. user=PCZ [2012-05-24 19:08:22] 867*2^1184433-1 is not prime. Res64: 9096C96645078747 Time : 0.0 sec. user=PCZ [2012-05-24 19:08:40] 889*2^1184433-1 is not prime. Res64: C9C206D93FE04EC0 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:09:25] 677*2^1184432-1 is not prime. Res64: 39C6B6165C5EE816 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:09:26] 693*2^1184432-1 is not prime. Res64: 90462E760B115A3C Time : 0.0 sec. user=mdettweiler [2012-05-24 19:11:22] 945*2^1184432-1 is not prime. Res64: 7DFCE361A7F7B7F7 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:11:22] 607*2^1184433-1 is not prime. Res64: 03A26E45B722A9DB Time : 0.0 sec. user=PCZ [2012-05-24 19:11:58] 981*2^1184434-1 is not prime. Res64: 9315DAEAD9E9EFAE Time : 0.0 sec. user=PCZ [2012-05-24 19:17:50] 823*2^1184435-1 is not prime. Res64: 720100626E4D0FD8 Time : 0.0 sec. user=PCZ [2012-05-24 19:18:20] 855*2^1184435-1 is not prime. Res64: 08E513E5D6F54FDC Time : 0.0 sec. user=PCZ [2012-05-24 19:18:39] 883*2^1184435-1 is not prime. Res64: 566793D985E69C33 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:21:20] 921*2^1184433-1 is not prime. Res64: 64BE16646D21E017 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:21:21] 991*2^1184433-1 is not prime. Res64: 680501C7B71AE92F Time : 0.0 sec. user=mdettweiler [2012-05-24 19:21:28] 611*2^1184434-1 is not prime. Res64: 69A1454B8FB7920F Time : 0.0 sec. user=mdettweiler [2012-05-24 19:21:29] 621*2^1184434-1 is not prime. Res64: 80FAB7A1C5918D3B Time : 0.0 sec. user=PCZ [2012-05-24 19:21:52] 867*2^1184436-1 is not prime. Res64: A87E5BC3F909307E Time : 0.0 sec. user=PCZ [2012-05-24 19:27:45] 909*2^1184436-1 is not prime. Res64: 10C1A459AC304EEA Time : 0.0 sec. user=PCZ [2012-05-24 19:28:14] 947*2^1184436-1 is not prime. Res64: 901458D5A3439E57 Time : 0.0 sec. user=PCZ [2012-05-24 19:28:31] 661*2^1184437-1 is not prime. Res64: EE542BD32635A39B Time : 0.0 sec. user=mdettweiler [2012-05-24 19:30:42] 921*2^1184435-1 is not prime. Res64: 6C27AC3A0734D754 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:30:43] 695*2^1184436-1 is not prime. Res64: 71712B0DBB4CC9E2 Time : 0.0 sec. user=PCZ [2012-05-24 19:31:50] 889*2^1184437-1 is not prime. Res64: 7D2E5FA05D6E703F Time : 0.0 sec. user=mdettweiler [2012-05-24 19:32:33] 717*2^1184436-1 is not prime. Res64: D6185555E6B9448D Time : 0.0 sec. user=mdettweiler [2012-05-24 19:32:33] 839*2^1184436-1 is not prime. Res64: A5308671090DE8D1 Time : 0.0 sec. user=PCZ [2012-05-24 19:37:43] 975*2^1184437-1 is not prime. Res64: 936FCE6565F920B7 Time : 0.0 sec. user=PCZ [2012-05-24 19:38:08] 641*2^1184438-1 is not prime. Res64: EC6323BA176DEC40 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 19:38:14] 807*2^1184433-1 is not prime. Res64: C7BAB6BDA586ABB9 Time : 0.0 sec. user=PCZ [2012-05-24 19:38:27] 663*2^1184438-1 is not prime. Res64: 3B0E63E1E0A7A8E5 Time : 0.0 sec. user=PCZ [2012-05-24 19:41:47] 827*2^1184438-1 is not prime. Res64: 4A9F6686CC6761A5 Time : 0.0 sec. user=vaughan [2012-05-24 19:42:13] 693*2^1184435-1 is not prime. Res64: 02B4361B602A9E3C Time : 0.0 sec. user=mdettweiler [2012-05-24 19:42:30] 747*2^1184437-1 is not prime. Res64: C5AAF472572B1111 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:42:31] 769*2^1184437-1 is not prime. Res64: FF8B438736AECF2F Time : 0.0 sec. user=mdettweiler [2012-05-24 19:42:35] 871*2^1184437-1 is not prime. Res64: D499F61E8AB11941 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:42:35] 885*2^1184437-1 is not prime. Res64: 479B219786EC9797 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 19:43:21] 885*2^1184433-1 is not prime. Res64: E365AB43CEE01750 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 19:45:32] 923*2^1184434-1 is not prime. Res64: ED10EC9A5E771C62 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 19:45:41] 833*2^1184434-1 is not prime. Res64: C676BD3A2E2263C2 Time : 0.0 sec. user=PCZ [2012-05-24 19:47:38] 897*2^1184438-1 is not prime. Res64: 76B02BCE7ED0D3FD Time : 0.0 sec. user=PCZ [2012-05-24 19:48:01] 945*2^1184438-1 is not prime. Res64: 81668718A60CAB64 Time : 0.0 sec. user=PCZ [2012-05-24 19:48:23] 977*2^1184438-1 is not prime. Res64: FB6CA906FF4D59AE Time : 0.0 sec. user=mdettweiler [2012-05-24 19:50:24] 801*2^1184426-1 is not prime. Res64: D134C384428DD05D Time : 0.0 sec. user=mdettweiler [2012-05-24 19:50:24] 827*2^1184426-1 is not prime. Res64: B086DC2FE0E92B14 Time : 0.0 sec. user=PCZ [2012-05-24 19:51:44] 615*2^1184439-1 is not prime. Res64: A305564DE00C037B Time : 0.0 sec. user=mdettweiler [2012-05-24 19:51:54] 693*2^1184438-1 is not prime. Res64: 024CE58FEB158B0C Time : 0.0 sec. user=mdettweiler [2012-05-24 19:51:54] 797*2^1184438-1 is not prime. Res64: FF47C41ABC47F09E Time : 0.0 sec. user=mdettweiler [2012-05-24 19:53:36] 843*2^1184438-1 is not prime. Res64: ADB4E5A9087D8258 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:53:37] 887*2^1184438-1 is not prime. Res64: 83437832B448F90C Time : 0.0 sec. user=mdettweiler [2012-05-24 19:54:59] 657*2^1184428-1 is not prime. Res64: 257705E03F5FBB75 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:55:00] 705*2^1184428-1 is not prime. Res64: 3B9CBD6FD612C687 Time : 0.0 sec. user=PCZ [2012-05-24 19:57:35] 909*2^1184440-1 is not prime. Res64: 59CBB007F9F5134A Time : 0.0 sec. user=PCZ [2012-05-24 19:57:59] 727*2^1184441-1 is not prime. Res64: 9C03B99618D84D9C Time : 0.0 sec. user=mdettweiler [2012-05-24 19:58:02] 723*2^1184428-1 is not prime. Res64: 377BEB6DF41A85C0 Time : 0.0 sec. user=mdettweiler [2012-05-24 19:58:02] 777*2^1184428-1 is not prime. Res64: 33A9FAE20315C814 Time : 0.0 sec. user=PCZ [2012-05-24 19:58:22] 811*2^1184441-1 is not prime. Res64: 1FB351826A647F8B Time : 0.0 sec. user=mdettweiler [2012-05-24 20:01:19] 843*2^1184428-1 is not prime. Res64: 1A9FC66127650D1E Time : 0.0 sec. user=mdettweiler [2012-05-24 20:01:19] 863*2^1184428-1 is not prime. Res64: 972B7C9FBADDA7BC Time : 0.0 sec. user=PCZ [2012-05-24 20:01:42] 937*2^1184441-1 is not prime. Res64: 5DC2085F31C03D55 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:03:38] 669*2^1184439-1 is not prime. Res64: 88766F77A83AC68B Time : 0.0 sec. user=mdettweiler [2012-05-24 20:03:41] 703*2^1184439-1 is not prime. Res64: 79F7A1565C4096AB Time : 0.0 sec. user=mdettweiler [2012-05-24 20:03:43] 991*2^1184439-1 is not prime. Res64: 17CE0AAC02AB7596 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:03:45] 999*2^1184439-1 is not prime. Res64: 8BB6EFACDE442EE5 Time : 0.0 sec. user=PCZ [2012-05-24 20:07:33] 797*2^1184442-1 is not prime. Res64: 8ADD07D2EBCA3B6B Time : 0.0 sec. user=PCZ [2012-05-24 20:07:54] 807*2^1184442-1 is not prime. Res64: BEA354AC7A0D3B59 Time : 0.0 sec. user=PCZ [2012-05-24 20:08:18] 603*2^1184443-1 is not prime. Res64: 2E97FDFC976F2BCE Time : 0.0 sec. user=PCZ [2012-05-24 20:11:39] 765*2^1184443-1 is not prime. Res64: 196CE08BF8E5E92D Time : 0.0 sec. user=mdettweiler [2012-05-24 20:12:52] 945*2^1184441-1 is not prime. Res64: 8DB3293994992A1F Time : 0.0 sec. user=mdettweiler [2012-05-24 20:12:53] 611*2^1184442-1 is not prime. Res64: F448F14D15AACFBD Time : 0.0 sec. user=mdettweiler [2012-05-24 20:14:42] 647*2^1184442-1 is not prime. Res64: 2A698FE6EE50CFE6 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:14:43] 681*2^1184442-1 is not prime. Res64: B049311F7BC9B21A Time : 0.0 sec. user=PCZ [2012-05-24 20:17:32] 677*2^1184444-1 is not prime. Res64: F74565E60337A6D3 Time : 0.0 sec. user=PCZ [2012-05-24 20:17:50] 749*2^1184444-1 is not prime. Res64: 22F0A6D582AFB975 Time : 0.0 sec. user=PCZ [2012-05-24 20:18:18] 755*2^1184444-1 is not prime. Res64: D26CBBF6789004BE Time : 0.0 sec. user=vaughan [2012-05-24 20:18:18] 619*2^1184439-1 is not prime. Res64: 7A2B353C957C1E9E Time : 0.0 sec. user=PCZ [2012-05-24 20:21:39] 795*2^1184444-1 is not prime. Res64: 35D31FDDD04DCA4A Time : 0.0 sec. user=mdettweiler [2012-05-24 20:24:49] 811*2^1184443-1 is not prime. Res64: 80BA899773AE6503 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:24:50] 915*2^1184443-1 is not prime. Res64: 09B00865A6592B70 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:24:53] 615*2^1184444-1 is not prime. Res64: D04E14BDD8188745 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:24:53] 617*2^1184444-1 is not prime. Res64: 61B8E5FFB0F02761 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 20:26:45] 623*2^1184440-1 is not prime. Res64: 03BD0A7973F248CC Time : 0.0 sec. user=PCZ [2012-05-24 20:27:29] 699*2^1184445-1 is not prime. Res64: F0394065CA311FF1 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 20:27:40] 797*2^1184440-1 is not prime. Res64: 23D67DD7E5D09A96 Time : 0.0 sec. user=PCZ [2012-05-24 20:27:44] 735*2^1184445-1 is not prime. Res64: 8B87D996CBD61D91 Time : 0.0 sec. user=PCZ [2012-05-24 20:28:13] 777*2^1184445-1 is not prime. Res64: BE31561B61AE6A4D Time : 0.0 sec. user=PCZ [2012-05-24 20:31:34] 831*2^1184445-1 is not prime. Res64: 860ACBC3435443F3 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:34:02] 833*2^1184444-1 is not prime. Res64: BC8B584E6A3E948E Time : 0.0 sec. user=mdettweiler [2012-05-24 20:34:03] 897*2^1184444-1 is not prime. Res64: 8782F8E23B8A6025 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:35:50] 655*2^1184445-1 is prime! Time : 0.0 sec. user=mdettweiler [2012-05-24 20:35:58] 669*2^1184445-1 is not prime. Res64: 1D4A4FDAA84604B5 Time : 0.0 sec. user=PCZ [2012-05-24 20:37:28] 855*2^1184446-1 is not prime. Res64: BE66518A59BA2130 Time : 0.0 sec. user=PCZ [2012-05-24 20:37:38] 881*2^1184446-1 is not prime. Res64: 16721EA7A6D75AFA Time : 0.0 sec. user=PCZ [2012-05-24 20:38:09] 917*2^1184446-1 is not prime. Res64: 50C4F2660354FA62 Time : 0.0 sec. user=PCZ [2012-05-24 20:41:32] 923*2^1184446-1 is not prime. Res64: B92D1CCFEE167F4D Time : 0.0 sec. user=mdettweiler [2012-05-24 20:45:50] 885*2^1184445-1 is not prime. Res64: DF0A144BBD9C08D2 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:45:51] 737*2^1184446-1 is not prime. Res64: 300BA65F1951EE15 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:45:54] 741*2^1184446-1 is not prime. Res64: 758FA481C20DC7D6 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:45:54] 755*2^1184446-1 is not prime. Res64: B0DE7ED408DC654E Time : 0.0 sec. user=PCZ [2012-05-24 20:47:24] 763*2^1184447-1 is not prime. Res64: 78BB7B58393989D9 Time : 0.0 sec. user=PCZ [2012-05-24 20:47:32] 781*2^1184447-1 is not prime. Res64: 139DFC0AE793C862 Time : 0.0 sec. user=PCZ [2012-05-24 20:48:03] 859*2^1184447-1 is not prime. Res64: AA23C5F5B725445E Time : 0.0 sec. user=PCZ [2012-05-24 20:51:28] 939*2^1184447-1 is not prime. Res64: 9703D6F4882AD518 Time : 0.0 sec. user=vaughan [2012-05-24 20:54:21] 795*2^1184445-1 is not prime. Res64: 62569F74733730FE Time : 0.0 sec. user=mdettweiler [2012-05-24 20:55:08] 983*2^1184446-1 is not prime. Res64: 947049E8AC3FED2F Time : 0.0 sec. user=mdettweiler [2012-05-24 20:55:09] 615*2^1184447-1 is not prime. Res64: 28FEA1B44654AE24 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:56:58] 673*2^1184447-1 is not prime. Res64: 42F0A5A6B7D52081 Time : 0.0 sec. user=mdettweiler [2012-05-24 20:56:59] 693*2^1184447-1 is not prime. Res64: CBB391411E70740B Time : 0.0 sec. user=PCZ [2012-05-24 20:57:21] 837*2^1184448-1 is not prime. Res64: 310B81E4A13075DF Time : 0.0 sec. user=PCZ [2012-05-24 20:57:31] 959*2^1184448-1 is not prime. Res64: D395CA67BAD5E798 Time : 0.0 sec. user=PCZ [2012-05-24 20:58:00] 993*2^1184448-1 is not prime. Res64: EEC8F4A34DAA1FA6 Time : 0.0 sec. user=PCZ [2012-05-24 21:01:24] 609*2^1184449-1 is not prime. Res64: A33FBAE3A2F616A0 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:06:51] 981*2^1184447-1 is not prime. Res64: DD7FA58C404199EA Time : 0.0 sec. user=mdettweiler [2012-05-24 21:06:52] 993*2^1184447-1 is not prime. Res64: 55CB1239D58057B7 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:06:56] 695*2^1184448-1 is not prime. Res64: 0C16AD493D31F52E Time : 0.0 sec. user=mdettweiler [2012-05-24 21:06:57] 803*2^1184448-1 is not prime. Res64: A7B8D9892A82BF85 Time : 0.0 sec. user=PCZ [2012-05-24 21:07:17] 797*2^1184450-1 is not prime. Res64: 6B9C3AD2F2E6ABAC Time : 0.0 sec. user=PCZ [2012-05-24 21:07:27] 927*2^1184450-1 is not prime. Res64: A01D0D2C5AB63135 Time : 0.0 sec. user=PCZ [2012-05-24 21:07:55] 987*2^1184450-1 is not prime. Res64: 837D9492E96B68E9 Time : 0.0 sec. user=PCZ [2012-05-24 21:11:20] 639*2^1184451-1 is not prime. Res64: 54AE332A9A2C2017 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:16:13] 637*2^1184449-1 is not prime. Res64: 5724688320825931 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:16:14] 771*2^1184449-1 is not prime. Res64: A1780F37EC7C9353 Time : 0.0 sec. user=PCZ [2012-05-24 21:17:14] 913*2^1184451-1 is not prime. Res64: 2B90D18436B426EB Time : 0.0 sec. user=PCZ [2012-05-24 21:17:28] 949*2^1184451-1 is not prime. Res64: 3A31D092811D90F9 Time : 0.0 sec. user=PCZ [2012-05-24 21:17:54] 609*2^1184452-1 is not prime. Res64: D2F29BD5316B8F27 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:17:58] 713*2^1184450-1 is not prime. Res64: 4B6B07A80BF9552D Time : 0.0 sec. user=mdettweiler [2012-05-24 21:17:58] 741*2^1184450-1 is not prime. Res64: 867C3D6D8DBFD4BD Time : 0.0 sec. user=PCZ [2012-05-24 21:21:19] 647*2^1184452-1 is not prime. Res64: 15C4EFE2DC322636 Time : 0.0 sec. user=PCZ [2012-05-24 21:27:13] 759*2^1184453-1 is not prime. Res64: 06075B533DC8C7B2 Time : 0.0 sec. user=PCZ [2012-05-24 21:27:23] 847*2^1184453-1 is not prime. Res64: B6CB22EB9ADBB1EC Time : 0.0 sec. user=PCZ [2012-05-24 21:27:50] 859*2^1184453-1 is not prime. Res64: 1033E6820DB5E2E0 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:28:00] 651*2^1184451-1 is not prime. Res64: F4D3A858387225B0 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:28:01] 829*2^1184451-1 is not prime. Res64: 46EC73131649402E Time : 0.0 sec. user=mdettweiler [2012-05-24 21:28:01] 835*2^1184451-1 is not prime. Res64: DD88BFE32211FAE8 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:28:02] 895*2^1184451-1 is not prime. Res64: 5E7C38D2E047D0BA Time : 0.0 sec. user=vaughan [2012-05-24 21:30:26] 625*2^1184449-1 is not prime. Res64: E3212384B6832CEE Time : 0.0 sec. user=PCZ [2012-05-24 21:31:13] 695*2^1184454-1 is not prime. Res64: D2966BC111F128E3 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:31:46] 885*2^1184441-1 is not prime. Res64: 175CBEB6C554D739 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:31:46] 901*2^1184441-1 is not prime. Res64: D36C12A9882C73C2 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:33:00] 683*2^1184442-1 is not prime. Res64: 9C054A504471774D Time : 0.0 sec. user=mdettweiler [2012-05-24 21:33:00] 711*2^1184442-1 is not prime. Res64: C619F28014707EF8 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 21:34:28] 661*2^1184447-1 is not prime. Res64: 49869D92A9B0C525 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:36:43] 873*2^1184442-1 is not prime. Res64: AE3C40662B2A48E0 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:36:43] 891*2^1184442-1 is not prime. Res64: 86A940793FE482F1 Time : 0.0 sec. user=PCZ [2012-05-24 21:37:07] 737*2^1184454-1 is not prime. Res64: 383EC1670E4377FC Time : 0.0 sec. user=mdettweiler [2012-05-24 21:37:17] 843*2^1184452-1 is not prime. Res64: D1D7664716BCB70A Time : 0.0 sec. user=mdettweiler [2012-05-24 21:37:17] 757*2^1184453-1 is not prime. Res64: A93AF1FC1E804E5D Time : 0.0 sec. user=PCZ [2012-05-24 21:37:19] 815*2^1184454-1 is not prime. Res64: 54481A67BB49C3E4 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:37:38] 703*2^1184443-1 is not prime. Res64: 659FC5FD7DD239A5 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:37:39] 741*2^1184443-1 is not prime. Res64: 6FA7B1B379E86196 Time : 0.0 sec. user=PCZ [2012-05-24 21:37:47] 861*2^1184454-1 is not prime. Res64: 941AC379FCBC4656 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:38:59] 885*2^1184453-1 is not prime. Res64: 81179087D07B2A38 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:38:59] 657*2^1184454-1 is not prime. Res64: 774B64508CA41E89 Time : 0.0 sec. user=PCZ [2012-05-24 21:41:08] 601*2^1184455-1 is not prime. Res64: 21DFF88D140A81B9 Time : 0.0 sec. user=PCZ [2012-05-24 21:47:01] 767*2^1184456-1 is not prime. Res64: 9020C85712B0CA88 Time : 0.0 sec. user=PCZ [2012-05-24 21:47:16] 837*2^1184456-1 is not prime. Res64: 03684CD939E6F1F5 Time : 0.0 sec. user=PCZ [2012-05-24 21:47:45] 957*2^1184456-1 is not prime. Res64: F93F77AB0B22C562 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 21:47:59] 949*2^1184447-1 is not prime. Res64: 1E3A8F3A90534D33 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:49:01] 863*2^1184454-1 is not prime. Res64: 2EF378CF4863F95C Time : 0.0 sec. user=mdettweiler [2012-05-24 21:49:01] 873*2^1184454-1 is not prime. Res64: 7F434D4712FD4A37 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:49:07] 885*2^1184454-1 is not prime. Res64: 93609B9D2EC96246 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:49:08] 921*2^1184454-1 is not prime. Res64: 1E41040D0A484367 Time : 0.0 sec. user=PCZ [2012-05-24 21:51:03] 871*2^1184457-1 is not prime. Res64: C18F0B3876E5BEF2 Time : 0.0 sec. user=PCZ [2012-05-24 21:56:58] 889*2^1184457-1 is not prime. Res64: FA5DC2D52FC2542B Time : 0.0 sec. user=PCZ [2012-05-24 21:57:10] 919*2^1184457-1 is not prime. Res64: E7E8F11A04E883F7 Time : 0.0 sec. user=PCZ [2012-05-24 21:57:40] 949*2^1184457-1 is not prime. Res64: 1C379F5DC6EA803C Time : 0.0 sec. user=mdettweiler [2012-05-24 21:58:19] 825*2^1184456-1 is not prime. Res64: 820643B392152101 Time : 0.0 sec. user=mdettweiler [2012-05-24 21:58:20] 833*2^1184456-1 is not prime. Res64: FF89C1142F924696 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:00:00] 835*2^1184457-1 is not prime. Res64: 0E407DD1BBE10129 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:00:00] 849*2^1184457-1 is not prime. Res64: B34C527D183B4658 Time : 0.0 sec. user=PCZ [2012-05-24 22:01:00] 923*2^1184458-1 is not prime. Res64: FD20C5012FAB0355 Time : 0.0 sec. user=vaughan [2012-05-24 22:06:31] 923*2^1184454-1 is not prime. Res64: 31F9EB27E6591C46 Time : 0.0 sec. user=PCZ [2012-05-24 22:06:56] 759*2^1184459-1 is not prime. Res64: 7A8C2919A3654E1F Time : 0.0 sec. user=PCZ [2012-05-24 22:07:03] 861*2^1184459-1 is not prime. Res64: 336474CBE6BE8488 Time : 0.0 sec. user=PCZ [2012-05-24 22:07:35] 635*2^1184460-1 is not prime. Res64: CBCFC5D0B72EFCA6 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:10:05] 707*2^1184458-1 is not prime. Res64: 82E520D529B573E2 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:10:06] 813*2^1184458-1 is not prime. Res64: D38CBA472510B08D Time : 0.0 sec. user=mdettweiler [2012-05-24 22:10:06] 845*2^1184458-1 is not prime. Res64: 77DEA502A88405A8 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:10:07] 915*2^1184458-1 is not prime. Res64: 902C5F7011ABDFE7 Time : 0.0 sec. user=PCZ [2012-05-24 22:10:55] 789*2^1184460-1 is not prime. Res64: 5BDE4035193973DB Time : 0.0 sec. user=PCZ [2012-05-24 22:16:59] 927*2^1184460-1 is not prime. Res64: 3E15B4EF39E69E6A Time : 0.0 sec. user=PCZ [2012-05-24 22:17:00] 845*2^1184460-1 is not prime. Res64: 7906254C2C839A19 Time : 0.0 sec. user=PCZ [2012-05-24 22:17:30] 621*2^1184461-1 is not prime. Res64: CEA55232B105EBFD Time : 0.0 sec. user=mdettweiler [2012-05-24 22:19:17] 653*2^1184460-1 is not prime. Res64: 4D9E82E991A5DF00 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:19:18] 759*2^1184460-1 is not prime. Res64: 69E514129E154FED Time : 0.0 sec. user=PCZ [2012-05-24 22:20:52] 981*2^1184461-1 is not prime. Res64: 8EE1802B0A217DE8 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:21:04] 773*2^1184460-1 is not prime. Res64: DF41D2A9A021F005 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:21:05] 783*2^1184460-1 is not prime. Res64: 95F4F4B4015C92D0 Time : 0.0 sec. user=PCZ [2012-05-24 22:26:56] 675*2^1184462-1 is not prime. Res64: B3AF62422FC6AF4E Time : 0.0 sec. user=PCZ [2012-05-24 22:26:57] 623*2^1184462-1 is not prime. Res64: 0F0B2010F4BC64BF Time : 0.0 sec. user=PCZ [2012-05-24 22:27:25] 791*2^1184462-1 is not prime. Res64: 9861C054F239BE14 Time : 0.0 sec. user=PCZ [2012-05-24 22:30:46] 935*2^1184462-1 is not prime. Res64: 5BD37590EC320046 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:31:10] 951*2^1184461-1 is not prime. Res64: 65E9F9347B4D6877 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:31:10] 751*2^1184461-1 is not prime. Res64: B77DA6300E131462 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:31:11] 979*2^1184461-1 is not prime. Res64: EB8D0CA212591DCA Time : 0.0 sec. user=mdettweiler [2012-05-24 22:31:11] 771*2^1184461-1 is not prime. Res64: 9CC64B71E9DC9886 Time : 0.0 sec. user=PCZ [2012-05-24 22:36:50] 741*2^1184463-1 is not prime. Res64: E7D60D62F7D075AF Time : 0.0 sec. user=PCZ [2012-05-24 22:36:51] 891*2^1184463-1 is not prime. Res64: 05F158F0764DD4F5 Time : 0.0 sec. user=PCZ [2012-05-24 22:37:21] 849*2^1184464-1 is not prime. Res64: BA1B3933BF983AAA Time : 0.0 sec. user=mdettweiler [2012-05-24 22:40:23] 825*2^1184462-1 is not prime. Res64: 92F37844B42ADB7F Time : 0.0 sec. user=mdettweiler [2012-05-24 22:40:23] 921*2^1184462-1 is not prime. Res64: 51E10DBB62E1652E Time : 0.0 sec. user=PCZ [2012-05-24 22:40:39] 887*2^1184464-1 is not prime. Res64: F95D6D62A8C48022 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:42:14] 965*2^1184462-1 is not prime. Res64: 256046249308988E Time : 0.0 sec. user=mdettweiler [2012-05-24 22:42:14] 649*2^1184463-1 is not prime. Res64: DB08C881F4F392FF Time : 0.0 sec. user=vaughan [2012-05-24 22:42:40] 825*2^1184460-1 is not prime. Res64: 7AC1D50710D947EC Time : 0.0 sec. user=PCZ [2012-05-24 22:46:46] 987*2^1184465-1 is not prime. Res64: 6F1E3167EBD95D86 Time : 0.0 sec. user=PCZ [2012-05-24 22:46:47] 787*2^1184465-1 is not prime. Res64: F5340E3CEEFF5A41 Time : 0.0 sec. user=PCZ [2012-05-24 22:47:15] 683*2^1184466-1 is not prime. Res64: E00B46DA8A7E7DF9 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 22:50:08] 973*2^1184455-1 is not prime. Res64: 4C7813675E435F30 Time : 0.0 sec. user=PCZ [2012-05-24 22:50:32] 633*2^1184467-1 is not prime. Res64: 4C33C207648E9BF7 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:52:13] 777*2^1184465-1 is not prime. Res64: E09E6E7AD7873743 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:52:14] 601*2^1184465-1 is not prime. Res64: B336160350C0AF61 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:52:14] 781*2^1184465-1 is not prime. Res64: 033D0AA633D541B8 Time : 0.0 sec. user=mdettweiler [2012-05-24 22:52:14] 619*2^1184465-1 is not prime. Res64: D3ECA9D442E68947 Time : 0.0 sec. user=PCZ [2012-05-24 22:56:43] 859*2^1184467-1 is not prime. Res64: 6A46E2A2F4C9DE5B Time : 0.0 sec. user=PCZ [2012-05-24 22:56:43] 889*2^1184467-1 is not prime. Res64: A74B1D4EB1A1F912 Time : 0.0 sec. user=PCZ [2012-05-24 22:57:13] 951*2^1184467-1 is not prime. Res64: F5A35C2B383DF207 Time : 0.0 sec. user=PCZ [2012-05-24 23:00:25] 633*2^1184468-1 is not prime. Res64: F72A1D53F5CEC28B Time : 0.0 sec. user=mdettweiler [2012-05-24 23:01:19] 933*2^1184466-1 is not prime. Res64: 8C2EAE402F25FD64 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:01:21] 609*2^1184467-1 is not prime. Res64: E095A0915213DD30 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:03:19] 651*2^1184467-1 is not prime. Res64: 2CEAA39B8B54F5E1 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:03:20] 699*2^1184467-1 is not prime. Res64: 8287100AB4DAB922 Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 23:04:31] 603*2^1184458-1 is not prime. Res64: 2E413534EBDF3CDF Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 23:05:00] 665*2^1184458-1 is not prime. Res64: D2A46ECD6813968C Time : 0.0 sec. user=PCZ [2012-05-24 23:06:38] 845*2^1184468-1 is not prime. Res64: 8AB77778C2F62BCF Time : 0.0 sec. user=PCZ [2012-05-24 23:06:39] 875*2^1184468-1 is not prime. Res64: 8DDEA5B7C5EFF7C7 Time : 0.0 sec. user=PCZ [2012-05-24 23:07:09] 897*2^1184468-1 is not prime. Res64: EE87FFA57FCDA1AB Time : 0.0 sec. user=Alexis_Kravtchenko [2012-05-24 23:08:33] 993*2^1184458-1 is not prime. Res64: C457850D4143678F Time : 0.0 sec. user=mdettweiler [2012-05-24 23:09:19] 735*2^1184455-1 is not prime. Res64: 089F9E016C586DAE Time : 0.0 sec. user=mdettweiler [2012-05-24 23:09:20] 771*2^1184455-1 is not prime. Res64: 0018081CCD0C74CE Time : 0.0 sec. user=PCZ [2012-05-24 23:10:22] 929*2^1184468-1 is not prime. Res64: 1B0DDA4A5665D0F8 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:11:34] 909*2^1184455-1 is not prime. Res64: 41E4B83FA2B54F58 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:11:38] 933*2^1184455-1 is not prime. Res64: 7C0AC48DC34B6CCC Time : 0.0 sec. user=mdettweiler [2012-05-24 23:13:09] 635*2^1184468-1 is not prime. Res64: 167DB9FFC3DBB40B Time : 0.0 sec. user=mdettweiler [2012-05-24 23:13:10] 647*2^1184468-1 is not prime. Res64: 88BD27E5B7035DE5 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:13:13] 699*2^1184468-1 is not prime. Res64: 450F298A53DAEF68 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:13:14] 797*2^1184468-1 is not prime. Res64: 4322B1A4E4DC98E7 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:13:52] 617*2^1184456-1 is not prime. Res64: BA87FD8D0AC9C9F0 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:13:52] 747*2^1184456-1 is not prime. Res64: D7B55E4DBB8D759D Time : 0.0 sec. user=mdettweiler [2012-05-24 23:14:33] 903*2^1184456-1 is not prime. Res64: 4C92D8E1A01E8111 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:14:34] 923*2^1184456-1 is not prime. Res64: BCC54D61ABD67258 Time : 0.0 sec. user=PCZ [2012-05-24 23:16:35] 817*2^1184469-1 is not prime. Res64: 2593B2E55D5DC783 Time : 0.0 sec. user=PCZ [2012-05-24 23:16:39] 831*2^1184469-1 is not prime. Res64: 2E241CA6EB948FE7 Time : 0.0 sec. user=PCZ [2012-05-24 23:17:13] 877*2^1184469-1 is not prime. Res64: 068FD0AE95542B16 Time : 0.0 sec. user=vaughan [2012-05-24 23:18:45] 759*2^1184467-1 is not prime. Res64: 9FB290D96A6893D1 Time : 0.0 sec. user=PCZ [2012-05-24 23:20:20] 997*2^1184469-1 is not prime. Res64: D422682038735A97 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:22:18] 615*2^1184469-1 is not prime. Res64: ED32F6045C594A8D Time : 0.0 sec. user=mdettweiler [2012-05-24 23:22:19] 621*2^1184469-1 is not prime. Res64: 259BAE4B47F44FE4 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:24:27] 667*2^1184469-1 is not prime. Res64: E851AD1061F48C8B Time : 0.0 sec. user=mdettweiler [2012-05-24 23:24:28] 709*2^1184469-1 is not prime. Res64: 8752EE63DF1E8C66 Time : 0.0 sec. user=PCZ [2012-05-24 23:26:30] 715*2^1184471-1 is not prime. Res64: 826CBC02D7375A53 Time : 0.0 sec. user=PCZ [2012-05-24 23:26:33] 735*2^1184471-1 is not prime. Res64: FABBC695676082A2 Time : 0.0 sec. user=PCZ [2012-05-24 23:27:08] 883*2^1184471-1 is not prime. Res64: 03A82C44262D6A39 Time : 0.0 sec. user=PCZ [2012-05-24 23:30:13] 627*2^1184472-1 is not prime. Res64: 924786907A0C1D07 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:34:22] 731*2^1184470-1 is not prime. Res64: 7683D3C827206AA2 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:34:22] 761*2^1184470-1 is not prime. Res64: D85826AE81F540E9 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:34:36] 773*2^1184470-1 is not prime. Res64: B490D0B764F5BD5C Time : 0.0 sec. user=mdettweiler [2012-05-24 23:34:37] 777*2^1184470-1 is not prime. Res64: AF5F60A0BCC80030 Time : 0.0 sec. user=PCZ [2012-05-24 23:36:26] 977*2^1184472-1 is not prime. Res64: 1919997F092BA719 Time : 0.0 sec. user=PCZ [2012-05-24 23:36:33] 999*2^1184472-1 is not prime. Res64: 64837B7F002ED097 Time : 0.0 sec. user=PCZ [2012-05-24 23:37:06] 699*2^1184473-1 is not prime. Res64: 00025986D0671DEF Time : 0.0 sec. user=PCZ [2012-05-24 23:40:09] 729*2^1184473-1 is not prime. Res64: 7C5FEAF0C71E6D3A Time : 0.0 sec. user=mdettweiler [2012-05-24 23:43:34] 669*2^1184472-1 is not prime. Res64: D5EA137E5F2907B7 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:43:35] 689*2^1184472-1 is not prime. Res64: 335FD6D728A53B3A Time : 0.0 sec. user=mdettweiler [2012-05-24 23:45:44] 857*2^1184472-1 is not prime. Res64: 48579116A7C50C44 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:45:45] 915*2^1184472-1 is not prime. Res64: 00F92C5BE221089A Time : 0.0 sec. user=PCZ [2012-05-24 23:46:22] 671*2^1184474-1 is not prime. Res64: 9CEA8BB70DF73602 Time : 0.0 sec. user=PCZ [2012-05-24 23:46:28] 741*2^1184474-1 is not prime. Res64: A0CC9E6D4DBD23F5 Time : 0.0 sec. user=PCZ [2012-05-24 23:47:00] 833*2^1184474-1 is not prime. Res64: D370A20DE45075C0 Time : 0.0 sec. user=PCZ [2012-05-24 23:50:07] 903*2^1184474-1 is not prime. Res64: AE7CE1207B351B97 Time : 0.0 sec. user=vaughan [2012-05-24 23:54:48] 885*2^1184471-1 is not prime. Res64: DA0B5A3B63113EF4 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:55:21] 855*2^1184473-1 is not prime. Res64: D88EA93F43478C17 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:55:21] 885*2^1184473-1 is not prime. Res64: 2534234E3CC7FF27 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:55:35] 915*2^1184473-1 is not prime. Res64: 66A54BBE9A217EC1 Time : 0.0 sec. user=mdettweiler [2012-05-24 23:55:35] 635*2^1184474-1 is not prime. Res64: 5936196D560A088D Time : 0.0 sec. user=PCZ [2012-05-24 23:56:14] 853*2^1184475-1 is not prime. Res64: 542079C1D3C7E549 Time : 0.0 sec. user=PCZ [2012-05-24 23:56:19] 859*2^1184475-1 is not prime. Res64: 4F9521636850BF12 Time : 0.0 sec. user=PCZ [2012-05-24 23:56:55] 909*2^1184475-1 is not prime. Res64: 956AF169AB56E14E Time : 0.0 sec. user=PCZ [2012-05-25 00:00:02] 623*2^1184476-1 is not prime. Res64: 56D3EB8EB314F44C Time : 0.0 sec.