user=mdettweiler [2016-09-09 00:06:02] 621*2^1439291-1 is not prime. Res64: 3B4D4D8D9F861C0D Time : 0.0 sec. user=mdettweiler [2016-09-09 00:06:04] 651*2^1439291-1 is not prime. Res64: B36D0A2A2C7F7859 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:06:06] 711*2^1439291-1 is not prime. Res64: B10B1754E77422FE Time : 0.0 sec. user=mdettweiler [2016-09-09 00:06:07] 753*2^1439291-1 is not prime. Res64: D80801E0FB7470DA Time : 0.0 sec. user=mdettweiler [2016-09-09 00:06:08] 783*2^1439291-1 is not prime. Res64: E18B2FD6B648711B Time : 0.0 sec. user=mdettweiler [2016-09-09 00:39:21] 969*2^1439291-1 is not prime. Res64: 4999221007C36E3B Time : 0.0 sec. user=mdettweiler [2016-09-09 00:39:21] 973*2^1439291-1 is not prime. Res64: 23E5B2B8789EE4E7 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:39:22] 981*2^1439291-1 is not prime. Res64: 8408A43CD2EC81FB Time : 0.0 sec. user=mdettweiler [2016-09-09 00:39:22] 999*2^1439291-1 is not prime. Res64: 606587CA04F24DB2 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:39:22] 831*2^1439293-1 is not prime. Res64: 1313A22DAAC40126 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:41:16] 859*2^1439293-1 is not prime. Res64: FA7AF9C66D6FC9AF Time : 0.0 sec. user=mdettweiler [2016-09-09 00:41:16] 861*2^1439293-1 is not prime. Res64: E7729EE0A17A305A Time : 0.0 sec. user=mdettweiler [2016-09-09 00:41:16] 937*2^1439293-1 is not prime. Res64: 6047649CF91E3F65 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:41:17] 945*2^1439293-1 is not prime. Res64: 83D819C509CC97BB Time : 0.0 sec. user=mdettweiler [2016-09-09 00:41:17] 961*2^1439293-1 is not prime. Res64: 2394209895335C1C Time : 0.0 sec. user=mdettweiler [2016-09-09 00:45:36] 979*2^1439293-1 is not prime. Res64: F961F582F03E9C7B Time : 0.0 sec. user=mdettweiler [2016-09-09 00:45:36] 635*2^1439294-1 is not prime. Res64: 102208F2BD50D299 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:45:36] 741*2^1439294-1 is not prime. Res64: 68395349EF091C2A Time : 0.0 sec. user=mdettweiler [2016-09-09 00:45:36] 815*2^1439294-1 is not prime. Res64: 85E97195172F18A0 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:45:36] 875*2^1439294-1 is not prime. Res64: B1EF02EE913BF9AF Time : 0.0 sec. user=mdettweiler [2016-09-09 00:53:06] 951*2^1439294-1 is not prime. Res64: 60A99E409428A5BA Time : 0.0 sec. user=mdettweiler [2016-09-09 00:53:06] 987*2^1439294-1 is not prime. Res64: 963C90D970001147 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:53:07] 993*2^1439294-1 is not prime. Res64: F0D3539C0B8CFB26 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:53:07] 805*2^1439295-1 is not prime. Res64: 09DD29BD195CCED7 Time : 0.0 sec. user=mdettweiler [2016-09-09 00:53:07] 831*2^1439295-1 is not prime. Res64: C9D81A4D118BC8AD Time : 0.0 sec. user=mdettweiler [2016-09-09 01:25:07] 849*2^1439295-1 is not prime. Res64: 5A1AB1672315B817 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:25:08] 859*2^1439295-1 is not prime. Res64: 92EFA26FB39DC76F Time : 0.0 sec. user=mdettweiler [2016-09-09 01:25:09] 871*2^1439295-1 is not prime. Res64: F3D2EBF00DFA2DE4 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:25:10] 909*2^1439295-1 is not prime. Res64: EBE2246A1734F23E Time : 0.0 sec. user=mdettweiler [2016-09-09 01:25:11] 919*2^1439295-1 is not prime. Res64: 34FF285C6E8B9340 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:26:35] 785*2^1439296-1 is not prime. Res64: CB92CE8ABCE4BEFD Time : 0.0 sec. user=mdettweiler [2016-09-09 01:26:36] 833*2^1439296-1 is not prime. Res64: 60B51BC6D2332B23 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:26:37] 873*2^1439296-1 is not prime. Res64: 7D2F93E003679FAA Time : 0.0 sec. user=mdettweiler [2016-09-09 01:26:38] 675*2^1439297-1 is not prime. Res64: 24D54B2DABC5F326 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:26:39] 717*2^1439297-1 is not prime. Res64: 66AE250F14F4D849 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:31:09] 729*2^1439297-1 is not prime. Res64: 26FDAA6764276DFB Time : 0.0 sec. user=mdettweiler [2016-09-09 01:31:11] 769*2^1439297-1 is not prime. Res64: 604495282379D1D9 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:31:12] 837*2^1439297-1 is not prime. Res64: B7A3AD45D5B080C6 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:31:13] 885*2^1439297-1 is not prime. Res64: 8908F933652B0EC7 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:31:14] 937*2^1439297-1 is not prime. Res64: 1FBBCB089987E001 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:38:17] 611*2^1439298-1 is not prime. Res64: 85940A9FD99B98A9 Time : 0.0 sec. user=mdettweiler [2016-09-09 01:38:18] 635*2^1439298-1 is not prime. Res64: 066695529990E32D Time : 0.0 sec. user=mdettweiler [2016-09-09 01:38:19] 797*2^1439298-1 is not prime. Res64: C78D5CD2D353404E Time : 0.0 sec. user=mdettweiler [2016-09-09 01:38:20] 705*2^1439299-1 is not prime. Res64: 23BDB585909CE3AA Time : 0.0 sec. user=mdettweiler [2016-09-09 01:38:22] 801*2^1439299-1 is not prime. Res64: A6D8F38C4FCC264E Time : 0.0 sec. user=mdettweiler [2016-09-09 02:12:16] 835*2^1439299-1 is not prime. Res64: FD05765265ECC6AF Time : 0.0 sec. user=mdettweiler [2016-09-09 02:12:17] 919*2^1439299-1 is not prime. Res64: CA1716E53FA6E3C8 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:12:17] 669*2^1439300-1 is not prime. Res64: 3BABE46DA98EE47B Time : 0.0 sec. user=mdettweiler [2016-09-09 02:12:18] 719*2^1439300-1 is not prime. Res64: 47F38B2DE1BD3845 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:12:18] 743*2^1439300-1 is not prime. Res64: A2C29960F19233C4 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:14:20] 759*2^1439300-1 is not prime. Res64: 56CE5E09B0C394C7 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:14:21] 909*2^1439300-1 is not prime. Res64: BE456CC8A41C60B9 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:14:21] 963*2^1439300-1 is not prime. Res64: 05C7D5F369493133 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:14:21] 995*2^1439300-1 is not prime. Res64: 9C955732D7F6C492 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:14:22] 885*2^1439301-1 is not prime. Res64: A3AE4A400D4A3EB1 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:18:58] 961*2^1439301-1 is not prime. Res64: 3200A34C90CFC154 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:18:59] 991*2^1439301-1 is not prime. Res64: 18D3FF6117BF0EA5 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:19:00] 617*2^1439302-1 is not prime. Res64: 92A840D0E1347CD3 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:19:01] 777*2^1439302-1 is not prime. Res64: 85F513EC28067B75 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:19:01] 825*2^1439302-1 is not prime. Res64: F52A56FAF4E48619 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:26:36] 951*2^1439302-1 is not prime. Res64: 14C26088150ECEDA Time : 0.0 sec. user=mdettweiler [2016-09-09 02:26:37] 983*2^1439302-1 is not prime. Res64: C9194DDF982633B4 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:26:37] 703*2^1439303-1 is not prime. Res64: B9DDAE28ACF652CA Time : 0.0 sec. user=mdettweiler [2016-09-09 02:26:38] 771*2^1439303-1 is not prime. Res64: 6B1263FDA4BF8725 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:26:38] 805*2^1439303-1 is not prime. Res64: B2820BFC2675DD95 Time : 0.0 sec. user=mdettweiler [2016-09-09 02:58:47] 623*2^1439304-1 is not prime. Res64: 692442642978C44D Time : 0.0 sec. user=mdettweiler [2016-09-09 02:58:47] 629*2^1439304-1 is not prime. Res64: A3E45D712A01B01D Time : 0.0 sec. user=mdettweiler [2016-09-09 02:58:47] 689*2^1439304-1 is not prime. Res64: 0544B16C80B48E9E Time : 0.0 sec. user=mdettweiler [2016-09-09 02:58:48] 863*2^1439304-1 is not prime. Res64: F18E2E42A20864DD Time : 0.0 sec. user=mdettweiler [2016-09-09 02:58:48] 893*2^1439304-1 is not prime. Res64: 6A6FDFE5B4FF72C1 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:00:42] 915*2^1439304-1 is not prime. Res64: D0C9DF4A588ADCBB Time : 0.0 sec. user=mdettweiler [2016-09-09 03:00:43] 927*2^1439304-1 is not prime. Res64: 1F2B68ECC1181684 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:00:44] 975*2^1439304-1 is not prime. Res64: 2A069FC7DD21DC9D Time : 0.0 sec. user=mdettweiler [2016-09-09 03:00:44] 645*2^1439305-1 is not prime. Res64: D9D5B55EDEB36339 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:00:45] 691*2^1439305-1 is not prime. Res64: 3E7489B5F07EEEA8 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:04:14] 789*2^1439305-1 is not prime. Res64: A32216EFDD544E37 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:04:16] 861*2^1439305-1 is not prime. Res64: 4649AAB78CD36C98 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:04:17] 987*2^1439305-1 is not prime. Res64: 8FDE3C99C7D2065E Time : 0.0 sec. user=mdettweiler [2016-09-09 03:04:18] 717*2^1439306-1 is not prime. Res64: FC25E74B3E8195CC Time : 0.0 sec. user=mdettweiler [2016-09-09 03:04:19] 773*2^1439306-1 is not prime. Res64: 3B420A49B1857BC6 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:11:41] 825*2^1439306-1 is not prime. Res64: C48B08430EEB118C Time : 0.0 sec. user=mdettweiler [2016-09-09 03:11:41] 923*2^1439306-1 is not prime. Res64: 41F150693A4F7AD3 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:11:42] 669*2^1439307-1 is not prime. Res64: 2D03D661D8C9C602 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:11:42] 829*2^1439307-1 is not prime. Res64: 3C8AC13CA01E8B51 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:11:42] 861*2^1439307-1 is not prime. Res64: F6181288BD79D4ED Time : 0.0 sec. user=mdettweiler [2016-09-09 03:44:19] 901*2^1439307-1 is not prime. Res64: AF717C7333619C88 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:44:21] 973*2^1439307-1 is not prime. Res64: 90525E016B7AA8A9 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:44:24] 699*2^1439308-1 is not prime. Res64: 8D547AA60549726D Time : 0.0 sec. user=mdettweiler [2016-09-09 03:44:26] 803*2^1439308-1 is not prime. Res64: F8B02B42BF7A1C23 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:44:29] 827*2^1439308-1 is not prime. Res64: 0325E32480351C49 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:46:04] 927*2^1439308-1 is not prime. Res64: 1534E9F32A8CDB3D Time : 0.0 sec. user=mdettweiler [2016-09-09 03:46:06] 987*2^1439308-1 is not prime. Res64: AE4204C182DCE9DA Time : 0.0 sec. user=mdettweiler [2016-09-09 03:46:07] 989*2^1439308-1 is not prime. Res64: D703D015BAEF6E9D Time : 0.0 sec. user=mdettweiler [2016-09-09 03:46:08] 649*2^1439309-1 is not prime. Res64: 05E0EA7582150CDB Time : 0.0 sec. user=mdettweiler [2016-09-09 03:46:09] 811*2^1439309-1 is not prime. Res64: 8EB19DF58338D69E Time : 0.0 sec. user=mdettweiler [2016-09-09 03:49:54] 939*2^1439309-1 is not prime. Res64: 5327527345278604 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:49:55] 949*2^1439309-1 is not prime. Res64: 5505BC52F99CFB83 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:49:56] 665*2^1439310-1 is not prime. Res64: B4A6C17702AB0DF4 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:49:56] 681*2^1439310-1 is not prime. Res64: 399B6DB7D94D3F87 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:49:57] 695*2^1439310-1 is not prime. Res64: B1C8ACAA205570C5 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:57:17] 717*2^1439310-1 is not prime. Res64: 24DBCB123C61CAC8 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:57:18] 725*2^1439310-1 is not prime. Res64: E2B155E0B15BF040 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:57:18] 755*2^1439310-1 is not prime. Res64: 42C0464D1495C2A2 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:57:18] 783*2^1439310-1 is not prime. Res64: A6AB82C342EAC1F9 Time : 0.0 sec. user=mdettweiler [2016-09-09 03:57:20] 863*2^1439310-1 is not prime. Res64: C4A4D8CC7502E5B9 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:30:08] 601*2^1439311-1 is not prime. Res64: AB3702EC67246589 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:30:09] 759*2^1439311-1 is not prime. Res64: 5B33CECDCFE24A12 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:30:10] 775*2^1439311-1 is not prime. Res64: 5870D664DF6A5FE4 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:30:18] 861*2^1439311-1 is not prime. Res64: D6F5F9C8F6E283A1 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:30:25] 885*2^1439311-1 is not prime. Res64: 98C351E13DEDA516 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:31:23] 629*2^1439312-1 is not prime. Res64: EE1572B2F550A39F Time : 0.0 sec. user=mdettweiler [2016-09-09 04:31:24] 633*2^1439312-1 is not prime. Res64: B64C0FE4E97FF77D Time : 0.0 sec. user=mdettweiler [2016-09-09 04:31:25] 683*2^1439312-1 is not prime. Res64: 5ED45A212FEFCA66 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:31:25] 713*2^1439312-1 is not prime. Res64: 3A1FB1DCFFFB0F69 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:31:25] 753*2^1439312-1 is not prime. Res64: FA96A6CFFCEC626A Time : 0.0 sec. user=mdettweiler [2016-09-09 04:35:09] 935*2^1439312-1 is not prime. Res64: 23DE2BCA02AB1514 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:35:09] 945*2^1439312-1 is not prime. Res64: BCAC041312C879CB Time : 0.0 sec. user=mdettweiler [2016-09-09 04:35:09] 681*2^1439313-1 is not prime. Res64: A1BD3A5CC0F1FA20 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:35:10] 877*2^1439313-1 is not prime. Res64: AD72765A64A718F2 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:35:10] 915*2^1439313-1 is not prime. Res64: 65626A5817C4AE7C Time : 0.0 sec. user=mdettweiler [2016-09-09 04:42:27] 937*2^1439313-1 is not prime. Res64: 51159B2287D20D69 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:42:28] 991*2^1439313-1 is not prime. Res64: 4969A777851AF487 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:42:28] 671*2^1439314-1 is not prime. Res64: 29191627C9D03273 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:42:28] 815*2^1439314-1 is not prime. Res64: 328C9659521E7165 Time : 0.0 sec. user=mdettweiler [2016-09-09 04:42:29] 881*2^1439314-1 is not prime. Res64: BE99EF57B8B0F944 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:17:25] 945*2^1439314-1 is not prime. Res64: 85CA68FB2F0713E6 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:17:25] 993*2^1439314-1 is not prime. Res64: B557CFFDB5C6C0F6 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:17:25] 693*2^1439315-1 is not prime. Res64: 17A85B9B3ACD377B Time : 0.0 sec. user=mdettweiler [2016-09-09 05:17:26] 843*2^1439315-1 is not prime. Res64: 45FC960B4468AC30 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:17:26] 979*2^1439315-1 is not prime. Res64: 704D438F82809312 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:20:59] 981*2^1439315-1 is not prime. Res64: AC4179DCF43F8798 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:20:59] 705*2^1439316-1 is not prime. Res64: C258212134A063F5 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:21:00] 725*2^1439316-1 is not prime. Res64: 1C4A6D32708310D1 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:21:00] 777*2^1439316-1 is not prime. Res64: 1AD1B62DCF631CF7 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:21:01] 845*2^1439316-1 is not prime. Res64: 65229696B66EF2D5 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:28:58] 933*2^1439316-1 is not prime. Res64: 053D1C3AC4F30CD8 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:28:58] 615*2^1439317-1 is not prime. Res64: 562355157842E533 Time : 0.0 sec. user=mdettweiler [2016-09-09 05:28:58] 777*2^1439317-1 is not prime. Res64: E066A8597E89ADAF Time : 0.0 sec. user=mdettweiler [2016-09-09 05:28:59] 707*2^1439318-1 is not prime. Res64: A282A651993B6A7A Time : 0.0 sec. user=mdettweiler [2016-09-09 05:28:59] 711*2^1439318-1 is not prime. Res64: DA683BDA519280C1 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:03:39] 857*2^1439318-1 is not prime. Res64: 298C9CDE79FC3677 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:03:41] 613*2^1439319-1 is not prime. Res64: DA8964D164AC673C Time : 0.0 sec. user=mdettweiler [2016-09-09 06:03:41] 661*2^1439319-1 is not prime. Res64: 3BA21C19D461EE3C Time : 0.0 sec. user=mdettweiler [2016-09-09 06:03:42] 711*2^1439319-1 is not prime. Res64: 5726F231EE08AB1A Time : 0.0 sec. user=mdettweiler [2016-09-09 06:03:43] 825*2^1439319-1 is not prime. Res64: 22821983AB14BAA6 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:07:07] 853*2^1439319-1 is not prime. Res64: B8B00F884EBB2A94 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:07:07] 873*2^1439319-1 is not prime. Res64: 8E09EEC7702BCA6F Time : 0.0 sec. user=mdettweiler [2016-09-09 06:07:08] 885*2^1439319-1 is not prime. Res64: 08C2877626BAC701 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:07:08] 891*2^1439319-1 is not prime. Res64: 5D827C1B259B45D6 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:07:09] 921*2^1439319-1 is not prime. Res64: B510E0A31F525F22 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:15:07] 933*2^1439319-1 is not prime. Res64: 153FD13F80335724 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:15:08] 973*2^1439319-1 is not prime. Res64: CBE4AD63F3F5097C Time : 0.0 sec. user=mdettweiler [2016-09-09 06:15:08] 975*2^1439319-1 is not prime. Res64: AB4BA8D2A5EEDE01 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:15:09] 645*2^1439320-1 is not prime. Res64: 601C3D654F5841C4 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:15:09] 665*2^1439320-1 is not prime. Res64: F2EAE283A3F707D7 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:49:44] 743*2^1439320-1 is not prime. Res64: AE97F361E2421E54 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:49:44] 765*2^1439320-1 is not prime. Res64: 79EA62ACD3070704 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:49:45] 773*2^1439320-1 is not prime. Res64: 5FB772C29469C335 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:49:45] 849*2^1439320-1 is not prime. Res64: 908020B0118E39CE Time : 0.0 sec. user=mdettweiler [2016-09-09 06:49:45] 855*2^1439320-1 is not prime. Res64: E0B807D8537C91F5 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:53:09] 873*2^1439320-1 is not prime. Res64: F3BE44AC2099CF50 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:53:09] 989*2^1439320-1 is not prime. Res64: F5F7A7453688A818 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:53:10] 615*2^1439321-1 is not prime. Res64: FC6106242E187982 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:53:10] 711*2^1439321-1 is not prime. Res64: AC1F53E8C693A131 Time : 0.0 sec. user=mdettweiler [2016-09-09 06:53:10] 781*2^1439321-1 is not prime. Res64: 99DF1E10EDBC536F Time : 0.0 sec. user=mdettweiler [2016-09-09 07:01:15] 861*2^1439321-1 is not prime. Res64: 145102B6689790C9 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:01:16] 939*2^1439321-1 is not prime. Res64: 8ECB79F1324AB61F Time : 0.0 sec. user=mdettweiler [2016-09-09 07:01:17] 945*2^1439321-1 is not prime. Res64: EFA4C858601DE3B1 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:01:17] 949*2^1439321-1 is not prime. Res64: 155693EFD0118B46 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:01:18] 921*2^1439322-1 is not prime. Res64: B43639BF962527D0 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:35:30] 951*2^1439322-1 is not prime. Res64: 826024321EA8278B Time : 0.0 sec. user=mdettweiler [2016-09-09 07:35:30] 631*2^1439323-1 is not prime. Res64: 4C0AE7D19DB71A53 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:35:31] 709*2^1439323-1 is not prime. Res64: C8A795D0BC092226 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:35:31] 723*2^1439323-1 is not prime. Res64: EF5DF91301D0B0A8 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:35:32] 789*2^1439323-1 is not prime. Res64: 61723FD695438497 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:38:29] 793*2^1439323-1 is not prime. Res64: 6650BCD721E15B9A Time : 0.0 sec. user=mdettweiler [2016-09-09 07:38:30] 859*2^1439323-1 is not prime. Res64: FA6568E66DBFE38F Time : 0.0 sec. user=mdettweiler [2016-09-09 07:38:30] 609*2^1439324-1 is not prime. Res64: E11BE1CD98214ACD Time : 0.0 sec. user=mdettweiler [2016-09-09 07:38:30] 675*2^1439324-1 is not prime. Res64: 755FC96ED3A5E8A4 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:38:31] 767*2^1439324-1 is not prime. Res64: 189298EE75FDDA24 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:46:55] 903*2^1439324-1 is not prime. Res64: 7CF4ADD608049DEA Time : 0.0 sec. user=mdettweiler [2016-09-09 07:46:55] 909*2^1439324-1 is not prime. Res64: CB6AF8881AB3BEB1 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:46:56] 915*2^1439324-1 is not prime. Res64: 60D32EB4629A35DD Time : 0.0 sec. user=mdettweiler [2016-09-09 07:46:56] 957*2^1439324-1 is not prime. Res64: 0549FDAEFEF36E32 Time : 0.0 sec. user=mdettweiler [2016-09-09 07:46:56] 969*2^1439324-1 is not prime. Res64: 42633E9320505FC7 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:01:47] 717*2^1439325-1 is not prime. Res64: 7C6ADBCFD942079A Time : 0.0 sec. user=mdettweiler [2016-09-09 08:01:48] 741*2^1439325-1 is not prime. Res64: 0F28AD2362A82A87 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:01:49] 787*2^1439325-1 is not prime. Res64: 3E38256A9F563623 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:01:50] 817*2^1439325-1 is not prime. Res64: B30434BCB014D066 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:01:51] 847*2^1439325-1 is not prime. Res64: EF5F19BD7450F1C3 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:20:39] 927*2^1439325-1 is not prime. Res64: 795AF47A0444A2FC Time : 0.0 sec. user=mdettweiler [2016-09-09 08:20:40] 969*2^1439325-1 is not prime. Res64: F6C58971FE6BD46A Time : 0.0 sec. user=mdettweiler [2016-09-09 08:20:40] 975*2^1439325-1 is not prime. Res64: 1041C29946712276 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:20:40] 635*2^1439326-1 is not prime. Res64: 2F5931441D42F93B Time : 0.0 sec. user=mdettweiler [2016-09-09 08:20:41] 705*2^1439326-1 is not prime. Res64: 8ED97A95E462A1A6 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:23:57] 747*2^1439326-1 is not prime. Res64: F312BC1F6E0E7D5B Time : 0.0 sec. user=mdettweiler [2016-09-09 08:23:57] 783*2^1439326-1 is not prime. Res64: 980C8AF50DEF60E4 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:23:58] 785*2^1439326-1 is not prime. Res64: 596146C17BA7FFA7 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:23:58] 815*2^1439326-1 is not prime. Res64: 5BF5DDB29DCEF7A3 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:23:58] 673*2^1439327-1 is not prime. Res64: E791E17FDB575C8A Time : 0.0 sec. user=mdettweiler [2016-09-09 08:32:12] 729*2^1439327-1 is not prime. Res64: 971E716A526D758D Time : 0.0 sec. user=mdettweiler [2016-09-09 08:32:12] 763*2^1439327-1 is not prime. Res64: B84C514E8ED0A648 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:32:12] 841*2^1439327-1 is not prime. Res64: 506C057A7B877BCA Time : 0.0 sec. user=mdettweiler [2016-09-09 08:32:13] 949*2^1439327-1 is not prime. Res64: 88FECAEC24D7EFC1 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:32:13] 979*2^1439327-1 is not prime. Res64: 685DB47ECDE42FE9 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:47:30] 669*2^1439328-1 is not prime. Res64: 15658AB512CF9DFB Time : 0.0 sec. user=mdettweiler [2016-09-09 08:47:31] 789*2^1439328-1 is not prime. Res64: D81D59081C8929D7 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:47:31] 849*2^1439328-1 is not prime. Res64: 077B4DE790EB5D25 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:47:31] 909*2^1439328-1 is not prime. Res64: C449D1E6B1360F97 Time : 0.0 sec. user=mdettweiler [2016-09-09 08:47:32] 975*2^1439328-1 is not prime. Res64: 2BB1B83AF159708E Time : 0.0 sec. user=mdettweiler [2016-09-09 09:05:55] 999*2^1439328-1 is not prime. Res64: E38132D2BB71B772 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:05:56] 615*2^1439329-1 is not prime. Res64: B05973B57EB9D89D Time : 0.0 sec. user=mdettweiler [2016-09-09 09:05:58] 625*2^1439329-1 is not prime. Res64: E163A78F2F328F61 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:05:59] 661*2^1439329-1 is not prime. Res64: 9C5205B0BCFF25E4 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:06:01] 705*2^1439329-1 is not prime. Res64: FD701B192EA68FE2 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:09:29] 721*2^1439329-1 is not prime. Res64: 013B5E4578B4E81B Time : 0.0 sec. user=mdettweiler [2016-09-09 09:09:30] 789*2^1439329-1 is not prime. Res64: 2B1634E941F2326F Time : 0.0 sec. user=mdettweiler [2016-09-09 09:09:30] 829*2^1439329-1 is not prime. Res64: 98BEA3563F1177A8 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:09:30] 831*2^1439329-1 is not prime. Res64: 4DA02E82AB0BC535 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:09:31] 895*2^1439329-1 is not prime. Res64: 616C8034A1BD80AD Time : 0.0 sec. user=mdettweiler [2016-09-09 09:17:39] 897*2^1439329-1 is not prime. Res64: 1116E6E598016077 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:17:39] 939*2^1439329-1 is not prime. Res64: 3BFD90207FDFA301 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:17:40] 951*2^1439329-1 is not prime. Res64: 40B59D4D39AD3C8B Time : 0.0 sec. user=mdettweiler [2016-09-09 09:17:40] 997*2^1439329-1 is not prime. Res64: EDA7BC4DA4E351F2 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:17:41] 753*2^1439330-1 is not prime. Res64: 501CE6C6AD08EC95 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:32:51] 767*2^1439330-1 is not prime. Res64: A9655B0BFD849119 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:32:52] 791*2^1439330-1 is not prime. Res64: 761348338A5A4CD1 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:32:52] 831*2^1439330-1 is not prime. Res64: B5AE856DFA979EF4 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:32:52] 1001*2^1439330-1 is not prime. Res64: 055C095205151E86 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:32:53] 709*2^1439331-1 is not prime. Res64: E02E64016A7665DD Time : 0.0 sec. user=mdettweiler [2016-09-09 09:52:15] 955*2^1439331-1 is not prime. Res64: 4136B19AC4F32BF6 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:52:15] 603*2^1439332-1 is not prime. Res64: 46E08071B0566498 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:52:15] 615*2^1439332-1 is not prime. Res64: BB59B5084C7571D0 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:52:16] 689*2^1439332-1 is not prime. Res64: B16C0154F820C6EA Time : 0.0 sec. user=mdettweiler [2016-09-09 09:52:16] 705*2^1439332-1 is not prime. Res64: 40FCF60A2A58A2DB Time : 0.0 sec. user=mdettweiler [2016-09-09 09:55:32] 813*2^1439332-1 is not prime. Res64: 0E73423BB9C99474 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:55:32] 915*2^1439332-1 is not prime. Res64: 40B742062836B9C0 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:55:32] 657*2^1439333-1 is not prime. Res64: 0AF8B844D5645DA2 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:55:33] 675*2^1439333-1 is not prime. Res64: 361144F5241A8C72 Time : 0.0 sec. user=mdettweiler [2016-09-09 09:55:33] 691*2^1439333-1 is not prime. Res64: 102E9B0A012F8AE0 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:04:17] 729*2^1439333-1 is not prime. Res64: 4B26B67C23CF82DC Time : 0.0 sec. user=mdettweiler [2016-09-09 10:04:19] 741*2^1439333-1 is not prime. Res64: 4A17DDD7ED72C3F2 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:04:20] 757*2^1439333-1 is not prime. Res64: 36A8AAC779720C5A Time : 0.0 sec. user=mdettweiler [2016-09-09 10:04:21] 829*2^1439333-1 is not prime. Res64: 9E164E6F2F9C2B98 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:04:22] 901*2^1439333-1 is not prime. Res64: 1404927DB6511E20 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:24:40] 605*2^1439334-1 is not prime. Res64: 0CFCF5D03602A220 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:24:41] 641*2^1439334-1 is not prime. Res64: DD2BE9795AE15963 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:24:41] 695*2^1439334-1 is not prime. Res64: 6BF5C2FFA24DCC2F Time : 0.0 sec. user=mdettweiler [2016-09-09 10:24:42] 851*2^1439334-1 is not prime. Res64: AC6107DD70CAAAF9 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:24:43] 873*2^1439334-1 is not prime. Res64: F9064B99C513395D Time : 0.0 sec. user=mdettweiler [2016-09-09 10:43:57] 927*2^1439334-1 is not prime. Res64: 622DA0D372924028 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:43:58] 693*2^1439335-1 is not prime. Res64: 66B791BE0BE194EC Time : 0.0 sec. user=mdettweiler [2016-09-09 10:43:58] 885*2^1439335-1 is not prime. Res64: F37143EF437B4CF6 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:43:58] 615*2^1439336-1 is not prime. Res64: 193D2B5D8CA5852D Time : 0.0 sec. user=mdettweiler [2016-09-09 10:43:58] 645*2^1439336-1 is not prime. Res64: CF9E76C163AB1ADE Time : 0.0 sec. user=mdettweiler [2016-09-09 10:47:16] 759*2^1439336-1 is not prime. Res64: D2E6662A13670C60 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:47:17] 839*2^1439336-1 is not prime. Res64: 98788EFD78CD41E2 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:47:17] 855*2^1439336-1 is not prime. Res64: 5A6207AF79BA778F Time : 0.0 sec. user=mdettweiler [2016-09-09 10:47:17] 957*2^1439336-1 is not prime. Res64: B5EB740E11CDABC7 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:47:17] 685*2^1439337-1 is not prime. Res64: 3997F7A4FE5F1F36 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:56:46] 741*2^1439337-1 is not prime. Res64: C66E733921714E99 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:56:47] 769*2^1439337-1 is not prime. Res64: 4F840ABC4FC2BD17 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:56:47] 895*2^1439337-1 is not prime. Res64: AFC5A310103812F7 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:56:47] 949*2^1439337-1 is not prime. Res64: B0C2ABC4E15173C8 Time : 0.0 sec. user=mdettweiler [2016-09-09 10:56:47] 955*2^1439337-1 is not prime. Res64: A1B81DE153B2417B Time : 0.0 sec. user=mdettweiler [2016-09-09 11:12:51] 605*2^1439338-1 is not prime. Res64: 9E44C84721EA35BB Time : 0.0 sec. user=mdettweiler [2016-09-09 11:12:51] 687*2^1439338-1 is not prime. Res64: 711313D31F91AD81 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:12:52] 707*2^1439338-1 is not prime. Res64: C3F674D18C1DB4DC Time : 0.0 sec. user=mdettweiler [2016-09-09 11:12:52] 723*2^1439338-1 is not prime. Res64: 37A25CC12383474C Time : 0.0 sec. user=mdettweiler [2016-09-09 11:12:52] 765*2^1439338-1 is not prime. Res64: AD3FA32CF39C04BF Time : 0.0 sec. user=mdettweiler [2016-09-09 11:30:02] 777*2^1439338-1 is not prime. Res64: 07622CDF096DDFCC Time : 0.0 sec. user=mdettweiler [2016-09-09 11:30:03] 815*2^1439338-1 is not prime. Res64: 34F507C90D46A611 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:30:04] 887*2^1439338-1 is not prime. Res64: 28C42D02ACB9E857 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:30:04] 911*2^1439338-1 is not prime. Res64: 6C62EDCD04E1E8EE Time : 0.0 sec. user=mdettweiler [2016-09-09 11:30:05] 941*2^1439338-1 is not prime. Res64: 991BB5A33EDCA8D0 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:33:16] 987*2^1439338-1 is not prime. Res64: B98C50F9265DFD6E Time : 0.0 sec. user=mdettweiler [2016-09-09 11:33:17] 601*2^1439339-1 is not prime. Res64: 5816DE398120A4FE Time : 0.0 sec. user=mdettweiler [2016-09-09 11:33:17] 615*2^1439339-1 is not prime. Res64: 2AB6D9FEDC74A651 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:33:17] 621*2^1439339-1 is not prime. Res64: A3C2CDEFB8044B82 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:33:18] 711*2^1439339-1 is not prime. Res64: E1ABC3D1DC7C426B Time : 0.0 sec. user=mdettweiler [2016-09-09 11:42:07] 861*2^1439339-1 is not prime. Res64: 77BA3B152EECE536 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:42:08] 909*2^1439339-1 is not prime. Res64: A762B5631A2561E1 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:42:08] 629*2^1439340-1 is not prime. Res64: 21EAFD926920062B Time : 0.0 sec. user=mdettweiler [2016-09-09 11:42:08] 699*2^1439340-1 is not prime. Res64: 7D81DFC8E6966848 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:42:09] 777*2^1439340-1 is not prime. Res64: BB9007C8918252F7 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:58:14] 783*2^1439340-1 is not prime. Res64: E9DC500F47C6FD40 Time : 0.0 sec. user=mdettweiler [2016-09-09 11:58:14] 857*2^1439340-1 is not prime. Res64: CEB2128707C4924B Time : 0.0 sec. user=mdettweiler [2016-09-09 11:58:15] 875*2^1439340-1 is not prime. Res64: 8A5B323C9611ED1E Time : 0.0 sec. user=mdettweiler [2016-09-09 11:58:15] 879*2^1439340-1 is not prime. Res64: AF3C67336BF9C7FA Time : 0.0 sec. user=mdettweiler [2016-09-09 11:58:15] 625*2^1439341-1 is not prime. Res64: 6EC4E4D12F9BC70E Time : 0.0 sec. user=mdettweiler [2016-09-09 12:15:16] 687*2^1439341-1 is not prime. Res64: 3672AF2A10C8415B Time : 0.0 sec. user=mdettweiler [2016-09-09 12:15:16] 835*2^1439341-1 is not prime. Res64: BC2BD0075680EE77 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:15:17] 713*2^1439342-1 is not prime. Res64: 090DC8820C0A702B Time : 0.0 sec. user=mdettweiler [2016-09-09 12:15:17] 753*2^1439342-1 is not prime. Res64: EEB0D2D546232A45 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:15:17] 843*2^1439342-1 is not prime. Res64: 0C6DD6862059FEB8 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:18:52] 867*2^1439342-1 is not prime. Res64: ADA7B56D21AC535F Time : 0.0 sec. user=mdettweiler [2016-09-09 12:18:53] 669*2^1439343-1 is not prime. Res64: 26E2BEF6B4629A19 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:18:53] 691*2^1439343-1 is not prime. Res64: B328750B7E07CF7A Time : 0.0 sec. user=mdettweiler [2016-09-09 12:18:53] 739*2^1439343-1 is not prime. Res64: 8E1610215A7642C2 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:18:54] 775*2^1439343-1 is not prime. Res64: F1723C0FD9B3401B Time : 0.0 sec. user=mdettweiler [2016-09-09 12:27:18] 885*2^1439343-1 is not prime. Res64: F4F2120E4B3B33A6 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:27:18] 895*2^1439343-1 is not prime. Res64: 840E5C8BFEBC380E Time : 0.0 sec. user=mdettweiler [2016-09-09 12:27:18] 955*2^1439343-1 is not prime. Res64: DCE8C21B8E0D43C8 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:27:19] 961*2^1439343-1 is not prime. Res64: 6EB315E2E8118BE2 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:27:19] 963*2^1439343-1 is not prime. Res64: A2DB1A4933E4824A Time : 0.0 sec. user=mdettweiler [2016-09-09 12:43:31] 773*2^1439344-1 is not prime. Res64: B89582C2C83E08AE Time : 0.0 sec. user=mdettweiler [2016-09-09 12:43:32] 905*2^1439344-1 is not prime. Res64: 30F18206C51FACE4 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:43:32] 939*2^1439344-1 is not prime. Res64: ED3FBECF1C297332 Time : 0.0 sec. user=mdettweiler [2016-09-09 12:43:32] 983*2^1439344-1 is not prime. Res64: 84C5C2681AE9683E Time : 0.0 sec. user=mdettweiler [2016-09-09 12:43:33] 649*2^1439345-1 is not prime. Res64: 737BB0B40F2EA2FA Time : 0.0 sec. user=mdettweiler [2016-09-09 13:00:27] 657*2^1439345-1 is not prime. Res64: 563A971F226658D7 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:00:27] 759*2^1439345-1 is not prime. Res64: 264742407E4FF7B4 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:00:28] 771*2^1439345-1 is not prime. Res64: 8C761CBEAA0F0B86 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:00:29] 795*2^1439345-1 is not prime. Res64: 91241CD4EBC46736 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:00:30] 811*2^1439345-1 is not prime. Res64: 18B4E5D929950942 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:04:34] 951*2^1439345-1 is not prime. Res64: 0FF00FB85FE6F340 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:04:36] 705*2^1439346-1 is not prime. Res64: BA20463CCB93E178 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:04:38] 737*2^1439346-1 is not prime. Res64: 063A114257B3D5F8 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:04:40] 983*2^1439346-1 is not prime. Res64: B547DD9EA1612D32 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:04:42] 993*2^1439346-1 is not prime. Res64: BAE4CC771A2F8494 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:12:27] 1001*2^1439346-1 is not prime. Res64: 0F195429D69B0049 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:12:28] 645*2^1439347-1 is not prime. Res64: F7FB8640B7B0C717 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:12:28] 733*2^1439347-1 is not prime. Res64: 911CC7769B927237 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:12:29] 765*2^1439347-1 is not prime. Res64: 212FA1B08FD18744 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:12:29] 885*2^1439347-1 is not prime. Res64: 870EF212555C1D85 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:28:51] 915*2^1439347-1 is not prime. Res64: 22052251104A2A92 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:28:51] 647*2^1439348-1 is not prime. Res64: 60592B27CC432B9E Time : 0.0 sec. user=mdettweiler [2016-09-09 13:28:51] 669*2^1439348-1 is not prime. Res64: 386C5880C4F5CF6C Time : 0.0 sec. user=mdettweiler [2016-09-09 13:28:52] 735*2^1439348-1 is not prime. Res64: 49D8D508B068A4B3 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:28:52] 753*2^1439348-1 is not prime. Res64: BB5D12A7C8551013 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:45:50] 789*2^1439348-1 is not prime. Res64: B9A392364FF3CD39 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:45:50] 869*2^1439348-1 is not prime. Res64: CA2227F2D19B9A0D Time : 0.0 sec. user=mdettweiler [2016-09-09 13:45:51] 915*2^1439348-1 is not prime. Res64: F7F67CCF5F8FC7ED Time : 0.0 sec. user=mdettweiler [2016-09-09 13:45:51] 927*2^1439348-1 is not prime. Res64: 5DD14DE71E4348F3 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:45:51] 995*2^1439348-1 is not prime. Res64: CA0CDC25AF401F35 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:57:49] 741*2^1439350-1 is not prime. Res64: 46AA98CFDB5F3647 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:57:50] 777*2^1439350-1 is not prime. Res64: 7E3BE7E4CCE4E611 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:57:50] 843*2^1439350-1 is not prime. Res64: 96BC50328BEC4DDF Time : 0.0 sec. user=mdettweiler [2016-09-09 13:57:51] 917*2^1439350-1 is not prime. Res64: 33D3A351FCB7ABC3 Time : 0.0 sec. user=mdettweiler [2016-09-09 13:57:51] 933*2^1439350-1 is not prime. Res64: 02FCA053E3C3E35C Time : 0.0 sec. user=mdettweiler [2016-09-09 14:14:22] 965*2^1439350-1 is not prime. Res64: 47A37B8B9CE96C72 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:14:23] 621*2^1439351-1 is not prime. Res64: 7B5D490A02BF3F39 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:14:23] 645*2^1439351-1 is not prime. Res64: EEFAEBDC08928DB1 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:14:23] 675*2^1439351-1 is not prime. Res64: 2BC6E608CC412ED5 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:14:24] 829*2^1439351-1 is not prime. Res64: D81184A7D07F9948 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:31:20] 841*2^1439351-1 is not prime. Res64: 0566573AD934F3F0 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:31:20] 885*2^1439351-1 is not prime. Res64: D4A14D2795BB411A Time : 0.0 sec. user=mdettweiler [2016-09-09 14:31:20] 943*2^1439351-1 is not prime. Res64: BC0B3FC3ADACF00A Time : 0.0 sec. user=mdettweiler [2016-09-09 14:31:21] 979*2^1439351-1 is not prime. Res64: ACA4CA24D18C5239 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:31:21] 689*2^1439352-1 is not prime. Res64: BD1453679DA4082C Time : 0.0 sec. user=mdettweiler [2016-09-09 14:43:49] 695*2^1439352-1 is not prime. Res64: 2CC83E2AF0E9BBA8 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:43:49] 737*2^1439352-1 is not prime. Res64: 44C64B53874592B1 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:43:49] 899*2^1439352-1 is not prime. Res64: 40EE802C49600C63 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:43:50] 983*2^1439352-1 is not prime. Res64: EFD4858F224D8A70 Time : 0.0 sec. user=mdettweiler [2016-09-09 14:43:50] 801*2^1439353-1 is not prime. Res64: B5546238EA25CB63 Time : 0.0 sec. user=mdettweiler [2016-09-09 15:16:46] 617*2^1439354-1 is not prime. Res64: 9B79CE1B5A0BE3C1 Time : 0.0 sec. user=mdettweiler [2016-09-09 15:16:47] 683*2^1439354-1 is not prime. Res64: B6F7FC758FBF282F Time : 0.0 sec. user=mdettweiler [2016-09-09 15:16:47] 687*2^1439354-1 is not prime. Res64: 7B03947E7E583CB1 Time : 0.0 sec. user=mdettweiler [2016-09-09 15:16:48] 797*2^1439354-1 is not prime. Res64: 5367F0B00B8E0F75 Time : 0.0 sec. user=mdettweiler [2016-09-09 15:16:48] 815*2^1439354-1 is not prime. Res64: E4C9CD4B2882D7D3 Time : 0.0 sec. user=mdettweiler [2016-09-09 15:28:53] 941*2^1439354-1 is not prime. Res64: 40BCFE82AB252BEB Time : 0.0 sec. user=mdettweiler [2016-09-09 15:28:53] 971*2^1439354-1 is not prime. Res64: 2365700AE8A77F3B Time : 0.0 sec. user=mdettweiler [2016-09-09 15:28:54] 795*2^1439355-1 is not prime. Res64: 2D9891501F9BC5D8 Time : 0.0 sec. user=mdettweiler [2016-09-09 15:28:54] 871*2^1439355-1 is not prime. Res64: 0C09974C61F2257F Time : 0.0 sec. user=mdettweiler [2016-09-09 15:28:54] 873*2^1439355-1 is not prime. Res64: 9FEB056C3D155F8F Time : 0.0 sec. user=mdettweiler [2016-09-09 16:02:04] 973*2^1439355-1 is not prime. Res64: B1BD02A948446685 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:02:05] 735*2^1439356-1 is not prime. Res64: 6902B496D6D08881 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:02:06] 783*2^1439356-1 is not prime. Res64: DB739A98D7339DB8 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:02:07] 807*2^1439356-1 is not prime. Res64: 639263A99D7475E0 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:02:08] 869*2^1439356-1 is not prime. Res64: 575DADF6F761D813 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:14:28] 905*2^1439356-1 is not prime. Res64: FCCFA133058AEE47 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:14:28] 909*2^1439356-1 is not prime. Res64: A24DD1ED2952E99D Time : 0.0 sec. user=mdettweiler [2016-09-09 16:14:29] 631*2^1439357-1 is not prime. Res64: BA3FD28DA9D15449 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:14:29] 691*2^1439357-1 is not prime. Res64: 1082E5239DFA1949 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:14:29] 741*2^1439357-1 is not prime. Res64: A4636006CA52E4E2 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:49:47] 747*2^1439357-1 is not prime. Res64: EB086B00631C973B Time : 0.0 sec. user=mdettweiler [2016-09-09 16:49:47] 759*2^1439357-1 is not prime. Res64: 640CB8A952C77767 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:49:47] 781*2^1439357-1 is not prime. Res64: A8A8EF3C6819973E Time : 0.0 sec. user=mdettweiler [2016-09-09 16:49:48] 847*2^1439357-1 is not prime. Res64: 442355895D7A6895 Time : 0.0 sec. user=mdettweiler [2016-09-09 16:49:48] 927*2^1439357-1 is not prime. Res64: 63A472BEA43BE2C8 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:01:51] 939*2^1439357-1 is not prime. Res64: 521761337D4AE0A3 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:01:51] 979*2^1439357-1 is not prime. Res64: FC1FFEED2946A90D Time : 0.0 sec. user=mdettweiler [2016-09-09 17:01:52] 663*2^1439358-1 is not prime. Res64: BB9F41E561B729A9 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:01:52] 683*2^1439358-1 is not prime. Res64: 427B26758D6AC91D Time : 0.0 sec. user=mdettweiler [2016-09-09 17:01:53] 761*2^1439358-1 is not prime. Res64: C61641029DA21528 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:35:01] 765*2^1439358-1 is not prime. Res64: AC180D5492759525 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:35:01] 777*2^1439358-1 is not prime. Res64: 18163AB3C5B0C96A Time : 0.0 sec. user=mdettweiler [2016-09-09 17:35:01] 867*2^1439358-1 is not prime. Res64: 6B110F00158E9698 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:35:02] 1001*2^1439358-1 is not prime. Res64: FAEDBCB49045B1EB Time : 0.0 sec. user=mdettweiler [2016-09-09 17:35:02] 645*2^1439359-1 is not prime. Res64: 85FFA0AF3764901A Time : 0.0 sec. user=mdettweiler [2016-09-09 17:46:56] 735*2^1439359-1 is not prime. Res64: 363485E599DA019C Time : 0.0 sec. user=mdettweiler [2016-09-09 17:46:56] 751*2^1439359-1 is not prime. Res64: 9198441B27CC091A Time : 0.0 sec. user=mdettweiler [2016-09-09 17:46:57] 765*2^1439359-1 is not prime. Res64: 2EF527EADDA49F65 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:46:57] 769*2^1439359-1 is not prime. Res64: 4B098BF43FCDE9D6 Time : 0.0 sec. user=mdettweiler [2016-09-09 17:46:58] 771*2^1439359-1 is not prime. Res64: 255A763D5B5E40A2 Time : 0.0 sec. user=mdettweiler [2016-09-09 18:19:48] 843*2^1439359-1 is not prime. Res64: 6CCF8C1404868551 Time : 0.0 sec. user=mdettweiler [2016-09-09 18:19:48] 891*2^1439359-1 is not prime. Res64: 71F8CF3F7F8EABC3 Time : 0.0 sec. user=mdettweiler [2016-09-09 18:19:49] 759*2^1439360-1 is not prime. Res64: F4B17E026DEEA410 Time : 0.0 sec. user=mdettweiler [2016-09-09 18:19:49] 839*2^1439360-1 is not prime. Res64: 821D382AF16B05F1 Time : 0.0 sec. user=mdettweiler [2016-09-09 18:19:49] 917*2^1439360-1 is not prime. Res64: 37ABE9FFFB825B83 Time : 0.0 sec. user=mdettweiler [2016-09-09 18:31:42] 983*2^1439360-1 is not prime. Res64: 40239507259E4773 Time : 0.0 sec. user=mdettweiler [2016-09-09 18:31:42] 999*2^1439360-1 is not prime. Res64: AC5C504A06558ADF Time : 0.0 sec. user=mdettweiler [2016-09-09 18:31:43] 735*2^1439361-1 is not prime. Res64: B172CC60E8BD2BDB Time : 0.0 sec. user=mdettweiler [2016-09-09 18:31:43] 741*2^1439361-1 is not prime. Res64: 244D6BAEA059EA8E Time : 0.0 sec. user=mdettweiler [2016-09-09 18:31:43] 745*2^1439361-1 is not prime. Res64: 481E5FEE52D25112 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:04:32] 751*2^1439361-1 is not prime. Res64: D406C00784DDCE7C Time : 0.0 sec. user=mdettweiler [2016-09-09 19:04:34] 781*2^1439361-1 is not prime. Res64: 12D568C7F06EF80E Time : 0.0 sec. user=mdettweiler [2016-09-09 19:04:35] 861*2^1439361-1 is not prime. Res64: 73AF3EADC98F269B Time : 0.0 sec. user=mdettweiler [2016-09-09 19:04:37] 871*2^1439361-1 is not prime. Res64: 8CF3079EFFA3B854 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:04:38] 885*2^1439361-1 is not prime. Res64: 691B4977438D69F0 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:16:25] 907*2^1439361-1 is not prime. Res64: DD890FD8932B1169 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:16:26] 611*2^1439362-1 is not prime. Res64: C3836D43EA367477 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:16:26] 671*2^1439362-1 is not prime. Res64: 5398009153696650 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:16:27] 723*2^1439362-1 is not prime. Res64: 29B173AF75E22D31 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:16:27] 703*2^1439363-1 is not prime. Res64: DB9A6090D7811EED Time : 0.0 sec. user=mdettweiler [2016-09-09 19:49:27] 705*2^1439363-1 is not prime. Res64: 5B452EA49528A190 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:49:27] 735*2^1439363-1 is not prime. Res64: A564A4D36D920F56 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:49:27] 741*2^1439363-1 is not prime. Res64: 43D26E2677FE2D70 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:49:28] 781*2^1439363-1 is not prime. Res64: 267C967E677397C4 Time : 0.0 sec. user=mdettweiler [2016-09-09 19:49:28] 969*2^1439363-1 is not prime. Res64: 6924D4C4CABA0E9C Time : 0.0 sec. user=mdettweiler [2016-09-09 20:01:11] 981*2^1439363-1 is not prime. Res64: F0541D63A62896BA Time : 0.0 sec. user=mdettweiler [2016-09-09 20:01:12] 623*2^1439364-1 is not prime. Res64: AD103E4BF94878C4 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:01:13] 765*2^1439364-1 is not prime. Res64: F0803E3D1F772E94 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:01:14] 809*2^1439364-1 is not prime. Res64: A3D6073B17787D08 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:01:15] 899*2^1439364-1 is not prime. Res64: A4F94F0A3005ED5B Time : 0.0 sec. user=mdettweiler [2016-09-09 20:34:10] 903*2^1439364-1 is not prime. Res64: 240CFCFD180FB399 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:34:10] 975*2^1439364-1 is not prime. Res64: 2B99B880117CC6DA Time : 0.0 sec. user=mdettweiler [2016-09-09 20:34:10] 667*2^1439365-1 is not prime. Res64: 792413553005D45B Time : 0.0 sec. user=mdettweiler [2016-09-09 20:34:11] 715*2^1439365-1 is not prime. Res64: AB0A5603F51DA736 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:34:11] 721*2^1439365-1 is not prime. Res64: 825A9C73276C1638 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:37:31] 727*2^1439349-1 is not prime. Res64: 82ED438D05A21F01 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:37:31] 835*2^1439349-1 is not prime. Res64: E6D3DE5D6B83A837 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:37:32] 847*2^1439349-1 is not prime. Res64: 317C7BADFD8E2765 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:37:32] 877*2^1439349-1 is not prime. Res64: 12599EA43202EEC9 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:37:32] 969*2^1439349-1 is not prime. Res64: BCAA1B604D9F3AEE Time : 0.0 sec. user=mdettweiler [2016-09-09 20:45:55] 729*2^1439365-1 is not prime. Res64: 6552B86A9ACA1BE1 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:45:55] 871*2^1439365-1 is not prime. Res64: 2B0623E95654034A Time : 0.0 sec. user=mdettweiler [2016-09-09 20:45:55] 895*2^1439365-1 is not prime. Res64: 5E55A5E669A705B8 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:45:56] 937*2^1439365-1 is not prime. Res64: D1983EFCDCD8A8F2 Time : 0.0 sec. user=mdettweiler [2016-09-09 20:45:56] 975*2^1439365-1 is not prime. Res64: EA0A84A99F90AE0F Time : 0.0 sec. user=mdettweiler [2016-09-09 21:18:29] 985*2^1439365-1 is not prime. Res64: B186CF7EC708414E Time : 0.0 sec. user=mdettweiler [2016-09-09 21:18:29] 645*2^1439366-1 is not prime. Res64: DAA4B4859E4B9773 Time : 0.0 sec. user=mdettweiler [2016-09-09 21:18:30] 675*2^1439366-1 is not prime. Res64: C5C98860E8C80A9D Time : 0.0 sec. user=mdettweiler [2016-09-09 21:18:31] 707*2^1439366-1 is not prime. Res64: AC7D13570120637D Time : 0.0 sec. user=mdettweiler [2016-09-09 21:18:31] 861*2^1439366-1 is not prime. Res64: 2C1524CB25CD164D Time : 0.0 sec. user=mdettweiler [2016-09-09 21:21:48] 633*2^1439367-1 is not prime. Res64: B4650FD3E25982CB Time : 0.0 sec. user=mdettweiler [2016-09-09 21:21:49] 649*2^1439367-1 is not prime. Res64: 6229A3BE2EE4E5CF Time : 0.0 sec. user=mdettweiler [2016-09-09 21:21:49] 829*2^1439367-1 is not prime. Res64: CF8F4E5ACB6BC254 Time : 0.0 sec. user=mdettweiler [2016-09-09 21:21:49] 961*2^1439367-1 is not prime. Res64: DCE6055DC69F268B Time : 0.0 sec. user=mdettweiler [2016-09-09 21:21:50] 843*2^1439368-1 is not prime. Res64: 420A676459B0ABD9 Time : 0.0 sec. user=mdettweiler [2016-09-09 21:30:12] 969*2^1439368-1 is not prime. Res64: 349F9228A5B4E0A6 Time : 0.0 sec. user=mdettweiler [2016-09-09 21:30:12] 649*2^1439369-1 is not prime. Res64: 8A437EEE488BF8B9 Time : 0.0 sec. user=mdettweiler [2016-09-09 21:30:12] 697*2^1439369-1 is not prime. Res64: F37EA9DF8E131545 Time : 0.0 sec. user=mdettweiler [2016-09-09 21:30:13] 747*2^1439369-1 is not prime. Res64: 7BB45F0EA42B8DC6 Time : 0.0 sec. user=mdettweiler [2016-09-09 21:30:13] 771*2^1439369-1 is not prime. Res64: B120494EED8040F7 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:02:54] 799*2^1439369-1 is not prime. Res64: 0BC4BE09E5059DB6 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:02:54] 811*2^1439369-1 is not prime. Res64: 91D136116A9039ED Time : 0.0 sec. user=mdettweiler [2016-09-09 22:02:55] 829*2^1439369-1 is not prime. Res64: B49FDB0C5D43BF98 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:02:56] 939*2^1439369-1 is not prime. Res64: 2B5FC8A63172F34D Time : 0.0 sec. user=mdettweiler [2016-09-09 22:02:57] 635*2^1439370-1 is not prime. Res64: 69BFEBFC717C21F2 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:06:12] 783*2^1439370-1 is not prime. Res64: 38BD5700016AAAF2 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:06:13] 803*2^1439370-1 is not prime. Res64: 7F86AC575033748D Time : 0.0 sec. user=mdettweiler [2016-09-09 22:06:15] 861*2^1439370-1 is not prime. Res64: DCC8566E3AC681C2 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:06:15] 917*2^1439370-1 is not prime. Res64: 73F879934DE69F3B Time : 0.0 sec. user=mdettweiler [2016-09-09 22:06:16] 933*2^1439370-1 is not prime. Res64: 92CE3BDA8303100C Time : 0.0 sec. user=mdettweiler [2016-09-09 22:14:32] 1001*2^1439370-1 is not prime. Res64: 316D63FCE2383509 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:14:32] 601*2^1439371-1 is not prime. Res64: F06FEBEC2EE1C024 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:14:32] 619*2^1439371-1 is not prime. Res64: A646E06EBA028348 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:14:33] 735*2^1439371-1 is not prime. Res64: C441874E552C3284 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:14:33] 783*2^1439371-1 is not prime. Res64: D5268C9089DDD340 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:47:29] 819*2^1439371-1 is not prime. Res64: 2C3994267984EFAB Time : 0.0 sec. user=mdettweiler [2016-09-09 22:47:29] 901*2^1439371-1 is not prime. Res64: 0CB112414044780E Time : 0.0 sec. user=mdettweiler [2016-09-09 22:47:29] 925*2^1439371-1 is not prime. Res64: F0BECB7330FFE49F Time : 0.0 sec. user=mdettweiler [2016-09-09 22:47:30] 999*2^1439371-1 is not prime. Res64: 400E3A030FA7C59C Time : 0.0 sec. user=mdettweiler [2016-09-09 22:47:30] 635*2^1439372-1 is not prime. Res64: C5F24631125FFBC0 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:50:35] 683*2^1439372-1 is not prime. Res64: E9B5801CD6228CD0 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:50:35] 725*2^1439372-1 is not prime. Res64: E7C34A6B9472A6C5 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:50:36] 743*2^1439372-1 is not prime. Res64: 3309932A450B8E68 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:50:36] 797*2^1439372-1 is not prime. Res64: 24E9CAED20E173C5 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:50:36] 959*2^1439372-1 is not prime. Res64: E01BEBEAE379D322 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:58:47] 987*2^1439372-1 is not prime. Res64: F9B4E626335C9B90 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:58:48] 621*2^1439373-1 is not prime. Res64: 9CBFF986EB933EFE Time : 0.0 sec. user=mdettweiler [2016-09-09 22:58:48] 669*2^1439373-1 is not prime. Res64: A930A7E721F39279 Time : 0.0 sec. user=mdettweiler [2016-09-09 22:58:48] 675*2^1439373-1 is not prime. Res64: F117A07C7E001FFC Time : 0.0 sec. user=mdettweiler [2016-09-09 22:58:49] 811*2^1439373-1 is not prime. Res64: DDC3651C6D336A97 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:31:48] 861*2^1439373-1 is not prime. Res64: B40DBEE293E50529 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:31:49] 945*2^1439373-1 is not prime. Res64: 1449665B6B80A76B Time : 0.0 sec. user=mdettweiler [2016-09-09 23:31:49] 617*2^1439374-1 is not prime. Res64: AD43149C2CDE7F4B Time : 0.0 sec. user=mdettweiler [2016-09-09 23:31:50] 755*2^1439374-1 is not prime. Res64: AF8C0C1B16F609C2 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:31:50] 915*2^1439374-1 is not prime. Res64: F8167A73C024BBC3 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:34:55] 669*2^1439375-1 is not prime. Res64: CB48B0F930560B7D Time : 0.0 sec. user=mdettweiler [2016-09-09 23:34:55] 741*2^1439375-1 is not prime. Res64: 6B5D15707125032D Time : 0.0 sec. user=mdettweiler [2016-09-09 23:34:56] 895*2^1439375-1 is not prime. Res64: E09824B04E0AE5C0 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:34:56] 921*2^1439375-1 is not prime. Res64: 2850E3B7E6C31C87 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:34:56] 979*2^1439375-1 is not prime. Res64: 8B08F9961400787F Time : 0.0 sec. user=mdettweiler [2016-09-09 23:43:05] 705*2^1439376-1 is not prime. Res64: 29435D541EB6BDA1 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:43:05] 735*2^1439376-1 is not prime. Res64: 659747C83333346A Time : 0.0 sec. user=mdettweiler [2016-09-09 23:43:06] 747*2^1439376-1 is not prime. Res64: 30C3DEB114464764 Time : 0.0 sec. user=mdettweiler [2016-09-09 23:43:06] 849*2^1439376-1 is not prime. Res64: 8D76A815213C754C Time : 0.0 sec. user=mdettweiler [2016-09-09 23:43:06] 649*2^1439377-1 is not prime. Res64: 45EF490CD22DA657 Time : 0.0 sec.