user=mdettweiler [2013-02-19 00:01:17] 607*2^1241293-1 is not prime. Res64: 28375CC005ACDD73 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:01:18] 639*2^1241293-1 is not prime. Res64: C600BC64E65B9679 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:11:37] 831*2^1241293-1 is not prime. Res64: 6DACA4FA6A2E32FF Time : 0.0 sec. user=mdettweiler [2013-02-19 00:11:39] 859*2^1241293-1 is not prime. Res64: BCDE92A230B422FC Time : 0.0 sec. user=mdettweiler [2013-02-19 00:18:40] 955*2^1241293-1 is not prime. Res64: B60C375D8E406BD4 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:18:41] 663*2^1241294-1 is not prime. Res64: 65C1401E36850C70 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:29:25] 675*2^1241294-1 is not prime. Res64: 3EC97C54ED400E00 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:29:27] 773*2^1241294-1 is not prime. Res64: 9E7B881EA525FD4B Time : 0.0 sec. user=mdettweiler [2013-02-19 00:36:07] 613*2^1241295-1 is not prime. Res64: 80E2740381F5D8DE Time : 0.0 sec. user=mdettweiler [2013-02-19 00:36:08] 619*2^1241295-1 is not prime. Res64: F1622D6082B70233 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:46:57] 649*2^1241295-1 is not prime. Res64: 9A81C195B1097B13 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:46:58] 651*2^1241295-1 is not prime. Res64: B12CA7DF6D1BCC70 Time : 0.0 sec. user=mdettweiler [2013-02-19 00:53:29] 895*2^1241295-1 is not prime. Res64: EF82FEF34D19A90D Time : 0.0 sec. user=mdettweiler [2013-02-19 00:53:29] 675*2^1241296-1 is not prime. Res64: 5C372677961B193C Time : 0.0 sec. user=mdettweiler [2013-02-19 01:04:20] 839*2^1241296-1 is not prime. Res64: ED3F9474A7F4F526 Time : 0.0 sec. user=mdettweiler [2013-02-19 01:04:21] 845*2^1241296-1 is not prime. Res64: 089E702FCA17B237 Time : 0.0 sec. user=mdettweiler [2013-02-19 01:10:51] 969*2^1241296-1 is not prime. Res64: 18F0679B085E3CA0 Time : 0.0 sec. user=mdettweiler [2013-02-19 01:10:53] 983*2^1241296-1 is not prime. Res64: 7B241B4F041B0460 Time : 0.0 sec. user=juhehe [2013-02-19 01:15:41] 917*2^1241294-1 is not prime. Res64: 3396BEB39E3E1A0A Time : 0.0 sec. user=mdettweiler [2013-02-19 01:21:45] 685*2^1241297-1 is not prime. Res64: 94D8F2FD4F4971CA Time : 0.0 sec. user=mdettweiler [2013-02-19 01:21:45] 741*2^1241297-1 is not prime. Res64: 541DBBBA156CE0C2 Time : 0.0 sec. user=mdettweiler [2013-02-19 01:28:17] 837*2^1241297-1 is not prime. Res64: 0C1B571010C7E896 Time : 0.0 sec. user=mdettweiler [2013-02-19 01:28:17] 867*2^1241297-1 is not prime. Res64: 46E8904597D628A1 Time : 0.0 sec. user=mdettweiler [2013-02-19 01:39:06] 991*2^1241297-1 is not prime. Res64: 908C48EF77189D2C Time : 0.0 sec. user=mdettweiler [2013-02-19 01:39:07] 651*2^1241298-1 is not prime. Res64: ECD7A67979F9E506 Time : 0.0 sec. user=juhehe [2013-02-19 01:43:37] 785*2^1241296-1 is not prime. Res64: CFC4D14567C2C2B9 Time : 0.0 sec. user=mdettweiler [2013-02-19 01:45:38] 735*2^1241298-1 is not prime. Res64: 49540E2DA91A88CB Time : 0.0 sec. user=mdettweiler [2013-02-19 01:45:38] 773*2^1241298-1 is not prime. Res64: 35217F9ECFAA79CD Time : 0.0 sec. user=mdettweiler [2013-02-19 01:56:28] 801*2^1241298-1 is not prime. Res64: AF6CF94B3B3B926D Time : 0.0 sec. user=mdettweiler [2013-02-19 01:56:29] 803*2^1241298-1 is not prime. Res64: CA4BC0C5EE4D9011 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:03:00] 825*2^1241298-1 is not prime. Res64: BA03A6BE486B751E Time : 0.0 sec. user=mdettweiler [2013-02-19 02:03:01] 861*2^1241298-1 is not prime. Res64: 54184A5D89C538F6 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:13:51] 945*2^1241298-1 is not prime. Res64: B8D47EA9A229F732 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:13:52] 1001*2^1241298-1 is not prime. Res64: 2C050A17264A3047 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:20:25] 633*2^1241299-1 is not prime. Res64: B7163A8F591DC191 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:20:26] 639*2^1241299-1 is not prime. Res64: E020E96A8C639E21 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:31:13] 733*2^1241299-1 is not prime. Res64: 03835A823C72B299 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:31:15] 745*2^1241299-1 is not prime. Res64: 2AE898A6108A1C01 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:37:47] 793*2^1241299-1 is not prime. Res64: 4DAE7D0FC13EDFEC Time : 0.0 sec. user=mdettweiler [2013-02-19 02:37:48] 975*2^1241299-1 is not prime. Res64: 01C490A1AE241BD8 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:48:39] 603*2^1241300-1 is not prime. Res64: B1C7E85D6FDD700E Time : 0.0 sec. user=mdettweiler [2013-02-19 02:48:40] 605*2^1241300-1 is not prime. Res64: 211416375561C63D Time : 0.0 sec. user=mdettweiler [2013-02-19 02:55:10] 753*2^1241300-1 is not prime. Res64: CF2CD6CBAC4729C1 Time : 0.0 sec. user=mdettweiler [2013-02-19 02:55:10] 825*2^1241300-1 is not prime. Res64: 086A141056BDDC9B Time : 0.0 sec. user=mdettweiler [2013-02-19 03:06:12] 935*2^1241300-1 is not prime. Res64: 655E7FAB439463C3 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:06:14] 945*2^1241300-1 is not prime. Res64: 68BE5CA2CF8C87F8 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:12:33] 649*2^1241301-1 is not prime. Res64: 01800A94599F8F25 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:12:34] 653*2^1241302-1 is not prime. Res64: A1353A2285E689D8 Time : 0.0 sec. user=juhehe [2013-02-19 03:16:35] 775*2^1241299-1 is not prime. Res64: A095B5287B836979 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:23:41] 657*2^1241302-1 is not prime. Res64: FA6AD27ED4D7B8F3 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:23:42] 705*2^1241302-1 is not prime. Res64: 5E524A362C16BAE2 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:29:56] 765*2^1241302-1 is not prime. Res64: 4DD3DF5A5B60A6B7 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:29:56] 791*2^1241302-1 is not prime. Res64: DAAE60EB34C00C55 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:41:04] 857*2^1241302-1 is not prime. Res64: B1C826C73810EDD5 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:41:05] 915*2^1241302-1 is not prime. Res64: 951846D3D93DBB75 Time : 0.0 sec. user=juhehe [2013-02-19 03:43:51] 839*2^1241300-1 is not prime. Res64: 4B11A2D77C7C9A0A Time : 0.0 sec. user=mdettweiler [2013-02-19 03:47:17] 917*2^1241302-1 is not prime. Res64: 5F7664BA5A0B8229 Time : 0.0 sec. user=mdettweiler [2013-02-19 03:47:17] 603*2^1241303-1 is not prime. Res64: 5A96EA3B247CCC93 Time : 0.0 sec. user=mdettweiler [2013-02-19 08:42:16] 669*2^1241303-1 is not prime. Res64: 270C4EEEDF954272 Time : 0.0 sec. user=mdettweiler [2013-02-19 08:42:16] 789*2^1241303-1 is not prime. Res64: D6F470DB770FBE02 Time : 0.0 sec. user=mdettweiler [2013-02-19 08:53:39] 609*2^1241303-1 is not prime. Res64: 9D4E747B89787E80 Time : 0.0 sec. user=mdettweiler [2013-02-19 08:53:40] 621*2^1241303-1 is not prime. Res64: 640397795E5A5100 Time : 0.0 sec. user=mdettweiler [2013-02-19 08:59:40] 985*2^1241303-1 is not prime. Res64: 1ABACAA1F654D9F0 Time : 0.0 sec. user=mdettweiler [2013-02-19 08:59:41] 605*2^1241304-1 is not prime. Res64: 8D1B010EF2E708A9 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:11:03] 737*2^1241304-1 is not prime. Res64: E9932B1919DC28BB Time : 0.0 sec. user=mdettweiler [2013-02-19 09:11:05] 753*2^1241304-1 is not prime. Res64: 556CC5D272BDC300 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:17:02] 789*2^1241304-1 is not prime. Res64: 86799791CD538D94 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:17:03] 837*2^1241304-1 is not prime. Res64: 1EA0A2BDE336AE1D Time : 0.0 sec. user=juhehe [2013-02-19 09:20:54] 855*2^1241303-1 is not prime. Res64: E7FE2DF51516AC84 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:28:30] 903*2^1241304-1 is not prime. Res64: 60FCA2502D83DAEE Time : 0.0 sec. user=mdettweiler [2013-02-19 09:28:31] 645*2^1241305-1 is not prime. Res64: C7053A385057CAD1 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:34:27] 675*2^1241305-1 is not prime. Res64: 6611C32454C24D1C Time : 0.0 sec. user=mdettweiler [2013-02-19 09:34:28] 687*2^1241305-1 is not prime. Res64: A977BD18BE8E27F1 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:45:58] 801*2^1241305-1 is not prime. Res64: B4F9DB04AC894235 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:45:59] 841*2^1241305-1 is not prime. Res64: 505994BEAD90A6C0 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:51:49] 877*2^1241305-1 is not prime. Res64: 4DE97838D096C1B9 Time : 0.0 sec. user=mdettweiler [2013-02-19 09:51:50] 937*2^1241305-1 is not prime. Res64: 5B9E91DBF2063668 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:03:24] 997*2^1241305-1 is not prime. Res64: B1C444AECE8C9773 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:03:26] 657*2^1241306-1 is not prime. Res64: 09D63D9CE403DD5A Time : 0.0 sec. user=mdettweiler [2013-02-19 10:09:15] 755*2^1241306-1 is not prime. Res64: B639E9B90AEF3324 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:09:16] 843*2^1241306-1 is not prime. Res64: 315D7803BED8AF62 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:20:53] 873*2^1241306-1 is not prime. Res64: 37D1EFF99836E931 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:20:53] 887*2^1241306-1 is not prime. Res64: 30153CDEF0077B1A Time : 0.0 sec. user=juhehe [2013-02-19 10:22:43] 729*2^1241305-1 is not prime. Res64: C2727E4A6CA3A3CD Time : 0.0 sec. user=mdettweiler [2013-02-19 10:26:40] 935*2^1241306-1 is not prime. Res64: 74B4A62FAF7A4795 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:26:40] 945*2^1241306-1 is not prime. Res64: B31244CA156C2B2E Time : 0.0 sec. user=mdettweiler [2013-02-19 10:38:15] 635*2^1241308-1 is not prime. Res64: 228A7957F37EAA43 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:38:16] 647*2^1241308-1 is not prime. Res64: DE8A70E405C7B965 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:44:01] 687*2^1241308-1 is not prime. Res64: BDE49EFC3A965412 Time : 0.0 sec. user=mdettweiler [2013-02-19 10:44:02] 773*2^1241308-1 is not prime. Res64: 9582BA7ADFD424CB Time : 0.0 sec. user=mdettweiler [2013-02-19 10:55:38] 819*2^1241308-1 is not prime. Res64: 95EEF829DA249D6B Time : 0.0 sec. user=mdettweiler [2013-02-19 10:55:39] 825*2^1241308-1 is not prime. Res64: 5D4C7A3FA7FF8724 Time : 0.0 sec. user=mdettweiler [2013-02-19 11:01:24] 839*2^1241308-1 is not prime. Res64: 2A49AFDE198424DE Time : 0.0 sec. user=mdettweiler [2013-02-19 11:01:26] 759*2^1241309-1 is not prime. Res64: 5C3AA8B06ADF2A3A Time : 0.0 sec. user=mdettweiler [2013-02-19 11:13:05] 949*2^1241309-1 is not prime. Res64: BD656E5CCABB6737 Time : 0.0 sec. user=mdettweiler [2013-02-19 11:13:06] 627*2^1241310-1 is not prime. Res64: 15DEC7DF4B247C74 Time : 0.0 sec. user=mdettweiler [2013-02-19 11:19:01] 707*2^1241310-1 is not prime. Res64: CB6EA91E17A816B1 Time : 0.0 sec. user=mdettweiler [2013-02-19 11:19:01] 717*2^1241310-1 is not prime. Res64: 506CA83958C46E8C Time : 0.0 sec. user=juhehe [2013-02-19 12:06:50] 961*2^1241307-1 is not prime. Res64: D50FF0B27175CDEA Time : 0.0 sec. user=mdettweiler [2013-02-19 12:19:47] 761*2^1241310-1 is not prime. Res64: D614B8AF01AD9AA9 Time : 0.0 sec. user=mdettweiler [2013-02-19 12:19:47] 821*2^1241310-1 is not prime. Res64: C9A76DB5069B9F52 Time : 0.0 sec. user=mdettweiler [2013-02-19 12:25:31] 885*2^1241310-1 is not prime. Res64: 2CEB570E3319CFB7 Time : 0.0 sec. user=mdettweiler [2013-02-19 12:25:32] 603*2^1241311-1 is not prime. Res64: BF61D468DB58CD88 Time : 0.0 sec. user=mdettweiler [2013-02-19 12:37:21] 909*2^1241311-1 is not prime. Res64: 79A5A7BD8D16E063 Time : 0.0 sec. user=mdettweiler [2013-02-19 12:37:22] 677*2^1241312-1 is not prime. Res64: 93BEBFC48FE7816B Time : 0.0 sec. user=mdettweiler [2013-02-19 12:43:00] 759*2^1241312-1 is not prime. Res64: 7E1C2B4B106C355F Time : 0.0 sec. user=mdettweiler [2013-02-19 12:43:01] 777*2^1241312-1 is not prime. Res64: E233CA1AF86378ED Time : 0.0 sec. user=juhehe [2013-02-19 12:54:03] 663*2^1241311-1 is not prime. Res64: B521B0BBB6A75619 Time : 0.0 sec. user=mdettweiler [2013-02-19 12:54:49] 945*2^1241312-1 is not prime. Res64: BF8FD1CC34FDDCD0 Time : 0.0 sec. user=mdettweiler [2013-02-19 12:54:49] 963*2^1241312-1 is not prime. Res64: BB916F63001A9159 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:00:28] 669*2^1241313-1 is not prime. Res64: AD261535FD0FC7BE Time : 0.0 sec. user=mdettweiler [2013-02-19 13:00:29] 691*2^1241313-1 is not prime. Res64: 6CB177604F448964 Time : 0.0 sec. user=juhehe [2013-02-19 13:09:39] 793*2^1241311-1 is not prime. Res64: 8056361CA266D285 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:12:15] 699*2^1241313-1 is not prime. Res64: 5A9016B8A4DF1E82 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:12:16] 781*2^1241313-1 is not prime. Res64: 64AFB95E3A9026C3 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:17:55] 819*2^1241313-1 is not prime. Res64: 1A68B9971D34AAF5 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:17:57] 945*2^1241313-1 is not prime. Res64: 0D6B05CDF88C2141 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:29:47] 979*2^1241313-1 is not prime. Res64: 2111FA8785CBC768 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:29:47] 663*2^1241314-1 is not prime. Res64: 606F73D57FFA2339 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:35:25] 681*2^1241314-1 is not prime. Res64: B70ED522A03E031D Time : 0.0 sec. user=mdettweiler [2013-02-19 13:35:26] 687*2^1241314-1 is not prime. Res64: 13C40F81AC9F0736 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:47:17] 827*2^1241314-1 is not prime. Res64: 34237ACBDA48CC55 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:47:18] 833*2^1241314-1 is not prime. Res64: 2443B772C8C8C372 Time : 0.0 sec. user=mdettweiler [2013-02-19 13:52:52] 923*2^1241314-1 is not prime. Res64: D8271F2B880EB3CB Time : 0.0 sec. user=mdettweiler [2013-02-19 13:52:52] 663*2^1241315-1 is not prime. Res64: FCCC5A5917536FAB Time : 0.0 sec. user=mdettweiler [2013-02-19 14:21:11] 841*2^1241315-1 is not prime. Res64: DFA39DFD18DEE806 Time : 0.0 sec. user=mdettweiler [2013-02-19 14:21:12] 963*2^1241315-1 is not prime. Res64: 289A543CCB49D480 Time : 0.0 sec. user=mdettweiler [2013-02-19 14:38:47] 627*2^1241316-1 is not prime. Res64: EBE4D7E04D84FD3C Time : 0.0 sec. user=mdettweiler [2013-02-19 14:38:47] 639*2^1241316-1 is not prime. Res64: 45D520D3BBDA6FAD Time : 0.0 sec. user=mdettweiler [2013-02-19 14:53:29] 675*2^1241315-1 is not prime. Res64: 208CA5D91682B1C3 Time : 0.0 sec. user=mdettweiler [2013-02-19 14:53:30] 825*2^1241315-1 is not prime. Res64: 28C08222900A6D23 Time : 0.0 sec. user=mdettweiler [2013-02-19 14:56:16] 689*2^1241316-1 is not prime. Res64: 15FC0E95245026F2 Time : 0.0 sec. user=mdettweiler [2013-02-19 14:56:16] 765*2^1241316-1 is not prime. Res64: 5A77F7E7A28F7026 Time : 0.0 sec. user=mdettweiler [2013-02-19 15:11:19] 843*2^1241316-1 is not prime. Res64: B2E0001DB81AADBC Time : 0.0 sec. user=mdettweiler [2013-02-19 15:11:20] 893*2^1241316-1 is not prime. Res64: EA948A4E705FDD1D Time : 0.0 sec. user=mdettweiler [2013-02-19 15:14:06] 969*2^1241316-1 is not prime. Res64: C9CBC3C249116FC1 Time : 0.0 sec. user=mdettweiler [2013-02-19 15:14:07] 983*2^1241316-1 is not prime. Res64: F11CD0A3DD31C93D Time : 0.0 sec. user=juhehe [2013-02-19 15:24:29] 981*2^1241315-1 is not prime. Res64: 4E68A2E94C3E35EE Time : 0.0 sec. user=mdettweiler [2013-02-19 15:29:16] 825*2^1241317-1 is not prime. Res64: 9BA40B9241831D48 Time : 0.0 sec. user=mdettweiler [2013-02-19 15:29:16] 957*2^1241317-1 is not prime. Res64: 13B413E0B0B881E7 Time : 0.0 sec. user=mdettweiler [2013-02-19 15:32:03] 755*2^1241318-1 is not prime. Res64: 188805C1A3CB5B0B Time : 0.0 sec. user=mdettweiler [2013-02-19 15:32:03] 801*2^1241318-1 is not prime. Res64: 991D7E1D245DCD99 Time : 0.0 sec. user=mdettweiler [2013-02-19 15:47:21] 867*2^1241318-1 is not prime. Res64: 612A18F93033AE17 Time : 0.0 sec. user=mdettweiler [2013-02-19 15:47:22] 951*2^1241318-1 is not prime. Res64: 79FDC0B22C370116 Time : 0.0 sec. user=mdettweiler [2013-02-19 17:48:20] 625*2^1241319-1 is not prime. Res64: 6D2646D7A4F0E2C4 Time : 0.0 sec. user=mdettweiler [2013-02-19 17:48:21] 675*2^1241319-1 is not prime. Res64: 5EDFE54BBACDD165 Time : 0.0 sec. user=mdettweiler [2013-02-19 17:48:30] 885*2^1241319-1 is not prime. Res64: D898A070281638E3 Time : 0.0 sec. user=mdettweiler [2013-02-19 17:48:30] 891*2^1241319-1 is not prime. Res64: 541E4222F37B1AC8 Time : 0.0 sec. user=juhehe [2013-02-19 17:48:48] 767*2^1241316-1 is not prime. Res64: 3DF4E0886B8C7A3E Time : 0.0 sec. user=juhehe [2013-02-19 20:12:17] 919*2^1241319-1 is not prime. Res64: 2C06BF40501B2623 Time : 0.0 sec. user=juhehe [2013-02-19 22:09:41] 975*2^1241319-1 is not prime. Res64: 66A230691F9D1DED Time : 0.0 sec. user=juhehe [2013-02-19 23:07:47] 635*2^1241320-1 is not prime. Res64: BAF7EF3B1CC01DA8 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:08:51] 695*2^1241320-1 is not prime. Res64: 1F1FE97462A316B6 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:08:53] 777*2^1241320-1 is not prime. Res64: 728FA38895629A03 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:08:58] 875*2^1241320-1 is not prime. Res64: 071FD654AE06CE00 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:08:59] 909*2^1241320-1 is not prime. Res64: E5B47F9160D65887 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:26:35] 627*2^1241321-1 is not prime. Res64: D71AC850B1C8CFA7 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:26:36] 867*2^1241321-1 is not prime. Res64: 3093B4CE75A877DF Time : 0.0 sec. user=mdettweiler [2013-02-19 23:26:42] 939*2^1241321-1 is not prime. Res64: 97E97AF12ABBA952 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:26:42] 955*2^1241321-1 is not prime. Res64: 5B4A3217D47BB72D Time : 0.0 sec. user=mdettweiler [2013-02-19 23:44:11] 967*2^1241321-1 is not prime. Res64: 4DD36ADD8B1D23BB Time : 0.0 sec. user=mdettweiler [2013-02-19 23:44:12] 797*2^1241322-1 is not prime. Res64: DF2F0B351DEE3691 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:44:17] 941*2^1241322-1 is not prime. Res64: 12F6B48CBDA4F2C2 Time : 0.0 sec. user=mdettweiler [2013-02-19 23:44:17] 1001*2^1241322-1 is not prime. Res64: 8AE4EC4894210B1A Time : 0.0 sec.