user=mdettweiler [2020-07-23 00:19:40] 763*2^1563663-1 is not prime. Res64: 23314E37542596AC Time : 0.0 sec. user=mdettweiler [2020-07-23 00:19:41] 775*2^1563663-1 is not prime. Res64: 44DEC5A54B8A199B Time : 0.0 sec. user=mdettweiler [2020-07-23 00:19:41] 873*2^1563663-1 is not prime. Res64: 798A71766698B7A0 Time : 0.0 sec. user=mdettweiler [2020-07-23 00:19:42] 901*2^1563663-1 is not prime. Res64: 1C048706E66D91E5 Time : 0.0 sec. user=mdettweiler [2020-07-23 00:19:42] 951*2^1563663-1 is not prime. Res64: A2B28621DC5026CF Time : 0.0 sec. user=mdettweiler [2020-07-23 00:32:21] 955*2^1563663-1 is not prime. Res64: EE3CDFCF8E7FB291 Time : 0.0 sec. user=mdettweiler [2020-07-23 00:32:22] 623*2^1563664-1 is not prime. Res64: EC9C62CAE8AEA4D8 Time : 0.0 sec. user=mdettweiler [2020-07-23 00:32:23] 807*2^1563664-1 is not prime. Res64: 8D63A74BC0921840 Time : 0.0 sec. user=mdettweiler [2020-07-23 00:32:24] 825*2^1563664-1 is not prime. Res64: E321E6AB1285A5ED Time : 0.0 sec. user=mdettweiler [2020-07-23 00:32:25] 863*2^1563664-1 is not prime. Res64: 2DD258E4891C835E Time : 0.0 sec. user=mdettweiler [2020-07-23 00:51:00] 869*2^1563664-1 is not prime. Res64: A052AC7ECD43BE5E Time : 0.0 sec. user=mdettweiler [2020-07-23 00:51:00] 903*2^1563664-1 is not prime. Res64: 3106D077CAB9E647 Time : 0.0 sec. user=mdettweiler [2020-07-23 00:51:01] 905*2^1563664-1 is not prime. Res64: 3E0D13A164077E30 Time : 0.0 sec. user=mdettweiler [2020-07-23 00:51:02] 607*2^1563665-1 is not prime. Res64: 764136F7B094E3DE Time : 0.0 sec. user=mdettweiler [2020-07-23 00:51:02] 679*2^1563665-1 is not prime. Res64: 6C254F9AC506FA0E Time : 0.0 sec. user=mdettweiler [2020-07-23 01:14:42] 691*2^1563665-1 is not prime. Res64: 59F91D33244DA82C Time : 0.0 sec. user=mdettweiler [2020-07-23 01:14:43] 697*2^1563665-1 is not prime. Res64: 921C832E37AF9F59 Time : 0.0 sec. user=mdettweiler [2020-07-23 01:14:43] 699*2^1563665-1 is not prime. Res64: 35FFABC7ECA45BDE Time : 0.0 sec. user=mdettweiler [2020-07-23 01:14:44] 837*2^1563665-1 is not prime. Res64: A93D7D7B557D2265 Time : 0.0 sec. user=mdettweiler [2020-07-23 01:14:44] 867*2^1563665-1 is not prime. Res64: D15DB88E6282EB45 Time : 0.0 sec. user=mdettweiler [2020-07-23 01:27:06] 987*2^1563665-1 is not prime. Res64: 4E9BC15A3DD6B533 Time : 0.0 sec. user=mdettweiler [2020-07-23 01:27:08] 611*2^1563666-1 is not prime. Res64: 90F59EB95413173A Time : 0.0 sec. user=mdettweiler [2020-07-23 01:27:09] 683*2^1563666-1 is not prime. Res64: 74736EA6289A12AF Time : 0.0 sec. user=mdettweiler [2020-07-23 01:27:11] 737*2^1563666-1 is not prime. Res64: 299A2A21C5B3F832 Time : 0.0 sec. user=mdettweiler [2020-07-23 01:27:13] 833*2^1563666-1 is not prime. Res64: C1CBAD70027EC1DE Time : 0.0 sec. user=mdettweiler [2020-07-23 01:47:50] 843*2^1563666-1 is not prime. Res64: 481D915651F2124C Time : 0.0 sec. user=mdettweiler [2020-07-23 01:47:51] 905*2^1563666-1 is not prime. Res64: ABAA723158238D71 Time : 0.0 sec. user=mdettweiler [2020-07-23 01:47:53] 975*2^1563666-1 is not prime. Res64: 0FD369A3334498BA Time : 0.0 sec. user=mdettweiler [2020-07-23 01:47:55] 1001*2^1563666-1 is not prime. Res64: 5FB3F83D175D4669 Time : 0.0 sec. user=mdettweiler [2020-07-23 01:47:55] 633*2^1563667-1 is not prime. Res64: 6EAD4CA738AE3168 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:11:57] 835*2^1563667-1 is not prime. Res64: F39D22FA99ABC15E Time : 0.0 sec. user=mdettweiler [2020-07-23 02:12:03] 849*2^1563667-1 is not prime. Res64: 6941ED3E12E8C9BC Time : 0.0 sec. user=mdettweiler [2020-07-23 02:12:06] 915*2^1563667-1 is not prime. Res64: 64F32BB0A2DAD7DA Time : 0.0 sec. user=mdettweiler [2020-07-23 02:12:10] 749*2^1563668-1 is not prime. Res64: B1CA2FCE153C9A22 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:12:14] 837*2^1563668-1 is not prime. Res64: C886FB65DBD1D5C0 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:20:29] 843*2^1563668-1 is not prime. Res64: 70D64E5EB39B5F8B Time : 0.0 sec. user=mdettweiler [2020-07-23 02:20:33] 615*2^1563669-1 is not prime. Res64: 14FD3620176A02FF Time : 0.0 sec. user=mdettweiler [2020-07-23 02:20:41] 621*2^1563669-1 is not prime. Res64: 02887A021AA3EBF3 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:20:49] 625*2^1563669-1 is not prime. Res64: 851B4D7D8CB3A2FB Time : 0.0 sec. user=mdettweiler [2020-07-23 02:20:52] 781*2^1563669-1 is not prime. Res64: 349C158225AA1F16 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:44:23] 787*2^1563669-1 is not prime. Res64: 5B36A5CB6AA4240E Time : 0.0 sec. user=mdettweiler [2020-07-23 02:44:23] 795*2^1563669-1 is not prime. Res64: C537B298D9B4F159 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:44:24] 811*2^1563669-1 is not prime. Res64: 0ED203A34E79B624 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:44:24] 817*2^1563669-1 is not prime. Res64: 86A83E28B2B808B8 Time : 0.0 sec. user=mdettweiler [2020-07-23 02:44:25] 907*2^1563669-1 is not prime. Res64: 913BF14A682BB558 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:08:49] 919*2^1563669-1 is not prime. Res64: BEAB919EEAEDDC39 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:08:51] 955*2^1563669-1 is not prime. Res64: C22CEB7A08CA27CD Time : 0.0 sec. user=mdettweiler [2020-07-23 03:08:53] 991*2^1563669-1 is not prime. Res64: 8F48ED167970DA05 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:08:56] 665*2^1563670-1 is not prime. Res64: 34FB7605CF281D27 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:08:59] 765*2^1563670-1 is not prime. Res64: 0A3E4948A02954E1 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:19:33] 821*2^1563670-1 is not prime. Res64: B12DC7AFBA518F7C Time : 0.0 sec. user=mdettweiler [2020-07-23 03:19:34] 831*2^1563670-1 is not prime. Res64: 77EFB33B3B9126EA Time : 0.0 sec. user=mdettweiler [2020-07-23 03:19:34] 843*2^1563670-1 is not prime. Res64: DCF8D0B0662DD5F9 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:19:35] 887*2^1563670-1 is not prime. Res64: D083774F12DC96CC Time : 0.0 sec. user=mdettweiler [2020-07-23 03:19:35] 917*2^1563670-1 is not prime. Res64: 07482685042EB12C Time : 0.0 sec. user=mdettweiler [2020-07-23 03:40:06] 981*2^1563670-1 is not prime. Res64: 0B5712B3D88EE86D Time : 0.0 sec. user=mdettweiler [2020-07-23 03:40:08] 615*2^1563671-1 is not prime. Res64: DB13827A7DC25D74 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:40:09] 763*2^1563671-1 is not prime. Res64: 58E8E0CE928CB563 Time : 0.0 sec. user=mdettweiler [2020-07-23 03:40:11] 883*2^1563671-1 is not prime. Res64: 00F85CF577FCD21F Time : 0.0 sec. user=mdettweiler [2020-07-23 03:40:13] 921*2^1563671-1 is not prime. Res64: 18F12530F7BE7D41 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:03:42] 993*2^1563671-1 is not prime. Res64: B6D5782B3E4FCCF9 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:03:48] 627*2^1563672-1 is not prime. Res64: 0B9A9D36A04026CE Time : 0.0 sec. user=mdettweiler [2020-07-23 04:03:52] 657*2^1563672-1 is not prime. Res64: 0375DF37F088D8F1 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:03:55] 725*2^1563672-1 is not prime. Res64: 5E12B4AAFD7FA207 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:03:58] 959*2^1563672-1 is not prime. Res64: 518D6811215700A0 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:13:45] 615*2^1563673-1 is not prime. Res64: EAD97B4C0F51A203 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:32:54] 665*2^1563674-1 is not prime. Res64: 657FDC28DE5ABF6E Time : 0.0 sec. user=mdettweiler [2020-07-23 04:32:55] 671*2^1563674-1 is not prime. Res64: 19769AA11E8B1716 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:32:57] 675*2^1563674-1 is not prime. Res64: 6DE08DFFA648574E Time : 0.0 sec. user=mdettweiler [2020-07-23 04:32:59] 683*2^1563674-1 is not prime. Res64: 71D1DABF9866CC83 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:33:00] 783*2^1563674-1 is not prime. Res64: F4CC23F7CC13B08F Time : 0.0 sec. user=mdettweiler [2020-07-23 04:59:40] 941*2^1563674-1 is not prime. Res64: 01674AEFD1FC085E Time : 0.0 sec. user=mdettweiler [2020-07-23 04:59:40] 1001*2^1563674-1 is not prime. Res64: 28C7EC572C8CB0BE Time : 0.0 sec. user=mdettweiler [2020-07-23 04:59:41] 709*2^1563675-1 is not prime. Res64: 95E79B52BEA94522 Time : 0.0 sec. user=mdettweiler [2020-07-23 04:59:41] 741*2^1563675-1 is not prime. Res64: DD7C8ADA21FF6ACF Time : 0.0 sec. user=mdettweiler [2020-07-23 04:59:42] 765*2^1563675-1 is not prime. Res64: 61D5139BB055914C Time : 0.0 sec. user=mdettweiler [2020-07-23 05:28:14] 795*2^1563675-1 is not prime. Res64: 51AC5243D813BE6E Time : 0.0 sec. user=mdettweiler [2020-07-23 05:28:14] 859*2^1563675-1 is not prime. Res64: F2847382CBD6F5D7 Time : 0.0 sec. user=mdettweiler [2020-07-23 05:28:15] 861*2^1563675-1 is not prime. Res64: 3623052EBBBD354B Time : 0.0 sec. user=mdettweiler [2020-07-23 05:28:15] 639*2^1563676-1 is not prime. Res64: 06DBCA260AE6DBDB Time : 0.0 sec. user=mdettweiler [2020-07-23 05:28:16] 689*2^1563676-1 is not prime. Res64: BD9F36FBD5DCE856 Time : 0.0 sec. user=mdettweiler [2020-07-23 05:57:00] 843*2^1563676-1 is not prime. Res64: 1E89459511BA6D30 Time : 0.0 sec. user=mdettweiler [2020-07-23 05:57:00] 873*2^1563676-1 is not prime. Res64: 1D054E31FF7CF90B Time : 0.0 sec. user=mdettweiler [2020-07-23 05:57:01] 903*2^1563676-1 is not prime. Res64: B1F5A1651B148BC5 Time : 0.0 sec. user=mdettweiler [2020-07-23 05:57:01] 711*2^1563677-1 is not prime. Res64: B09FEDABE46B9411 Time : 0.0 sec. user=mdettweiler [2020-07-23 05:57:02] 847*2^1563677-1 is not prime. Res64: 29CFF03DBDA8F9D4 Time : 0.0 sec. user=mdettweiler [2020-07-23 06:22:26] 871*2^1563677-1 is not prime. Res64: 7EBFBA80A2AD1A2F Time : 0.0 sec. user=mdettweiler [2020-07-23 06:22:27] 985*2^1563677-1 is not prime. Res64: E7B7A1D3DC58902A Time : 0.0 sec. user=mdettweiler [2020-07-23 06:22:28] 605*2^1563678-1 is not prime. Res64: 06D8D9079349C27F Time : 0.0 sec. user=mdettweiler [2020-07-23 06:22:28] 611*2^1563678-1 is not prime. Res64: 98A5550200488393 Time : 0.0 sec. user=mdettweiler [2020-07-23 06:22:29] 621*2^1563678-1 is not prime. Res64: DDDD78B59E7A0AAC Time : 0.0 sec. user=mdettweiler [2020-07-23 06:51:57] 755*2^1563678-1 is not prime. Res64: B82759624751FCA6 Time : 0.0 sec. user=mdettweiler [2020-07-23 06:51:58] 767*2^1563678-1 is not prime. Res64: CA870F3DDD6CDF60 Time : 0.0 sec. user=mdettweiler [2020-07-23 06:51:59] 843*2^1563678-1 is not prime. Res64: F533FC2617919B96 Time : 0.0 sec. user=mdettweiler [2020-07-23 06:51:59] 891*2^1563678-1 is not prime. Res64: C39A756AADDA73CE Time : 0.0 sec. user=mdettweiler [2020-07-23 06:52:00] 609*2^1563679-1 is not prime. Res64: BF4666817CC5E2AC Time : 0.0 sec. user=mdettweiler [2020-07-23 07:18:48] 829*2^1563679-1 is not prime. Res64: 0E76B2D3AE2B9DA1 Time : 0.0 sec. user=mdettweiler [2020-07-23 07:18:49] 939*2^1563679-1 is not prime. Res64: 9C1A293807FA992B Time : 0.0 sec. user=mdettweiler [2020-07-23 07:18:50] 973*2^1563679-1 is not prime. Res64: D86302BAEC9BD9C5 Time : 0.0 sec. user=mdettweiler [2020-07-23 07:18:50] 743*2^1563680-1 is not prime. Res64: C476D71156CC0A26 Time : 0.0 sec. user=mdettweiler [2020-07-23 07:18:51] 755*2^1563680-1 is not prime. Res64: BCDEF543237FB126 Time : 0.0 sec. user=mdettweiler [2020-07-23 07:48:12] 833*2^1563680-1 is not prime. Res64: 84CF2D8960E02546 Time : 0.0 sec. user=mdettweiler [2020-07-23 07:48:13] 893*2^1563680-1 is not prime. Res64: DE6CB3E180A4B753 Time : 0.0 sec. user=mdettweiler [2020-07-23 07:48:14] 959*2^1563680-1 is not prime. Res64: A5C5542F297AB8BB Time : 0.0 sec. user=mdettweiler [2020-07-23 07:48:14] 709*2^1563681-1 is not prime. Res64: FD9F32DCB24DD383 Time : 0.0 sec. user=mdettweiler [2020-07-23 07:48:15] 739*2^1563681-1 is not prime. Res64: 9FA26C727DD8555A Time : 0.0 sec. user=mdettweiler [2020-07-23 08:13:22] 885*2^1563681-1 is not prime. Res64: 0F2DE7893B546317 Time : 0.0 sec. user=mdettweiler [2020-07-23 08:13:23] 617*2^1563682-1 is not prime. Res64: A7EB3B40633ED7B6 Time : 0.0 sec. user=mdettweiler [2020-07-23 08:13:23] 677*2^1563682-1 is not prime. Res64: B15F7439882726E7 Time : 0.0 sec. user=mdettweiler [2020-07-23 08:13:24] 1001*2^1563682-1 is not prime. Res64: 78E4F4C14749E54E Time : 0.0 sec. user=mdettweiler [2020-07-23 08:13:24] 621*2^1563683-1 is not prime. Res64: A428667D9BB1F286 Time : 0.0 sec. user=mdettweiler [2020-07-23 08:44:31] 685*2^1563683-1 is not prime. Res64: 102F0B6DFF9FD561 Time : 0.0 sec. user=mdettweiler [2020-07-23 08:44:31] 703*2^1563683-1 is not prime. Res64: 8DF901495382280C Time : 0.0 sec. user=mdettweiler [2020-07-23 08:44:32] 825*2^1563683-1 is not prime. Res64: CFFEF7DD091E9CD4 Time : 0.0 sec. user=mdettweiler [2020-07-23 08:44:32] 969*2^1563683-1 is not prime. Res64: E8362E6136B417CF Time : 0.0 sec. user=mdettweiler [2020-07-23 08:44:33] 985*2^1563683-1 is not prime. Res64: 42A64E78FA0790AA Time : 0.0 sec. user=mdettweiler [2020-07-23 09:07:55] 605*2^1563684-1 is not prime. Res64: F05A1175EF024428 Time : 0.0 sec. user=mdettweiler [2020-07-23 09:07:59] 635*2^1563684-1 is not prime. Res64: 8F85DA3575A493FA Time : 0.0 sec. user=mdettweiler [2020-07-23 09:08:01] 767*2^1563684-1 is not prime. Res64: B7A280D793868977 Time : 0.0 sec. user=mdettweiler [2020-07-23 09:08:04] 873*2^1563684-1 is not prime. Res64: 89D17C090CE548AD Time : 0.0 sec. user=mdettweiler [2020-07-23 09:08:05] 927*2^1563684-1 is not prime. Res64: 587A8C9C1EBC546C Time : 0.0 sec. user=mdettweiler [2020-07-23 09:25:57] 625*2^1563673-1 is not prime. Res64: A505ABEB19FA18CA Time : 0.0 sec. user=mdettweiler [2020-07-23 09:25:57] 937*2^1563673-1 is not prime. Res64: 592A2B95AFE0610F Time : 0.0 sec. user=mdettweiler [2020-07-23 09:25:58] 999*2^1563673-1 is not prime. Res64: 514576D89A36CCCC Time : 0.0 sec. user=mdettweiler [2020-07-23 09:25:58] 623*2^1563674-1 is not prime. Res64: 823D7FE0FD572900 Time : 0.0 sec. user=mdettweiler [2020-07-23 09:40:38] 959*2^1563684-1 is not prime. Res64: 1FF170B4E4B2672C Time : 0.0 sec. user=mdettweiler [2020-07-23 09:40:38] 717*2^1563685-1 is not prime. Res64: ECE3C5B78FC0004C Time : 0.0 sec. user=mdettweiler [2020-07-23 09:40:39] 757*2^1563685-1 is not prime. Res64: 6C53DDA7ED052E84 Time : 0.0 sec. user=mdettweiler [2020-07-23 09:40:40] 831*2^1563685-1 is not prime. Res64: 28C395C32893628C Time : 0.0 sec. user=mdettweiler [2020-07-23 09:40:40] 859*2^1563685-1 is not prime. Res64: 8218D7151ABF05E0 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:04:31] 925*2^1563685-1 is not prime. Res64: 56AEEE57CD0D0518 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:04:33] 939*2^1563685-1 is not prime. Res64: 2976C7E4C8E84030 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:04:34] 987*2^1563685-1 is not prime. Res64: DFF18A4920F2169A Time : 0.0 sec. user=mdettweiler [2020-07-23 10:04:36] 683*2^1563686-1 is not prime. Res64: 5E5B6413E63D42BF Time : 0.0 sec. user=mdettweiler [2020-07-23 10:04:38] 741*2^1563686-1 is not prime. Res64: 122DC6C98B38B761 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:22:41] 917*2^1563686-1 is not prime. Res64: 8DD1B8009267E1D3 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:22:41] 941*2^1563686-1 is not prime. Res64: E611EDCE435D480F Time : 0.0 sec. user=mdettweiler [2020-07-23 10:22:42] 963*2^1563686-1 is not prime. Res64: A424A4DA3CC20FB5 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:22:42] 981*2^1563686-1 is not prime. Res64: F2B5A8CF38409811 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:22:43] 633*2^1563687-1 is not prime. Res64: 163A882C7004B1C8 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:32:57] 643*2^1563687-1 is not prime. Res64: 45E622C0BFBFCB8A Time : 0.0 sec. user=mdettweiler [2020-07-23 10:32:58] 649*2^1563687-1 is not prime. Res64: 6C6835D5935AE6B6 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:32:58] 705*2^1563687-1 is not prime. Res64: 42F8A7B3BEF1BACB Time : 0.0 sec. user=mdettweiler [2020-07-23 10:32:59] 711*2^1563687-1 is not prime. Res64: 5F298B321B228B13 Time : 0.0 sec. user=mdettweiler [2020-07-23 10:32:59] 739*2^1563687-1 is not prime. Res64: 376B9D7D316C9604 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:00:42] 805*2^1563687-1 is not prime. Res64: F941F74C58A7510F Time : 0.0 sec. user=mdettweiler [2020-07-23 11:00:43] 879*2^1563687-1 is not prime. Res64: DE2F61EBD3AB7E3B Time : 0.0 sec. user=mdettweiler [2020-07-23 11:00:44] 963*2^1563687-1 is not prime. Res64: 3305782BFAB513C7 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:00:45] 677*2^1563688-1 is not prime. Res64: 5E789009E3ECBEA2 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:00:46] 707*2^1563688-1 is not prime. Res64: C08F7958AA2A5D03 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:18:27] 993*2^1563688-1 is not prime. Res64: 0306C76C87A2CE1E Time : 0.0 sec. user=mdettweiler [2020-07-23 11:18:28] 995*2^1563688-1 is not prime. Res64: 19512826995AE989 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:18:29] 615*2^1563689-1 is not prime. Res64: B806A35B2BEA44D1 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:18:29] 675*2^1563689-1 is not prime. Res64: 76FF9328AD883371 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:18:30] 819*2^1563689-1 is not prime. Res64: B99553F2350B25DF Time : 0.0 sec. user=mdettweiler [2020-07-23 11:30:03] 879*2^1563689-1 is not prime. Res64: C19F06790321EB1A Time : 0.0 sec. user=mdettweiler [2020-07-23 11:30:04] 889*2^1563689-1 is not prime. Res64: 617EC1C859673875 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:30:05] 777*2^1563690-1 is not prime. Res64: 721B1BD9AC33CF5C Time : 0.0 sec. user=mdettweiler [2020-07-23 11:30:05] 887*2^1563690-1 is not prime. Res64: 4670BB524669B2B1 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:30:05] 893*2^1563690-1 is not prime. Res64: C0126E41EDD1A249 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:55:30] 941*2^1563690-1 is not prime. Res64: C5185E39869BBC43 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:55:31] 951*2^1563690-1 is not prime. Res64: BDEFF4C0192054F1 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:55:31] 619*2^1563691-1 is not prime. Res64: FE7CF7F70E9D2717 Time : 0.0 sec. user=mdettweiler [2020-07-23 11:55:31] 751*2^1563691-1 is not prime. Res64: 957219E61F13835B Time : 0.0 sec. user=mdettweiler [2020-07-23 11:55:32] 775*2^1563691-1 is not prime. Res64: 95A3834182909353 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:14:36] 783*2^1563691-1 is not prime. Res64: DBA5300AB9C969BD Time : 0.0 sec. user=mdettweiler [2020-07-23 12:14:37] 793*2^1563691-1 is not prime. Res64: D1F5AA2697D472B6 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:14:37] 805*2^1563691-1 is not prime. Res64: 35AE042C1DA5897E Time : 0.0 sec. user=mdettweiler [2020-07-23 12:14:38] 843*2^1563691-1 is not prime. Res64: B0C95CD572FEFB00 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:14:38] 909*2^1563691-1 is not prime. Res64: CCCD073BF56EDE39 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:26:08] 931*2^1563691-1 is not prime. Res64: 2DFD17BC317B81C2 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:26:08] 961*2^1563691-1 is not prime. Res64: 210C776879AC0F29 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:26:08] 699*2^1563692-1 is not prime. Res64: B4AC14D229CD02D2 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:26:09] 767*2^1563692-1 is not prime. Res64: AE6CC30700A5B06C Time : 0.0 sec. user=mdettweiler [2020-07-23 12:26:09] 837*2^1563692-1 is not prime. Res64: 7CEFF926D2156E65 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:51:33] 873*2^1563692-1 is not prime. Res64: B7A99A45F71430CF Time : 0.0 sec. user=mdettweiler [2020-07-23 12:51:33] 929*2^1563692-1 is not prime. Res64: D9656677E4DCFDDC Time : 0.0 sec. user=mdettweiler [2020-07-23 12:51:33] 995*2^1563692-1 is not prime. Res64: 1403FD91991160B3 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:51:34] 691*2^1563693-1 is not prime. Res64: 28011040FE262DA6 Time : 0.0 sec. user=mdettweiler [2020-07-23 12:51:34] 747*2^1563693-1 is not prime. Res64: 0D22DF93F2614904 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:09:16] 937*2^1563693-1 is not prime. Res64: C5C87ED22039D894 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:09:16] 611*2^1563694-1 is not prime. Res64: FC8EB97EB0301605 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:09:17] 717*2^1563694-1 is not prime. Res64: B875EA35B04A7E22 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:09:17] 747*2^1563694-1 is not prime. Res64: 0F6587E33C0332A6 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:09:18] 831*2^1563694-1 is not prime. Res64: E239681FAE4F08FD Time : 0.0 sec. user=mdettweiler [2020-07-23 13:21:44] 885*2^1563694-1 is not prime. Res64: F3438F887ADF7117 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:21:45] 887*2^1563694-1 is not prime. Res64: D4654C078B85A6D2 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:21:45] 649*2^1563695-1 is not prime. Res64: 2E4723850C27F609 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:21:45] 735*2^1563695-1 is not prime. Res64: 5A212450698EE0D5 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:21:46] 799*2^1563695-1 is not prime. Res64: B1A9CFFE8549E058 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:49:39] 831*2^1563695-1 is not prime. Res64: 9DC3274031743858 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:49:39] 871*2^1563695-1 is not prime. Res64: 90AB8A17DEAA0798 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:49:39] 883*2^1563695-1 is not prime. Res64: 588CFD2E14DB2368 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:49:40] 885*2^1563695-1 is not prime. Res64: 92BD4D981D582540 Time : 0.0 sec. user=mdettweiler [2020-07-23 13:49:40] 973*2^1563695-1 is not prime. Res64: 22EDCF7F35099514 Time : 0.0 sec. user=mdettweiler [2020-07-23 14:05:17] 981*2^1563695-1 is not prime. Res64: 02B607ABD710C855 Time : 0.0 sec. user=mdettweiler [2020-07-23 14:05:19] 693*2^1563696-1 is not prime. Res64: 22B270D27E92F274 Time : 0.0 sec. user=mdettweiler [2020-07-23 14:05:20] 705*2^1563696-1 is not prime. Res64: EDBB2C36A77785DF Time : 0.0 sec. user=mdettweiler [2020-07-23 14:05:21] 803*2^1563696-1 is not prime. Res64: 2B73BD57DB6097CA Time : 0.0 sec. user=mdettweiler [2020-07-23 14:05:22] 809*2^1563696-1 is not prime. Res64: 4DC3B33F7E1DFAAC Time : 0.0 sec. user=mdettweiler [2020-07-23 14:18:49] 879*2^1563696-1 is not prime. Res64: 7E89AFDF221F0EEB Time : 0.0 sec. user=mdettweiler [2020-07-23 14:18:50] 945*2^1563696-1 is not prime. Res64: 99236B659C40D8A7 Time : 0.0 sec. user=mdettweiler [2020-07-23 14:18:50] 729*2^1563697-1 is not prime. Res64: 9F68D24A4F3E9273 Time : 0.0 sec. user=mdettweiler [2020-07-23 14:18:51] 805*2^1563697-1 is not prime. Res64: 7CCA96BC4D2F700F Time : 0.0 sec. user=mdettweiler [2020-07-23 14:18:52] 817*2^1563697-1 is not prime. Res64: B9250F7D03FD736A Time : 0.0 sec. user=mdettweiler [2020-07-23 14:45:49] 931*2^1563697-1 is not prime. Res64: 5EA41FCCEDCF060F Time : 0.0 sec. user=mdettweiler [2020-07-23 14:45:50] 623*2^1563698-1 is not prime. Res64: 04B82F9D3399DD4C Time : 0.0 sec. user=mdettweiler [2020-07-23 14:45:50] 773*2^1563698-1 is not prime. Res64: 2E116C93AE7D5190 Time : 0.0 sec. user=mdettweiler [2020-07-23 14:45:51] 813*2^1563698-1 is not prime. Res64: 958894558BBC0AA5 Time : 0.0 sec. user=mdettweiler [2020-07-23 14:45:51] 837*2^1563698-1 is not prime. Res64: BCAB3CA09A7F719D Time : 0.0 sec. user=mdettweiler [2020-07-23 15:01:41] 625*2^1563699-1 is not prime. Res64: B5301AE72D54184B Time : 0.0 sec. user=mdettweiler [2020-07-23 15:01:43] 745*2^1563699-1 is not prime. Res64: 7CEC1D5A1DD7AE01 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:01:44] 769*2^1563699-1 is not prime. Res64: AC498E3B8C7AC1D8 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:01:45] 843*2^1563699-1 is not prime. Res64: D548B8D1848872DF Time : 0.0 sec. user=mdettweiler [2020-07-23 15:01:46] 873*2^1563699-1 is not prime. Res64: EBE49E78225B7CB6 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:15:45] 931*2^1563699-1 is not prime. Res64: D2A07B8655726B87 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:15:45] 985*2^1563699-1 is not prime. Res64: D9C7B1F902361A32 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:15:46] 677*2^1563700-1 is not prime. Res64: 934787D9677A5FD2 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:15:46] 687*2^1563700-1 is not prime. Res64: 2AF19D6FB96F76AF Time : 0.0 sec. user=mdettweiler [2020-07-23 15:15:46] 695*2^1563700-1 is not prime. Res64: 2F5E2C1A486E165D Time : 0.0 sec. user=mdettweiler [2020-07-23 15:43:37] 843*2^1563700-1 is not prime. Res64: D1D52243DE07C49A Time : 0.0 sec. user=mdettweiler [2020-07-23 15:43:38] 875*2^1563700-1 is not prime. Res64: 388E2A1164DC0194 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:43:38] 909*2^1563700-1 is not prime. Res64: 4D79E1086E17F460 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:43:39] 685*2^1563701-1 is not prime. Res64: E89AFA07E19A2354 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:43:39] 697*2^1563701-1 is not prime. Res64: C409A2AB1C4523D6 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:56:39] 741*2^1563701-1 is not prime. Res64: F8432AFEB1D9C4A7 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:56:40] 777*2^1563701-1 is not prime. Res64: C894D4BF01298AFF Time : 0.0 sec. user=mdettweiler [2020-07-23 15:56:40] 979*2^1563701-1 is not prime. Res64: 8610F2002C7D0C05 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:56:41] 611*2^1563702-1 is not prime. Res64: A36D3C1DC6527F69 Time : 0.0 sec. user=mdettweiler [2020-07-23 15:56:41] 693*2^1563702-1 is not prime. Res64: 361F9ED1A2915B41 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:12:06] 717*2^1563702-1 is not prime. Res64: B9F98A3F247DC978 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:12:06] 761*2^1563702-1 is not prime. Res64: 51D940C863C718A0 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:12:07] 797*2^1563702-1 is not prime. Res64: E35CCBC09B03D518 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:12:07] 887*2^1563702-1 is not prime. Res64: 582125485C3A0278 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:12:08] 965*2^1563702-1 is not prime. Res64: F7899F4ADF4F23CA Time : 0.0 sec. user=mdettweiler [2020-07-23 16:38:37] 685*2^1563703-1 is not prime. Res64: 352D6AA3CCC79A98 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:38:38] 765*2^1563703-1 is not prime. Res64: 26E32C7A96AE3AAB Time : 0.0 sec. user=mdettweiler [2020-07-23 16:38:38] 793*2^1563703-1 is not prime. Res64: F7966491F010897A Time : 0.0 sec. user=mdettweiler [2020-07-23 16:38:39] 829*2^1563703-1 is not prime. Res64: 9A5198C66ECDCB7A Time : 0.0 sec. user=mdettweiler [2020-07-23 16:38:39] 831*2^1563703-1 is not prime. Res64: 7CC04D5BF3FB0216 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:50:15] 919*2^1563703-1 is not prime. Res64: 9BD1F35C3FF3C747 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:50:15] 635*2^1563704-1 is not prime. Res64: A24EF1135F287A7A Time : 0.0 sec. user=mdettweiler [2020-07-23 16:50:15] 677*2^1563704-1 is not prime. Res64: 2DD35FE8E1DB3EFA Time : 0.0 sec. user=mdettweiler [2020-07-23 16:50:16] 689*2^1563704-1 is not prime. Res64: EB48A4A4E3CDA803 Time : 0.0 sec. user=mdettweiler [2020-07-23 16:50:16] 755*2^1563704-1 is not prime. Res64: 2952944B186C23F4 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:06:49] 875*2^1563704-1 is not prime. Res64: AE2109C9936CD841 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:06:51] 903*2^1563704-1 is not prime. Res64: 96AB2462D5AEC2F4 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:06:52] 601*2^1563705-1 is not prime. Res64: 6501BF052BE8D9E8 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:06:54] 675*2^1563705-1 is not prime. Res64: 294577B6349D7C57 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:06:55] 777*2^1563705-1 is not prime. Res64: 35DAEF29ECB3EAD1 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:34:39] 955*2^1563705-1 is not prime. Res64: 32A09BF1FFC1D6FF Time : 0.0 sec. user=mdettweiler [2020-07-23 17:34:39] 713*2^1563706-1 is not prime. Res64: C4C67C8A6BF74520 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:34:39] 783*2^1563706-1 is not prime. Res64: 2DC4CF858958AD43 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:34:40] 825*2^1563706-1 is not prime. Res64: 7D66EB7E8EFE446D Time : 0.0 sec. user=mdettweiler [2020-07-23 17:34:40] 861*2^1563706-1 is not prime. Res64: 172003A4CD90D913 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:46:20] 867*2^1563706-1 is not prime. Res64: 176F9C048D776C90 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:46:20] 957*2^1563706-1 is not prime. Res64: CB774588D9551D00 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:46:20] 975*2^1563706-1 is not prime. Res64: 87961E78B4D58C09 Time : 0.0 sec. user=mdettweiler [2020-07-23 17:46:21] 669*2^1563707-1 is not prime. Res64: E26EB3A48FC95CDB Time : 0.0 sec. user=mdettweiler [2020-07-23 17:46:21] 759*2^1563707-1 is not prime. Res64: 119E085DED6EDB63 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:02:57] 801*2^1563707-1 is not prime. Res64: A8E3FA2A126AEA2D Time : 0.0 sec. user=mdettweiler [2020-07-23 18:03:00] 819*2^1563707-1 is not prime. Res64: B1272583A37B1D07 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:03:01] 993*2^1563707-1 is not prime. Res64: 8907DE5099C8A656 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:03:02] 707*2^1563708-1 is not prime. Res64: 485DC676262E8CF1 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:03:04] 759*2^1563708-1 is not prime. Res64: D4CAB3112D1271EE Time : 0.0 sec. user=mdettweiler [2020-07-23 18:30:35] 773*2^1563708-1 is not prime. Res64: CCD8EC375CC88E56 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:30:36] 839*2^1563708-1 is not prime. Res64: 6D7262876BD624EE Time : 0.0 sec. user=mdettweiler [2020-07-23 18:30:36] 845*2^1563708-1 is not prime. Res64: 3CA0917600D5628E Time : 0.0 sec. user=mdettweiler [2020-07-23 18:30:37] 993*2^1563708-1 is not prime. Res64: 562A9DB0A54CC8B8 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:30:37] 685*2^1563709-1 is not prime. Res64: D9A90DA65AD27056 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:43:20] 759*2^1563709-1 is not prime. Res64: C6A9591083B1D91F Time : 0.0 sec. user=mdettweiler [2020-07-23 18:43:21] 829*2^1563709-1 is not prime. Res64: 6588539EE9786535 Time : 0.0 sec. user=mdettweiler [2020-07-23 18:43:22] 847*2^1563709-1 is not prime. Res64: 518A9E2AF88AA6CC Time : 0.0 sec. user=mdettweiler [2020-07-23 18:43:23] 939*2^1563709-1 is not prime. Res64: 74D4D4C3F606401B Time : 0.0 sec. user=mdettweiler [2020-07-23 18:43:24] 957*2^1563709-1 is not prime. Res64: 30B34AB841AC419C Time : 0.0 sec. user=mdettweiler [2020-07-23 19:00:16] 985*2^1563709-1 is not prime. Res64: 67A51AA6601475DA Time : 0.0 sec. user=mdettweiler [2020-07-23 19:00:17] 987*2^1563709-1 is not prime. Res64: 8B5E974CC71F2530 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:00:18] 997*2^1563709-1 is not prime. Res64: 320FE8F765A21D73 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:00:19] 999*2^1563709-1 is not prime. Res64: FEA673BBC251BBA4 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:00:20] 665*2^1563710-1 is not prime. Res64: 169D26E4038E88EC Time : 0.0 sec. user=mdettweiler [2020-07-23 19:24:36] 711*2^1563710-1 is not prime. Res64: 68611006E8690EFF Time : 0.0 sec. user=mdettweiler [2020-07-23 19:24:36] 713*2^1563710-1 is not prime. Res64: 46230FE0C33AF725 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:24:37] 791*2^1563710-1 is not prime. Res64: 239BF71B15BEA3EA Time : 0.0 sec. user=mdettweiler [2020-07-23 19:24:37] 1001*2^1563710-1 is not prime. Res64: 52E686D7638C7C63 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:24:38] 661*2^1563711-1 is not prime. Res64: C0FDF6A62A0FEA6C Time : 0.0 sec. user=mdettweiler [2020-07-23 19:37:27] 669*2^1563711-1 is not prime. Res64: 4EE5B93636083B0D Time : 0.0 sec. user=mdettweiler [2020-07-23 19:37:28] 705*2^1563711-1 is not prime. Res64: 69904B7B3E0E7A41 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:37:28] 741*2^1563711-1 is not prime. Res64: 392DEAF81C156FA7 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:37:29] 979*2^1563711-1 is not prime. Res64: 0F79C75ADFB95086 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:37:29] 623*2^1563712-1 is not prime. Res64: 4B675CF4E508D723 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:55:22] 743*2^1563712-1 is not prime. Res64: 4D5B6432CEB6FBA3 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:55:23] 779*2^1563712-1 is not prime. Res64: 9945E1B788356319 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:55:23] 827*2^1563712-1 is not prime. Res64: 7454E7C0B19D528E Time : 0.0 sec. user=mdettweiler [2020-07-23 19:55:24] 975*2^1563712-1 is not prime. Res64: D004171E64BE9FC1 Time : 0.0 sec. user=mdettweiler [2020-07-23 19:55:24] 619*2^1563713-1 is not prime. Res64: C7B7A64888E03248 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:18:48] 727*2^1563713-1 is not prime. Res64: D67B81697E201EC8 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:18:49] 771*2^1563713-1 is not prime. Res64: 60979CCFB3336E2D Time : 0.0 sec. user=mdettweiler [2020-07-23 20:18:49] 949*2^1563713-1 is not prime. Res64: 5E91F102F65C3E05 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:18:50] 755*2^1563714-1 is not prime. Res64: 4FFD6BF2E3FC87D3 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:18:50] 773*2^1563714-1 is not prime. Res64: B145ADE7E57764D9 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:34:49] 945*2^1563714-1 is not prime. Res64: D66F0429924594CC Time : 0.0 sec. user=mdettweiler [2020-07-23 20:34:50] 975*2^1563714-1 is not prime. Res64: 9DB07344999C2BDB Time : 0.0 sec. user=mdettweiler [2020-07-23 20:34:50] 631*2^1563715-1 is not prime. Res64: C5EFF34B283ABD16 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:34:51] 855*2^1563715-1 is not prime. Res64: B7BC3F026581F767 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:34:51] 859*2^1563715-1 is not prime. Res64: CF6FCAD57F5339B6 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:52:34] 861*2^1563715-1 is not prime. Res64: 77744A97841EDEED Time : 0.0 sec. user=mdettweiler [2020-07-23 20:52:34] 885*2^1563715-1 is not prime. Res64: BC1F025048F141E4 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:52:35] 915*2^1563715-1 is not prime. Res64: DEA24AED79D7F41A Time : 0.0 sec. user=mdettweiler [2020-07-23 20:52:36] 973*2^1563715-1 is not prime. Res64: 1497DEFAF2CE6B57 Time : 0.0 sec. user=mdettweiler [2020-07-23 20:52:36] 609*2^1563716-1 is not prime. Res64: 7B96078B88745E9C Time : 0.0 sec. user=mdettweiler [2020-07-23 21:12:07] 617*2^1563716-1 is not prime. Res64: DD83F7EC7892E423 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:12:07] 633*2^1563716-1 is not prime. Res64: 14120670D990ED82 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:12:08] 635*2^1563716-1 is not prime. Res64: 1C0438912609FB40 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:12:08] 669*2^1563716-1 is not prime. Res64: AE8AD69FFCBCBA3E Time : 0.0 sec. user=mdettweiler [2020-07-23 21:12:09] 767*2^1563716-1 is not prime. Res64: 57AAC8D2F999EFE3 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:29:45] 833*2^1563716-1 is not prime. Res64: 3A6984F71E95E3C7 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:29:46] 625*2^1563717-1 is not prime. Res64: 9B019097B7B6AE97 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:29:47] 675*2^1563717-1 is not prime. Res64: 681AE2CDCAAAC398 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:29:49] 681*2^1563717-1 is not prime. Res64: 61C89C109505D524 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:29:50] 741*2^1563717-1 is not prime. Res64: FB92B57CC7F1E9B3 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:51:03] 751*2^1563717-1 is not prime. Res64: CAE5DF7395A5F6A6 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:51:03] 847*2^1563717-1 is not prime. Res64: 718D76B19019B172 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:51:04] 891*2^1563717-1 is not prime. Res64: EC2D09F07B53D5B4 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:51:04] 919*2^1563717-1 is not prime. Res64: 9AC41649BD34F145 Time : 0.0 sec. user=mdettweiler [2020-07-23 21:51:04] 945*2^1563717-1 is not prime. Res64: 7CCE5BF3C5141D0F Time : 0.0 sec. user=mdettweiler [2020-07-23 22:05:59] 621*2^1563718-1 is not prime. Res64: EF72EEAF5386FCF0 Time : 0.0 sec. user=mdettweiler [2020-07-23 22:06:03] 681*2^1563718-1 is not prime. Res64: 35C3A5B49A9C3B2A Time : 0.0 sec. user=mdettweiler [2020-07-23 22:06:05] 741*2^1563719-1 is not prime. Res64: 5B83B34F631FBAA6 Time : 0.0 sec. user=mdettweiler [2020-07-23 22:06:08] 745*2^1563719-1 is not prime. Res64: 492A51C7659174ED Time : 0.0 sec. user=mdettweiler [2020-07-23 22:06:11] 885*2^1563719-1 is not prime. Res64: 3695D531DB508AAB Time : 0.0 sec. user=mdettweiler [2020-07-23 22:26:54] 921*2^1563719-1 is not prime. Res64: AFEB3B83E1A7FC0B Time : 0.0 sec. user=mdettweiler [2020-07-23 22:26:55] 949*2^1563719-1 is not prime. Res64: 7D8411176FAF9C75 Time : 0.0 sec. user=mdettweiler [2020-07-23 22:26:55] 719*2^1563720-1 is not prime. Res64: 3F61089882D4936D Time : 0.0 sec. user=mdettweiler [2020-07-23 22:26:56] 797*2^1563720-1 is not prime. Res64: AA74AB815F000D8A Time : 0.0 sec. user=mdettweiler [2020-07-23 22:26:56] 857*2^1563720-1 is not prime. Res64: 17C539AC4203FB5A Time : 0.0 sec. user=mdettweiler [2020-07-23 22:46:45] 899*2^1563720-1 is not prime. Res64: DF7F2CB0358E4919 Time : 0.0 sec. user=mdettweiler [2020-07-23 22:46:45] 917*2^1563720-1 is not prime. Res64: 71256E37DC71D6BD Time : 0.0 sec. user=mdettweiler [2020-07-23 22:46:46] 975*2^1563720-1 is not prime. Res64: 34CD391A56B6DDE7 Time : 0.0 sec. user=mdettweiler [2020-07-23 22:46:47] 651*2^1563721-1 is not prime. Res64: 3366C516E9E7F8FB Time : 0.0 sec. user=mdettweiler [2020-07-23 22:46:49] 675*2^1563721-1 is not prime. Res64: 4CD850C058567740 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:03:42] 771*2^1563721-1 is not prime. Res64: 953991AA6BCEA5AA Time : 0.0 sec. user=mdettweiler [2020-07-23 23:03:43] 799*2^1563721-1 is not prime. Res64: 7E1CD907CD03921F Time : 0.0 sec. user=mdettweiler [2020-07-23 23:03:44] 811*2^1563721-1 is not prime. Res64: 9614E84877DECCA5 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:03:45] 871*2^1563721-1 is not prime. Res64: 56390ABB66304512 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:03:46] 895*2^1563721-1 is not prime. Res64: 8738E0DF0ED979B5 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:24:02] 981*2^1563721-1 is not prime. Res64: 50355D10944C7B98 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:24:03] 741*2^1563722-1 is not prime. Res64: BE02A125C8980DE2 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:24:03] 903*2^1563722-1 is not prime. Res64: EFD3340CD3EAB43C Time : 0.0 sec. user=mdettweiler [2020-07-23 23:24:04] 911*2^1563722-1 is not prime. Res64: 2121D43462551760 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:24:04] 977*2^1563722-1 is not prime. Res64: 204F061764ADD2D8 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:41:40] 685*2^1563723-1 is not prime. Res64: 105A7A506FC01A8C Time : 0.0 sec. user=mdettweiler [2020-07-23 23:41:41] 753*2^1563723-1 is not prime. Res64: 0993389C42342839 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:41:41] 963*2^1563723-1 is not prime. Res64: C2695149D821433F Time : 0.0 sec. user=mdettweiler [2020-07-23 23:41:42] 705*2^1563724-1 is not prime. Res64: E6A6D1E61FD4595F Time : 0.0 sec. user=mdettweiler [2020-07-23 23:41:42] 909*2^1563724-1 is not prime. Res64: 4979AEF5742ADA44 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:59:50] 983*2^1563724-1 is not prime. Res64: 34F3864184624BA0 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:59:51] 669*2^1563725-1 is not prime. Res64: 6EA94EE045B6D464 Time : 0.0 sec. user=mdettweiler [2020-07-23 23:59:51] 675*2^1563725-1 is not prime. Res64: 165CF7DA143B74DE Time : 0.0 sec. user=mdettweiler [2020-07-23 23:59:52] 819*2^1563725-1 is not prime. Res64: C0A556FA754DCCBB Time : 0.0 sec. user=mdettweiler [2020-07-23 23:59:52] 837*2^1563725-1 is not prime. Res64: 9F2ED053B97E34CC Time : 0.0 sec.