user=mdettweiler [2018-11-12 00:04:13] 663*2^1531064-1 is not prime. Res64: B968D1FE6FF63CE3 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:04:14] 665*2^1531064-1 is not prime. Res64: BD99BE7BDF937968 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:04:15] 813*2^1531064-1 is not prime. Res64: FAF9D6984EA28BEF Time : 0.0 sec. user=mdettweiler [2018-11-12 00:04:16] 869*2^1531064-1 is not prime. Res64: F04DA6479367246A Time : 0.0 sec. user=mdettweiler [2018-11-12 00:04:16] 935*2^1531064-1 is not prime. Res64: 30B7A3C94000EE6F Time : 0.0 sec. user=mdettweiler [2018-11-12 00:16:06] 957*2^1531064-1 is not prime. Res64: 21225C6CF3C4FE13 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:16:07] 609*2^1531065-1 is not prime. Res64: 8EB3FB59D6918F7C Time : 0.0 sec. user=mdettweiler [2018-11-12 00:16:07] 805*2^1531065-1 is not prime. Res64: 044ADD31354B0DA1 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:16:07] 819*2^1531065-1 is not prime. Res64: 1A95BE90C683816C Time : 0.0 sec. user=mdettweiler [2018-11-12 00:16:08] 877*2^1531065-1 is not prime. Res64: C1552A3BA4E83FB4 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:37:24] 969*2^1531065-1 is not prime. Res64: 383CCB090E8F5D23 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:37:24] 645*2^1531066-1 is not prime. Res64: EBA975D4BA7ACC86 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:37:25] 911*2^1531066-1 is not prime. Res64: 7F0CC2F67B120F1D Time : 0.0 sec. user=mdettweiler [2018-11-12 00:37:25] 957*2^1531066-1 is not prime. Res64: 178C41E64D8ADB56 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:37:25] 609*2^1531067-1 is not prime. Res64: D35C9E0CB051E419 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:46:21] 645*2^1531067-1 is not prime. Res64: 9778C9B26C507382 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:46:21] 775*2^1531067-1 is not prime. Res64: AE20AFF3730C9FFC Time : 0.0 sec. user=mdettweiler [2018-11-12 00:46:22] 781*2^1531067-1 is not prime. Res64: 445924F760151E3B Time : 0.0 sec. user=mdettweiler [2018-11-12 00:46:22] 939*2^1531067-1 is not prime. Res64: 221B28492D130BF6 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:46:22] 749*2^1531068-1 is not prime. Res64: 3DC024412F02FBE7 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:55:45] 753*2^1531068-1 is not prime. Res64: 843306020975CFB3 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:55:45] 893*2^1531068-1 is not prime. Res64: 615711065C33BAEB Time : 0.0 sec. user=mdettweiler [2018-11-12 00:55:45] 751*2^1531069-1 is not prime. Res64: 57FB3D23BADCEBAC Time : 0.0 sec. user=mdettweiler [2018-11-12 00:55:45] 861*2^1531069-1 is not prime. Res64: 5AB6F8F78EBBB900 Time : 0.0 sec. user=mdettweiler [2018-11-12 00:55:46] 761*2^1531070-1 is not prime. Res64: 9F85FD092B815BCA Time : 0.0 sec. user=mdettweiler [2018-11-12 01:07:35] 791*2^1531070-1 is not prime. Res64: FC313657096EBE19 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:07:35] 795*2^1531070-1 is not prime. Res64: D747686A7F794181 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:07:36] 615*2^1531071-1 is not prime. Res64: F023BBC896E65251 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:07:36] 679*2^1531071-1 is not prime. Res64: 70B532033B4CD0E6 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:07:37] 685*2^1531071-1 is not prime. Res64: 26B9EAA2A8450D26 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:30:16] 789*2^1531071-1 is not prime. Res64: 078394914016D1F5 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:30:18] 861*2^1531071-1 is not prime. Res64: FAA9F2AA475A4B01 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:30:20] 931*2^1531071-1 is not prime. Res64: FD783E42139678B8 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:30:21] 719*2^1531072-1 is not prime. Res64: 06329D33E689CB3E Time : 0.0 sec. user=mdettweiler [2018-11-12 01:30:24] 777*2^1531072-1 is not prime. Res64: 59F5E82726722B4A Time : 0.0 sec. user=mdettweiler [2018-11-12 01:37:50] 785*2^1531072-1 is not prime. Res64: 6A9174286EF5B627 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:37:50] 939*2^1531072-1 is not prime. Res64: B42ABF86F64CC068 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:37:51] 965*2^1531072-1 is not prime. Res64: 69A0228E88833F19 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:37:53] 607*2^1531073-1 is not prime. Res64: 948330A2930C8D69 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:37:53] 615*2^1531073-1 is not prime. Res64: C8BDC7B6793F027B Time : 0.0 sec. user=mdettweiler [2018-11-12 01:48:50] 631*2^1531073-1 is not prime. Res64: 405FEC46B29656D1 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:48:50] 699*2^1531073-1 is not prime. Res64: C403A5B17720862B Time : 0.0 sec. user=mdettweiler [2018-11-12 01:48:51] 741*2^1531073-1 is not prime. Res64: 240CBC54BB64838F Time : 0.0 sec. user=mdettweiler [2018-11-12 01:48:51] 787*2^1531073-1 is not prime. Res64: 66564ADE5C0AEE97 Time : 0.0 sec. user=mdettweiler [2018-11-12 01:48:52] 837*2^1531073-1 is not prime. Res64: 780714F48AD80058 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:00:24] 855*2^1531073-1 is not prime. Res64: 5B3ADC20D38F4393 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:00:24] 879*2^1531073-1 is not prime. Res64: AB55F0F378008468 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:00:27] 955*2^1531073-1 is not prime. Res64: 5386A7E0BC7113E6 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:00:33] 633*2^1531074-1 is not prime. Res64: D6E1E6CBA05CB49C Time : 0.0 sec. user=mdettweiler [2018-11-12 02:00:35] 677*2^1531074-1 is not prime. Res64: A53DE00F387BAEE5 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:22:59] 683*2^1531074-1 is not prime. Res64: 3B0225FDB4F9B0A1 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:22:59] 747*2^1531074-1 is not prime. Res64: D894F924C901B817 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:23:00] 825*2^1531074-1 is not prime. Res64: 5EB012B23B9FD03A Time : 0.0 sec. user=mdettweiler [2018-11-12 02:23:00] 983*2^1531074-1 is not prime. Res64: FD3BB16C278A1B97 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:23:02] 609*2^1531075-1 is not prime. Res64: 4E6C4D60837615A3 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:30:08] 679*2^1531075-1 is not prime. Res64: DA70B0716D5718DC Time : 0.0 sec. user=mdettweiler [2018-11-12 02:30:13] 699*2^1531075-1 is not prime. Res64: 9683E9DB665F8047 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:30:14] 801*2^1531075-1 is not prime. Res64: 579870E6B1D56E2A Time : 0.0 sec. user=mdettweiler [2018-11-12 02:30:15] 843*2^1531075-1 is not prime. Res64: 3897165FF5A4AA1C Time : 0.0 sec. user=mdettweiler [2018-11-12 02:30:15] 855*2^1531075-1 is not prime. Res64: 65F7019C08DB1B01 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:40:16] 895*2^1531075-1 is not prime. Res64: DD9C311F794D6AC5 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:40:16] 659*2^1531076-1 is not prime. Res64: DF5437F1623679DA Time : 0.0 sec. user=mdettweiler [2018-11-12 02:40:17] 725*2^1531076-1 is not prime. Res64: 9FF03E85233A11B3 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:40:17] 899*2^1531076-1 is not prime. Res64: 7EE514971A268194 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:40:18] 993*2^1531076-1 is not prime. Res64: 8C4E13DAEA80C50C Time : 0.0 sec. user=mdettweiler [2018-11-12 02:51:52] 927*2^1531077-1 is not prime. Res64: 1CF38041DB974B50 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:51:52] 611*2^1531078-1 is not prime. Res64: 92BA2BCFF4588527 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:51:53] 705*2^1531078-1 is not prime. Res64: E65B71712EB9DF1A Time : 0.0 sec. user=mdettweiler [2018-11-12 02:51:53] 827*2^1531078-1 is not prime. Res64: 4364F11A7483A374 Time : 0.0 sec. user=mdettweiler [2018-11-12 02:51:54] 881*2^1531078-1 is not prime. Res64: B1059BDC656B544D Time : 0.0 sec. user=mdettweiler [2018-11-12 03:14:03] 891*2^1531078-1 is not prime. Res64: 54D217CE964817DF Time : 0.0 sec. user=mdettweiler [2018-11-12 03:14:04] 621*2^1531079-1 is not prime. Res64: 0FD095DE375E01DC Time : 0.0 sec. user=mdettweiler [2018-11-12 03:14:04] 763*2^1531079-1 is not prime. Res64: F14B5C15D6B85CE0 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:14:05] 843*2^1531079-1 is not prime. Res64: E74290E325AEF668 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:14:05] 859*2^1531079-1 is not prime. Res64: 8170A429A43724B5 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:21:27] 707*2^1531080-1 is not prime. Res64: AF9C13416AF66F0C Time : 0.0 sec. user=mdettweiler [2018-11-12 03:21:28] 767*2^1531080-1 is not prime. Res64: CDE02CEEA1C44B93 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:21:28] 803*2^1531080-1 is not prime. Res64: 7BD19927BEDB0C2E Time : 0.0 sec. user=mdettweiler [2018-11-12 03:21:28] 809*2^1531080-1 is not prime. Res64: D009825E822D1D10 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:21:29] 843*2^1531080-1 is not prime. Res64: F1763A6AB00AE840 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:31:27] 999*2^1531080-1 is not prime. Res64: 028FA706DB58CB32 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:31:27] 691*2^1531081-1 is not prime. Res64: A4284D5C283A5A9C Time : 0.0 sec. user=mdettweiler [2018-11-12 03:31:28] 741*2^1531081-1 is not prime. Res64: D365C7F287F254D9 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:31:30] 889*2^1531081-1 is not prime. Res64: 3703FA7F1D818D1C Time : 0.0 sec. user=mdettweiler [2018-11-12 03:31:31] 909*2^1531081-1 is not prime. Res64: 1EA496C84038A434 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:43:06] 945*2^1531081-1 is not prime. Res64: 8FC23BC4EF9177B3 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:43:07] 997*2^1531081-1 is not prime. Res64: 69D664854BFD6FA9 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:43:08] 675*2^1531082-1 is not prime. Res64: 7C298EDB767BB100 Time : 0.0 sec. user=mdettweiler [2018-11-12 03:43:09] 711*2^1531082-1 is not prime. Res64: 80B1123CE81969EC Time : 0.0 sec. user=mdettweiler [2018-11-12 03:43:09] 713*2^1531082-1 is not prime. Res64: 59A4E51099608103 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:05:04] 801*2^1531082-1 is not prime. Res64: BF6F171775F3612B Time : 0.0 sec. user=mdettweiler [2018-11-12 04:05:05] 837*2^1531082-1 is not prime. Res64: ECCAF0B4EAF17463 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:05:08] 843*2^1531082-1 is not prime. Res64: 489E0527ED79BC8C Time : 0.0 sec. user=mdettweiler [2018-11-12 04:05:09] 887*2^1531082-1 is not prime. Res64: 790EE57E010B9368 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:05:12] 915*2^1531082-1 is not prime. Res64: 3D4360CC39653802 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:12:38] 981*2^1531082-1 is not prime. Res64: 33D1AAF487B8534D Time : 0.0 sec. user=mdettweiler [2018-11-12 04:12:41] 1001*2^1531082-1 is not prime. Res64: 41845123957F40A7 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:12:43] 675*2^1531083-1 is not prime. Res64: 090A4DD3FD7C25D7 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:12:45] 735*2^1531083-1 is not prime. Res64: 4507BAFE9B6789A7 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:12:49] 741*2^1531083-1 is not prime. Res64: 8E3A54C025E4E672 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:22:42] 775*2^1531083-1 is not prime. Res64: 1D86CBE1FC007050 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:22:42] 781*2^1531083-1 is not prime. Res64: CAB4C4A6D9B41394 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:22:42] 783*2^1531083-1 is not prime. Res64: 364B0C223D7CC6B0 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:22:43] 825*2^1531083-1 is not prime. Res64: 23A11C69AC424DB0 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:22:43] 849*2^1531083-1 is not prime. Res64: 4A45BD20430FB6DA Time : 0.0 sec. user=mdettweiler [2018-11-12 04:34:29] 859*2^1531083-1 is not prime. Res64: 3463D931BEF325DB Time : 0.0 sec. user=mdettweiler [2018-11-12 04:34:29] 695*2^1531084-1 is not prime. Res64: 4B6A9537E6928F69 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:34:30] 707*2^1531084-1 is not prime. Res64: 21E743122B6E2040 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:34:30] 803*2^1531084-1 is not prime. Res64: BDD7B33846516ACD Time : 0.0 sec. user=mdettweiler [2018-11-12 04:34:30] 873*2^1531084-1 is not prime. Res64: 42F2534B2A23584A Time : 0.0 sec. user=mdettweiler [2018-11-12 04:57:24] 909*2^1531084-1 is not prime. Res64: F9C956830794A0CC Time : 0.0 sec. user=mdettweiler [2018-11-12 04:57:25] 989*2^1531084-1 is not prime. Res64: C26E4B3230DADAC8 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:57:29] 645*2^1531085-1 is not prime. Res64: BDB3943828C67177 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:57:30] 735*2^1531085-1 is not prime. Res64: 24764835F2DBDE26 Time : 0.0 sec. user=mdettweiler [2018-11-12 04:57:31] 787*2^1531085-1 is not prime. Res64: 4851FF13EBEBBCE1 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:04:12] 847*2^1531085-1 is not prime. Res64: EBEF502ABAA53B78 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:04:15] 987*2^1531085-1 is not prime. Res64: 8EEF301FBA00A504 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:04:22] 627*2^1531086-1 is not prime. Res64: 8160FEB20CF97234 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:04:23] 671*2^1531086-1 is not prime. Res64: 4B21D691BE34C81F Time : 0.0 sec. user=mdettweiler [2018-11-12 05:04:24] 747*2^1531086-1 is not prime. Res64: 54F22A4A8107A163 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:14:37] 765*2^1531086-1 is not prime. Res64: 8DD7049974C20344 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:14:37] 815*2^1531086-1 is not prime. Res64: 815A950F81B0FB01 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:14:38] 843*2^1531086-1 is not prime. Res64: 8C6A61FB7EE0F8EF Time : 0.0 sec. user=mdettweiler [2018-11-12 05:14:38] 851*2^1531086-1 is not prime. Res64: 1123933AF9A354B1 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:14:39] 673*2^1531087-1 is not prime. Res64: 94EC07955394281D Time : 0.0 sec. user=mdettweiler [2018-11-12 05:26:06] 705*2^1531087-1 is not prime. Res64: 617AFAAADD780ABE Time : 0.0 sec. user=mdettweiler [2018-11-12 05:26:06] 841*2^1531087-1 is not prime. Res64: F74E0108D885F423 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:26:07] 883*2^1531087-1 is not prime. Res64: 05EC62AC19480D0E Time : 0.0 sec. user=mdettweiler [2018-11-12 05:26:12] 915*2^1531087-1 is not prime. Res64: 1E9DF453FBF30356 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:26:12] 999*2^1531087-1 is not prime. Res64: ED365B9C7432A59E Time : 0.0 sec. user=mdettweiler [2018-11-12 05:48:42] 803*2^1531088-1 is not prime. Res64: 5330D982B1ED0BB7 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:48:43] 827*2^1531088-1 is not prime. Res64: B361834F589F30DD Time : 0.0 sec. user=mdettweiler [2018-11-12 05:48:43] 897*2^1531088-1 is not prime. Res64: E214B3E520C98438 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:48:43] 609*2^1531089-1 is not prime. Res64: A1B77FE611BC60FC Time : 0.0 sec. user=mdettweiler [2018-11-12 05:48:44] 627*2^1531089-1 is not prime. Res64: 5F1100815D35F35C Time : 0.0 sec. user=mdettweiler [2018-11-12 05:55:34] 649*2^1531089-1 is not prime. Res64: 530166E84EC913DE Time : 0.0 sec. user=mdettweiler [2018-11-12 05:55:35] 727*2^1531089-1 is not prime. Res64: 1AE555834EE90871 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:55:35] 741*2^1531089-1 is not prime. Res64: E20F7FAE9D9630D0 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:55:35] 745*2^1531089-1 is not prime. Res64: 1569C8DA5EC46050 Time : 0.0 sec. user=mdettweiler [2018-11-12 05:55:35] 789*2^1531089-1 is not prime. Res64: A5B542730A1985A1 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:05:51] 817*2^1531089-1 is not prime. Res64: 743BFC7FCEB4515B Time : 0.0 sec. user=mdettweiler [2018-11-12 06:05:53] 861*2^1531089-1 is not prime. Res64: 1CF636E8804BA020 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:05:53] 635*2^1531090-1 is not prime. Res64: 6B5D05B622E87123 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:05:55] 677*2^1531090-1 is not prime. Res64: AEB7EA526AA19D65 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:05:56] 813*2^1531090-1 is not prime. Res64: 614CA7522617CB79 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:17:27] 821*2^1531090-1 is not prime. Res64: 7D3DD09453CFDAAC Time : 0.0 sec. user=mdettweiler [2018-11-12 06:17:28] 831*2^1531090-1 is not prime. Res64: B174B2119307EAC5 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:17:28] 867*2^1531090-1 is not prime. Res64: BD26E81E754B4B26 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:17:28] 917*2^1531090-1 is not prime. Res64: D2D20E016CA771CB Time : 0.0 sec. user=mdettweiler [2018-11-12 06:17:28] 615*2^1531091-1 is not prime. Res64: 63C053848C098AB5 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:40:08] 711*2^1531091-1 is not prime. Res64: 73AFF48709F7D1B0 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:40:08] 745*2^1531091-1 is not prime. Res64: D7CD2442711001DD Time : 0.0 sec. user=mdettweiler [2018-11-12 06:40:08] 829*2^1531091-1 is not prime. Res64: E7B3C6F8B633EF1D Time : 0.0 sec. user=mdettweiler [2018-11-12 06:40:08] 913*2^1531091-1 is not prime. Res64: B9B57D894797008F Time : 0.0 sec. user=mdettweiler [2018-11-12 06:40:09] 993*2^1531091-1 is not prime. Res64: C81ED90970D4FCAD Time : 0.0 sec. user=mdettweiler [2018-11-12 06:46:51] 609*2^1531092-1 is not prime. Res64: 4292EBDF5312D2D5 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:46:51] 723*2^1531092-1 is not prime. Res64: 7C8F2EE209AA93EE Time : 0.0 sec. user=mdettweiler [2018-11-12 06:46:52] 725*2^1531092-1 is not prime. Res64: 8A97D4448B3758DB Time : 0.0 sec. user=mdettweiler [2018-11-12 06:46:52] 797*2^1531092-1 is not prime. Res64: A3639AF8FB3ECC32 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:46:52] 863*2^1531092-1 is not prime. Res64: 913C534922229AC7 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:57:39] 873*2^1531092-1 is not prime. Res64: B075D05F8FB94BBD Time : 0.0 sec. user=mdettweiler [2018-11-12 06:57:39] 945*2^1531092-1 is not prime. Res64: 8BDB01CE953D1C01 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:57:39] 983*2^1531092-1 is not prime. Res64: A6569E042832E688 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:57:39] 619*2^1531093-1 is not prime. Res64: 39135FCED3601837 Time : 0.0 sec. user=mdettweiler [2018-11-12 06:57:40] 679*2^1531093-1 is not prime. Res64: 4EB230156684FCEF Time : 0.0 sec. user=mdettweiler [2018-11-12 07:08:45] 699*2^1531093-1 is not prime. Res64: E909912F242BC465 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:08:46] 801*2^1531093-1 is not prime. Res64: B3D5F9F12E918732 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:08:46] 805*2^1531093-1 is not prime. Res64: DDC8A3D2294CC4FA Time : 0.0 sec. user=mdettweiler [2018-11-12 07:08:47] 945*2^1531093-1 is not prime. Res64: 074C58E5E7191806 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:08:47] 987*2^1531093-1 is not prime. Res64: E03DD3829BBC4958 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:31:16] 645*2^1531094-1 is not prime. Res64: E8C551BFAC7D478E Time : 0.0 sec. user=mdettweiler [2018-11-12 07:31:17] 663*2^1531094-1 is not prime. Res64: AD2BD7BFD549511C Time : 0.0 sec. user=mdettweiler [2018-11-12 07:31:17] 755*2^1531094-1 is not prime. Res64: 42D5263F32D922D0 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:31:18] 785*2^1531094-1 is not prime. Res64: F624486C322C5AD4 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:31:18] 857*2^1531094-1 is not prime. Res64: FFF3946AEE581721 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:38:11] 915*2^1531094-1 is not prime. Res64: E7961F5283E12FC9 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:38:11] 953*2^1531094-1 is not prime. Res64: AC688D6FC3DA5213 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:38:11] 1001*2^1531094-1 is not prime. Res64: 66DBD4A84BB6E4F4 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:38:12] 601*2^1531095-1 is not prime. Res64: 670AB14CAFED8943 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:38:12] 679*2^1531095-1 is not prime. Res64: 63754AA6F4F8A33D Time : 0.0 sec. user=mdettweiler [2018-11-12 07:48:35] 763*2^1531095-1 is not prime. Res64: 8C06B9BB9B4521AF Time : 0.0 sec. user=mdettweiler [2018-11-12 07:48:35] 781*2^1531095-1 is not prime. Res64: D7BDD99C0DB9C273 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:48:35] 943*2^1531095-1 is not prime. Res64: 510D12C8BFD764A6 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:48:36] 609*2^1531096-1 is not prime. Res64: 2E93EE6F962A161E Time : 0.0 sec. user=mdettweiler [2018-11-12 07:48:36] 777*2^1531096-1 is not prime. Res64: 22A0574DD640FA81 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:59:53] 849*2^1531096-1 is not prime. Res64: 4DBCC23022069D82 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:59:54] 887*2^1531096-1 is not prime. Res64: 811323050426179C Time : 0.0 sec. user=mdettweiler [2018-11-12 07:59:54] 923*2^1531096-1 is not prime. Res64: CBAB5280747CE134 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:59:54] 889*2^1531097-1 is not prime. Res64: 3516BF079382BB93 Time : 0.0 sec. user=mdettweiler [2018-11-12 07:59:54] 937*2^1531097-1 is not prime. Res64: CA2A9901A65EDD6E Time : 0.0 sec. user=mdettweiler [2018-11-12 08:22:39] 939*2^1531097-1 is not prime. Res64: 9917433355E7197E Time : 0.0 sec. user=mdettweiler [2018-11-12 08:22:39] 967*2^1531097-1 is not prime. Res64: 146622607C4644AD Time : 0.0 sec. user=mdettweiler [2018-11-12 08:22:40] 651*2^1531098-1 is not prime. Res64: 5DBA57964138E127 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:22:40] 657*2^1531098-1 is not prime. Res64: 1AA38F8A10E3846A Time : 0.0 sec. user=mdettweiler [2018-11-12 08:22:40] 677*2^1531098-1 is not prime. Res64: 28E6513A74B77F21 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:29:52] 681*2^1531098-1 is not prime. Res64: C3FA7955D71EDE5B Time : 0.0 sec. user=mdettweiler [2018-11-12 08:29:52] 683*2^1531098-1 is not prime. Res64: 952320D189D6D42C Time : 0.0 sec. user=mdettweiler [2018-11-12 08:29:52] 777*2^1531098-1 is not prime. Res64: F843F12CBEA7B9A6 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:29:53] 867*2^1531098-1 is not prime. Res64: 17C9EB926368F4FB Time : 0.0 sec. user=mdettweiler [2018-11-12 08:29:53] 945*2^1531098-1 is not prime. Res64: 978B09306195D85F Time : 0.0 sec. user=mdettweiler [2018-11-12 08:39:59] 601*2^1531099-1 is not prime. Res64: 3A38B12DC59A1F9E Time : 0.0 sec. user=mdettweiler [2018-11-12 08:39:59] 645*2^1531099-1 is not prime. Res64: 911556CEA8F83257 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:39:59] 925*2^1531099-1 is not prime. Res64: 2644C9C313E4D499 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:40:00] 985*2^1531099-1 is not prime. Res64: 9CE0B8C8F1196C99 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:40:00] 719*2^1531100-1 is not prime. Res64: 1D6E29D0BCA155C9 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:51:08] 759*2^1531100-1 is not prime. Res64: 3529886BA151B9CA Time : 0.0 sec. user=mdettweiler [2018-11-12 08:51:08] 819*2^1531100-1 is not prime. Res64: F1A415BFEF0E0D50 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:51:08] 845*2^1531100-1 is not prime. Res64: EDF35F7B0BFE407F Time : 0.0 sec. user=mdettweiler [2018-11-12 08:51:08] 855*2^1531100-1 is not prime. Res64: 3B3D6D7273AF3F40 Time : 0.0 sec. user=mdettweiler [2018-11-12 08:51:09] 923*2^1531100-1 is not prime. Res64: FDE28D478CEB7254 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:15:57] 987*2^1531100-1 is not prime. Res64: 334BF17CFE543F7B Time : 0.0 sec. user=mdettweiler [2018-11-12 09:15:57] 679*2^1531101-1 is not prime. Res64: 9A744EC034E1197A Time : 0.0 sec. user=mdettweiler [2018-11-12 09:15:58] 711*2^1531101-1 is not prime. Res64: 1A4EB3341B241CAF Time : 0.0 sec. user=mdettweiler [2018-11-12 09:15:58] 717*2^1531101-1 is not prime. Res64: DC7CA94C7508322C Time : 0.0 sec. user=mdettweiler [2018-11-12 09:15:58] 745*2^1531101-1 is not prime. Res64: FC673679172E1843 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:23:29] 789*2^1531101-1 is not prime. Res64: 3BCCFE1DCFCFED3B Time : 0.0 sec. user=mdettweiler [2018-11-12 09:23:29] 885*2^1531101-1 is not prime. Res64: 61A3845B95205862 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:23:30] 961*2^1531101-1 is not prime. Res64: AB2B3C525C84EAFA Time : 0.0 sec. user=mdettweiler [2018-11-12 09:23:30] 645*2^1531102-1 is not prime. Res64: BC84C5B919052C07 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:23:30] 665*2^1531102-1 is not prime. Res64: F37AC7D5085E1ED6 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:34:25] 801*2^1531102-1 is not prime. Res64: EB42F201B3DAED77 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:34:25] 603*2^1531103-1 is not prime. Res64: B6CD5DA5F3885978 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:34:26] 619*2^1531103-1 is not prime. Res64: 9A8AEAE72244B94B Time : 0.0 sec. user=mdettweiler [2018-11-12 09:34:26] 775*2^1531103-1 is not prime. Res64: E0C4D96DDC2D3EB7 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:34:26] 831*2^1531103-1 is not prime. Res64: A65BF267DC31D852 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:45:50] 955*2^1531103-1 is not prime. Res64: 74EE6C9A2A570E3E Time : 0.0 sec. user=mdettweiler [2018-11-12 09:45:51] 605*2^1531104-1 is not prime. Res64: 87A4753FF1AE9CCB Time : 0.0 sec. user=mdettweiler [2018-11-12 09:45:51] 849*2^1531104-1 is not prime. Res64: 1D47F0074BB45EBB Time : 0.0 sec. user=mdettweiler [2018-11-12 09:45:51] 905*2^1531104-1 is not prime. Res64: 79CDB23EC9926FA5 Time : 0.0 sec. user=mdettweiler [2018-11-12 09:45:52] 915*2^1531104-1 is not prime. Res64: 12BB40103287B222 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:10:06] 947*2^1531104-1 is not prime. Res64: 0B08F377FDAF0C38 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:10:07] 975*2^1531104-1 is not prime. Res64: A303E2FA904FC725 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:10:07] 993*2^1531104-1 is not prime. Res64: 0E36D499D241FEC1 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:10:08] 715*2^1531105-1 is not prime. Res64: F50E0EF28C686B8F Time : 0.0 sec. user=mdettweiler [2018-11-12 10:10:08] 721*2^1531105-1 is not prime. Res64: AD6D8507ABA05C8C Time : 0.0 sec. user=mdettweiler [2018-11-12 10:17:51] 729*2^1531105-1 is not prime. Res64: BB19F8C2EC1FE1CE Time : 0.0 sec. user=mdettweiler [2018-11-12 10:17:51] 819*2^1531105-1 is not prime. Res64: 11AF1B0FCDEA9EBB Time : 0.0 sec. user=mdettweiler [2018-11-12 10:17:51] 871*2^1531105-1 is not prime. Res64: F97C67BCCE90E691 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:17:52] 897*2^1531105-1 is not prime. Res64: 680E394DC4E48D3B Time : 0.0 sec. user=mdettweiler [2018-11-12 10:17:52] 909*2^1531105-1 is not prime. Res64: D03A92C0B51796D5 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:28:31] 937*2^1531105-1 is not prime. Res64: C470C3A8891C7A79 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:28:31] 939*2^1531105-1 is not prime. Res64: 2253A4C48C0A8D9A Time : 0.0 sec. user=mdettweiler [2018-11-12 10:28:31] 615*2^1531106-1 is not prime. Res64: 23B7B354F4E42D1C Time : 0.0 sec. user=mdettweiler [2018-11-12 10:28:32] 633*2^1531106-1 is not prime. Res64: CFE04919F994BC08 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:28:32] 671*2^1531106-1 is not prime. Res64: 67C0CAF3F1B73B5E Time : 0.0 sec. user=mdettweiler [2018-11-12 10:42:41] 675*2^1531106-1 is not prime. Res64: E1B61A659959DAAD Time : 0.0 sec. user=mdettweiler [2018-11-12 10:42:41] 945*2^1531106-1 is not prime. Res64: 9AA1B06106E8A48F Time : 0.0 sec. user=mdettweiler [2018-11-12 10:42:42] 953*2^1531106-1 is not prime. Res64: 77455AC7BA3D505F Time : 0.0 sec. user=mdettweiler [2018-11-12 10:42:42] 615*2^1531107-1 is not prime. Res64: DA1E31CFDB86DBA2 Time : 0.0 sec. user=mdettweiler [2018-11-12 10:42:42] 753*2^1531107-1 is not prime. Res64: 7B810F3F7FA2C861 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:05:56] 859*2^1531107-1 is not prime. Res64: 6DE62E48FFBDFD4A Time : 0.0 sec. user=mdettweiler [2018-11-12 11:05:58] 961*2^1531107-1 is not prime. Res64: DB0569A14B73E089 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:05:59] 629*2^1531108-1 is not prime. Res64: D9BC4C277328E7FB Time : 0.0 sec. user=mdettweiler [2018-11-12 11:06:00] 689*2^1531108-1 is not prime. Res64: AE5F1ABC34C1FC61 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:06:01] 777*2^1531108-1 is not prime. Res64: 0A8EFF1B74CCF678 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:13:01] 797*2^1531108-1 is not prime. Res64: 925C1AA4DC34CC88 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:13:02] 875*2^1531108-1 is not prime. Res64: FFD1BA0AA8D063A6 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:13:02] 909*2^1531108-1 is not prime. Res64: AE991AC3F2825A7B Time : 0.0 sec. user=mdettweiler [2018-11-12 11:13:03] 615*2^1531109-1 is not prime. Res64: 4761ED3E25F37225 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:13:03] 699*2^1531109-1 is not prime. Res64: C8B057C2E4CA48ED Time : 0.0 sec. user=mdettweiler [2018-11-12 11:23:45] 927*2^1531109-1 is not prime. Res64: 33FEAC2F144D56C2 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:23:46] 747*2^1531110-1 is not prime. Res64: 342D1AB6610801F8 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:23:46] 773*2^1531110-1 is not prime. Res64: BEB8A4C82519F107 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:23:46] 923*2^1531110-1 is not prime. Res64: 68B74381D9BF288A Time : 0.0 sec. user=mdettweiler [2018-11-12 11:23:47] 945*2^1531110-1 is not prime. Res64: 8F6F0F587009C794 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:34:46] 603*2^1531111-1 is not prime. Res64: 3B0DF5692ED021DB Time : 0.0 sec. user=mdettweiler [2018-11-12 11:34:46] 651*2^1531111-1 is not prime. Res64: E11461F35C397622 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:34:47] 741*2^1531111-1 is not prime. Res64: 616D3680373C5909 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:34:47] 871*2^1531111-1 is not prime. Res64: 4AB901A20E287CD7 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:34:47] 901*2^1531111-1 is not prime. Res64: DED5546F96F6BE76 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:58:58] 993*2^1531111-1 is not prime. Res64: B7ED461F48B20BA3 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:58:59] 825*2^1531112-1 is not prime. Res64: 8B4B5C7BD67302B1 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:58:59] 857*2^1531112-1 is not prime. Res64: 8EBF12F3602091D9 Time : 0.0 sec. user=mdettweiler [2018-11-12 11:58:59] 899*2^1531112-1 is not prime. Res64: D42AB332E02EE99B Time : 0.0 sec. user=mdettweiler [2018-11-12 11:59:00] 929*2^1531112-1 is not prime. Res64: CC96E58813E7D3C0 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:07:36] 959*2^1531112-1 is not prime. Res64: D8F99FFDDA5BFA38 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:07:37] 977*2^1531112-1 is not prime. Res64: 38A300CB9B44303D Time : 0.0 sec. user=mdettweiler [2018-11-12 12:07:37] 983*2^1531112-1 is not prime. Res64: 696046EA68092111 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:07:37] 995*2^1531112-1 is not prime. Res64: 6F672C6CC3CAEC53 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:07:38] 675*2^1531113-1 is not prime. Res64: 737D46A560CC51D6 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:19:30] 645*2^1531114-1 is not prime. Res64: 3DA19BA95FD5CB75 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:19:30] 665*2^1531114-1 is not prime. Res64: EE9A8F01F3BC9A2D Time : 0.0 sec. user=mdettweiler [2018-11-12 12:19:31] 915*2^1531114-1 is not prime. Res64: A1CB36A8EDE0B8C2 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:19:31] 917*2^1531114-1 is not prime. Res64: C2E3AE825AB59838 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:19:31] 945*2^1531114-1 is not prime. Res64: 2D37CFC104055047 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:27:11] 603*2^1531115-1 is not prime. Res64: EC12015E98384A85 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:27:11] 651*2^1531115-1 is not prime. Res64: 1E7242EA67657020 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:27:11] 675*2^1531115-1 is not prime. Res64: B4B0D3F2A59E9F14 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:27:11] 753*2^1531115-1 is not prime. Res64: 6C24766498133D3A Time : 0.0 sec. user=mdettweiler [2018-11-12 12:27:12] 783*2^1531115-1 is not prime. Res64: 94349776C0834975 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:51:50] 939*2^1531115-1 is not prime. Res64: F31C64B650D00F45 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:51:50] 689*2^1531116-1 is not prime. Res64: D59E6AC24B69A6BC Time : 0.0 sec. user=mdettweiler [2018-11-12 12:51:51] 695*2^1531116-1 is not prime. Res64: 1F5676B140A18F91 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:51:51] 705*2^1531116-1 is not prime. Res64: 7882CBE9F9136236 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:51:51] 773*2^1531116-1 is not prime. Res64: C62C974205D54802 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:59:55] 615*2^1531117-1 is not prime. Res64: 27D5F081F01D1A68 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:59:55] 651*2^1531117-1 is not prime. Res64: E00892C386DDEF7E Time : 0.0 sec. user=mdettweiler [2018-11-12 12:59:56] 667*2^1531117-1 is not prime. Res64: 88D58636B22645D6 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:59:56] 729*2^1531117-1 is not prime. Res64: D11E7EFBBFEDBF96 Time : 0.0 sec. user=mdettweiler [2018-11-12 12:59:56] 831*2^1531117-1 is not prime. Res64: 6C798795A3C36888 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:11:03] 835*2^1531117-1 is not prime. Res64: 553B8EC19EADA1B5 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:11:04] 849*2^1531117-1 is not prime. Res64: 5B3A2E68D10B961F Time : 0.0 sec. user=mdettweiler [2018-11-12 13:11:04] 897*2^1531117-1 is not prime. Res64: A97AF11C229B50C2 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:11:04] 937*2^1531117-1 is not prime. Res64: 530BF19F22123C47 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:11:05] 617*2^1531118-1 is not prime. Res64: C633E34E68CD7932 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:18:56] 635*2^1531118-1 is not prime. Res64: 7E2783746F0DB6F8 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:18:58] 665*2^1531118-1 is not prime. Res64: 83B32F3F8407EB49 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:18:59] 767*2^1531118-1 is not prime. Res64: E404DF79651B5B7F Time : 0.0 sec. user=mdettweiler [2018-11-12 13:18:59] 801*2^1531118-1 is not prime. Res64: A313A8FC2F97B197 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:19:00] 893*2^1531118-1 is not prime. Res64: 9B556A852EC8BC88 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:43:06] 935*2^1531118-1 is not prime. Res64: 352A724B936CA29B Time : 0.0 sec. user=mdettweiler [2018-11-12 13:43:06] 971*2^1531118-1 is not prime. Res64: EA623F74B0C476CD Time : 0.0 sec. user=mdettweiler [2018-11-12 13:43:07] 625*2^1531119-1 is not prime. Res64: C4CD30449077170A Time : 0.0 sec. user=mdettweiler [2018-11-12 13:43:08] 663*2^1531119-1 is not prime. Res64: 046BB2DB3BC82E16 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:43:09] 669*2^1531119-1 is not prime. Res64: 75E87A2701EA1700 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:51:20] 679*2^1531119-1 is not prime. Res64: 84B96578FE12A020 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:51:20] 691*2^1531119-1 is not prime. Res64: 86124B0CD6ABFBE6 Time : 0.0 sec. user=mdettweiler [2018-11-12 13:51:20] 709*2^1531119-1 is not prime. Res64: 0929473DF5E8289D Time : 0.0 sec. user=mdettweiler [2018-11-12 13:51:21] 955*2^1531119-1 is not prime. Res64: B4DF7720C3020F7F Time : 0.0 sec. user=mdettweiler [2018-11-12 13:51:21] 609*2^1531120-1 is not prime. Res64: 919E2569584B1FDD Time : 0.0 sec. user=mdettweiler [2018-11-12 14:02:24] 695*2^1531120-1 is not prime. Res64: 1D2AE92A0F5961F8 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:02:25] 825*2^1531120-1 is not prime. Res64: 1AE87CD2554CFDBF Time : 0.0 sec. user=mdettweiler [2018-11-12 14:02:25] 939*2^1531120-1 is not prime. Res64: 356F0FE7E9980248 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:02:26] 995*2^1531120-1 is not prime. Res64: DCE09AAED675412A Time : 0.0 sec. user=mdettweiler [2018-11-12 14:02:27] 999*2^1531120-1 is not prime. Res64: F8E22DD2748C94AC Time : 0.0 sec. user=mdettweiler [2018-11-12 14:10:24] 615*2^1531121-1 is not prime. Res64: EC242D98FFE62D55 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:10:24] 619*2^1531121-1 is not prime. Res64: A3B44AEC6571E144 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:10:25] 741*2^1531121-1 is not prime. Res64: F07B47C827071420 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:10:25] 879*2^1531121-1 is not prime. Res64: 7639B61A1AED2A23 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:10:26] 937*2^1531121-1 is not prime. Res64: 5BE292AD061D2323 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:34:19] 615*2^1531123-1 is not prime. Res64: 30EDD88FAECF6D5E Time : 0.0 sec. user=mdettweiler [2018-11-12 14:34:19] 705*2^1531123-1 is not prime. Res64: 56FCB1765BEE26E9 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:34:19] 853*2^1531123-1 is not prime. Res64: 597A6BC74887E1C9 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:34:20] 961*2^1531123-1 is not prime. Res64: CB3D1AB646993BE3 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:34:20] 635*2^1531124-1 is not prime. Res64: E01604213FDB74F7 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:42:36] 675*2^1531124-1 is not prime. Res64: 67911BD0E0B5D4C1 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:42:37] 699*2^1531124-1 is not prime. Res64: F70E7CD0076BC234 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:42:37] 843*2^1531124-1 is not prime. Res64: 7A5D9093727D8D62 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:42:37] 855*2^1531124-1 is not prime. Res64: 250C6A6C55C5D684 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:42:37] 893*2^1531124-1 is not prime. Res64: ADD1C427B83E6447 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:53:39] 897*2^1531124-1 is not prime. Res64: 343535D78B73FE1D Time : 0.0 sec. user=mdettweiler [2018-11-12 14:53:39] 969*2^1531124-1 is not prime. Res64: 120B3CB2DC269AA9 Time : 0.0 sec. user=mdettweiler [2018-11-12 14:53:40] 983*2^1531124-1 is not prime. Res64: 30F478F595AFF04D Time : 0.0 sec. user=mdettweiler [2018-11-12 14:53:40] 639*2^1531125-1 is not prime. Res64: 8B328D649AE48B0F Time : 0.0 sec. user=mdettweiler [2018-11-12 14:53:40] 655*2^1531125-1 is not prime. Res64: 2CEA34FFD5E613A4 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:01:37] 985*2^1531125-1 is not prime. Res64: EDAEED12FA11BF86 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:01:38] 603*2^1531126-1 is not prime. Res64: 4851B1E68F897FE1 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:01:39] 761*2^1531126-1 is not prime. Res64: E7D9E1BD68D43568 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:01:40] 783*2^1531126-1 is not prime. Res64: 9F003EF16D023F2E Time : 0.0 sec. user=mdettweiler [2018-11-12 15:01:41] 825*2^1531126-1 is not prime. Res64: 20A5580A3EF0F8FD Time : 0.0 sec. user=mdettweiler [2018-11-12 15:25:37] 843*2^1531126-1 is not prime. Res64: 7538B5CBE18E06C9 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:25:37] 971*2^1531126-1 is not prime. Res64: DD378285E7A29AE0 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:25:37] 621*2^1531127-1 is not prime. Res64: 5FAA945177CC1F99 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:25:38] 669*2^1531127-1 is not prime. Res64: 4023F08420B791A0 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:25:38] 729*2^1531127-1 is not prime. Res64: 7EFDBF93C4A93064 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:34:13] 819*2^1531127-1 is not prime. Res64: D4BA56FBD07D8BC3 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:34:13] 985*2^1531127-1 is not prime. Res64: 118DA80B0EAEC7A2 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:34:13] 725*2^1531128-1 is not prime. Res64: 8D2BED9AFC6C29C4 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:34:14] 735*2^1531128-1 is not prime. Res64: 09F6F6E4F40353EB Time : 0.0 sec. user=mdettweiler [2018-11-12 15:34:14] 899*2^1531128-1 is not prime. Res64: 12084847C7A17F94 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:44:52] 905*2^1531128-1 is not prime. Res64: B3C7D2D500504EE6 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:44:52] 681*2^1531129-1 is not prime. Res64: 4785696286316DE2 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:44:52] 691*2^1531129-1 is not prime. Res64: 758C4DFE78EA4FC5 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:44:52] 741*2^1531129-1 is not prime. Res64: BC587C6ED63A6240 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:44:53] 765*2^1531129-1 is not prime. Res64: 84EC6BCC40685951 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:53:03] 801*2^1531129-1 is not prime. Res64: A3FF5ADEF242EE0C Time : 0.0 sec. user=mdettweiler [2018-11-12 15:53:03] 847*2^1531129-1 is not prime. Res64: 8FA5CBA17F7CF470 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:53:03] 999*2^1531129-1 is not prime. Res64: E622FCF4DC9BAB3A Time : 0.0 sec. user=mdettweiler [2018-11-12 15:53:04] 675*2^1531130-1 is not prime. Res64: 18D4F4B4181F46F4 Time : 0.0 sec. user=mdettweiler [2018-11-12 15:53:04] 717*2^1531130-1 is not prime. Res64: 62524D4F6FF3A2D9 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:17:14] 731*2^1531130-1 is not prime. Res64: F607BC5AA2F7C61A Time : 0.0 sec. user=mdettweiler [2018-11-12 16:17:14] 827*2^1531130-1 is not prime. Res64: A3070C6D0E182D22 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:17:15] 613*2^1531131-1 is not prime. Res64: A1DACDD997A96324 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:17:15] 783*2^1531131-1 is not prime. Res64: 00AEEAD3140E6627 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:17:15] 793*2^1531131-1 is not prime. Res64: EC9C56754120B727 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:25:57] 801*2^1531131-1 is not prime. Res64: FDC9155721D0793C Time : 0.0 sec. user=mdettweiler [2018-11-12 16:25:57] 949*2^1531131-1 is not prime. Res64: 6CD4F1BABA2AD85E Time : 0.0 sec. user=mdettweiler [2018-11-12 16:25:57] 969*2^1531131-1 is not prime. Res64: CB4FEFBC04AE2116 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:25:57] 677*2^1531132-1 is not prime. Res64: 9388119581DB1762 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:25:58] 735*2^1531132-1 is not prime. Res64: C9997242C20D8E1F Time : 0.0 sec. user=mdettweiler [2018-11-12 16:36:55] 743*2^1531132-1 is not prime. Res64: 393CB4F427DA9DC3 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:36:55] 909*2^1531132-1 is not prime. Res64: A47662C39634BFBC Time : 0.0 sec. user=mdettweiler [2018-11-12 16:36:56] 615*2^1531133-1 is not prime. Res64: 95D0ACF061B053C4 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:36:57] 621*2^1531133-1 is not prime. Res64: 583B1506EACBE789 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:36:57] 757*2^1531133-1 is not prime. Res64: ED7FC002ACAAE49D Time : 0.0 sec. user=mdettweiler [2018-11-12 16:45:39] 811*2^1531133-1 is not prime. Res64: 91835D787F92FCDD Time : 0.0 sec. user=mdettweiler [2018-11-12 16:45:39] 831*2^1531133-1 is not prime. Res64: 92DFBC9FA5BD114E Time : 0.0 sec. user=mdettweiler [2018-11-12 16:45:39] 885*2^1531133-1 is not prime. Res64: 62CB2685D85F4EEA Time : 0.0 sec. user=mdettweiler [2018-11-12 16:45:40] 915*2^1531133-1 is not prime. Res64: 0181F8821359EFA8 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:45:40] 939*2^1531133-1 is not prime. Res64: D4B88AAECB117EE9 Time : 0.0 sec. user=mdettweiler [2018-11-12 16:59:40] 741*2^1531137-1 is not prime. Res64: 3B2CABA333BACA19 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:08:45] 615*2^1531134-1 is not prime. Res64: 3F6C545DA62B71F0 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:08:46] 683*2^1531134-1 is not prime. Res64: 5ECAE327FACD9852 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:08:46] 815*2^1531134-1 is not prime. Res64: 784314CDE233C072 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:08:47] 885*2^1531134-1 is not prime. Res64: F52419ADCDC0CF78 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:08:47] 975*2^1531134-1 is not prime. Res64: 546F707B255A55C7 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:17:15] 609*2^1531135-1 is not prime. Res64: 5127463718821518 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:17:15] 705*2^1531135-1 is not prime. Res64: 961A919ADA179FC8 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:17:15] 849*2^1531135-1 is not prime. Res64: D3E4FC42E56DE192 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:17:16] 873*2^1531135-1 is not prime. Res64: 4DE897FF15C26322 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:17:16] 925*2^1531135-1 is not prime. Res64: F5C2F13CE8183B40 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:28:12] 659*2^1531136-1 is not prime. Res64: 6B6AFD800062AEBE Time : 0.0 sec. user=mdettweiler [2018-11-12 17:28:12] 743*2^1531136-1 is not prime. Res64: 8F227234BC7A84E2 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:28:12] 759*2^1531136-1 is not prime. Res64: 8E183801B573D31C Time : 0.0 sec. user=mdettweiler [2018-11-12 17:28:13] 815*2^1531136-1 is not prime. Res64: FE196E56AA9A233C Time : 0.0 sec. user=mdettweiler [2018-11-12 17:28:13] 935*2^1531136-1 is not prime. Res64: AE924BAD6E384F17 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:36:58] 969*2^1531136-1 is not prime. Res64: CC688CB64B9D6FDC Time : 0.0 sec. user=mdettweiler [2018-11-12 17:36:59] 625*2^1531137-1 is not prime. Res64: 597C0F3220B29BA6 Time : 0.0 sec. user=mdettweiler [2018-11-12 17:36:59] 649*2^1531137-1 is not prime. Res64: 9E334E756F7DE55C Time : 0.0 sec. user=mdettweiler [2018-11-12 17:36:59] 711*2^1531137-1 is not prime. Res64: 1B165F722812FA8B Time : 0.0 sec. user=mdettweiler [2018-11-12 17:37:00] 727*2^1531137-1 is not prime. Res64: 732F92BEA9F4319D Time : 0.0 sec. user=mdettweiler [2018-11-12 18:00:13] 777*2^1531137-1 is not prime. Res64: 45DFD92FB8D994DD Time : 0.0 sec. user=mdettweiler [2018-11-12 18:00:14] 901*2^1531137-1 is not prime. Res64: 457102712BAC0A80 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:00:15] 937*2^1531137-1 is not prime. Res64: A87E2F3E895A02CB Time : 0.0 sec. user=mdettweiler [2018-11-12 18:00:16] 645*2^1531138-1 is not prime. Res64: 63A13EC60F619F6F Time : 0.0 sec. user=mdettweiler [2018-11-12 18:00:17] 647*2^1531138-1 is not prime. Res64: 3382AD066041543A Time : 0.0 sec. user=mdettweiler [2018-11-12 18:10:00] 713*2^1531138-1 is not prime. Res64: D6D60FAA802AAEEF Time : 0.0 sec. user=mdettweiler [2018-11-12 18:10:00] 755*2^1531138-1 is not prime. Res64: A156B66F2590C3BB Time : 0.0 sec. user=mdettweiler [2018-11-12 18:10:01] 855*2^1531138-1 is not prime. Res64: 4A2DB09FF3EE9C0C Time : 0.0 sec. user=mdettweiler [2018-11-12 18:10:01] 891*2^1531138-1 is not prime. Res64: 3116C99CB7E68B23 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:10:02] 987*2^1531138-1 is not prime. Res64: 9DA38AB717AD35C5 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:19:49] 663*2^1531139-1 is not prime. Res64: 2E023A40364D51D4 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:19:49] 705*2^1531139-1 is not prime. Res64: 03BC884D7E8A8BA1 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:19:50] 813*2^1531139-1 is not prime. Res64: 6BC8D5D590FA5112 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:19:50] 841*2^1531139-1 is not prime. Res64: 89AB698FA0C0788A Time : 0.0 sec. user=mdettweiler [2018-11-12 18:19:50] 689*2^1531140-1 is not prime. Res64: D0383705B174C32F Time : 0.0 sec. user=mdettweiler [2018-11-12 18:28:46] 707*2^1531140-1 is not prime. Res64: C6592A2F54A3AEBA Time : 0.0 sec. user=mdettweiler [2018-11-12 18:28:46] 779*2^1531140-1 is not prime. Res64: 4A1626EA59E39682 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:28:46] 795*2^1531140-1 is not prime. Res64: B1D1A6C72C6EB099 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:28:47] 909*2^1531140-1 is not prime. Res64: CD9293ADDEA23CFA Time : 0.0 sec. user=mdettweiler [2018-11-12 18:28:47] 927*2^1531140-1 is not prime. Res64: ACD99A51988C55DA Time : 0.0 sec. user=mdettweiler [2018-11-12 18:51:50] 987*2^1531140-1 is not prime. Res64: DE387DEE1332E999 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:51:50] 627*2^1531142-1 is not prime. Res64: AC41191172E0EDF2 Time : 0.0 sec. user=mdettweiler [2018-11-12 18:51:51] 665*2^1531142-1 is not prime. Res64: 34B495B8F3AED04F Time : 0.0 sec. user=mdettweiler [2018-11-12 18:51:51] 743*2^1531142-1 is not prime. Res64: F03E2EB3A670833F Time : 0.0 sec. user=mdettweiler [2018-11-12 18:51:51] 797*2^1531142-1 is not prime. Res64: FE92B77C9668B2E2 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:01:13] 885*2^1531142-1 is not prime. Res64: 8844DF8676E39402 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:01:14] 953*2^1531142-1 is not prime. Res64: 7AB9F4803F0B307B Time : 0.0 sec. user=mdettweiler [2018-11-12 19:01:15] 957*2^1531142-1 is not prime. Res64: F4F243B5F88D5660 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:01:16] 1001*2^1531142-1 is not prime. Res64: BF3804C76BF2CA1C Time : 0.0 sec. user=mdettweiler [2018-11-12 19:01:16] 691*2^1531143-1 is not prime. Res64: CBAA9093BFDC62D8 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:11:07] 735*2^1531143-1 is not prime. Res64: F3A4AC765475FD3D Time : 0.0 sec. user=mdettweiler [2018-11-12 19:11:08] 765*2^1531143-1 is not prime. Res64: B792603F6AAD1386 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:11:09] 795*2^1531143-1 is not prime. Res64: 86B222D9E70BE63C Time : 0.0 sec. user=mdettweiler [2018-11-12 19:11:09] 943*2^1531143-1 is not prime. Res64: C5AAE207B5C2B7B5 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:11:10] 719*2^1531144-1 is not prime. Res64: DF2D605FB202AADC Time : 0.0 sec. user=mdettweiler [2018-11-12 19:20:19] 755*2^1531144-1 is not prime. Res64: A0FCACEBB61B8923 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:20:19] 765*2^1531144-1 is not prime. Res64: 0C7AEF3DA8D6D3F1 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:20:20] 849*2^1531144-1 is not prime. Res64: 4C9D651E1BD0D744 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:20:20] 869*2^1531144-1 is not prime. Res64: 0407CABBFC6579D5 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:20:20] 915*2^1531144-1 is not prime. Res64: B8F0E3639A58EBC3 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:43:06] 983*2^1531144-1 is not prime. Res64: 6A41AF98B4FD830A Time : 0.0 sec. user=mdettweiler [2018-11-12 19:43:06] 607*2^1531145-1 is not prime. Res64: 7E78042003A445C9 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:43:06] 781*2^1531145-1 is not prime. Res64: 50E832226C0EC4A1 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:43:07] 889*2^1531145-1 is not prime. Res64: 33F7A517915B32AC Time : 0.0 sec. user=mdettweiler [2018-11-12 19:43:07] 957*2^1531145-1 is not prime. Res64: FA76DEDEA7F96CC0 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:52:49] 991*2^1531145-1 is not prime. Res64: 8174DC7B7192FA08 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:52:50] 657*2^1531146-1 is not prime. Res64: EBB50176116D088E Time : 0.0 sec. user=mdettweiler [2018-11-12 19:52:50] 807*2^1531146-1 is not prime. Res64: 8F5EA5336AD54D0C Time : 0.0 sec. user=mdettweiler [2018-11-12 19:52:50] 903*2^1531146-1 is not prime. Res64: 7F8BE475C3C27159 Time : 0.0 sec. user=mdettweiler [2018-11-12 19:52:51] 917*2^1531146-1 is not prime. Res64: 4658B5BD76D264FB Time : 0.0 sec. user=mdettweiler [2018-11-12 20:02:41] 631*2^1531147-1 is not prime. Res64: F021562E6592275B Time : 0.0 sec. user=mdettweiler [2018-11-12 20:02:42] 633*2^1531147-1 is not prime. Res64: B957E9E9B0B861F0 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:02:43] 639*2^1531147-1 is not prime. Res64: 6B93B3039FA654C7 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:02:44] 693*2^1531147-1 is not prime. Res64: 4CA251ED31AB33D2 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:02:45] 769*2^1531147-1 is not prime. Res64: 218BF677B099D866 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:15:54] 843*2^1531147-1 is not prime. Res64: C68B3DB1E0DDC109 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:15:54] 861*2^1531147-1 is not prime. Res64: DE061D7E537663C6 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:15:55] 945*2^1531147-1 is not prime. Res64: 2556EA2280D9906F Time : 0.0 sec. user=mdettweiler [2018-11-12 20:15:55] 951*2^1531147-1 is not prime. Res64: 08ACD8016CF29FA1 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:15:55] 961*2^1531147-1 is not prime. Res64: CD942F5142BE6B68 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:35:31] 663*2^1531148-1 is not prime. Res64: 3D3F2C841C8F495E Time : 0.0 sec. user=mdettweiler [2018-11-12 20:35:32] 669*2^1531148-1 is not prime. Res64: 13B9B4BD14C2CDD3 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:35:32] 735*2^1531148-1 is not prime. Res64: C522C397D816A6D3 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:35:33] 743*2^1531148-1 is not prime. Res64: AC4351B2FA1FD382 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:35:33] 777*2^1531148-1 is not prime. Res64: D7C82A4FE0AE833C Time : 0.0 sec. user=mdettweiler [2018-11-12 20:45:08] 885*2^1531148-1 is not prime. Res64: B92EB6C383479303 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:45:08] 953*2^1531148-1 is not prime. Res64: 0F7AC44752CF7D67 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:45:09] 963*2^1531148-1 is not prime. Res64: 06CB8852749392E3 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:45:09] 995*2^1531148-1 is not prime. Res64: 4D0CB2DCF53640BC Time : 0.0 sec. user=mdettweiler [2018-11-12 20:45:09] 601*2^1531149-1 is not prime. Res64: 52DC03AD10B89C55 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:56:05] 625*2^1531149-1 is not prime. Res64: 97C1983237898D05 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:56:06] 735*2^1531149-1 is not prime. Res64: 9723E90DCA170569 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:56:07] 741*2^1531149-1 is not prime. Res64: 3DB8A2E13FCBCE04 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:56:07] 745*2^1531149-1 is not prime. Res64: 28D0277A251D2558 Time : 0.0 sec. user=mdettweiler [2018-11-12 20:56:08] 759*2^1531149-1 is not prime. Res64: B1E7CDB60AC32EB6 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:07:17] 781*2^1531149-1 is not prime. Res64: 7A72AA94EF31A6A1 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:07:17] 865*2^1531149-1 is not prime. Res64: 07C7F64529F58CCC Time : 0.0 sec. user=mdettweiler [2018-11-12 21:07:17] 945*2^1531149-1 is not prime. Res64: B77E06CC19E80132 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:07:18] 975*2^1531149-1 is not prime. Res64: CC0FDD2EB946085C Time : 0.0 sec. user=mdettweiler [2018-11-12 21:07:18] 991*2^1531149-1 is not prime. Res64: 472EFBE16E10ABED Time : 0.0 sec. user=mdettweiler [2018-11-12 21:26:45] 813*2^1531150-1 is not prime. Res64: 3B940F9C5B05DD54 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:26:45] 827*2^1531150-1 is not prime. Res64: 7C0148661DD56FB4 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:26:46] 857*2^1531150-1 is not prime. Res64: 9EE7B1E7FF50C1F4 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:26:46] 923*2^1531150-1 is not prime. Res64: 18B66637CB54BB6F Time : 0.0 sec. user=mdettweiler [2018-11-12 21:26:46] 941*2^1531150-1 is not prime. Res64: 7798BC4035E862E3 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:36:42] 975*2^1531150-1 is not prime. Res64: C17E9043D00B365A Time : 0.0 sec. user=mdettweiler [2018-11-12 21:36:42] 987*2^1531150-1 is not prime. Res64: 4BDC250930AC8844 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:36:42] 1001*2^1531150-1 is not prime. Res64: B9E85C896E0B342E Time : 0.0 sec. user=mdettweiler [2018-11-12 21:36:43] 615*2^1531151-1 is not prime. Res64: 2A1A7380D1DDE9E6 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:36:43] 619*2^1531151-1 is not prime. Res64: 81F90F38324139FE Time : 0.0 sec. user=mdettweiler [2018-11-12 21:47:40] 813*2^1531151-1 is not prime. Res64: 15992094A59F36F4 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:47:41] 913*2^1531151-1 is not prime. Res64: 8BA7D193DCAE6D1B Time : 0.0 sec. user=mdettweiler [2018-11-12 21:47:41] 921*2^1531151-1 is not prime. Res64: 387A48EE422B7693 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:47:41] 969*2^1531151-1 is not prime. Res64: 733AE5EABF12C1BB Time : 0.0 sec. user=mdettweiler [2018-11-12 21:47:41] 973*2^1531151-1 is not prime. Res64: EB18097B61D3CAB2 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:58:41] 633*2^1531152-1 is not prime. Res64: 20BEC70381D2A731 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:58:41] 653*2^1531152-1 is not prime. Res64: 5ECD6DB2CB1FAAF8 Time : 0.0 sec. user=mdettweiler [2018-11-12 21:58:41] 719*2^1531152-1 is not prime. Res64: 8249BEE91C51952E Time : 0.0 sec. user=mdettweiler [2018-11-12 21:58:41] 809*2^1531152-1 is not prime. Res64: 35023C7A9ADBE59C Time : 0.0 sec. user=mdettweiler [2018-11-12 21:58:42] 887*2^1531152-1 is not prime. Res64: 5B89A4A5F0660465 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:18:25] 977*2^1531152-1 is not prime. Res64: BF9E61FF1191D30E Time : 0.0 sec. user=mdettweiler [2018-11-12 22:18:26] 983*2^1531152-1 is not prime. Res64: B25E0520A4B9794F Time : 0.0 sec. user=mdettweiler [2018-11-12 22:18:26] 741*2^1531153-1 is not prime. Res64: 72D6253AF6659498 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:18:26] 747*2^1531153-1 is not prime. Res64: D6314524AA24DD96 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:18:27] 775*2^1531153-1 is not prime. Res64: 2FD07210681C5197 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:29:05] 849*2^1531153-1 is not prime. Res64: F245E8983581FCA1 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:29:05] 889*2^1531153-1 is not prime. Res64: 1CB388FB86822043 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:29:06] 623*2^1531154-1 is not prime. Res64: A36EDD72424F0C05 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:29:06] 633*2^1531154-1 is not prime. Res64: 8DFBE691FDC729A8 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:29:06] 641*2^1531154-1 is not prime. Res64: 269639116D78B8F3 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:40:55] 677*2^1531154-1 is not prime. Res64: 42729B14192F2CC9 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:40:55] 753*2^1531154-1 is not prime. Res64: 9A65D0B62A59A204 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:40:56] 813*2^1531154-1 is not prime. Res64: B6DFBEB3483DE331 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:40:56] 815*2^1531154-1 is not prime. Res64: DA65AD171BE8BEC6 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:40:56] 851*2^1531154-1 is not prime. Res64: 0145A06DD68EAF05 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:52:27] 941*2^1531154-1 is not prime. Res64: 26B10648CC52E103 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:52:27] 981*2^1531154-1 is not prime. Res64: 556B304D97A8B2DF Time : 0.0 sec. user=mdettweiler [2018-11-12 22:52:27] 699*2^1531155-1 is not prime. Res64: 4E57FA81DDA40E74 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:52:28] 819*2^1531155-1 is not prime. Res64: F1057A8CD5AE7074 Time : 0.0 sec. user=mdettweiler [2018-11-12 22:52:28] 743*2^1531156-1 is not prime. Res64: 770976C10115CA09 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:13:25] 779*2^1531156-1 is not prime. Res64: 777FF6B1820626C3 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:13:25] 857*2^1531156-1 is not prime. Res64: 0C66299E87AB833A Time : 0.0 sec. user=mdettweiler [2018-11-12 23:13:25] 909*2^1531156-1 is not prime. Res64: 74D8BD8978C2412D Time : 0.0 sec. user=mdettweiler [2018-11-12 23:13:26] 939*2^1531156-1 is not prime. Res64: 6EB1C5603302EF72 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:13:26] 987*2^1531156-1 is not prime. Res64: 2850337847CA9AFF Time : 0.0 sec. user=mdettweiler [2018-11-12 23:24:46] 697*2^1531157-1 is not prime. Res64: A03FA5D66CB918A2 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:24:46] 741*2^1531157-1 is not prime. Res64: 05D1178F106646A2 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:24:46] 759*2^1531157-1 is not prime. Res64: 1B6E8A2C996BA12B Time : 0.0 sec. user=mdettweiler [2018-11-12 23:24:46] 865*2^1531157-1 is not prime. Res64: B4CFE193E923EE79 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:24:47] 889*2^1531157-1 is not prime. Res64: F43A683935E82F2E Time : 0.0 sec. user=mdettweiler [2018-11-12 23:36:25] 927*2^1531157-1 is not prime. Res64: E8A21559B6F329E8 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:36:25] 713*2^1531158-1 is not prime. Res64: B67C9C4EDA769EB8 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:36:26] 737*2^1531158-1 is not prime. Res64: 4F0F106C13DA3E86 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:36:26] 801*2^1531158-1 is not prime. Res64: 099A175348BB2146 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:36:26] 971*2^1531158-1 is not prime. Res64: FA99CE86C3266C6D Time : 0.0 sec. user=mdettweiler [2018-11-12 23:47:37] 975*2^1531158-1 is not prime. Res64: AF244C9B06DB22E9 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:47:37] 621*2^1531159-1 is not prime. Res64: B7A37947F9E58CAA Time : 0.0 sec. user=mdettweiler [2018-11-12 23:47:37] 679*2^1531159-1 is not prime. Res64: 0F3D04AEE5FD6FE3 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:47:37] 681*2^1531159-1 is not prime. Res64: D7252BDEDE5A7879 Time : 0.0 sec. user=mdettweiler [2018-11-12 23:47:38] 931*2^1531159-1 is not prime. Res64: 773A93CB209DCCDE Time : 0.0 sec.