user=mdettweiler [2015-04-12 00:10:30] 879*2^1397429-1 is not prime. Res64: 47013F4E364443D0 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:10:30] 939*2^1397429-1 is not prime. Res64: EA1C4DD3086080CB Time : 0.0 sec. user=mdettweiler [2015-04-12 00:13:15] 945*2^1397429-1 is not prime. Res64: 07A6ACAEC8E920CB Time : 0.0 sec. user=mdettweiler [2015-04-12 00:13:16] 641*2^1397430-1 is not prime. Res64: 32A6B8E49A6AD365 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:14:54] 681*2^1397430-1 is not prime. Res64: 376D6842A91DAC1E Time : 0.0 sec. user=mdettweiler [2015-04-12 00:14:55] 833*2^1397430-1 is not prime. Res64: FEE909F98D6F8945 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:20:57] 945*2^1397430-1 is not prime. Res64: 739CA3E490DE4848 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:20:58] 793*2^1397431-1 is not prime. Res64: 153C80B4E08065BB Time : 0.0 sec. user=mdettweiler [2015-04-12 00:39:55] 873*2^1397431-1 is not prime. Res64: 1AC3898EB1889EB3 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:39:55] 883*2^1397431-1 is not prime. Res64: 26C56D90C793F299 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:42:43] 925*2^1397431-1 is not prime. Res64: 5F65EA8243CCDFBD Time : 0.0 sec. user=mdettweiler [2015-04-12 00:42:43] 969*2^1397431-1 is not prime. Res64: 61A7869916F294F3 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:44:46] 975*2^1397431-1 is not prime. Res64: D99CDD898AB8771E Time : 0.0 sec. user=mdettweiler [2015-04-12 00:44:46] 999*2^1397431-1 is not prime. Res64: DE92136C9DE9B46D Time : 0.0 sec. user=juhehe [2015-04-12 00:45:08] 861*2^1397431-1 is not prime. Res64: AA494F01A1FF6C5B Time : 0.0 sec. user=mdettweiler [2015-04-12 00:49:58] 633*2^1397432-1 is not prime. Res64: 490CCE6C3010A013 Time : 0.0 sec. user=mdettweiler [2015-04-12 00:49:58] 645*2^1397432-1 is not prime. Res64: 6C1469CDFD4F82EC Time : 0.0 sec. user=mdettweiler [2015-04-12 01:08:44] 687*2^1397432-1 is not prime. Res64: ECD5BF7122D3CE84 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:08:45] 755*2^1397432-1 is not prime. Res64: 86E0A972223466DF Time : 0.0 sec. user=mdettweiler [2015-04-12 01:11:35] 813*2^1397432-1 is not prime. Res64: B79F59C4411DC66A Time : 0.0 sec. user=mdettweiler [2015-04-12 01:11:35] 857*2^1397432-1 is not prime. Res64: 2142280BBD64A212 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:13:38] 915*2^1397432-1 is not prime. Res64: 443AA6D73D21C38F Time : 0.0 sec. user=mdettweiler [2015-04-12 01:13:38] 607*2^1397433-1 is not prime. Res64: BBAFC2A0BB338976 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:19:32] 625*2^1397433-1 is not prime. Res64: AC01D0CD3F996D43 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:19:32] 787*2^1397433-1 is not prime. Res64: 1FE6BAA3652C4EBC Time : 0.0 sec. user=mdettweiler [2015-04-12 01:38:10] 847*2^1397433-1 is not prime. Res64: 2B7A3DF5519E06BD Time : 0.0 sec. user=mdettweiler [2015-04-12 01:38:10] 861*2^1397433-1 is not prime. Res64: C874CE0F82BC332A Time : 0.0 sec. user=mdettweiler [2015-04-12 01:41:22] 945*2^1397433-1 is not prime. Res64: ADCD459E7EF03EE9 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:41:23] 701*2^1397434-1 is not prime. Res64: F68AFBC75DC982F8 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:43:26] 773*2^1397434-1 is not prime. Res64: C680C69075EC990D Time : 0.0 sec. user=mdettweiler [2015-04-12 01:43:26] 803*2^1397434-1 is not prime. Res64: D2E9C2C180716937 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:49:05] 827*2^1397434-1 is not prime. Res64: 635ADF8760C09856 Time : 0.0 sec. user=mdettweiler [2015-04-12 01:49:05] 903*2^1397434-1 is not prime. Res64: B9D3BF14E8AED50A Time : 0.0 sec. user=mdettweiler [2015-04-12 02:07:30] 633*2^1397435-1 is not prime. Res64: B84D44F3D52837D1 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:07:30] 675*2^1397435-1 is not prime. Res64: 36A52DCD751DE38F Time : 0.0 sec. user=mdettweiler [2015-04-12 02:11:03] 679*2^1397435-1 is not prime. Res64: F53055750B3DEFF9 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:11:03] 789*2^1397435-1 is not prime. Res64: 8E3B8D0E30053501 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:13:04] 843*2^1397435-1 is not prime. Res64: C82FFE6DA8395F75 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:13:04] 963*2^1397435-1 is not prime. Res64: 425F1B668AFACB74 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:18:45] 981*2^1397435-1 is not prime. Res64: F4497FF2D717E4FC Time : 0.0 sec. user=mdettweiler [2015-04-12 02:18:45] 999*2^1397435-1 is not prime. Res64: BE2F8393635FC49D Time : 0.0 sec. user=mdettweiler [2015-04-12 02:35:38] 633*2^1397436-1 is not prime. Res64: F3FDDBCE5C34BCE7 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:35:38] 749*2^1397436-1 is not prime. Res64: 72BC4F3E18D64015 Time : 0.0 sec. user=juhehe [2015-04-12 02:36:05] 609*2^1397436-1 is not prime. Res64: 4CF42257F2BD33A5 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:39:34] 767*2^1397436-1 is not prime. Res64: 663DE6CA21A4473F Time : 0.0 sec. user=mdettweiler [2015-04-12 02:39:35] 773*2^1397436-1 is not prime. Res64: 19E8C54393695586 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:41:24] 879*2^1397436-1 is not prime. Res64: 0F60924D35CE8FBE Time : 0.0 sec. user=mdettweiler [2015-04-12 02:41:24] 615*2^1397437-1 is not prime. Res64: 6D797042E0D51838 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:47:14] 619*2^1397437-1 is not prime. Res64: 63E89906FD294EE0 Time : 0.0 sec. user=mdettweiler [2015-04-12 02:47:14] 651*2^1397437-1 is not prime. Res64: 17AC581C3C1DF849 Time : 0.0 sec. user=mdettweiler [2015-04-12 03:04:52] 687*2^1397437-1 is not prime. Res64: 7E79C7145D0ECDD3 Time : 0.0 sec. user=mdettweiler [2015-04-12 03:04:53] 717*2^1397437-1 is not prime. Res64: 3712AE6CD730C8DF Time : 0.0 sec. user=mdettweiler [2015-04-12 03:08:54] 825*2^1397437-1 is not prime. Res64: BC7B62DCD0C5F0B1 Time : 0.0 sec. user=mdettweiler [2015-04-12 03:08:55] 939*2^1397437-1 is not prime. Res64: 289668132FC71324 Time : 0.0 sec. user=mdettweiler [2015-04-12 03:10:54] 945*2^1397437-1 is not prime. Res64: 2F4480FE4EF9453E Time : 0.0 sec. user=mdettweiler [2015-04-12 03:10:54] 957*2^1397437-1 is not prime. Res64: 89609E364F1125B5 Time : 0.0 sec. user=mdettweiler [2015-04-12 03:16:16] 693*2^1397438-1 is not prime. Res64: 3907BAA3EDFE1BFE Time : 0.0 sec. user=mdettweiler [2015-04-12 03:16:16] 771*2^1397438-1 is not prime. Res64: FB4541B6A09E7C9C Time : 0.0 sec. user=mdettweiler [2015-04-12 03:33:16] 845*2^1397438-1 is not prime. Res64: DE126752CB8FEE7A Time : 0.0 sec. user=mdettweiler [2015-04-12 03:33:18] 875*2^1397438-1 is not prime. Res64: 3B3292BE782D777A Time : 0.0 sec. user=mdettweiler [2015-04-12 03:36:07] 887*2^1397438-1 is not prime. Res64: 4D77D8484F311F84 Time : 0.0 sec. user=mdettweiler [2015-04-12 03:36:10] 893*2^1397438-1 is not prime. Res64: FF60627678D5970A Time : 0.0 sec. user=mdettweiler [2015-04-12 03:37:56] 957*2^1397438-1 is not prime. Res64: D2ACB52893F47DE3 Time : 0.0 sec. user=mdettweiler [2015-04-12 03:37:58] 663*2^1397439-1 is not prime. Res64: BDD2168C992402BF Time : 0.0 sec. user=mdettweiler [2015-04-12 03:42:41] 741*2^1397439-1 is not prime. Res64: 87BFA170C69034AB Time : 0.0 sec. user=mdettweiler [2015-04-12 03:42:43] 763*2^1397439-1 is not prime. Res64: FF692B706D4E0321 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:01:42] 931*2^1397439-1 is not prime. Res64: 2ADAC582E8FDA8C4 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:01:43] 973*2^1397439-1 is not prime. Res64: A70B9DCAB97BEC42 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:04:24] 975*2^1397439-1 is not prime. Res64: 6CAA8734BCD2CF1D Time : 0.0 sec. user=mdettweiler [2015-04-12 04:04:25] 623*2^1397440-1 is not prime. Res64: 3A108FB956B266A5 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:06:13] 695*2^1397440-1 is not prime. Res64: CD12F6A7C35768C8 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:06:16] 735*2^1397440-1 is not prime. Res64: 63B458DF3F3A6E7E Time : 0.0 sec. user=mdettweiler [2015-04-12 04:11:03] 827*2^1397440-1 is not prime. Res64: 33BD291BB02F40E9 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:11:04] 905*2^1397440-1 is not prime. Res64: 041926C1B3D32505 Time : 0.0 sec. user=juhehe [2015-04-12 04:27:37] 917*2^1397440-1 is not prime. Res64: 8FF2341BDDE6631D Time : 0.0 sec. user=mdettweiler [2015-04-12 04:29:28] 975*2^1397440-1 is not prime. Res64: 2DDDD24A7738D4B2 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:29:28] 999*2^1397440-1 is not prime. Res64: 26B770FB3DB94677 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:32:43] 829*2^1397441-1 is not prime. Res64: 498EB2DD1F98215B Time : 0.0 sec. user=mdettweiler [2015-04-12 04:32:44] 657*2^1397442-1 is not prime. Res64: 88F8DE6B6A40072E Time : 0.0 sec. user=mdettweiler [2015-04-12 04:34:40] 837*2^1397442-1 is not prime. Res64: 29FDEFE45632F349 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:34:41] 631*2^1397443-1 is not prime. Res64: 4767E4DB5E0244EF Time : 0.0 sec. user=mdettweiler [2015-04-12 04:38:52] 673*2^1397443-1 is not prime. Res64: FF29F6AAB13B742E Time : 0.0 sec. user=mdettweiler [2015-04-12 04:38:52] 685*2^1397443-1 is not prime. Res64: F1A19E8C93FC42EC Time : 0.0 sec. user=mdettweiler [2015-04-12 04:56:42] 691*2^1397443-1 is not prime. Res64: F8402027F02DA779 Time : 0.0 sec. user=mdettweiler [2015-04-12 04:56:42] 705*2^1397443-1 is not prime. Res64: D8FB758A8660BB99 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:01:12] 765*2^1397443-1 is not prime. Res64: B643123E62DA9DCF Time : 0.0 sec. user=mdettweiler [2015-04-12 05:01:13] 789*2^1397443-1 is not prime. Res64: D1EDD5F2B1F01883 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:03:38] 805*2^1397443-1 is not prime. Res64: C8317BF49012D8FB Time : 0.0 sec. user=mdettweiler [2015-04-12 05:03:39] 855*2^1397443-1 is not prime. Res64: 8106691735D0E467 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:06:56] 871*2^1397443-1 is not prime. Res64: 07C969C12B7C213E Time : 0.0 sec. user=mdettweiler [2015-04-12 05:06:57] 885*2^1397443-1 is not prime. Res64: 2E50338A6770C352 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:24:52] 635*2^1397444-1 is not prime. Res64: 828FCBA7F72BA73E Time : 0.0 sec. user=mdettweiler [2015-04-12 05:24:53] 675*2^1397444-1 is not prime. Res64: 1EC11D480BCB8AD9 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:29:02] 899*2^1397444-1 is not prime. Res64: 291C1EB98728841E Time : 0.0 sec. user=mdettweiler [2015-04-12 05:29:03] 915*2^1397444-1 is not prime. Res64: D1F2E93F8EA92F1D Time : 0.0 sec. user=mdettweiler [2015-04-12 05:31:59] 607*2^1397445-1 is not prime. Res64: E7E4440F202C45FB Time : 0.0 sec. user=mdettweiler [2015-04-12 05:31:59] 699*2^1397445-1 is not prime. Res64: 351548ED052204EF Time : 0.0 sec. user=mdettweiler [2015-04-12 05:34:16] 781*2^1397445-1 is not prime. Res64: D5C28DAF6F2BCBD6 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:34:16] 847*2^1397445-1 is not prime. Res64: C201AB1B470AC8B4 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:51:14] 891*2^1397445-1 is not prime. Res64: 3DEE389540BE0EA0 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:51:14] 677*2^1397446-1 is not prime. Res64: 1EF881847CB82679 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:55:26] 747*2^1397446-1 is not prime. Res64: 10FFA2DC8E60D626 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:55:26] 765*2^1397446-1 is not prime. Res64: DE896158E284B807 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:58:14] 861*2^1397446-1 is not prime. Res64: 80DA9DE6975B5C42 Time : 0.0 sec. user=mdettweiler [2015-04-12 05:58:14] 945*2^1397446-1 is not prime. Res64: 7516365917C2BA5B Time : 0.0 sec. user=mdettweiler [2015-04-12 06:00:38] 993*2^1397446-1 is not prime. Res64: D0220FB9B645A669 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:00:39] 1001*2^1397446-1 is not prime. Res64: 72E7EA2BCA33C2FF Time : 0.0 sec. user=juhehe [2015-04-12 06:16:37] 619*2^1397447-1 is not prime. Res64: B118C06C63630210 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:17:40] 693*2^1397447-1 is not prime. Res64: 37DFD75C701E5532 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:17:41] 861*2^1397447-1 is not prime. Res64: C85B53AEF9166C5F Time : 0.0 sec. user=mdettweiler [2015-04-12 06:21:48] 981*2^1397447-1 is not prime. Res64: 3655C84AE716188B Time : 0.0 sec. user=mdettweiler [2015-04-12 06:21:49] 985*2^1397447-1 is not prime. Res64: 044D7F2021A855F8 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:24:39] 689*2^1397448-1 is not prime. Res64: 5341A9B605132D82 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:24:39] 707*2^1397448-1 is not prime. Res64: CBCA1D6ED2F89E6D Time : 0.0 sec. user=mdettweiler [2015-04-12 06:26:55] 795*2^1397448-1 is not prime. Res64: 6656C94FC1151248 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:26:55] 797*2^1397448-1 is not prime. Res64: 1DC57AD46A0A9888 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:43:56] 893*2^1397448-1 is not prime. Res64: D33C6564CD6338F3 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:43:56] 699*2^1397449-1 is not prime. Res64: A1CE333A4FA16C3C Time : 0.0 sec. user=mdettweiler [2015-04-12 06:48:02] 847*2^1397449-1 is not prime. Res64: FFD54D9E27C777EB Time : 0.0 sec. user=mdettweiler [2015-04-12 06:48:03] 999*2^1397449-1 is not prime. Res64: 6E6AF369012B6D78 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:50:58] 675*2^1397450-1 is not prime. Res64: C7E6E4E87D0B1970 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:50:58] 711*2^1397450-1 is not prime. Res64: 859A6B90168BE240 Time : 0.0 sec. user=mdettweiler [2015-04-12 06:53:01] 851*2^1397450-1 is not prime. Res64: 6A7EBA6C6635DF6B Time : 0.0 sec. user=mdettweiler [2015-04-12 06:53:02] 921*2^1397450-1 is not prime. Res64: 45BFC45557894E6E Time : 0.0 sec. user=mdettweiler [2015-04-12 07:10:02] 935*2^1397450-1 is not prime. Res64: B84191BC8364F377 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:10:02] 977*2^1397450-1 is not prime. Res64: 1A0D140FF263FC26 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:14:18] 987*2^1397450-1 is not prime. Res64: E13ADCAFE6EE9F7B Time : 0.0 sec. user=mdettweiler [2015-04-12 07:14:18] 723*2^1397451-1 is not prime. Res64: 1452867EA0D43515 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:17:03] 735*2^1397451-1 is not prime. Res64: 0220DC00B19FF799 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:17:03] 741*2^1397451-1 is not prime. Res64: 2293DBB7F76E03B1 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:19:29] 835*2^1397451-1 is not prime. Res64: 822A2205E088C05B Time : 0.0 sec. user=mdettweiler [2015-04-12 07:19:30] 861*2^1397451-1 is not prime. Res64: F98F511AA1F64BFB Time : 0.0 sec. user=mdettweiler [2015-04-12 07:36:09] 973*2^1397451-1 is not prime. Res64: 5C40AA3C0E000258 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:36:10] 653*2^1397452-1 is not prime. Res64: FADC7A063D3FAE09 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:40:22] 677*2^1397452-1 is not prime. Res64: 44E0035D2381D1E2 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:40:23] 719*2^1397452-1 is not prime. Res64: 77AE52F8EDC27AA7 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:43:05] 749*2^1397452-1 is not prime. Res64: 844B323063566EE5 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:43:05] 803*2^1397452-1 is not prime. Res64: 1B6698E8F3401BE7 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:45:24] 887*2^1397452-1 is not prime. Res64: 34BC1CFE447CD159 Time : 0.0 sec. user=mdettweiler [2015-04-12 07:45:24] 915*2^1397452-1 is not prime. Res64: 1479B9C7C4CDE0EB Time : 0.0 sec. user=mdettweiler [2015-04-12 08:02:10] 957*2^1397452-1 is not prime. Res64: 1B58FBBBAF8FE0B7 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:02:11] 989*2^1397452-1 is not prime. Res64: CE89B8683665AB4A Time : 0.0 sec. user=juhehe [2015-04-12 08:06:01] 939*2^1397452-1 is not prime. Res64: 416992F7F71815C7 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:06:20] 995*2^1397452-1 is not prime. Res64: D60DF0470376DD25 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:06:21] 621*2^1397453-1 is not prime. Res64: 51BAADDABD58E3C1 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:09:03] 631*2^1397453-1 is not prime. Res64: 651367552E8D58E2 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:09:03] 727*2^1397453-1 is not prime. Res64: 23693AA953BD33A1 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:11:19] 745*2^1397453-1 is not prime. Res64: 91B6A75DB1A197E7 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:11:19] 757*2^1397453-1 is not prime. Res64: 5B30CCB4428E47C0 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:28:17] 771*2^1397453-1 is not prime. Res64: F5FFF30A8AD1126A Time : 0.0 sec. user=mdettweiler [2015-04-12 08:28:17] 889*2^1397453-1 is not prime. Res64: 4C8D8D7E26FA91C8 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:32:15] 901*2^1397453-1 is not prime. Res64: FB365932EE288DED Time : 0.0 sec. user=mdettweiler [2015-04-12 08:32:15] 987*2^1397453-1 is not prime. Res64: 53D3BC1CF1384948 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:34:59] 651*2^1397454-1 is not prime. Res64: 2DC690125EE822C4 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:35:00] 663*2^1397454-1 is not prime. Res64: D36DEAB7E112B267 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:37:12] 681*2^1397454-1 is not prime. Res64: 9CF0E6C9AC76453A Time : 0.0 sec. user=mdettweiler [2015-04-12 08:37:13] 737*2^1397454-1 is not prime. Res64: A65055995164B1AF Time : 0.0 sec. user=mdettweiler [2015-04-12 08:54:08] 741*2^1397454-1 is not prime. Res64: D316724DF65D6126 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:54:09] 851*2^1397454-1 is not prime. Res64: C32FBB29B59DB549 Time : 0.0 sec. user=mdettweiler [2015-04-12 08:58:05] 861*2^1397454-1 is not prime. Res64: 421C20C2414CC40E Time : 0.0 sec. user=mdettweiler [2015-04-12 08:58:05] 917*2^1397454-1 is not prime. Res64: B3770FAB87497C94 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:00:48] 971*2^1397454-1 is not prime. Res64: 9F2318F65F7E2CE4 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:00:49] 663*2^1397455-1 is not prime. Res64: 5C7B52EDB19D40C4 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:03:03] 759*2^1397455-1 is not prime. Res64: 5A1ACF77BAFBB951 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:03:04] 805*2^1397455-1 is not prime. Res64: CF97545CF9DA8FF7 Time : 0.0 sec. user=juhehe [2015-04-12 09:18:55] 885*2^1397455-1 is not prime. Res64: A6C1A62B9F028783 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:20:05] 999*2^1397455-1 is not prime. Res64: FA1B96B45E3F1356 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:20:05] 623*2^1397456-1 is not prime. Res64: 8F3058DE0037193E Time : 0.0 sec. user=mdettweiler [2015-04-12 09:23:58] 635*2^1397456-1 is not prime. Res64: 121DB2BEC44FF9D1 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:23:58] 675*2^1397456-1 is not prime. Res64: 77C62D0EC67F7E0E Time : 0.0 sec. user=mdettweiler [2015-04-12 09:26:46] 699*2^1397456-1 is not prime. Res64: 16D2EE3EDC245CB5 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:26:47] 735*2^1397456-1 is not prime. Res64: BB5B42DEBDBD34B9 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:29:11] 743*2^1397456-1 is not prime. Res64: 7758A6C3EEE27311 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:29:12] 833*2^1397456-1 is not prime. Res64: F73B601C14E5138E Time : 0.0 sec. user=mdettweiler [2015-04-12 09:46:02] 867*2^1397456-1 is not prime. Res64: 2446422A597EF0ED Time : 0.0 sec. user=mdettweiler [2015-04-12 09:46:03] 917*2^1397456-1 is not prime. Res64: A1751F9CC8698694 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:49:53] 963*2^1397456-1 is not prime. Res64: 927C6EBD0B3AFA6C Time : 0.0 sec. user=mdettweiler [2015-04-12 09:49:53] 667*2^1397457-1 is not prime. Res64: 414EAA08DFD30DB2 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:52:38] 685*2^1397457-1 is not prime. Res64: BF99889689A6518C Time : 0.0 sec. user=mdettweiler [2015-04-12 09:52:39] 867*2^1397457-1 is not prime. Res64: EF2AA9A85520745A Time : 0.0 sec. user=mdettweiler [2015-04-12 09:55:06] 937*2^1397457-1 is not prime. Res64: DD0C5A9529C9C8C7 Time : 0.0 sec. user=mdettweiler [2015-04-12 09:55:06] 605*2^1397458-1 is not prime. Res64: BE80A935854D261A Time : 0.0 sec. user=mdettweiler [2015-04-12 10:11:56] 633*2^1397458-1 is not prime. Res64: 40193AE79040A435 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:11:56] 803*2^1397458-1 is not prime. Res64: 8C90F534F5118083 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:15:48] 855*2^1397458-1 is not prime. Res64: BB9D607FE7A8A1D9 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:15:49] 911*2^1397458-1 is not prime. Res64: BC34F5A9EBE84486 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:18:36] 621*2^1397459-1 is not prime. Res64: E4AFFE49373479DE Time : 0.0 sec. user=mdettweiler [2015-04-12 10:18:37] 643*2^1397459-1 is not prime. Res64: A9037BA5F737F6A0 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:20:58] 949*2^1397459-1 is not prime. Res64: 88C88B1713522CA8 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:20:58] 955*2^1397459-1 is not prime. Res64: 7BF7AD948BCA487B Time : 0.0 sec. user=mdettweiler [2015-04-12 10:37:48] 689*2^1397460-1 is not prime. Res64: 444EC3A32E877788 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:37:49] 765*2^1397460-1 is not prime. Res64: B431F0CA6CD8E8E7 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:41:41] 779*2^1397460-1 is not prime. Res64: 0E35B92D57EE0DCA Time : 0.0 sec. user=mdettweiler [2015-04-12 10:41:42] 873*2^1397460-1 is not prime. Res64: D6DD6BDA6837B09B Time : 0.0 sec. user=mdettweiler [2015-04-12 10:44:26] 923*2^1397460-1 is not prime. Res64: 66A82892658766B5 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:44:26] 975*2^1397460-1 is not prime. Res64: 95205BF0586E9676 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:46:47] 619*2^1397461-1 is not prime. Res64: EDAD6E722EDEF8C9 Time : 0.0 sec. user=mdettweiler [2015-04-12 10:46:47] 681*2^1397461-1 is not prime. Res64: 3E351DD02A7DAE3E Time : 0.0 sec. user=mdettweiler [2015-04-12 11:03:43] 877*2^1397461-1 is not prime. Res64: A6A8B642F103F0D3 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:03:45] 843*2^1397462-1 is not prime. Res64: 140706CA4B512969 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:07:31] 867*2^1397462-1 is not prime. Res64: 89C7A311B3CCBEA5 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:07:32] 915*2^1397462-1 is not prime. Res64: F162E84917AABD4C Time : 0.0 sec. user=juhehe [2015-04-12 11:08:41] 741*2^1397461-1 is not prime. Res64: ABDE10AB9F46EC94 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:10:22] 615*2^1397463-1 is not prime. Res64: 04E005AB3BA70327 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:10:22] 625*2^1397463-1 is not prime. Res64: 88DB075A2B2F9E23 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:12:36] 663*2^1397463-1 is not prime. Res64: 18C5EE8D208C5BDE Time : 0.0 sec. user=mdettweiler [2015-04-12 11:12:37] 669*2^1397463-1 is not prime. Res64: 6098538C58748B98 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:30:22] 871*2^1397463-1 is not prime. Res64: 88D38A3A4BFA5874 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:30:23] 895*2^1397463-1 is not prime. Res64: 91838539731EBBA8 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:33:26] 645*2^1397464-1 is not prime. Res64: 571E9FB1D7F468FA Time : 0.0 sec. user=mdettweiler [2015-04-12 11:33:27] 803*2^1397464-1 is not prime. Res64: B3186C1C4FD0B6E4 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:36:19] 863*2^1397464-1 is not prime. Res64: 82B6892DF2F89268 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:36:20] 887*2^1397464-1 is not prime. Res64: 39EB7784189941C7 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:38:30] 947*2^1397464-1 is not prime. Res64: BA626A43E928B429 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:38:30] 651*2^1397465-1 is not prime. Res64: 06B82593ABAB567A Time : 0.0 sec. user=mdettweiler [2015-04-12 11:56:15] 727*2^1397465-1 is not prime. Res64: 336C7134DD4A06B4 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:56:15] 865*2^1397465-1 is not prime. Res64: 33E2E8E2C714FF39 Time : 0.0 sec. user=mdettweiler [2015-04-12 11:59:23] 907*2^1397465-1 is not prime. Res64: 16D71FAB00FF1E6D Time : 0.0 sec. user=mdettweiler [2015-04-12 11:59:23] 915*2^1397465-1 is not prime. Res64: D2166C648CAFAADA Time : 0.0 sec. user=mdettweiler [2015-04-12 12:02:14] 641*2^1397466-1 is not prime. Res64: 67457DA43AD5EAFA Time : 0.0 sec. user=mdettweiler [2015-04-12 12:02:14] 705*2^1397466-1 is not prime. Res64: E1AF5FCDD6B414BC Time : 0.0 sec. user=mdettweiler [2015-04-12 12:04:18] 707*2^1397466-1 is not prime. Res64: 877928F493537921 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:04:19] 755*2^1397466-1 is not prime. Res64: DE430254CDBC68FA Time : 0.0 sec. user=mdettweiler [2015-04-12 12:22:19] 881*2^1397466-1 is not prime. Res64: F31262790EE3D18D Time : 0.0 sec. user=mdettweiler [2015-04-12 12:22:20] 633*2^1397467-1 is not prime. Res64: 456DD6EFFB70BCDB Time : 0.0 sec. user=mdettweiler [2015-04-12 12:25:16] 715*2^1397467-1 is not prime. Res64: 3AD284AAA4D4A1E3 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:25:16] 769*2^1397467-1 is not prime. Res64: 31C9D7B835DB2250 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:28:25] 775*2^1397467-1 is not prime. Res64: 226CC3D75DCAB4DE Time : 0.0 sec. user=mdettweiler [2015-04-12 12:28:26] 805*2^1397467-1 is not prime. Res64: 7C33A6F3B97FCFCE Time : 0.0 sec. user=mdettweiler [2015-04-12 12:30:16] 859*2^1397467-1 is not prime. Res64: CBBB532BD7895525 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:30:16] 663*2^1397468-1 is not prime. Res64: C7A47771FBF6D9DB Time : 0.0 sec. user=mdettweiler [2015-04-12 12:48:18] 797*2^1397468-1 is not prime. Res64: 7387892426A753F8 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:48:19] 813*2^1397468-1 is not prime. Res64: CBB716D2E75FCBBF Time : 0.0 sec. user=mdettweiler [2015-04-12 12:51:13] 923*2^1397468-1 is not prime. Res64: D4BFCD6B06E0C23B Time : 0.0 sec. user=mdettweiler [2015-04-12 12:51:13] 625*2^1397469-1 is not prime. Res64: 89E9512D9A6E7A43 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:54:19] 885*2^1397469-1 is not prime. Res64: 867AB265BC3EEFAF Time : 0.0 sec. user=mdettweiler [2015-04-12 12:54:20] 889*2^1397469-1 is not prime. Res64: BCA4F227DA653F00 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:56:12] 927*2^1397469-1 is not prime. Res64: 5B32B96B027F0E70 Time : 0.0 sec. user=mdettweiler [2015-04-12 12:56:12] 783*2^1397470-1 is not prime. Res64: 1254625CB5714979 Time : 0.0 sec. user=juhehe [2015-04-12 12:58:27] 683*2^1397468-1 is not prime. Res64: 10973AC101C5D9A1 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:14:58] 867*2^1397470-1 is not prime. Res64: 18B620948DDBA81B Time : 0.0 sec. user=mdettweiler [2015-04-12 13:14:59] 923*2^1397470-1 is not prime. Res64: 646881D96127F581 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:17:41] 971*2^1397470-1 is not prime. Res64: C155CCA06B6E9534 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:17:41] 615*2^1397471-1 is not prime. Res64: F5FAAAB5D9BCD769 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:20:50] 643*2^1397471-1 is not prime. Res64: B24B55D08217EAD8 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:20:51] 939*2^1397471-1 is not prime. Res64: 9A0DBD91883EE08F Time : 0.0 sec. user=mdettweiler [2015-04-12 13:22:46] 979*2^1397471-1 is not prime. Res64: DF3D9FE48D0898A3 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:22:47] 699*2^1397472-1 is not prime. Res64: 2E0BF6F1FD2FBA59 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:41:53] 873*2^1397472-1 is not prime. Res64: 65FC4109C71BA35B Time : 0.0 sec. user=mdettweiler [2015-04-12 13:41:53] 879*2^1397472-1 is not prime. Res64: A79FA2B9C78A350F Time : 0.0 sec. user=mdettweiler [2015-04-12 13:44:37] 909*2^1397472-1 is not prime. Res64: 14A347C8018E4222 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:44:37] 929*2^1397472-1 is not prime. Res64: B9A9C7497CBCC549 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:47:43] 975*2^1397472-1 is not prime. Res64: B6A2D5096A0925E5 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:47:43] 983*2^1397472-1 is not prime. Res64: 1E35E22F7E4D9549 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:49:50] 637*2^1397473-1 is not prime. Res64: 713D4B8CE3ACD2F7 Time : 0.0 sec. user=mdettweiler [2015-04-12 13:49:50] 649*2^1397473-1 is not prime. Res64: 9660A6B17BA2786F Time : 0.0 sec. user=mdettweiler [2015-04-12 14:09:07] 789*2^1397473-1 is not prime. Res64: DCB106407A16FDA6 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:09:07] 811*2^1397473-1 is not prime. Res64: 57E3CBB4DCFCBE8E Time : 0.0 sec. user=mdettweiler [2015-04-12 14:11:42] 835*2^1397473-1 is not prime. Res64: 0F891F21116E1C34 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:11:42] 861*2^1397473-1 is not prime. Res64: 5327A8D50D941935 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:15:07] 867*2^1397473-1 is not prime. Res64: CC389D0B8697B106 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:15:07] 885*2^1397473-1 is not prime. Res64: B2F96A8E0C813A69 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:17:16] 987*2^1397473-1 is not prime. Res64: EB3A5FF4D724AF1D Time : 0.0 sec. user=mdettweiler [2015-04-12 14:17:17] 641*2^1397474-1 is not prime. Res64: 2F94CD6D9BA53B53 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:36:21] 717*2^1397474-1 is not prime. Res64: 61E2803E2E2BC1E2 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:36:21] 813*2^1397474-1 is not prime. Res64: 3568F66F0C9EBD8E Time : 0.0 sec. user=mdettweiler [2015-04-12 14:39:03] 851*2^1397474-1 is not prime. Res64: 4C1BB0F740215B1A Time : 0.0 sec. user=mdettweiler [2015-04-12 14:39:03] 861*2^1397474-1 is not prime. Res64: 565566825E0F0C0C Time : 0.0 sec. user=mdettweiler [2015-04-12 14:42:26] 981*2^1397474-1 is not prime. Res64: A78977410BD0227E Time : 0.0 sec. user=mdettweiler [2015-04-12 14:42:26] 675*2^1397475-1 is not prime. Res64: 0879D4E0700190F3 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:44:29] 735*2^1397475-1 is not prime. Res64: 917E60C5938012D2 Time : 0.0 sec. user=mdettweiler [2015-04-12 14:44:29] 783*2^1397475-1 is not prime. Res64: FFC45644CF7FDD00 Time : 0.0 sec. user=juhehe [2015-04-12 14:47:57] 887*2^1397474-1 is not prime. Res64: 264534C1AB0E4A12 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:03:35] 789*2^1397475-1 is not prime. Res64: 042930D478CA068F Time : 0.0 sec. user=mdettweiler [2015-04-12 15:03:36] 819*2^1397475-1 is not prime. Res64: 60A0A8F28C08D1B6 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:06:22] 943*2^1397475-1 is not prime. Res64: A70984181B3BA01E Time : 0.0 sec. user=mdettweiler [2015-04-12 15:06:23] 677*2^1397476-1 is not prime. Res64: 06558E69C0CE3BB9 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:09:44] 689*2^1397476-1 is not prime. Res64: B12C1DB31C77DDD4 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:09:44] 699*2^1397476-1 is not prime. Res64: 96289A90BB14B8DC Time : 0.0 sec. user=mdettweiler [2015-04-12 15:11:49] 717*2^1397476-1 is not prime. Res64: AB9F4581469E4FE2 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:11:49] 825*2^1397476-1 is not prime. Res64: 68CC9F4F7AB367C2 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:31:11] 957*2^1397476-1 is not prime. Res64: 4DD5EFF01185AF85 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:31:11] 627*2^1397477-1 is not prime. Res64: 06349DC6B6297988 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:33:37] 697*2^1397477-1 is not prime. Res64: F72FC743D354C337 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:33:37] 781*2^1397477-1 is not prime. Res64: C0DCB765922B76E1 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:37:05] 885*2^1397477-1 is not prime. Res64: F31042BBA34FA0CA Time : 0.0 sec. user=mdettweiler [2015-04-12 15:37:06] 915*2^1397477-1 is not prime. Res64: 0EF1BB164CCC10A6 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:39:31] 937*2^1397477-1 is not prime. Res64: B40B6D353778FB81 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:39:32] 985*2^1397477-1 is not prime. Res64: 16CCE9AE6002FB47 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:58:12] 635*2^1397478-1 is not prime. Res64: 9AA8B975D19B9629 Time : 0.0 sec. user=mdettweiler [2015-04-12 15:58:13] 861*2^1397478-1 is not prime. Res64: F0E9663EB17223B0 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:00:46] 923*2^1397478-1 is not prime. Res64: 51A54A67743E3063 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:00:47] 933*2^1397478-1 is not prime. Res64: 8870E8A85DE6B6A0 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:04:11] 977*2^1397478-1 is not prime. Res64: B95DBF3C2D2118C2 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:04:12] 615*2^1397479-1 is not prime. Res64: 5D9250C932FCAD88 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:06:39] 625*2^1397479-1 is not prime. Res64: 1F80B539DBD131D6 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:06:40] 685*2^1397479-1 is not prime. Res64: 8E041AEF4BE7A100 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:24:56] 789*2^1397479-1 is not prime. Res64: 0876B4BC90655ADF Time : 0.0 sec. user=mdettweiler [2015-04-12 16:24:57] 873*2^1397479-1 is not prime. Res64: C462F4405E13422B Time : 0.0 sec. user=mdettweiler [2015-04-12 16:27:24] 913*2^1397479-1 is not prime. Res64: 6938F65C32C6C1E4 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:27:25] 635*2^1397480-1 is not prime. Res64: 58151DDB1A53E169 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:30:45] 735*2^1397480-1 is not prime. Res64: 280A6B03EC338006 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:30:45] 767*2^1397480-1 is not prime. Res64: F63A790DB1C8DDBC Time : 0.0 sec. user=mdettweiler [2015-04-12 16:33:27] 843*2^1397480-1 is not prime. Res64: 58FD320C302B393E Time : 0.0 sec. user=mdettweiler [2015-04-12 16:33:27] 875*2^1397480-1 is not prime. Res64: 8C642C7FC923EF8B Time : 0.0 sec. user=juhehe [2015-04-12 16:36:58] 725*2^1397480-1 is not prime. Res64: 374255B24A7C4D40 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:51:35] 897*2^1397480-1 is not prime. Res64: D1F62EFD79BA3AD8 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:51:35] 899*2^1397480-1 is not prime. Res64: EBA6E518885262B8 Time : 0.0 sec. user=mdettweiler [2015-04-12 16:54:05] 945*2^1397480-1 is not prime. Res64: D47966C732B6956A Time : 0.0 sec. user=mdettweiler [2015-04-12 16:54:05] 963*2^1397480-1 is not prime. Res64: 0FAC1BE2664DC44C Time : 0.0 sec. user=mdettweiler [2015-04-12 16:57:29] 607*2^1397481-1 is not prime. Res64: DEE654416661C51A Time : 0.0 sec. user=mdettweiler [2015-04-12 16:57:29] 639*2^1397481-1 is not prime. Res64: EDB99CEAD35517CD Time : 0.0 sec. user=mdettweiler [2015-04-12 17:00:11] 657*2^1397481-1 is not prime. Res64: AE318C2B9930DD52 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:00:12] 669*2^1397481-1 is not prime. Res64: 0A73F73CFFDA8B9F Time : 0.0 sec. user=mdettweiler [2015-04-12 17:18:07] 781*2^1397481-1 is not prime. Res64: 74729D1C87B4A520 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:18:07] 835*2^1397481-1 is not prime. Res64: 36B3C556645FB52F Time : 0.0 sec. user=mdettweiler [2015-04-12 17:21:04] 837*2^1397481-1 is not prime. Res64: 0C4717FB48FBE2B0 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:21:04] 849*2^1397481-1 is not prime. Res64: 78D7816EAA682D04 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:24:33] 909*2^1397481-1 is not prime. Res64: 9A7388EDF60F703A Time : 0.0 sec. user=mdettweiler [2015-04-12 17:24:34] 937*2^1397481-1 is not prime. Res64: 668D42C3D2546784 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:27:06] 803*2^1397482-1 is not prime. Res64: 3CB863E60E86BAA3 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:27:06] 881*2^1397482-1 is not prime. Res64: D155B63F4AE1DE9A Time : 0.0 sec. user=mdettweiler [2015-04-12 17:44:49] 915*2^1397482-1 is not prime. Res64: 3AC85493DBC887BE Time : 0.0 sec. user=mdettweiler [2015-04-12 17:44:49] 673*2^1397483-1 is not prime. Res64: 2C38FC6CC194D086 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:47:37] 679*2^1397483-1 is not prime. Res64: 4E9C86126364A18D Time : 0.0 sec. user=mdettweiler [2015-04-12 17:47:38] 703*2^1397483-1 is not prime. Res64: 9DE42CA36C13CE61 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:51:11] 741*2^1397483-1 is not prime. Res64: E20A418269485926 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:51:12] 753*2^1397483-1 is not prime. Res64: 6E1E0B25431AFA37 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:53:33] 759*2^1397483-1 is not prime. Res64: B6B2098EA0B76AA2 Time : 0.0 sec. user=mdettweiler [2015-04-12 17:53:34] 771*2^1397483-1 is not prime. Res64: 67C8E7FF520E4ACC Time : 0.0 sec. user=mdettweiler [2015-04-12 18:11:10] 825*2^1397483-1 is not prime. Res64: D48CEB691E61FF8B Time : 0.0 sec. user=mdettweiler [2015-04-12 18:11:11] 871*2^1397483-1 is not prime. Res64: C08C61B596B53F14 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:14:07] 605*2^1397484-1 is not prime. Res64: 959AD2854391FB05 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:14:07] 707*2^1397484-1 is not prime. Res64: D689E48C65BD303E Time : 0.0 sec. user=mdettweiler [2015-04-12 18:17:31] 863*2^1397484-1 is not prime. Res64: 0075CE157669B33F Time : 0.0 sec. user=mdettweiler [2015-04-12 18:17:32] 915*2^1397484-1 is not prime. Res64: B57CE3FB9E1CCBC3 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:19:56] 993*2^1397484-1 is not prime. Res64: 0277D725F248DDBB Time : 0.0 sec. user=mdettweiler [2015-04-12 18:19:56] 699*2^1397485-1 is not prime. Res64: 24D3A4EADD5F2761 Time : 0.0 sec. user=juhehe [2015-04-12 18:26:24] 767*2^1397484-1 is not prime. Res64: 1FC6D811616817D5 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:37:47] 775*2^1397485-1 is not prime. Res64: E240A1ED8F24B917 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:37:47] 819*2^1397485-1 is not prime. Res64: 41F52440D8F3989C Time : 0.0 sec. user=mdettweiler [2015-04-12 18:40:44] 831*2^1397485-1 is not prime. Res64: C7C5F686AE98E453 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:40:45] 849*2^1397485-1 is not prime. Res64: 3F537FA4EB0B114F Time : 0.0 sec. user=mdettweiler [2015-04-12 18:44:01] 895*2^1397485-1 is not prime. Res64: 6AB3D248E300E2EF Time : 0.0 sec. user=mdettweiler [2015-04-12 18:44:01] 961*2^1397485-1 is not prime. Res64: FBD86E1B9568DBE8 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:46:37] 975*2^1397485-1 is not prime. Res64: 61C3EF89807DB613 Time : 0.0 sec. user=mdettweiler [2015-04-12 18:46:38] 683*2^1397486-1 is not prime. Res64: 9D11150FE369A608 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:04:18] 773*2^1397486-1 is not prime. Res64: AA5BD168B7DFA6FF Time : 0.0 sec. user=mdettweiler [2015-04-12 19:04:20] 827*2^1397486-1 is not prime. Res64: A77C944E95CFC776 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:07:27] 897*2^1397486-1 is not prime. Res64: 12C01706BF3C5738 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:07:28] 971*2^1397486-1 is not prime. Res64: 124435EECB28BC5C Time : 0.0 sec. user=mdettweiler [2015-04-12 19:11:22] 615*2^1397487-1 is not prime. Res64: CAF95636A985E7EC Time : 0.0 sec. user=mdettweiler [2015-04-12 19:11:22] 705*2^1397487-1 is not prime. Res64: 4194B317D8E38387 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:14:37] 615*2^1397488-1 is not prime. Res64: 1661C4D4F43C7A99 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:14:37] 635*2^1397488-1 is not prime. Res64: A8DF0E07DF5906E0 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:33:52] 735*2^1397488-1 is not prime. Res64: C2D7961057FE7813 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:33:52] 743*2^1397488-1 is not prime. Res64: F152F0D5C84D61E1 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:36:07] 797*2^1397488-1 is not prime. Res64: 7FA24D8AB6D97D94 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:36:07] 849*2^1397488-1 is not prime. Res64: 6AC098E7BEE2ED85 Time : 0.0 sec. user=juhehe [2015-04-12 19:39:11] 705*2^1397488-1 is not prime. Res64: A83A4B398D3EC1B3 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:40:04] 989*2^1397488-1 is not prime. Res64: 2CC1C7ADE38E8454 Time : 0.0 sec. user=mdettweiler [2015-04-12 19:40:04] 811*2^1397489-1 is not prime. Res64: C0E1A0188306367E Time : 0.0 sec. user=mdettweiler [2015-04-12 19:42:36] 861*2^1397489-1 is not prime. Res64: E13984E1C7F62BDB Time : 0.0 sec. user=mdettweiler [2015-04-12 19:42:36] 885*2^1397489-1 is not prime. Res64: 09CD7AAF5552C314 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:00:19] 955*2^1397489-1 is not prime. Res64: 270F13C4326329D3 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:00:19] 969*2^1397489-1 is not prime. Res64: 8AB3661AAE4AC2E3 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:02:49] 627*2^1397490-1 is not prime. Res64: 2B271768CC759B05 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:02:50] 681*2^1397490-1 is not prime. Res64: BEF0D380C5B8594F Time : 0.0 sec. user=mdettweiler [2015-04-12 20:06:59] 803*2^1397490-1 is not prime. Res64: F19B570C2D188882 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:06:59] 843*2^1397490-1 is not prime. Res64: FCA8D8704AD8239B Time : 0.0 sec. user=mdettweiler [2015-04-12 20:09:46] 927*2^1397490-1 is not prime. Res64: 229187C55CC67815 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:09:46] 977*2^1397490-1 is not prime. Res64: EE01E61B6F243760 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:28:36] 651*2^1397491-1 is not prime. Res64: 62E6BA372BFBC26B Time : 0.0 sec. user=mdettweiler [2015-04-12 20:28:37] 705*2^1397491-1 is not prime. Res64: 96E04EF095B34AC8 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:31:08] 715*2^1397491-1 is not prime. Res64: 90BC8C0F49FE2A61 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:31:09] 733*2^1397491-1 is not prime. Res64: 710D3D31A03BFA70 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:35:26] 931*2^1397491-1 is not prime. Res64: B953997975F0939D Time : 0.0 sec. user=mdettweiler [2015-04-12 20:35:27] 951*2^1397491-1 is not prime. Res64: B0E7AC7236B3321A Time : 0.0 sec. user=mdettweiler [2015-04-12 20:38:07] 969*2^1397491-1 is not prime. Res64: 44FEC4E9A578AAF7 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:38:07] 975*2^1397491-1 is not prime. Res64: 8D9A3B1E237555D3 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:57:11] 609*2^1397492-1 is not prime. Res64: 2ABF9C9690399850 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:57:11] 617*2^1397492-1 is not prime. Res64: 070D888BD9083D6D Time : 0.0 sec. user=mdettweiler [2015-04-12 20:59:47] 665*2^1397492-1 is not prime. Res64: ECF7B3F688044384 Time : 0.0 sec. user=mdettweiler [2015-04-12 20:59:48] 693*2^1397492-1 is not prime. Res64: FCD35D5514A97433 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:03:49] 785*2^1397492-1 is not prime. Res64: F390899E30209098 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:03:50] 797*2^1397492-1 is not prime. Res64: DDCE45F8A5190B87 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:07:05] 825*2^1397492-1 is not prime. Res64: A3EFB8E74CB68CA8 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:07:05] 935*2^1397492-1 is not prime. Res64: A7138B2C7A25A32F Time : 0.0 sec. user=mdettweiler [2015-04-12 21:25:45] 685*2^1397493-1 is not prime. Res64: 2317A303511E7A7D Time : 0.0 sec. user=mdettweiler [2015-04-12 21:25:46] 727*2^1397493-1 is not prime. Res64: E5F5CF2040B2B854 Time : 0.0 sec. user=juhehe [2015-04-12 21:27:53] 995*2^1397492-1 is not prime. Res64: 34E203C089607285 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:28:31] 927*2^1397493-1 is not prime. Res64: A38D93C976D6C87F Time : 0.0 sec. user=mdettweiler [2015-04-12 21:28:31] 611*2^1397494-1 is not prime. Res64: A0C0275C41980FEE Time : 0.0 sec. user=mdettweiler [2015-04-12 21:32:59] 645*2^1397494-1 is not prime. Res64: 637A5BB3EF2A6F44 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:32:59] 657*2^1397494-1 is not prime. Res64: AD0253F89014C840 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:35:40] 825*2^1397494-1 is not prime. Res64: 54098FCCE696A6B4 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:35:40] 857*2^1397494-1 is not prime. Res64: B8B747BEAC97FFA8 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:54:35] 887*2^1397494-1 is not prime. Res64: F7FE7F56E547E873 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:54:36] 897*2^1397494-1 is not prime. Res64: A5E1AA073302226E Time : 0.0 sec. user=mdettweiler [2015-04-12 21:57:18] 951*2^1397494-1 is not prime. Res64: 2DA28B462809E7C2 Time : 0.0 sec. user=mdettweiler [2015-04-12 21:57:18] 983*2^1397494-1 is not prime. Res64: F40E92389FCE4BF0 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:01:25] 987*2^1397494-1 is not prime. Res64: 5906071D82CE31EB Time : 0.0 sec. user=mdettweiler [2015-04-12 22:01:25] 993*2^1397494-1 is not prime. Res64: 10627806D0801762 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:04:24] 651*2^1397495-1 is not prime. Res64: 69C0342869C39B37 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:04:26] 663*2^1397495-1 is not prime. Res64: 15FBD68ED2B9A275 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:22:18] 675*2^1397495-1 is not prime. Res64: FCA6624A1DFEF84B Time : 0.0 sec. user=mdettweiler [2015-04-12 22:22:18] 693*2^1397495-1 is not prime. Res64: EEACCA7075FD9CE8 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:24:55] 861*2^1397495-1 is not prime. Res64: D70387E58579AC7D Time : 0.0 sec. user=mdettweiler [2015-04-12 22:24:55] 865*2^1397495-1 is not prime. Res64: 787F0BEEA34B0847 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:28:40] 885*2^1397495-1 is not prime. Res64: E2CD0E6456BFDBE2 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:28:41] 609*2^1397496-1 is not prime. Res64: 1D412442D47A12D2 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:32:14] 683*2^1397496-1 is not prime. Res64: 6F87B11EB5AD5715 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:32:14] 735*2^1397496-1 is not prime. Res64: CFFC92A6232BCC03 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:48:50] 765*2^1397496-1 is not prime. Res64: 4084569ECDA1C834 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:48:50] 809*2^1397496-1 is not prime. Res64: F779EC7DDFC926B8 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:51:22] 825*2^1397496-1 is not prime. Res64: AB0E6B814F254B96 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:51:23] 899*2^1397496-1 is not prime. Res64: A319ADDA3E456109 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:55:08] 607*2^1397497-1 is not prime. Res64: C4F3F98B7090C9E5 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:55:08] 637*2^1397497-1 is not prime. Res64: F8764BE62D658A90 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:58:41] 741*2^1397497-1 is not prime. Res64: 06550E2B089E1FA7 Time : 0.0 sec. user=mdettweiler [2015-04-12 22:58:41] 889*2^1397497-1 is not prime. Res64: 9D0956366221919C Time : 0.0 sec. user=mdettweiler [2015-04-12 23:15:14] 671*2^1397498-1 is not prime. Res64: E925927CEF02F6B4 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:15:15] 677*2^1397498-1 is not prime. Res64: DED11F2F3EBD8FA6 Time : 0.0 sec. user=juhehe [2015-04-12 23:17:09] 617*2^1397498-1 is not prime. Res64: 1A62529A86E329F9 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:18:13] 755*2^1397498-1 is not prime. Res64: CBC4AC0F39F68812 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:18:13] 825*2^1397498-1 is not prime. Res64: 64B752C3DCD53B7A Time : 0.0 sec. user=mdettweiler [2015-04-12 23:22:00] 875*2^1397498-1 is not prime. Res64: 3541D55CF54960C7 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:22:00] 957*2^1397498-1 is not prime. Res64: 6089337EE61F6A77 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:26:08] 633*2^1397499-1 is not prime. Res64: A2F32647D2928D6A Time : 0.0 sec. user=mdettweiler [2015-04-12 23:26:08] 685*2^1397499-1 is not prime. Res64: DC04589567456593 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:43:33] 723*2^1397499-1 is not prime. Res64: 64CE2F1F3293FA93 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:43:33] 861*2^1397499-1 is not prime. Res64: BED26E6AEE59B778 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:46:35] 873*2^1397499-1 is not prime. Res64: D8527C400DDDA7D8 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:46:36] 955*2^1397499-1 is not prime. Res64: 4B5EEBEB5F7FDE43 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:50:38] 635*2^1397500-1 is not prime. Res64: 1B42E556E5B1F992 Time : 0.0 sec. user=mdettweiler [2015-04-12 23:50:38] 735*2^1397500-1 is not prime. Res64: 29AC263C095E1FBC Time : 0.0 sec. user=mdettweiler [2015-04-12 23:54:42] 857*2^1397500-1 is not prime. Res64: 68C55DFAC049883F Time : 0.0 sec. user=mdettweiler [2015-04-12 23:54:42] 929*2^1397500-1 is not prime. Res64: 00A6A37D67380592 Time : 0.0 sec.