user=mdettweiler [2015-12-09 00:02:38] 801*2^1417162-1 is not prime. Res64: 4030134C2F597236 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:02:40] 825*2^1417162-1 is not prime. Res64: A5953DA30F44D22F Time : 0.0 sec. user=mdettweiler [2015-12-09 00:10:31] 843*2^1417162-1 is not prime. Res64: 67F79317CE6610C1 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:10:32] 887*2^1417162-1 is not prime. Res64: B66FB87D91A06F3F Time : 0.0 sec. user=mdettweiler [2015-12-09 00:17:08] 675*2^1417163-1 is not prime. Res64: EE3A4460D5817F78 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:17:08] 825*2^1417163-1 is not prime. Res64: 25691B2DFA900FFC Time : 0.0 sec. user=mdettweiler [2015-12-09 00:20:26] 853*2^1417163-1 is not prime. Res64: 5A8F9B0CBDC5E1FA Time : 0.0 sec. user=mdettweiler [2015-12-09 00:20:27] 737*2^1417164-1 is not prime. Res64: DAA4381ABDD0937B Time : 0.0 sec. user=mdettweiler [2015-12-09 00:28:17] 749*2^1417164-1 is not prime. Res64: 1FC62EEF0EE0CD07 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:28:18] 753*2^1417164-1 is not prime. Res64: 05F26B6C55AF56CA Time : 0.0 sec. user=mdettweiler [2015-12-09 00:34:52] 759*2^1417164-1 is not prime. Res64: 432C2E0FB796F459 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:34:53] 837*2^1417164-1 is not prime. Res64: 575E1ED6053505F3 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:38:07] 843*2^1417164-1 is not prime. Res64: 43E485360B3D2924 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:38:07] 899*2^1417164-1 is not prime. Res64: 33AE953428BA812B Time : 0.0 sec. user=mdettweiler [2015-12-09 00:46:01] 983*2^1417164-1 is not prime. Res64: 1404C0A8328B4BC5 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:46:01] 759*2^1417165-1 is not prime. Res64: 7F53BC14E6FAAFDA Time : 0.0 sec. user=mdettweiler [2015-12-09 00:52:36] 789*2^1417165-1 is not prime. Res64: 94B12B21861FAF9E Time : 0.0 sec. user=mdettweiler [2015-12-09 00:52:36] 799*2^1417165-1 is not prime. Res64: 491520C2B255AE61 Time : 0.0 sec. user=mdettweiler [2015-12-09 00:55:51] 627*2^1417166-1 is not prime. Res64: 61F55F126D0F8AAB Time : 0.0 sec. user=mdettweiler [2015-12-09 00:55:51] 651*2^1417166-1 is not prime. Res64: 7F520FC3CA33D209 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:03:50] 711*2^1417166-1 is not prime. Res64: F39AD494272D299F Time : 0.0 sec. user=mdettweiler [2015-12-09 01:03:51] 717*2^1417166-1 is not prime. Res64: 2FF84AB89FD0BF11 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:10:29] 911*2^1417166-1 is not prime. Res64: CFD62FB87AB4D64D Time : 0.0 sec. user=mdettweiler [2015-12-09 01:10:29] 963*2^1417166-1 is not prime. Res64: BCA96A7380616DBB Time : 0.0 sec. user=mdettweiler [2015-12-09 01:13:44] 981*2^1417166-1 is not prime. Res64: E54889B0E60F9D1A Time : 0.0 sec. user=mdettweiler [2015-12-09 01:13:44] 609*2^1417167-1 is not prime. Res64: DEF1C72E19D279CC Time : 0.0 sec. user=mdettweiler [2015-12-09 01:21:44] 625*2^1417167-1 is not prime. Res64: 7089C18AF5F4690E Time : 0.0 sec. user=mdettweiler [2015-12-09 01:21:44] 633*2^1417167-1 is not prime. Res64: 42A33E4D03C64AA5 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:28:17] 639*2^1417167-1 is not prime. Res64: D90BCCBCC3E6928A Time : 0.0 sec. user=mdettweiler [2015-12-09 01:28:19] 661*2^1417167-1 is not prime. Res64: 41ECFFA5824F28F3 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:31:25] 669*2^1417167-1 is not prime. Res64: 62FD22C25A5B8F42 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:31:27] 805*2^1417167-1 is not prime. Res64: 7F0C61B217CB69AC Time : 0.0 sec. user=mdettweiler [2015-12-09 01:39:21] 909*2^1417167-1 is not prime. Res64: 46B25659AA08FB0D Time : 0.0 sec. user=mdettweiler [2015-12-09 01:39:22] 603*2^1417168-1 is not prime. Res64: 732A9FA32308B736 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:46:22] 863*2^1417168-1 is not prime. Res64: B21B23CD4E8FD339 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:46:23] 875*2^1417168-1 is not prime. Res64: E279107A07E7FD52 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:49:14] 993*2^1417168-1 is not prime. Res64: 23F77C4D1AD7DD8E Time : 0.0 sec. user=mdettweiler [2015-12-09 01:49:15] 685*2^1417169-1 is not prime. Res64: 2FC41F43B1A51173 Time : 0.0 sec. user=mdettweiler [2015-12-09 01:57:03] 697*2^1417169-1 is not prime. Res64: 97BA0E803B6898AE Time : 0.0 sec. user=mdettweiler [2015-12-09 01:57:03] 711*2^1417169-1 is not prime. Res64: 534AC2B2D30188B9 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:04:03] 795*2^1417169-1 is not prime. Res64: C9B57217CBBC3F86 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:04:06] 879*2^1417169-1 is not prime. Res64: BF6E1B1390612A58 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:06:53] 925*2^1417169-1 is not prime. Res64: 02B6BADCC0A38E10 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:06:54] 955*2^1417169-1 is not prime. Res64: 735BDC72F6539C93 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:14:48] 657*2^1417170-1 is not prime. Res64: 01DADE2A741DABCC Time : 0.0 sec. user=mdettweiler [2015-12-09 02:14:49] 725*2^1417170-1 is not prime. Res64: 2CBFDE8ED22DF7AC Time : 0.0 sec. user=mdettweiler [2015-12-09 02:22:14] 783*2^1417170-1 is not prime. Res64: 9DBF739DF6EAA853 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:22:14] 845*2^1417170-1 is not prime. Res64: AB24DDF6A4783954 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:24:58] 851*2^1417170-1 is not prime. Res64: A6E4F6D60B8A1809 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:24:59] 921*2^1417170-1 is not prime. Res64: 1C77AA494A48AF89 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:32:49] 1001*2^1417170-1 is not prime. Res64: 90F9D0F2395B6B79 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:32:50] 685*2^1417171-1 is not prime. Res64: 440AF8E8A10122FD Time : 0.0 sec. user=mdettweiler [2015-12-09 02:52:51] 703*2^1417171-1 is not prime. Res64: 8BF880C0A579EAD2 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:52:52] 793*2^1417171-1 is not prime. Res64: 107A4112FDA940D6 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:52:58] 843*2^1417171-1 is not prime. Res64: 8CC2A8C73D8E3641 Time : 0.0 sec. user=mdettweiler [2015-12-09 02:52:59] 873*2^1417171-1 is not prime. Res64: 2A34B00F7095E42F Time : 0.0 sec. user=mdettweiler [2015-12-09 03:02:15] 931*2^1417171-1 is not prime. Res64: FF0E64E6433F6396 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:02:15] 635*2^1417172-1 is not prime. Res64: B2DCD99C3C7ED8B9 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:02:29] 669*2^1417172-1 is not prime. Res64: 871BC70C67DBA012 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:02:30] 995*2^1417172-1 is not prime. Res64: 92FF686C82694C0B Time : 0.0 sec. user=mdettweiler [2015-12-09 03:10:52] 651*2^1417173-1 is not prime. Res64: FEFB66477C082986 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:10:53] 657*2^1417173-1 is not prime. Res64: E38385244207813D Time : 0.0 sec. user=mdettweiler [2015-12-09 03:11:01] 675*2^1417173-1 is not prime. Res64: 81096572C71B2C86 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:11:02] 727*2^1417173-1 is not prime. Res64: 8BE4A1D931F06FF8 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:19:47] 829*2^1417173-1 is not prime. Res64: B1D5932075C2C9BD Time : 0.0 sec. user=mdettweiler [2015-12-09 03:19:47] 837*2^1417173-1 is not prime. Res64: 201362DA1E31CFBB Time : 0.0 sec. user=mdettweiler [2015-12-09 03:19:59] 937*2^1417173-1 is not prime. Res64: 52214F8E2DA6233F Time : 0.0 sec. user=mdettweiler [2015-12-09 03:20:00] 961*2^1417173-1 is not prime. Res64: 4F66C1D046C1E210 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:28:34] 621*2^1417174-1 is not prime. Res64: 3A9B1FDFAC392352 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:28:36] 635*2^1417174-1 is not prime. Res64: BC428AE5D1081E1E Time : 0.0 sec. user=mdettweiler [2015-12-09 03:28:40] 687*2^1417174-1 is not prime. Res64: 97C909270DFA19A2 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:28:41] 717*2^1417174-1 is not prime. Res64: 50E1E109BEA8B89B Time : 0.0 sec. user=mdettweiler [2015-12-09 03:37:35] 773*2^1417174-1 is not prime. Res64: 192560B57B12F24E Time : 0.0 sec. user=mdettweiler [2015-12-09 03:37:37] 609*2^1417175-1 is not prime. Res64: D1BBC305A85737E9 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:37:45] 831*2^1417175-1 is not prime. Res64: D49EDE7B1DADF060 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:37:47] 861*2^1417175-1 is not prime. Res64: 25513B4E1A2246D3 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:46:39] 693*2^1417176-1 is not prime. Res64: 45952329BA15B3D8 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:46:40] 913*2^1417175-1 is not prime. Res64: 0D5F44F835626D51 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:46:41] 707*2^1417176-1 is not prime. Res64: E143F1E690F06C9A Time : 0.0 sec. user=mdettweiler [2015-12-09 03:46:41] 963*2^1417175-1 is not prime. Res64: 2330E0CE44541734 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:55:26] 843*2^1417176-1 is not prime. Res64: D588EAC854891A78 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:55:27] 845*2^1417176-1 is not prime. Res64: 18DD097685D5F778 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:55:36] 737*2^1417176-1 is not prime. Res64: F5467A53C7479562 Time : 0.0 sec. user=mdettweiler [2015-12-09 03:55:36] 759*2^1417176-1 is not prime. Res64: 9F1AF9C9A94CFA13 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:04:26] 983*2^1417176-1 is not prime. Res64: FCDE15DAB97B9BDE Time : 0.0 sec. user=mdettweiler [2015-12-09 04:04:28] 775*2^1417177-1 is not prime. Res64: 1B4C50CB3795EEBD Time : 0.0 sec. user=mdettweiler [2015-12-09 04:04:34] 801*2^1417177-1 is not prime. Res64: FDD7FC5D777CBF4E Time : 0.0 sec. user=mdettweiler [2015-12-09 04:04:36] 705*2^1417178-1 is not prime. Res64: 2CA440F6CCB0B937 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:12:53] 797*2^1417178-1 is not prime. Res64: 1A69178738CB7618 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:12:54] 833*2^1417178-1 is not prime. Res64: 241CB48AA345AEFB Time : 0.0 sec. user=mdettweiler [2015-12-09 04:13:07] 957*2^1417178-1 is not prime. Res64: FBD2EC4DF9C46EBC Time : 0.0 sec. user=mdettweiler [2015-12-09 04:13:07] 963*2^1417178-1 is not prime. Res64: 056B4B489296D501 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:22:12] 909*2^1417179-1 is not prime. Res64: 4BFD5EBB07CE21B5 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:22:13] 623*2^1417180-1 is not prime. Res64: 85BB77B119BD5CBD Time : 0.0 sec. user=mdettweiler [2015-12-09 04:22:13] 709*2^1417179-1 is not prime. Res64: 116873F7CF036CA5 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:22:14] 825*2^1417179-1 is not prime. Res64: F2752BCE2D560205 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:30:48] 759*2^1417180-1 is not prime. Res64: 3F3F9A940066DA8D Time : 0.0 sec. user=mdettweiler [2015-12-09 04:30:48] 777*2^1417180-1 is not prime. Res64: C51D4F552B28BCEF Time : 0.0 sec. user=mdettweiler [2015-12-09 04:31:26] 635*2^1417180-1 is not prime. Res64: 6421D08C5D75A8B5 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:31:27] 693*2^1417180-1 is not prime. Res64: 4CDE0654FE06BF8D Time : 0.0 sec. user=mdettweiler [2015-12-09 04:39:58] 857*2^1417180-1 is not prime. Res64: 11B5BC119DC770C3 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:39:58] 863*2^1417180-1 is not prime. Res64: 0701510FEEE31250 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:40:02] 927*2^1417180-1 is not prime. Res64: EF00D08C7E13A999 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:40:03] 939*2^1417180-1 is not prime. Res64: D89B1D8054A330A1 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:48:24] 987*2^1417180-1 is not prime. Res64: 3089566AAC8CE17B Time : 0.0 sec. user=mdettweiler [2015-12-09 04:48:24] 989*2^1417180-1 is not prime. Res64: BA1342E2C370FAC5 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:49:13] 995*2^1417180-1 is not prime. Res64: FC897453AD146677 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:49:14] 679*2^1417181-1 is not prime. Res64: 279D76B59BF27BDE Time : 0.0 sec. user=mdettweiler [2015-12-09 04:57:34] 829*2^1417181-1 is not prime. Res64: 5439061965B4626F Time : 0.0 sec. user=mdettweiler [2015-12-09 04:57:34] 925*2^1417181-1 is not prime. Res64: 6E61BCB4500962A2 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:57:45] 945*2^1417181-1 is not prime. Res64: 34C8A69EA8B45441 Time : 0.0 sec. user=mdettweiler [2015-12-09 04:57:46] 671*2^1417182-1 is not prime. Res64: CCEE2150F7DF5DC0 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:05:55] 681*2^1417182-1 is not prime. Res64: 0311183E845214DA Time : 0.0 sec. user=mdettweiler [2015-12-09 05:05:58] 797*2^1417182-1 is not prime. Res64: E931EEE43F98DA02 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:06:47] 963*2^1417182-1 is not prime. Res64: A52616BE691DFDA4 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:06:48] 965*2^1417182-1 is not prime. Res64: AC76378AC9F9C56C Time : 0.0 sec. user=mdettweiler [2015-12-09 05:15:03] 977*2^1417182-1 is not prime. Res64: AC3003761E14F09E Time : 0.0 sec. user=mdettweiler [2015-12-09 05:15:04] 1001*2^1417182-1 is not prime. Res64: 67EC0BE4901128F9 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:15:15] 615*2^1417183-1 is not prime. Res64: 8FDC707D5660D1A6 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:15:16] 675*2^1417183-1 is not prime. Res64: 46CC6CCED49A04F6 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:23:45] 685*2^1417183-1 is not prime. Res64: EE6CCB9934035487 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:23:46] 703*2^1417183-1 is not prime. Res64: 091286D503A24B84 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:24:24] 783*2^1417183-1 is not prime. Res64: 2E0A5FDDBC8CA7AF Time : 0.0 sec. user=mdettweiler [2015-12-09 05:24:25] 859*2^1417183-1 is not prime. Res64: 5A56D9FA7EC2BD79 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:32:51] 945*2^1417183-1 is not prime. Res64: C3DD6AE19BCC8FBE Time : 0.0 sec. user=mdettweiler [2015-12-09 05:32:51] 605*2^1417184-1 is not prime. Res64: 0C1A0D4D96DDEDBE Time : 0.0 sec. user=mdettweiler [2015-12-09 05:33:08] 617*2^1417184-1 is not prime. Res64: 2E20836A7143E31D Time : 0.0 sec. user=mdettweiler [2015-12-09 05:33:09] 635*2^1417184-1 is not prime. Res64: BA3FD60FF0087E4A Time : 0.0 sec. user=mdettweiler [2015-12-09 05:42:18] 875*2^1417184-1 is not prime. Res64: 13E97C2BF98C2CA6 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:42:19] 909*2^1417184-1 is not prime. Res64: A8A775FE08E612BE Time : 0.0 sec. user=mdettweiler [2015-12-09 05:42:22] 725*2^1417184-1 is not prime. Res64: 429265313B3CBF7A Time : 0.0 sec. user=mdettweiler [2015-12-09 05:42:23] 843*2^1417184-1 is not prime. Res64: 7B770345DE54A8FA Time : 0.0 sec. user=mdettweiler [2015-12-09 05:50:36] 983*2^1417184-1 is not prime. Res64: E5CC96CD2FB805FC Time : 0.0 sec. user=mdettweiler [2015-12-09 05:50:37] 627*2^1417185-1 is not prime. Res64: 3F4BE2013E47DAF0 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:50:57] 717*2^1417185-1 is not prime. Res64: DBA55771102FC661 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:50:58] 861*2^1417185-1 is not prime. Res64: A7F8E22E82708B71 Time : 0.0 sec. user=mdettweiler [2015-12-09 05:59:48] 979*2^1417185-1 is not prime. Res64: DCCC7713D439D81A Time : 0.0 sec. user=mdettweiler [2015-12-09 05:59:48] 723*2^1417186-1 is not prime. Res64: DD3158A932C35925 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:00:05] 735*2^1417186-1 is not prime. Res64: 4C41D2FAC8733C2D Time : 0.0 sec. user=mdettweiler [2015-12-09 06:00:06] 821*2^1417186-1 is not prime. Res64: 87F1125AF4920654 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:08:08] 911*2^1417186-1 is not prime. Res64: 8D8E0E789B253131 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:08:09] 933*2^1417186-1 is not prime. Res64: 74AAA4462F89B15D Time : 0.0 sec. user=mdettweiler [2015-12-09 06:08:32] 975*2^1417186-1 is not prime. Res64: 3E2577CF10AF65D8 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:08:32] 981*2^1417186-1 is not prime. Res64: 436C48F6D7763F11 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:17:23] 993*2^1417186-1 is not prime. Res64: DB0DA7277CBED1D8 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:17:24] 619*2^1417187-1 is not prime. Res64: 8C43CC61FC32407D Time : 0.0 sec. user=mdettweiler [2015-12-09 06:17:38] 781*2^1417187-1 is not prime. Res64: 34B1248A674B6C28 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:17:39] 915*2^1417187-1 is not prime. Res64: 676D172A8677EECF Time : 0.0 sec. user=mdettweiler [2015-12-09 06:25:38] 963*2^1417187-1 is not prime. Res64: ACD7BBF3F642EE01 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:25:39] 689*2^1417188-1 is not prime. Res64: 0B03676906D7A9AF Time : 0.0 sec. user=mdettweiler [2015-12-09 06:26:05] 753*2^1417188-1 is not prime. Res64: 21796BBE3B4E4F7A Time : 0.0 sec. user=mdettweiler [2015-12-09 06:26:06] 795*2^1417188-1 is not prime. Res64: 271AA81B0D6DC91C Time : 0.0 sec. user=mdettweiler [2015-12-09 06:35:00] 875*2^1417188-1 is not prime. Res64: 03DCA006861A1F0C Time : 0.0 sec. user=mdettweiler [2015-12-09 06:35:01] 927*2^1417188-1 is not prime. Res64: 53D6D33CC5463B29 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:35:04] 987*2^1417188-1 is not prime. Res64: D470477C856555E9 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:35:04] 999*2^1417188-1 is not prime. Res64: 348419F180DAB75C Time : 0.0 sec. user=mdettweiler [2015-12-09 06:43:14] 619*2^1417189-1 is not prime. Res64: D33A4119BB8B8549 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:43:15] 667*2^1417189-1 is not prime. Res64: 80B7DEE91F6DFDCA Time : 0.0 sec. user=mdettweiler [2015-12-09 06:43:38] 729*2^1417189-1 is not prime. Res64: 17FE86E9B1430B71 Time : 0.0 sec. user=mdettweiler [2015-12-09 06:43:39] 635*2^1417190-1 is not prime. Res64: 25B3BA158F03DAFF Time : 0.0 sec. user=mdettweiler [2015-12-09 08:42:18] 875*2^1417190-1 is not prime. Res64: 6785E2B91D4257FF Time : 0.0 sec. user=mdettweiler [2015-12-09 08:42:18] 921*2^1417190-1 is not prime. Res64: AD218B1858E2B5DB Time : 0.0 sec. user=mdettweiler [2015-12-09 08:51:05] 935*2^1417190-1 is not prime. Res64: 1AC5E86CA8CABC68 Time : 0.0 sec. user=mdettweiler [2015-12-09 08:51:05] 977*2^1417190-1 is not prime. Res64: 60E59D0D6A03E0B0 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:00:00] 987*2^1417190-1 is not prime. Res64: 7C1B396DFB1E22AA Time : 0.0 sec. user=mdettweiler [2015-12-09 09:00:01] 829*2^1417191-1 is not prime. Res64: 6E2417888CD6E76C Time : 0.0 sec. user=mdettweiler [2015-12-09 09:08:40] 865*2^1417191-1 is not prime. Res64: 24C4A82221836900 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:08:41] 885*2^1417191-1 is not prime. Res64: AB0A8E3EA557E28D Time : 0.0 sec. user=mdettweiler [2015-12-09 09:17:37] 961*2^1417191-1 is not prime. Res64: 51868581EA4687C6 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:17:37] 999*2^1417191-1 is not prime. Res64: F9F61F2ACCB88210 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:26:19] 605*2^1417192-1 is not prime. Res64: 08B4538F82032182 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:26:19] 653*2^1417192-1 is not prime. Res64: 4D1E70175467D5F2 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:35:08] 675*2^1417192-1 is not prime. Res64: 7E8B6F94E091E7B5 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:35:09] 719*2^1417192-1 is not prime. Res64: FBD588F7749FCAD5 Time : 0.0 sec. user=mdettweiler [2015-12-09 09:43:48] 735*2^1417192-1 is not prime. Res64: BBA157E4B1F16CFB Time : 0.0 sec. user=mdettweiler [2015-12-09 09:43:49] 747*2^1417192-1 is not prime. Res64: 2E9006DCBCB88E4F Time : 0.0 sec. user=mdettweiler [2015-12-09 09:52:34] 819*2^1417192-1 is not prime. Res64: F09097EA33F1573A Time : 0.0 sec. user=mdettweiler [2015-12-09 09:52:34] 825*2^1417192-1 is not prime. Res64: 87E673CA617951DD Time : 0.0 sec. user=mdettweiler [2015-12-09 10:01:12] 939*2^1417192-1 is not prime. Res64: C85088449DB98E71 Time : 0.0 sec. user=mdettweiler [2015-12-09 10:01:13] 657*2^1417193-1 is not prime. Res64: C50E887BE6FAAA29 Time : 0.0 sec. user=mdettweiler [2015-12-09 10:09:57] 727*2^1417193-1 is not prime. Res64: 79F038E998F7198A Time : 0.0 sec. user=mdettweiler [2015-12-09 10:09:57] 759*2^1417193-1 is not prime. Res64: 75FAD4116A40B8FE Time : 0.0 sec. user=mdettweiler [2015-12-09 10:18:36] 889*2^1417193-1 is not prime. Res64: 34D4645C07DB9C17 Time : 0.0 sec. user=mdettweiler [2015-12-09 10:18:37] 683*2^1417194-1 is not prime. Res64: E499493A3EB9DF2A Time : 0.0 sec. user=mdettweiler [2015-12-09 10:27:23] 861*2^1417194-1 is not prime. Res64: FF627D87CF037E54 Time : 0.0 sec. user=mdettweiler [2015-12-09 10:27:24] 941*2^1417194-1 is not prime. Res64: 6A1C91C02D95B5F3 Time : 0.0 sec. user=mdettweiler [2015-12-09 10:35:59] 971*2^1417194-1 is not prime. Res64: 52FA240C0DE39A24 Time : 0.0 sec. user=mdettweiler [2015-12-09 10:35:59] 741*2^1417195-1 is not prime. Res64: 976698762C24281C Time : 0.0 sec. user=mdettweiler [2015-12-09 10:44:47] 771*2^1417195-1 is not prime. Res64: D53625AC3244D8C5 Time : 0.0 sec. user=mdettweiler [2015-12-09 10:44:47] 775*2^1417195-1 is not prime. Res64: FF1A047F39A4A73E Time : 0.0 sec. user=mdettweiler [2015-12-09 10:53:23] 829*2^1417195-1 is not prime. Res64: 0BA808BEA7401D0E Time : 0.0 sec. user=mdettweiler [2015-12-09 10:53:23] 919*2^1417195-1 is not prime. Res64: 76A1654D23429382 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:02:11] 603*2^1417196-1 is not prime. Res64: 77CE078824F02770 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:02:12] 623*2^1417196-1 is not prime. Res64: 169355765387D5A2 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:10:46] 659*2^1417196-1 is not prime. Res64: 6E237938925E6FBB Time : 0.0 sec. user=mdettweiler [2015-12-09 11:10:46] 843*2^1417196-1 is not prime. Res64: 5BD02AD1B0E8A5E9 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:19:49] 893*2^1417196-1 is not prime. Res64: 5ECEE14F2DE3859B Time : 0.0 sec. user=mdettweiler [2015-12-09 11:19:50] 963*2^1417196-1 is not prime. Res64: 4058AB9B9527B3C9 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:28:16] 987*2^1417196-1 is not prime. Res64: 27E2C2288D364304 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:28:16] 625*2^1417197-1 is not prime. Res64: F6ACF2D9734F3DF8 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:37:16] 781*2^1417197-1 is not prime. Res64: CF689FF52F2AC3D8 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:37:16] 819*2^1417197-1 is not prime. Res64: 20DFF1EB0C4D3606 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:45:40] 861*2^1417197-1 is not prime. Res64: 9BACA51FC5A8119F Time : 0.0 sec. user=mdettweiler [2015-12-09 11:45:40] 889*2^1417197-1 is not prime. Res64: 4C5EAC9E63F1BB70 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:54:40] 891*2^1417197-1 is not prime. Res64: E480D950C08BD8E7 Time : 0.0 sec. user=mdettweiler [2015-12-09 11:54:40] 919*2^1417197-1 is not prime. Res64: 4F2BDBC1D57DDB0E Time : 0.0 sec. user=mdettweiler [2015-12-09 12:03:04] 945*2^1417197-1 is not prime. Res64: 637E195EB0B9301F Time : 0.0 sec. user=mdettweiler [2015-12-09 12:03:08] 665*2^1417198-1 is not prime. Res64: 8491F0D5C9DAEDEC Time : 0.0 sec. user=mdettweiler [2015-12-09 12:12:05] 821*2^1417198-1 is not prime. Res64: 321AB369C283E5EC Time : 0.0 sec. user=mdettweiler [2015-12-09 12:12:05] 845*2^1417198-1 is not prime. Res64: D01D94661EDF1168 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:20:45] 887*2^1417198-1 is not prime. Res64: 5A5F885B7D66EF15 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:20:45] 775*2^1417199-1 is not prime. Res64: 08AC77F260B85D32 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:29:27] 799*2^1417199-1 is not prime. Res64: 067C551BB74651F9 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:29:28] 825*2^1417199-1 is not prime. Res64: 01744D0B255B9AB5 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:38:08] 843*2^1417199-1 is not prime. Res64: CF38F8CA453A9A80 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:38:08] 865*2^1417199-1 is not prime. Res64: FF08A4D6C2CC36CB Time : 0.0 sec. user=mdettweiler [2015-12-09 12:46:51] 723*2^1417200-1 is not prime. Res64: 136423679FA37106 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:46:51] 735*2^1417200-1 is not prime. Res64: 4AF1AC0F6324C0B5 Time : 0.0 sec. user=mdettweiler [2015-12-09 12:55:30] 747*2^1417200-1 is not prime. Res64: F92AEB558A23A36F Time : 0.0 sec. user=mdettweiler [2015-12-09 12:55:31] 819*2^1417200-1 is not prime. Res64: 1529889F672CDCED Time : 0.0 sec. user=mdettweiler [2015-12-09 13:04:15] 863*2^1417200-1 is not prime. Res64: 4E1E0DD5AECA3944 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:04:19] 983*2^1417200-1 is not prime. Res64: 80C95DF01098218E Time : 0.0 sec. user=mdettweiler [2015-12-09 13:12:53] 651*2^1417201-1 is not prime. Res64: E85EF43FC9C49001 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:12:54] 691*2^1417201-1 is not prime. Res64: ADB7631FE882EBB4 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:21:59] 745*2^1417201-1 is not prime. Res64: D718600768F278F0 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:22:00] 747*2^1417201-1 is not prime. Res64: F634695EE127FDCB Time : 0.0 sec. user=mdettweiler [2015-12-09 13:30:19] 819*2^1417201-1 is not prime. Res64: AE611312ABFABB53 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:30:19] 939*2^1417201-1 is not prime. Res64: 8286ACA7B6F52C84 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:39:24] 623*2^1417202-1 is not prime. Res64: 606984EEB7E45C55 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:39:25] 633*2^1417202-1 is not prime. Res64: BC96D5A346A8C5A6 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:47:43] 635*2^1417202-1 is not prime. Res64: B6C1186147560A59 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:47:43] 831*2^1417202-1 is not prime. Res64: 72CBAA8192D76F9C Time : 0.0 sec. user=mdettweiler [2015-12-09 13:56:48] 921*2^1417202-1 is not prime. Res64: 185AEED5E7071083 Time : 0.0 sec. user=mdettweiler [2015-12-09 13:56:49] 953*2^1417202-1 is not prime. Res64: EB7F9485B1B82673 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:05:07] 977*2^1417202-1 is not prime. Res64: 128C69EBA0C4B57F Time : 0.0 sec. user=mdettweiler [2015-12-09 14:05:09] 609*2^1417203-1 is not prime. Res64: B3217D1D7DC43D0B Time : 0.0 sec. user=mdettweiler [2015-12-09 14:14:13] 703*2^1417203-1 is not prime. Res64: 3789FB19E80C6755 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:14:14] 793*2^1417203-1 is not prime. Res64: 4B0B93C570B417AA Time : 0.0 sec. user=mdettweiler [2015-12-09 14:22:40] 885*2^1417203-1 is not prime. Res64: 9DA5F6050D7355D7 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:22:40] 951*2^1417203-1 is not prime. Res64: 7EC01B58302C63E4 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:31:42] 635*2^1417204-1 is not prime. Res64: 01684990951F586A Time : 0.0 sec. user=mdettweiler [2015-12-09 14:31:42] 657*2^1417204-1 is not prime. Res64: FA780D0DE7D1C4B5 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:40:07] 699*2^1417204-1 is not prime. Res64: 4C7F7223415CECC4 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:40:08] 707*2^1417204-1 is not prime. Res64: 19E8153CE9F60E34 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:49:14] 783*2^1417204-1 is not prime. Res64: A2222FA0ACB6344E Time : 0.0 sec. user=mdettweiler [2015-12-09 14:49:14] 873*2^1417204-1 is not prime. Res64: 80EEC1D004C1D820 Time : 0.0 sec. user=mdettweiler [2015-12-09 14:57:46] 899*2^1417204-1 is not prime. Res64: FB7C28A0561B3ADA Time : 0.0 sec. user=mdettweiler [2015-12-09 14:57:46] 909*2^1417204-1 is not prime. Res64: 920CE2EF2468BD54 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:06:57] 995*2^1417204-1 is not prime. Res64: 9E8DA7A8E1D7CAD5 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:06:57] 649*2^1417205-1 is not prime. Res64: 52C480094EA5E933 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:15:24] 657*2^1417205-1 is not prime. Res64: B25AC31A44B5F340 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:15:24] 735*2^1417205-1 is not prime. Res64: FA79F56ED423E6F9 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:24:21] 949*2^1417205-1 is not prime. Res64: 9B72DCED8068DB24 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:24:22] 725*2^1417206-1 is not prime. Res64: 13AC3917B9A34A09 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:32:49] 873*2^1417206-1 is not prime. Res64: 26029FF8F8C24438 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:32:49] 917*2^1417206-1 is not prime. Res64: D8F00C2A00AAC23F Time : 0.0 sec. user=mdettweiler [2015-12-09 15:41:46] 963*2^1417206-1 is not prime. Res64: C6D37FB7BA95B265 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:41:46] 603*2^1417207-1 is not prime. Res64: 98C79B1F0FAC0CA5 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:50:15] 759*2^1417207-1 is not prime. Res64: E10927EC9640FBE1 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:50:15] 861*2^1417207-1 is not prime. Res64: 74FED945070116B8 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:59:10] 871*2^1417207-1 is not prime. Res64: D0F4FB7CA48A9428 Time : 0.0 sec. user=mdettweiler [2015-12-09 15:59:10] 961*2^1417207-1 is not prime. Res64: 127362DE457D7B20 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:07:40] 747*2^1417208-1 is not prime. Res64: A32D602C0B5A3F06 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:07:41] 755*2^1417208-1 is not prime. Res64: EFF90289057EEF9E Time : 0.0 sec. user=mdettweiler [2015-12-09 16:16:34] 825*2^1417208-1 is not prime. Res64: EE303F8712A960CE Time : 0.0 sec. user=mdettweiler [2015-12-09 16:16:34] 869*2^1417208-1 is not prime. Res64: C761D05327F349B0 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:25:17] 945*2^1417208-1 is not prime. Res64: 4C9BF58CEE2EA9E2 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:25:17] 969*2^1417208-1 is not prime. Res64: EBF0B72B6FA9D260 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:33:59] 667*2^1417209-1 is not prime. Res64: 25096B324477E7E6 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:34:00] 691*2^1417209-1 is not prime. Res64: F0AD9B263A302438 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:42:41] 603*2^1417210-1 is not prime. Res64: 5AF597867D5B67AE Time : 0.0 sec. user=mdettweiler [2015-12-09 16:42:41] 695*2^1417210-1 is not prime. Res64: 7F43D3EA6D120425 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:51:24] 717*2^1417210-1 is not prime. Res64: EBFFB7F13D2E1985 Time : 0.0 sec. user=mdettweiler [2015-12-09 16:51:24] 825*2^1417210-1 is not prime. Res64: C8E1FB1ECE50CD35 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:00:05] 827*2^1417210-1 is not prime. Res64: 0FDCE2C522FD1E27 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:00:05] 833*2^1417210-1 is not prime. Res64: E2F2AAED26830BB7 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:08:48] 621*2^1417211-1 is not prime. Res64: 226A6E378818E23B Time : 0.0 sec. user=mdettweiler [2015-12-09 17:08:50] 645*2^1417211-1 is not prime. Res64: E0BF8CD2E0F18142 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:17:29] 675*2^1417211-1 is not prime. Res64: F1EC108A54D25D4E Time : 0.0 sec. user=mdettweiler [2015-12-09 17:17:29] 679*2^1417211-1 is not prime. Res64: 591E44EA9162789D Time : 0.0 sec. user=mdettweiler [2015-12-09 17:26:28] 745*2^1417211-1 is not prime. Res64: C565F5212C626C23 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:26:28] 759*2^1417211-1 is not prime. Res64: 0896251BB051FB18 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:34:53] 879*2^1417211-1 is not prime. Res64: AB89521021E89FFC Time : 0.0 sec. user=mdettweiler [2015-12-09 17:34:53] 765*2^1417212-1 is not prime. Res64: 5604C6CAE26896BB Time : 0.0 sec. user=mdettweiler [2015-12-09 17:43:52] 767*2^1417212-1 is not prime. Res64: ADDB2A4500962D06 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:43:52] 819*2^1417212-1 is not prime. Res64: CA5CD43CCB6E1800 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:52:16] 903*2^1417212-1 is not prime. Res64: ED7A3F6A4AAE75C4 Time : 0.0 sec. user=mdettweiler [2015-12-09 17:52:17] 947*2^1417212-1 is not prime. Res64: 0325BE0EFF7FC2A0 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:01:17] 691*2^1417213-1 is not prime. Res64: 1EAD6DB35FF4546B Time : 0.0 sec. user=mdettweiler [2015-12-09 18:01:19] 729*2^1417213-1 is not prime. Res64: C4D85394C77C9D00 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:09:40] 835*2^1417213-1 is not prime. Res64: 27748FC49606CC77 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:09:40] 849*2^1417213-1 is not prime. Res64: DCB609A236006193 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:18:56] 861*2^1417213-1 is not prime. Res64: 3E73A39A6AAE980D Time : 0.0 sec. user=mdettweiler [2015-12-09 18:18:56] 885*2^1417213-1 is not prime. Res64: 84235E0E20F1AF2E Time : 0.0 sec. user=mdettweiler [2015-12-09 18:27:08] 889*2^1417213-1 is not prime. Res64: A7312897ABF00DEE Time : 0.0 sec. user=mdettweiler [2015-12-09 18:27:08] 901*2^1417213-1 is not prime. Res64: 118F66B1F4388613 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:36:23] 957*2^1417213-1 is not prime. Res64: 2EFE69A68B231793 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:36:23] 999*2^1417213-1 is not prime. Res64: 7A64F3AAD37D9120 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:44:32] 705*2^1417214-1 is not prime. Res64: 4735CAD41CB42367 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:44:33] 711*2^1417214-1 is not prime. Res64: 1D8395DAFECC1025 Time : 0.0 sec. user=mdettweiler [2015-12-09 18:53:47] 717*2^1417214-1 is not prime. Res64: E6E61F3B96275E6F Time : 0.0 sec. user=mdettweiler [2015-12-09 18:53:47] 773*2^1417214-1 is not prime. Res64: 1B4BD3FB04B4A995 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:01:57] 815*2^1417214-1 is not prime. Res64: 8C85C5D2F28B6581 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:01:57] 833*2^1417214-1 is not prime. Res64: 0B5C21B8CDC8BDFF Time : 0.0 sec. user=mdettweiler [2015-12-09 19:11:12] 921*2^1417214-1 is not prime. Res64: F05160DA6EAFD719 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:11:12] 965*2^1417214-1 is not prime. Res64: C651628A42992DCC Time : 0.0 sec. user=mdettweiler [2015-12-09 19:19:31] 693*2^1417215-1 is not prime. Res64: 71EFE9FC9C8F1B38 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:19:32] 853*2^1417215-1 is not prime. Res64: 6B54F00154E58916 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:28:36] 891*2^1417215-1 is not prime. Res64: 58F002A5812DF396 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:28:36] 999*2^1417215-1 is not prime. Res64: B40084820782A998 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:36:56] 657*2^1417216-1 is not prime. Res64: FF610914FBB64B77 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:36:56] 693*2^1417216-1 is not prime. Res64: 440D370A19C94EF8 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:46:01] 699*2^1417216-1 is not prime. Res64: 57BF6204CD8D2BB2 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:46:01] 735*2^1417216-1 is not prime. Res64: 5B9BD548C0A3BB7D Time : 0.0 sec. user=mdettweiler [2015-12-09 19:54:20] 909*2^1417216-1 is not prime. Res64: 35F13A3820999608 Time : 0.0 sec. user=mdettweiler [2015-12-09 19:54:21] 917*2^1417216-1 is not prime. Res64: E226FDF1D2EF99AC Time : 0.0 sec. user=mdettweiler [2015-12-09 20:03:26] 923*2^1417216-1 is not prime. Res64: 0AD3954B7023EFD0 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:03:27] 933*2^1417216-1 is not prime. Res64: 8C11D5DA76C69D74 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:11:45] 747*2^1417217-1 is not prime. Res64: C8407F272E343E86 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:11:46] 759*2^1417217-1 is not prime. Res64: 7C662D0C11BC2143 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:21:02] 781*2^1417217-1 is not prime. Res64: 8F15A676D9C381A1 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:21:03] 967*2^1417217-1 is not prime. Res64: 9BA0520EA74F7E38 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:29:10] 633*2^1417218-1 is not prime. Res64: C63F68EAE853F715 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:29:10] 681*2^1417218-1 is not prime. Res64: 907159F78F51630F Time : 0.0 sec. user=mdettweiler [2015-12-09 20:38:27] 861*2^1417218-1 is not prime. Res64: 6497CACF28D6AE32 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:38:27] 905*2^1417218-1 is not prime. Res64: C4E8736ED37047D2 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:46:33] 971*2^1417218-1 is not prime. Res64: 8EC5EF42957FD8D2 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:46:34] 639*2^1417219-1 is not prime. Res64: 791FAD6C60FD3CAB Time : 0.0 sec. user=mdettweiler [2015-12-09 20:55:51] 681*2^1417219-1 is not prime. Res64: FAD9B70F86517598 Time : 0.0 sec. user=mdettweiler [2015-12-09 20:55:52] 735*2^1417219-1 is not prime. Res64: D0CA2973312D04B3 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:04:02] 855*2^1417219-1 is not prime. Res64: 3DFF4BB429E8C3DD Time : 0.0 sec. user=mdettweiler [2015-12-09 21:04:03] 913*2^1417219-1 is not prime. Res64: 132CADE49862D6A9 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:13:22] 919*2^1417219-1 is not prime. Res64: 9024E631FF4FAC44 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:13:23] 675*2^1417220-1 is not prime. Res64: 216C4BDDA5270B69 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:21:41] 743*2^1417220-1 is not prime. Res64: 00836A16DE8B573A Time : 0.0 sec. user=mdettweiler [2015-12-09 21:21:42] 803*2^1417220-1 is not prime. Res64: 1350D1D34D0FD894 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:30:55] 833*2^1417220-1 is not prime. Res64: 3CB1616527532138 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:30:55] 909*2^1417220-1 is not prime. Res64: 8A6ED8EC9AD4E321 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:39:16] 625*2^1417221-1 is not prime. Res64: B1AADE4125A18C1D Time : 0.0 sec. user=mdettweiler [2015-12-09 21:39:16] 927*2^1417221-1 is not prime. Res64: D3E0F363ECF97868 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:48:24] 991*2^1417221-1 is not prime. Res64: 3A6B276EB3E99B28 Time : 0.0 sec. user=mdettweiler [2015-12-09 21:48:24] 705*2^1417222-1 is not prime. Res64: 02582B281789495F Time : 0.0 sec. user=mdettweiler [2015-12-09 21:56:51] 801*2^1417222-1 is not prime. Res64: 3A02DFDFAF1AEEDB Time : 0.0 sec. user=mdettweiler [2015-12-09 21:56:51] 721*2^1417223-1 is not prime. Res64: 7774AA6DB939556F Time : 0.0 sec. user=mdettweiler [2015-12-09 22:06:08] 825*2^1417223-1 is not prime. Res64: 47126CF43D7F78BB Time : 0.0 sec. user=mdettweiler [2015-12-09 22:06:08] 879*2^1417223-1 is not prime. Res64: 2DED90A3FB256279 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:14:35] 943*2^1417223-1 is not prime. Res64: ECCF377166A87D00 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:14:36] 999*2^1417223-1 is not prime. Res64: 3D7509D705934E18 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:23:52] 609*2^1417224-1 is not prime. Res64: 658CEEC06289AC97 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:23:53] 627*2^1417224-1 is not prime. Res64: 5C93D593696A84C5 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:32:19] 689*2^1417224-1 is not prime. Res64: 05F05C11EE926FA0 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:32:19] 737*2^1417224-1 is not prime. Res64: 72E3F05B7401A011 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:41:37] 747*2^1417224-1 is not prime. Res64: 1261A40C36FD63EC Time : 0.0 sec. user=mdettweiler [2015-12-09 22:41:37] 863*2^1417224-1 is not prime. Res64: F102AA779BA38983 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:50:03] 607*2^1417225-1 is not prime. Res64: C275B2E148982C03 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:50:03] 691*2^1417225-1 is not prime. Res64: 2DE03BAFB9F1F25E Time : 0.0 sec. user=mdettweiler [2015-12-09 22:59:23] 717*2^1417225-1 is not prime. Res64: 6BE461C11BC3E3B7 Time : 0.0 sec. user=mdettweiler [2015-12-09 22:59:23] 633*2^1417226-1 is not prime. Res64: AD28F99D62F26760 Time : 0.0 sec. user=mdettweiler [2015-12-09 23:07:48] 773*2^1417226-1 is not prime. Res64: AD9AC72CDCD30DED Time : 0.0 sec. user=mdettweiler [2015-12-09 23:07:49] 801*2^1417226-1 is not prime. Res64: A319D73B14CF6B10 Time : 0.0 sec. user=mdettweiler [2015-12-09 23:17:07] 825*2^1417226-1 is not prime. Res64: 478F412C9586649B Time : 0.0 sec. user=mdettweiler [2015-12-09 23:17:08] 935*2^1417226-1 is not prime. Res64: 138F20BA93E4C89A Time : 0.0 sec. user=mdettweiler [2015-12-09 23:25:40] 685*2^1417227-1 is not prime. Res64: 152495FAA0935C5A Time : 0.0 sec. user=mdettweiler [2015-12-09 23:25:40] 891*2^1417227-1 is not prime. Res64: 2F84642C35BEFBC2 Time : 0.0 sec. user=mdettweiler [2015-12-09 23:35:14] 605*2^1417228-1 is not prime. Res64: EFF07B4C5BFBBD32 Time : 0.0 sec. user=mdettweiler [2015-12-09 23:35:14] 615*2^1417228-1 is not prime. Res64: 86362361F4E5761C Time : 0.0 sec. user=mdettweiler [2015-12-09 23:43:52] 743*2^1417228-1 is not prime. Res64: 95AD9408F99E2CF1 Time : 0.0 sec. user=mdettweiler [2015-12-09 23:43:52] 923*2^1417228-1 is not prime. Res64: DE88884DF52A3B01 Time : 0.0 sec. user=mdettweiler [2015-12-09 23:53:23] 947*2^1417228-1 is not prime. Res64: C86F5EADCFEAD2A0 Time : 0.0 sec. user=mdettweiler [2015-12-09 23:53:24] 601*2^1417229-1 is not prime. Res64: F568922B4500F5EE Time : 0.0 sec.