user=mdettweiler [2013-03-11 00:11:35] 759*2^1242437-1 is not prime. Res64: 070655C0CBCEA50E Time : 0.0 sec. user=mdettweiler [2013-03-11 00:11:36] 925*2^1242437-1 is not prime. Res64: C20F5BC5E6DB28A0 Time : 0.0 sec. user=mdettweiler [2013-03-11 00:11:37] 777*2^1242437-1 is not prime. Res64: D0B4F3B4DCD7FFBB Time : 0.0 sec. user=mdettweiler [2013-03-11 00:11:37] 937*2^1242437-1 is not prime. Res64: ACBCC4B39C3F9E93 Time : 0.0 sec. user=vaughan [2013-03-11 00:22:41] 735*2^1242437-1 is not prime. Res64: 6D25C87BEA6557AE Time : 0.0 sec. user=mdettweiler [2013-03-11 00:29:09] 693*2^1242438-1 is not prime. Res64: F6A75920C92E697F Time : 0.0 sec. user=mdettweiler [2013-03-11 00:29:10] 747*2^1242438-1 is not prime. Res64: 400411704C5E308D Time : 0.0 sec. user=mdettweiler [2013-03-11 00:29:11] 777*2^1242438-1 is not prime. Res64: C3DC9495A8687038 Time : 0.0 sec. user=mdettweiler [2013-03-11 00:29:11] 887*2^1242438-1 is not prime. Res64: 7F7AA1BEE117641B Time : 0.0 sec. user=mdettweiler [2013-03-11 00:46:43] 1001*2^1242438-1 is not prime. Res64: 008162E92020768A Time : 0.0 sec. user=mdettweiler [2013-03-11 00:46:44] 745*2^1242439-1 is not prime. Res64: 9063D8DAD7B6B531 Time : 0.0 sec. user=mdettweiler [2013-03-11 00:46:44] 703*2^1242439-1 is not prime. Res64: EE56BB80C30BEF1B Time : 0.0 sec. user=mdettweiler [2013-03-11 00:46:44] 765*2^1242439-1 is not prime. Res64: E5AB05EA93ADCF40 Time : 0.0 sec. user=vaughan [2013-03-11 01:00:48] 893*2^1242438-1 is not prime. Res64: BFD977A63F76AAD9 Time : 0.0 sec. user=juhehe [2013-03-11 01:02:56] 955*2^1242437-1 is not prime. Res64: F18805EF307759E6 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:04:17] 831*2^1242439-1 is not prime. Res64: E9DE8FFDBBED1547 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:04:18] 853*2^1242439-1 is not prime. Res64: E9460D8F9F184915 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:04:22] 913*2^1242439-1 is not prime. Res64: F89303D7047E5842 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:04:24] 919*2^1242439-1 is not prime. Res64: 314AA2C0E6B814C2 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:21:55] 943*2^1242439-1 is not prime. Res64: BD0EFE3B13C6B74D Time : 0.0 sec. user=mdettweiler [2013-03-11 01:21:56] 603*2^1242440-1 is not prime. Res64: F8ADF9D4DA741F1D Time : 0.0 sec. user=mdettweiler [2013-03-11 01:21:59] 629*2^1242440-1 is not prime. Res64: CF19BDFA42C17D8A Time : 0.0 sec. user=mdettweiler [2013-03-11 01:22:00] 635*2^1242440-1 is not prime. Res64: 6851E5080F1FA044 Time : 0.0 sec. user=vaughan [2013-03-11 01:39:01] 933*2^1242439-1 is not prime. Res64: 3AA9F888EB805ECF Time : 0.0 sec. user=mdettweiler [2013-03-11 01:39:32] 797*2^1242440-1 is not prime. Res64: AD435B472DDE44B7 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:39:33] 813*2^1242440-1 is not prime. Res64: 3E1AB307F4EEA631 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:39:35] 839*2^1242440-1 is not prime. Res64: A03BF5D6032AC332 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:39:36] 995*2^1242440-1 is not prime. Res64: 6C6E6EB7EB42ED99 Time : 0.0 sec. user=juhehe [2013-03-11 01:42:22] 771*2^1242439-1 is not prime. Res64: 8A8A2E49140CC979 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:57:07] 741*2^1242441-1 is not prime. Res64: D9B9D88C09CB1882 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:57:08] 817*2^1242441-1 is not prime. Res64: 026703A305B9D828 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:57:09] 889*2^1242441-1 is not prime. Res64: E9EAE9AF8EC03CF9 Time : 0.0 sec. user=mdettweiler [2013-03-11 01:57:10] 969*2^1242441-1 is not prime. Res64: 52A2BEAEA3655875 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:14:46] 991*2^1242441-1 is not prime. Res64: 7FBF4A2AF41EAA0F Time : 0.0 sec. user=mdettweiler [2013-03-11 02:14:47] 801*2^1242442-1 is not prime. Res64: DA998854D4988135 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:14:48] 813*2^1242442-1 is not prime. Res64: 35EE238A4B1E3816 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:14:49] 825*2^1242442-1 is not prime. Res64: B196A53669A508B1 Time : 0.0 sec. user=vaughan [2013-03-11 02:22:13] 999*2^1242440-1 is not prime. Res64: E5C94FF48D945496 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:32:23] 619*2^1242443-1 is not prime. Res64: 5A9504680F3D87FA Time : 0.0 sec. user=mdettweiler [2013-03-11 02:32:25] 673*2^1242443-1 is not prime. Res64: A3C949473F47EBBE Time : 0.0 sec. user=mdettweiler [2013-03-11 02:32:26] 801*2^1242443-1 is not prime. Res64: 9DE309E15E6800D5 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:32:27] 885*2^1242443-1 is not prime. Res64: 6AFE1E3443BE7C31 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:50:07] 753*2^1242444-1 is not prime. Res64: 7A15E036915B76D0 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:50:08] 809*2^1242444-1 is not prime. Res64: 96383C0F695B4D91 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:50:09] 837*2^1242444-1 is not prime. Res64: BBC08442282C9719 Time : 0.0 sec. user=mdettweiler [2013-03-11 02:50:10] 969*2^1242444-1 is not prime. Res64: D178CF0718AB31B1 Time : 0.0 sec. user=vaughan [2013-03-11 03:00:20] 915*2^1242443-1 is not prime. Res64: 35119563C92945B2 Time : 0.0 sec. user=mdettweiler [2013-03-11 03:07:42] 775*2^1242445-1 is not prime. Res64: 8E51E070782DA547 Time : 0.0 sec. user=mdettweiler [2013-03-11 03:07:43] 805*2^1242445-1 is not prime. Res64: C6709C1E1373E30D Time : 0.0 sec. user=mdettweiler [2013-03-11 03:07:44] 817*2^1242445-1 is not prime. Res64: BA7AF37337574F99 Time : 0.0 sec. user=mdettweiler [2013-03-11 03:07:46] 915*2^1242445-1 is not prime. Res64: C6F06CF4BE852D75 Time : 0.0 sec. user=juhehe [2013-03-11 03:11:30] 885*2^1242442-1 is not prime. Res64: 43F66A79A31CC68E Time : 0.0 sec. user=mdettweiler [2013-03-11 03:25:20] 955*2^1242445-1 is not prime. Res64: 5EB0EEC1370C461B Time : 0.0 sec. user=mdettweiler [2013-03-11 03:25:21] 957*2^1242445-1 is not prime. Res64: 6384D75EE87B0C1C Time : 0.0 sec. user=mdettweiler [2013-03-11 03:25:26] 987*2^1242445-1 is not prime. Res64: 7A68A13E448BF4AF Time : 0.0 sec. user=mdettweiler [2013-03-11 03:25:27] 997*2^1242445-1 is not prime. Res64: D848A1F1F9C7B6E2 Time : 0.0 sec. user=juhehe [2013-03-11 03:38:19] 993*2^1242359-1 is not prime. Res64: B453A78F7A24C2D0 Time : 0.0 sec. user=juhehe [2013-03-11 03:38:23] 863*2^1242358-1 is not prime. Res64: 9BC991DA6BB00D76 Time : 0.0 sec. user=vaughan [2013-03-11 03:38:30] 937*2^1242445-1 is not prime. Res64: D19B82FD271EEA34 Time : 0.0 sec. user=mdettweiler [2013-03-11 03:42:58] 623*2^1242446-1 is not prime. Res64: 50160B6EA5AC68A7 Time : 0.0 sec. user=mdettweiler [2013-03-11 03:42:59] 651*2^1242446-1 is not prime. Res64: 87B01778022DE6D4 Time : 0.0 sec. user=mdettweiler [2013-03-11 03:43:05] 843*2^1242446-1 is not prime. Res64: 55584BE5190C8435 Time : 0.0 sec. user=mdettweiler [2013-03-11 03:43:06] 851*2^1242446-1 is not prime. Res64: 546F1E926D964B75 Time : 0.0 sec. user=juhehe [2013-03-11 03:50:13] 601*2^1242445-1 is not prime. Res64: 5C87F5D41374F2DD Time : 0.0 sec. user=mdettweiler [2013-03-11 04:00:35] 685*2^1242447-1 is not prime. Res64: A781468768738706 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:00:36] 829*2^1242447-1 is not prime. Res64: B17822C626777C97 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:00:39] 849*2^1242447-1 is not prime. Res64: 216E6DF123A49BE3 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:00:41] 985*2^1242447-1 is not prime. Res64: 324AC45971061CB6 Time : 0.0 sec. user=vaughan [2013-03-11 04:16:37] 953*2^1242446-1 is not prime. Res64: F2C9CC5FFC24FF4D Time : 0.0 sec. user=mdettweiler [2013-03-11 04:18:14] 623*2^1242448-1 is not prime. Res64: 958AD578141E112D Time : 0.0 sec. user=mdettweiler [2013-03-11 04:18:15] 743*2^1242448-1 is not prime. Res64: 19344570F634CF00 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:18:19] 813*2^1242448-1 is not prime. Res64: 70EB1F3CD43D8F22 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:18:20] 833*2^1242448-1 is not prime. Res64: D160E6C68605B99A Time : 0.0 sec. user=juhehe [2013-03-11 04:26:28] 941*2^1242446-1 is not prime. Res64: EC2D5E097ACAF0D2 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:35:49] 957*2^1242448-1 is not prime. Res64: 3DA3A1DC65AAA81D Time : 0.0 sec. user=mdettweiler [2013-03-11 04:35:50] 989*2^1242448-1 is not prime. Res64: FD567CD6B2AF4225 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:35:56] 699*2^1242449-1 is not prime. Res64: 100653129E04AB70 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:35:57] 889*2^1242449-1 is not prime. Res64: DB5A83198C1A1060 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:53:24] 955*2^1242449-1 is not prime. Res64: 220DB32129F66C6C Time : 0.0 sec. user=mdettweiler [2013-03-11 04:53:25] 611*2^1242450-1 is not prime. Res64: E525940D046B31C5 Time : 0.0 sec. user=mdettweiler [2013-03-11 04:53:33] 735*2^1242450-1 is not prime. Res64: F6F8D14CB4A2746C Time : 0.0 sec. user=mdettweiler [2013-03-11 04:53:34] 755*2^1242450-1 is not prime. Res64: 6AA56920C03C4EAF Time : 0.0 sec. user=vaughan [2013-03-11 04:54:46] 863*2^1242448-1 is not prime. Res64: 04C418DFDDD77C1C Time : 0.0 sec. user=mdettweiler [2013-03-11 05:11:01] 821*2^1242450-1 is not prime. Res64: 49701499006D071B Time : 0.0 sec. user=mdettweiler [2013-03-11 05:11:01] 971*2^1242450-1 is not prime. Res64: 9FAA0EE84BE27B55 Time : 0.0 sec. user=mdettweiler [2013-03-11 05:11:09] 625*2^1242451-1 is not prime. Res64: 756C05B2132B0EE8 Time : 0.0 sec. user=mdettweiler [2013-03-11 05:11:10] 651*2^1242451-1 is not prime. Res64: 4862EF3530DDECB9 Time : 0.0 sec. user=juhehe [2013-03-11 05:18:18] 843*2^1242448-1 is not prime. Res64: 4987EF5C3BA5261F Time : 0.0 sec. user=mdettweiler [2013-03-11 05:28:37] 691*2^1242451-1 is not prime. Res64: D878E09221230205 Time : 0.0 sec. user=mdettweiler [2013-03-11 05:28:38] 873*2^1242451-1 is not prime. Res64: 2CA40CE7E5EFB8E4 Time : 0.0 sec. user=mdettweiler [2013-03-11 05:28:44] 883*2^1242451-1 is not prime. Res64: 22A6747080175254 Time : 0.0 sec. user=mdettweiler [2013-03-11 05:28:45] 891*2^1242451-1 is not prime. Res64: 80F74B1FF6C6DBC5 Time : 0.0 sec. user=vaughan [2013-03-11 05:32:57] 681*2^1242451-1 is not prime. Res64: 2D38F8D0799BD30E Time : 0.0 sec. user=juhehe [2013-03-11 05:37:21] 609*2^1242452-1 is not prime. Res64: ED141D673C92B817 Time : 0.0 sec. user=mdettweiler [2013-03-11 05:46:13] 665*2^1242452-1 is not prime. Res64: 4F6A6399DE8C319C Time : 0.0 sec. user=mdettweiler [2013-03-11 05:46:14] 753*2^1242452-1 is not prime. Res64: 0766AE357EA05CAE Time : 0.0 sec. user=mdettweiler [2013-03-11 05:46:20] 819*2^1242452-1 is not prime. Res64: 9DEE15B0AE9745C0 Time : 0.0 sec. user=mdettweiler [2013-03-11 05:46:21] 827*2^1242452-1 is not prime. Res64: AD6DF9E366602F50 Time : 0.0 sec. user=juhehe [2013-03-11 05:57:35] 915*2^1242452-1 is not prime. Res64: D5F0DDCE3CB425D0 Time : 0.0 sec. user=juhehe [2013-03-11 05:58:19] 777*2^1242450-1 is not prime. Res64: 10028EA82165376D Time : 0.0 sec. user=mdettweiler [2013-03-11 06:03:50] 987*2^1242452-1 is not prime. Res64: 0F34CD1CE15E01D6 Time : 0.0 sec. user=mdettweiler [2013-03-11 06:03:51] 649*2^1242453-1 is not prime. Res64: 8C122EC474E0683B Time : 0.0 sec. user=mdettweiler [2013-03-11 06:03:57] 747*2^1242453-1 is not prime. Res64: 1F60241DC5C58F4D Time : 0.0 sec. user=mdettweiler [2013-03-11 06:03:59] 835*2^1242453-1 is not prime. Res64: 3DBB4AFA3D9FC1F9 Time : 0.0 sec. user=vaughan [2013-03-11 06:11:07] 843*2^1242452-1 is not prime. Res64: 3D412A7E95AF6ED2 Time : 0.0 sec. user=juhehe [2013-03-11 06:17:49] 951*2^1242453-1 is not prime. Res64: 72F476F3B2CBF7A9 Time : 0.0 sec. user=mdettweiler [2013-03-11 06:21:25] 999*2^1242453-1 is not prime. Res64: CB1D8D3C1782FFCC Time : 0.0 sec. user=mdettweiler [2013-03-11 06:21:27] 617*2^1242454-1 is not prime. Res64: F9D2088ADF9FCBC7 Time : 0.0 sec. user=mdettweiler [2013-03-11 06:21:37] 621*2^1242454-1 is not prime. Res64: 91124184FB258EB2 Time : 0.0 sec. user=mdettweiler [2013-03-11 06:21:38] 635*2^1242454-1 is not prime. Res64: A3E0057EA5216B46 Time : 0.0 sec. user=juhehe [2013-03-11 06:38:04] 827*2^1242454-1 is not prime. Res64: B34493A088388B2B Time : 0.0 sec. user=mdettweiler [2013-03-11 06:39:04] 771*2^1242455-1 is not prime. Res64: 8D7F5CFF4B3EFE84 Time : 0.0 sec. user=mdettweiler [2013-03-11 06:39:05] 853*2^1242455-1 is not prime. Res64: B970E24AC3A1018C Time : 0.0 sec. user=mdettweiler [2013-03-11 06:39:15] 861*2^1242455-1 is not prime. Res64: 7DE7D2F055714FAA Time : 0.0 sec. user=mdettweiler [2013-03-11 06:39:16] 913*2^1242455-1 is not prime. Res64: DB2964D49D912DC5 Time : 0.0 sec. user=vaughan [2013-03-11 06:49:16] 681*2^1242454-1 is not prime. Res64: 3742D6A2EF2D4771 Time : 0.0 sec. user=mdettweiler [2013-03-11 06:56:39] 789*2^1242456-1 is not prime. Res64: 3DF0A360A47F955F Time : 0.0 sec. user=mdettweiler [2013-03-11 06:56:40] 843*2^1242456-1 is not prime. Res64: D0479C339B34E0E5 Time : 0.0 sec. user=mdettweiler [2013-03-11 06:56:52] 899*2^1242456-1 is not prime. Res64: F58544DD48E3BBCA Time : 0.0 sec. user=mdettweiler [2013-03-11 06:56:53] 609*2^1242457-1 is not prime. Res64: 6A4B3DC220303C25 Time : 0.0 sec. user=juhehe [2013-03-11 06:58:19] 689*2^1242456-1 is not prime. Res64: 969CD333CAC96A5B Time : 0.0 sec. user=mdettweiler [2013-03-11 07:14:17] 685*2^1242457-1 is not prime. Res64: 6CFDF72CD6F6D359 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:14:18] 717*2^1242457-1 is not prime. Res64: 0455EDDAC2458AD2 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:14:29] 831*2^1242457-1 is not prime. Res64: 3525BAACF0C37C15 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:14:30] 605*2^1242458-1 is not prime. Res64: AE1577A4CCF5C71B Time : 0.0 sec. user=juhehe [2013-03-11 07:18:33] 651*2^1242458-1 is not prime. Res64: 76895118ADE9B78F Time : 0.0 sec. user=juhehe [2013-03-11 07:23:59] 609*2^1242455-1 is not prime. Res64: 5BB14FC329A3A6E4 Time : 0.0 sec. user=vaughan [2013-03-11 07:27:27] 615*2^1242457-1 is not prime. Res64: C535E2BC9A7C4679 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:31:57] 825*2^1242458-1 is not prime. Res64: 2849974E9F8F6286 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:31:58] 827*2^1242458-1 is not prime. Res64: 546E97BBC7559563 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:32:07] 867*2^1242458-1 is not prime. Res64: 157265644F4D6A12 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:32:07] 941*2^1242458-1 is not prime. Res64: FB433AF925BA7388 Time : 0.0 sec. user=juhehe [2013-03-11 07:41:41] 995*2^1242458-1 is not prime. Res64: 7FB1AD51C10015A4 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:49:35] 861*2^1242459-1 is not prime. Res64: 72FA4713644401F1 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:49:36] 909*2^1242459-1 is not prime. Res64: B22DB0ECB25DDD8D Time : 0.0 sec. user=mdettweiler [2013-03-11 07:49:43] 665*2^1242460-1 is not prime. Res64: 349A06DDB47C1A27 Time : 0.0 sec. user=mdettweiler [2013-03-11 07:49:44] 687*2^1242460-1 is not prime. Res64: 16772C713FD9ABA3 Time : 0.0 sec. user=juhehe [2013-03-11 08:01:55] 719*2^1242460-1 is not prime. Res64: 8843EE1570EEFE1F Time : 0.0 sec. user=vaughan [2013-03-11 08:05:37] 669*2^1242459-1 is not prime. Res64: DBE635819EA6CC87 Time : 0.0 sec. user=juhehe [2013-03-11 08:06:03] 683*2^1242458-1 is not prime. Res64: B6B4D0B5A08555F2 Time : 0.0 sec. user=mdettweiler [2013-03-11 08:07:13] 755*2^1242460-1 is not prime. Res64: ACDA90A5CAA47FE0 Time : 0.0 sec. user=mdettweiler [2013-03-11 08:07:14] 999*2^1242460-1 is not prime. Res64: 3204D53E0D856FBF Time : 0.0 sec. user=mdettweiler [2013-03-11 08:07:22] 615*2^1242461-1 is not prime. Res64: 5986A3B35BDCD3F1 Time : 0.0 sec. user=mdettweiler [2013-03-11 08:07:24] 619*2^1242461-1 is not prime. Res64: 430772860E19E065 Time : 0.0 sec. user=juhehe [2013-03-11 08:22:10] 669*2^1242461-1 is not prime. Res64: 1CA5F40F9E19F53C Time : 0.0 sec. user=mdettweiler [2013-03-11 08:24:50] 879*2^1242461-1 is not prime. Res64: 3A0B35DF67E0B4E1 Time : 0.0 sec. user=mdettweiler [2013-03-11 08:24:51] 677*2^1242462-1 is not prime. Res64: FE913B0B0876668F Time : 0.0 sec. user=mdettweiler [2013-03-11 08:25:01] 683*2^1242462-1 is not prime. Res64: CBF5292B06C3978E Time : 0.0 sec. user=mdettweiler [2013-03-11 08:25:02] 873*2^1242462-1 is not prime. Res64: 4A64C6AA045524B2 Time : 0.0 sec. user=juhehe [2013-03-11 08:42:27] 885*2^1242462-1 is not prime. Res64: F5BC9BF761366B75 Time : 0.0 sec. user=mdettweiler [2013-03-11 08:42:28] 921*2^1242462-1 is not prime. Res64: 477BAF56C67C1E7E Time : 0.0 sec. user=mdettweiler [2013-03-11 08:42:29] 615*2^1242463-1 is not prime. Res64: 481F73397CDFC122 Time : 0.0 sec. user=mdettweiler [2013-03-11 08:42:37] 723*2^1242463-1 is not prime. Res64: EED600917465A3C4 Time : 0.0 sec. user=mdettweiler [2013-03-11 08:42:38] 741*2^1242463-1 is not prime. Res64: 141E3A545E2D182B Time : 0.0 sec. user=vaughan [2013-03-11 08:43:46] 837*2^1242461-1 is not prime. Res64: 45025AA04EE36672 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:00:05] 789*2^1242463-1 is not prime. Res64: 2F9F1B33BA2FDE63 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:00:06] 961*2^1242463-1 is not prime. Res64: 38BA47365028FE5F Time : 0.0 sec. user=mdettweiler [2013-03-11 09:00:13] 687*2^1242464-1 is not prime. Res64: 964AF5E88472E694 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:00:15] 753*2^1242464-1 is not prime. Res64: FA16D5E30E6D951A Time : 0.0 sec. user=juhehe [2013-03-11 09:02:42] 771*2^1242463-1 is not prime. Res64: 650B780003735DE2 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:17:44] 875*2^1242464-1 is not prime. Res64: 6063EE959FD81B85 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:17:45] 897*2^1242464-1 is not prime. Res64: E1D908A88B130721 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:17:51] 917*2^1242464-1 is not prime. Res64: E12BBE4E5071410D Time : 0.0 sec. user=mdettweiler [2013-03-11 09:17:52] 927*2^1242464-1 is not prime. Res64: DE6CBC75E6169E68 Time : 0.0 sec. user=vaughan [2013-03-11 09:21:53] 789*2^1242464-1 is not prime. Res64: AFB965436A6E0B74 Time : 0.0 sec. user=juhehe [2013-03-11 09:22:57] 765*2^1242465-1 is not prime. Res64: 0C343342186EE02B Time : 0.0 sec. user=juhehe [2013-03-11 09:30:28] 709*2^1242463-1 is not prime. Res64: 3659C617F2EF41D1 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:35:20] 805*2^1242465-1 is not prime. Res64: BCD638A3980E9868 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:35:21] 819*2^1242465-1 is not prime. Res64: 687BC82C616009E6 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:35:25] 999*2^1242465-1 is not prime. Res64: 396402E610C4EA2F Time : 0.0 sec. user=mdettweiler [2013-03-11 09:35:26] 663*2^1242466-1 is not prime. Res64: E581B500AA598E23 Time : 0.0 sec. user=juhehe [2013-03-11 09:46:06] 971*2^1242466-1 is not prime. Res64: 3C115F7FF4C8457A Time : 0.0 sec. user=mdettweiler [2013-03-11 09:53:01] 651*2^1242467-1 is not prime. Res64: D5B5EEA46673D192 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:53:01] 669*2^1242467-1 is not prime. Res64: CB92B35F85E311F1 Time : 0.0 sec. user=mdettweiler [2013-03-11 09:53:04] 673*2^1242467-1 is not prime. Res64: B5D8FABF0D8B76BA Time : 0.0 sec. user=mdettweiler [2013-03-11 09:53:05] 703*2^1242467-1 is not prime. Res64: D6AA718EF091E217 Time : 0.0 sec. user=vaughan [2013-03-11 10:00:02] 737*2^1242466-1 is not prime. Res64: F32DA774A4BB13E3 Time : 0.0 sec. user=juhehe [2013-03-11 10:06:21] 775*2^1242467-1 is not prime. Res64: 52578C44960C92CD Time : 0.0 sec. user=mdettweiler [2013-03-11 10:10:42] 903*2^1242467-1 is not prime. Res64: 671DD768EEF57E48 Time : 0.0 sec. user=mdettweiler [2013-03-11 10:10:43] 981*2^1242467-1 is not prime. Res64: 7B5E3771B5BACA2A Time : 0.0 sec. user=mdettweiler [2013-03-11 10:10:47] 839*2^1242468-1 is not prime. Res64: CF894BEF71447E76 Time : 0.0 sec. user=mdettweiler [2013-03-11 10:10:48] 845*2^1242468-1 is not prime. Res64: 88E4C3E1C8664331 Time : 0.0 sec. user=mdettweiler [2013-03-11 10:28:25] 999*2^1242468-1 is not prime. Res64: 3E7D0A3CE20C3F36 Time : 0.0 sec. user=mdettweiler [2013-03-11 10:28:25] 615*2^1242469-1 is not prime. Res64: 0A66BDB0E7D3400E Time : 0.0 sec. user=mdettweiler [2013-03-11 10:28:26] 729*2^1242469-1 is not prime. Res64: 6D02D6249B2C4A6D Time : 0.0 sec. user=mdettweiler [2013-03-11 10:28:26] 801*2^1242469-1 is not prime. Res64: BA337CDF7643B239 Time : 0.0 sec. user=juhehe [2013-03-11 10:34:05] 927*2^1242468-1 is not prime. Res64: 5ECFF051CF074AD8 Time : 0.0 sec. user=vaughan [2013-03-11 10:38:14] 909*2^1242468-1 is not prime. Res64: 288798D98E97B620 Time : 0.0 sec. user=mdettweiler [2013-03-11 10:46:00] 861*2^1242469-1 is not prime. Res64: 46F2AE13B1EC522B Time : 0.0 sec. user=mdettweiler [2013-03-11 10:46:01] 925*2^1242469-1 is not prime. Res64: A1FAF7870EA5A44B Time : 0.0 sec. user=mdettweiler [2013-03-11 10:46:02] 675*2^1242470-1 is not prime. Res64: 01ECA062BE536DE6 Time : 0.0 sec. user=mdettweiler [2013-03-11 10:46:03] 743*2^1242470-1 is not prime. Res64: B60D4AA260748F4C Time : 0.0 sec. user=mdettweiler [2013-03-11 11:03:38] 975*2^1242471-1 is not prime. Res64: 2529BEA7435B723D Time : 0.0 sec. user=mdettweiler [2013-03-11 11:03:40] 623*2^1242472-1 is not prime. Res64: 490624A758FC95C2 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:03:41] 677*2^1242472-1 is not prime. Res64: 20BAC96EAE0C64BD Time : 0.0 sec. user=mdettweiler [2013-03-11 11:03:42] 765*2^1242472-1 is not prime. Res64: 82225FD3A812D70C Time : 0.0 sec. user=juhehe [2013-03-11 11:09:45] 977*2^1242470-1 is not prime. Res64: FA02CB2D504CB5BE Time : 0.0 sec. user=vaughan [2013-03-11 11:16:22] 675*2^1242471-1 is not prime. Res64: 9415FBAAE64CDA76 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:21:16] 849*2^1242472-1 is not prime. Res64: 497D77C23C5BCBB8 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:21:17] 855*2^1242472-1 is not prime. Res64: D14C74E7248E5900 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:21:19] 897*2^1242472-1 is not prime. Res64: C79B1E176A9F979C Time : 0.0 sec. user=mdettweiler [2013-03-11 11:21:20] 903*2^1242472-1 is not prime. Res64: 7517E3B5AC68D983 Time : 0.0 sec. user=juhehe [2013-03-11 11:21:29] 957*2^1242468-1 is not prime. Res64: B5D464B1486A19AF Time : 0.0 sec. user=juhehe [2013-03-11 11:38:19] 861*2^1242470-1 is not prime. Res64: D081FE5757C6F902 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:38:52] 829*2^1242473-1 is not prime. Res64: 7E65BB4269557777 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:38:52] 979*2^1242473-1 is not prime. Res64: 1B7DD6A3154B9C46 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:38:53] 831*2^1242473-1 is not prime. Res64: 13C9A0FB3A3B1D7D Time : 0.0 sec. user=mdettweiler [2013-03-11 11:38:53] 615*2^1242474-1 is not prime. Res64: 0082DD0B504A9747 Time : 0.0 sec. user=juhehe [2013-03-11 11:39:04] 675*2^1242473-1 is not prime. Res64: 4F709C3500143102 Time : 0.0 sec. user=vaughan [2013-03-11 11:54:30] 721*2^1242473-1 is not prime. Res64: 272F7BCBDB7084E0 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:56:30] 707*2^1242474-1 is not prime. Res64: 3162D3D3B58A7977 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:56:31] 803*2^1242474-1 is not prime. Res64: 639F9E3DE0AD4527 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:56:33] 635*2^1242474-1 is not prime. Res64: 1E27FE6AF1F21000 Time : 0.0 sec. user=mdettweiler [2013-03-11 11:56:34] 663*2^1242474-1 is not prime. Res64: 128177AADA2A046E Time : 0.0 sec. user=mdettweiler [2013-03-11 12:14:08] 645*2^1242475-1 is not prime. Res64: 62D59AD18DBC02CE Time : 0.0 sec. user=mdettweiler [2013-03-11 12:14:09] 675*2^1242475-1 is not prime. Res64: A952CFDC8C0AA165 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:14:11] 691*2^1242475-1 is not prime. Res64: 6A84F23379ACD6E2 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:14:13] 793*2^1242475-1 is not prime. Res64: 932B9BDCB4693376 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:31:46] 819*2^1242475-1 is not prime. Res64: 1EA7B64243270C16 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:31:47] 855*2^1242475-1 is not prime. Res64: F777292E5200F2F0 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:31:48] 859*2^1242475-1 is not prime. Res64: 01361760187BA40F Time : 0.0 sec. user=mdettweiler [2013-03-11 12:31:50] 861*2^1242475-1 is not prime. Res64: 08304757231DED28 Time : 0.0 sec. user=vaughan [2013-03-11 12:32:38] 639*2^1242475-1 is not prime. Res64: DC9903DE100515CC Time : 0.0 sec. user=mdettweiler [2013-03-11 12:49:25] 707*2^1242476-1 is not prime. Res64: AC4EB9A215D8B281 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:49:26] 903*2^1242476-1 is not prime. Res64: 1B80A188716854B5 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:49:27] 983*2^1242476-1 is not prime. Res64: 175F5292F8BBEF16 Time : 0.0 sec. user=mdettweiler [2013-03-11 12:49:28] 655*2^1242477-1 is not prime. Res64: 36C35FA80DCBA33D Time : 0.0 sec. user=mdettweiler [2013-03-11 13:07:05] 995*2^1242478-1 is not prime. Res64: 064E65023A0D64ED Time : 0.0 sec. user=mdettweiler [2013-03-11 13:07:06] 847*2^1242477-1 is not prime. Res64: BAC7C2D887E0D37E Time : 0.0 sec. user=mdettweiler [2013-03-11 13:07:07] 773*2^1242478-1 is not prime. Res64: 8B568A10575C6FE8 Time : 0.0 sec. user=mdettweiler [2013-03-11 13:07:09] 645*2^1242479-1 is not prime. Res64: F608FE28B5A4FEB6 Time : 0.0 sec. user=vaughan [2013-03-11 13:10:47] 669*2^1242477-1 is not prime. Res64: 606CFDE9377B4BC9 Time : 0.0 sec. user=juhehe [2013-03-11 13:12:58] 825*2^1242477-1 is not prime. Res64: 83401BDBD7C40037 Time : 0.0 sec. user=mdettweiler [2013-03-11 13:25:24] 685*2^1242479-1 is not prime. Res64: 3D72E4AE11BAE017 Time : 0.0 sec. user=mdettweiler [2013-03-11 13:25:25] 711*2^1242479-1 is not prime. Res64: 6E866FA1255B9732 Time : 0.0 sec. user=mdettweiler [2013-03-11 13:25:26] 741*2^1242479-1 is not prime. Res64: C48E286754BC794A Time : 0.0 sec. user=mdettweiler [2013-03-11 13:25:26] 789*2^1242479-1 is not prime. Res64: 733A7FCD12D63E68 Time : 0.0 sec. user=juhehe [2013-03-11 13:30:59] 885*2^1242475-1 is not prime. Res64: F8D130631B2378F0 Time : 0.0 sec. user=mdettweiler [2013-03-11 13:43:04] 885*2^1242479-1 is not prime. Res64: 641EA58E9D04C01D Time : 0.0 sec. user=mdettweiler [2013-03-11 13:43:04] 943*2^1242479-1 is not prime. Res64: D9A62D23712CE313 Time : 0.0 sec. user=mdettweiler [2013-03-11 13:43:05] 955*2^1242479-1 is not prime. Res64: 5B6D35F02BE286BB Time : 0.0 sec. user=mdettweiler [2013-03-11 13:43:06] 969*2^1242479-1 is not prime. Res64: 0B07F18E923AF67F Time : 0.0 sec. user=juhehe [2013-03-11 13:47:25] 751*2^1242477-1 is not prime. Res64: 600DA8A1570B06E3 Time : 0.0 sec. user=vaughan [2013-03-11 13:49:00] 819*2^1242479-1 is not prime. Res64: DB78C6D9824DF6D4 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:00:43] 979*2^1242479-1 is not prime. Res64: 41D5BD2063BC2245 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:00:44] 845*2^1242480-1 is not prime. Res64: D8C648407B61701B Time : 0.0 sec. user=mdettweiler [2013-03-11 14:00:45] 825*2^1242480-1 is not prime. Res64: BD0B5ED89D42A3BB Time : 0.0 sec. user=mdettweiler [2013-03-11 14:00:46] 857*2^1242480-1 is not prime. Res64: 28500C0E2AA6C673 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:18:24] 915*2^1242480-1 is not prime. Res64: F68C1DD698015615 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:18:25] 923*2^1242480-1 is not prime. Res64: 07FA15AE37C4B404 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:18:27] 639*2^1242481-1 is not prime. Res64: 9B5E1DE52F6A3927 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:18:28] 685*2^1242481-1 is not prime. Res64: A228F9F135AC73FF Time : 0.0 sec. user=vaughan [2013-03-11 14:27:10] 879*2^1242480-1 is not prime. Res64: 2BEBBDCD264DD82D Time : 0.0 sec. user=mdettweiler [2013-03-11 14:36:04] 769*2^1242481-1 is not prime. Res64: F49CECB87C628CE8 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:36:05] 895*2^1242481-1 is not prime. Res64: 33F8F9DB9543625F Time : 0.0 sec. user=mdettweiler [2013-03-11 14:36:05] 975*2^1242481-1 is not prime. Res64: 9B720EE05A073208 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:36:06] 645*2^1242482-1 is not prime. Res64: 7DDD1537885CB29B Time : 0.0 sec. user=mdettweiler [2013-03-11 14:53:42] 797*2^1242482-1 is not prime. Res64: 8C04805CCC34D06E Time : 0.0 sec. user=mdettweiler [2013-03-11 14:53:43] 867*2^1242482-1 is not prime. Res64: 1D8870C49560942C Time : 0.0 sec. user=mdettweiler [2013-03-11 14:53:45] 885*2^1242482-1 is not prime. Res64: 77764F0DC1F7F684 Time : 0.0 sec. user=mdettweiler [2013-03-11 14:53:46] 893*2^1242482-1 is not prime. Res64: 5A6C7C30642501E1 Time : 0.0 sec. user=vaughan [2013-03-11 15:05:14] 665*2^1242482-1 is not prime. Res64: 8F14492949E100FD Time : 0.0 sec. user=mdettweiler [2013-03-11 15:11:20] 639*2^1242483-1 is not prime. Res64: AE5C8BFCD0484AED Time : 0.0 sec. user=mdettweiler [2013-03-11 15:11:20] 649*2^1242483-1 is not prime. Res64: A0784A0FB00F56F2 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:11:23] 745*2^1242483-1 is not prime. Res64: 8F29E5A4F5159434 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:11:23] 805*2^1242483-1 is not prime. Res64: BABF7ABD4BCFC7FE Time : 0.0 sec. user=mdettweiler [2013-03-11 15:28:57] 873*2^1242483-1 is not prime. Res64: 7E1588497D361CE2 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:28:58] 951*2^1242483-1 is not prime. Res64: 74BBAD06E5637E42 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:29:04] 955*2^1242483-1 is not prime. Res64: 860832062012F950 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:29:05] 963*2^1242483-1 is not prime. Res64: C0F29C18A3058FD5 Time : 0.0 sec. user=juhehe [2013-03-11 15:37:34] 791*2^1242482-1 is not prime. Res64: F54C3BFD420A96C0 Time : 0.0 sec. user=vaughan [2013-03-11 15:43:22] 853*2^1242483-1 is not prime. Res64: 9C339BD6D29FA8F8 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:46:39] 623*2^1242484-1 is not prime. Res64: 162C2DDA1A3608DD Time : 0.0 sec. user=mdettweiler [2013-03-11 15:46:40] 743*2^1242484-1 is not prime. Res64: AA0D934370849914 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:46:44] 843*2^1242484-1 is not prime. Res64: 279B216374B6F222 Time : 0.0 sec. user=mdettweiler [2013-03-11 15:46:45] 875*2^1242484-1 is not prime. Res64: 6C9BAD408CC7B71F Time : 0.0 sec. user=juhehe [2013-03-11 15:54:33] 625*2^1242483-1 is not prime. Res64: 7FDA3E2AA4C6A49F Time : 0.0 sec. user=mdettweiler [2013-03-11 16:04:19] 651*2^1242485-1 is not prime. Res64: F52AAB373D0D2090 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:04:21] 715*2^1242485-1 is not prime. Res64: 89A7266FE60DF041 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:04:23] 727*2^1242485-1 is not prime. Res64: AFBF1ED576307878 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:04:24] 837*2^1242485-1 is not prime. Res64: CDD7630E3102CFF0 Time : 0.0 sec. user=vaughan [2013-03-11 16:21:30] 645*2^1242485-1 is not prime. Res64: D43E3CC270E05C6C Time : 0.0 sec. user=mdettweiler [2013-03-11 16:22:01] 859*2^1242485-1 is not prime. Res64: F3F4545638117D5A Time : 0.0 sec. user=mdettweiler [2013-03-11 16:22:02] 867*2^1242485-1 is not prime. Res64: 9ABEFC9B25B1C829 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:22:05] 937*2^1242485-1 is not prime. Res64: C6D34958018B9DBE Time : 0.0 sec. user=mdettweiler [2013-03-11 16:22:06] 939*2^1242485-1 is not prime. Res64: 62AF88BFEE32BF65 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:39:40] 755*2^1242486-1 is not prime. Res64: 1FE92DC7C11B85CE Time : 0.0 sec. user=mdettweiler [2013-03-11 16:39:41] 843*2^1242486-1 is not prime. Res64: 2A2F444C069C030C Time : 0.0 sec. user=mdettweiler [2013-03-11 16:39:46] 873*2^1242486-1 is not prime. Res64: 0EA35A3407B0D6FA Time : 0.0 sec. user=mdettweiler [2013-03-11 16:39:47] 881*2^1242486-1 is not prime. Res64: 37FF9580E7D5FEB5 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:57:18] 983*2^1242486-1 is not prime. Res64: B3E135EAEBE594B6 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:57:19] 639*2^1242487-1 is not prime. Res64: 9214EE85D70FE632 Time : 0.0 sec. user=mdettweiler [2013-03-11 16:57:24] 693*2^1242487-1 is not prime. Res64: 9E3D8C29D73B9CEF Time : 0.0 sec. user=mdettweiler [2013-03-11 16:57:25] 729*2^1242487-1 is not prime. Res64: F6C5F2F1EBE90369 Time : 0.0 sec. user=vaughan [2013-03-11 17:04:43] 969*2^1242485-1 is not prime. Res64: B6348184F0B38E22 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:14:55] 831*2^1242487-1 is not prime. Res64: FE05E934681E3B67 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:14:56] 889*2^1242487-1 is not prime. Res64: FBF15FE154A43AC0 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:14:59] 909*2^1242487-1 is not prime. Res64: 95D558CA0774B45C Time : 0.0 sec. user=mdettweiler [2013-03-11 17:15:00] 975*2^1242487-1 is not prime. Res64: 6FC36167AF00C87B Time : 0.0 sec. user=mdettweiler [2013-03-11 17:32:34] 623*2^1242488-1 is not prime. Res64: 4688A7E7BD4C09B7 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:32:35] 677*2^1242488-1 is not prime. Res64: A33FCFEBBCB6CB49 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:32:38] 795*2^1242488-1 is not prime. Res64: B4EE9B04BEDC2904 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:32:39] 855*2^1242488-1 is not prime. Res64: C82CD1A09141F113 Time : 0.0 sec. user=juhehe [2013-03-11 17:43:31] 945*2^1242486-1 is not prime. Res64: 85D1CCA40A6806D4 Time : 0.0 sec. user=vaughan [2013-03-11 17:47:58] 993*2^1242487-1 is not prime. Res64: 86AAF481C4E24C70 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:50:18] 669*2^1242489-1 is not prime. Res64: A4BB329052251547 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:50:19] 751*2^1242489-1 is not prime. Res64: 8CBF131EBAE521BB Time : 0.0 sec. user=mdettweiler [2013-03-11 17:50:19] 795*2^1242489-1 is not prime. Res64: 02E6F929C3414085 Time : 0.0 sec. user=mdettweiler [2013-03-11 17:50:20] 865*2^1242489-1 is not prime. Res64: 70D1070DAF3047A4 Time : 0.0 sec. user=juhehe [2013-03-11 18:00:14] 763*2^1242487-1 is not prime. Res64: 0E103EC159DB5431 Time : 0.0 sec. user=mdettweiler [2013-03-11 18:07:57] 645*2^1242490-1 is not prime. Res64: 0A8CC592820C025A Time : 0.0 sec. user=mdettweiler [2013-03-11 18:07:57] 827*2^1242490-1 is not prime. Res64: 9118866C9BC69075 Time : 0.0 sec. user=mdettweiler [2013-03-11 18:07:59] 831*2^1242490-1 is not prime. Res64: BA9A5A329CFEA0DC Time : 0.0 sec. user=mdettweiler [2013-03-11 18:08:00] 843*2^1242490-1 is not prime. Res64: 2B35912437081992 Time : 0.0 sec. user=mdettweiler [2013-03-11 18:25:38] 885*2^1242490-1 is not prime. Res64: 30B5B85D8D3A34C9 Time : 0.0 sec. user=mdettweiler [2013-03-11 18:25:39] 987*2^1242490-1 is not prime. Res64: 44FF4ECCFF02D9AF Time : 0.0 sec. user=mdettweiler [2013-03-11 18:25:40] 1001*2^1242490-1 is not prime. Res64: 50F8FA89CB7E4A92 Time : 0.0 sec. user=mdettweiler [2013-03-11 18:25:40] 759*2^1242491-1 is not prime. Res64: 187C78E9400DF73E Time : 0.0 sec. user=vaughan [2013-03-11 18:26:07] 949*2^1242489-1 is not prime. Res64: 1815C20B3F32B8CD Time : 0.0 sec. user=mdettweiler [2013-03-11 18:43:18] 843*2^1242491-1 is not prime. Res64: E6FDD9062E42D46D Time : 0.0 sec. user=mdettweiler [2013-03-11 18:43:19] 909*2^1242491-1 is not prime. Res64: 4B640F6C88401491 Time : 0.0 sec. user=mdettweiler [2013-03-11 18:43:21] 973*2^1242491-1 is not prime. Res64: A3D004B33CB5294E Time : 0.0 sec. user=mdettweiler [2013-03-11 18:43:22] 653*2^1242492-1 is not prime. Res64: 8958F74F123A984A Time : 0.0 sec. user=mdettweiler [2013-03-11 19:01:00] 767*2^1242492-1 is not prime. Res64: A58F969909649A39 Time : 0.0 sec. user=mdettweiler [2013-03-11 19:01:03] 843*2^1242492-1 is not prime. Res64: AFE2F4B017C76113 Time : 0.0 sec. user=mdettweiler [2013-03-11 19:01:04] 887*2^1242492-1 is not prime. Res64: 853C27AA14CF6208 Time : 0.0 sec. user=mdettweiler [2013-03-11 19:01:06] 899*2^1242492-1 is not prime. Res64: F12BBF67EDB403D4 Time : 0.0 sec. user=vaughan [2013-03-11 19:04:18] 725*2^1242492-1 is not prime. Res64: 0CECD887C39493FC Time : 0.0 sec. user=mdettweiler [2013-03-11 19:18:55] 741*2^1242493-1 is not prime. Res64: 4F0AAD0DA49269FC Time : 0.0 sec. user=mdettweiler [2013-03-11 19:18:56] 769*2^1242493-1 is not prime. Res64: A707667F152D87C2 Time : 0.0 sec. user=mdettweiler [2013-03-11 19:18:56] 831*2^1242493-1 is not prime. Res64: F22775B079BEB3B5 Time : 0.0 sec. user=mdettweiler [2013-03-11 19:18:56] 789*2^1242493-1 is not prime. Res64: 61C0F76247D06B56 Time : 0.0 sec. user=mdettweiler [2013-03-11 19:37:15] 951*2^1242493-1 is not prime. Res64: 73D4CD9E56E7875D Time : 0.0 sec. user=mdettweiler [2013-03-11 19:37:16] 651*2^1242494-1 is not prime. Res64: 3A6BD77822D5B54F Time : 0.0 sec. user=mdettweiler [2013-03-11 19:37:16] 683*2^1242494-1 is not prime. Res64: 349254FF4CD6A690 Time : 0.0 sec. user=mdettweiler [2013-03-11 19:37:16] 743*2^1242494-1 is not prime. Res64: 9D7D3445B4F7ED3C Time : 0.0 sec. user=vaughan [2013-03-11 19:42:27] 939*2^1242493-1 is not prime. Res64: B6166869ADB6D58C Time : 0.0 sec. user=juhehe [2013-03-11 19:49:22] 909*2^1242492-1 is not prime. Res64: 511E0D4D51BD157D Time : 0.0 sec. user=mdettweiler [2013-03-11 19:55:34] 965*2^1242494-1 is not prime. Res64: EE5C3EF3ED45160B Time : 0.0 sec. user=mdettweiler [2013-03-11 19:55:35] 1001*2^1242494-1 is not prime. Res64: 2317039A4600CE4C Time : 0.0 sec. user=mdettweiler [2013-03-11 19:55:36] 797*2^1242494-1 is not prime. Res64: A3185A47C381838A Time : 0.0 sec. user=mdettweiler [2013-03-11 19:55:36] 813*2^1242494-1 is not prime. Res64: 06FDB9810C539ECC Time : 0.0 sec. user=juhehe [2013-03-11 20:05:55] 867*2^1242493-1 is not prime. Res64: BC43225F4702960A Time : 0.0 sec. user=mdettweiler [2013-03-11 20:13:52] 639*2^1242495-1 is not prime. Res64: 1A7FB824C99646EE Time : 0.0 sec. user=mdettweiler [2013-03-11 20:13:52] 651*2^1242495-1 is not prime. Res64: C237403039148E28 Time : 0.0 sec. user=mdettweiler [2013-03-11 20:13:55] 709*2^1242495-1 is not prime. Res64: 5FDE68CB4BCD2BAC Time : 0.0 sec. user=mdettweiler [2013-03-11 20:13:55] 765*2^1242495-1 is not prime. Res64: 6457372F035FA448 Time : 0.0 sec. user=vaughan [2013-03-11 20:20:35] 613*2^1242495-1 is not prime. Res64: E4B456D00DCDDCBD Time : 0.0 sec. user=mdettweiler [2013-03-11 20:31:44] 891*2^1242495-1 is not prime. Res64: 5AC2EE899D8F5A4E Time : 0.0 sec. user=mdettweiler [2013-03-11 20:31:45] 979*2^1242495-1 is not prime. Res64: DF88533A2B7FAE54 Time : 0.0 sec. user=mdettweiler [2013-03-11 20:31:46] 645*2^1242496-1 is not prime. Res64: 4B2B568D34081FEC Time : 0.0 sec. user=mdettweiler [2013-03-11 20:31:47] 735*2^1242496-1 is not prime. Res64: F56B1353E3BAE508 Time : 0.0 sec. user=mdettweiler [2013-03-11 20:49:25] 631*2^1242497-1 is not prime. Res64: EEA1D62129317046 Time : 0.0 sec. user=mdettweiler [2013-03-11 20:49:26] 711*2^1242497-1 is not prime. Res64: 886D64B9A19D7404 Time : 0.0 sec. user=mdettweiler [2013-03-11 20:49:27] 735*2^1242497-1 is not prime. Res64: 037D945DADA862B5 Time : 0.0 sec. user=mdettweiler [2013-03-11 20:49:28] 771*2^1242497-1 is not prime. Res64: 1F678CD9CB2F3146 Time : 0.0 sec. user=vaughan [2013-03-11 20:58:45] 825*2^1242496-1 is not prime. Res64: B9E59CFE7DFB8CFB Time : 0.0 sec. user=mdettweiler [2013-03-11 21:07:06] 665*2^1242498-1 is not prime. Res64: 1141B182B0F70723 Time : 0.0 sec. user=mdettweiler [2013-03-11 21:07:07] 677*2^1242498-1 is not prime. Res64: CA4DCF8B2CDF05F6 Time : 0.0 sec. user=mdettweiler [2013-03-11 21:07:10] 731*2^1242498-1 is not prime. Res64: F587D0583354F23B Time : 0.0 sec. user=mdettweiler [2013-03-11 21:07:11] 791*2^1242498-1 is not prime. Res64: D828300C0705AF3B Time : 0.0 sec. user=mdettweiler [2013-03-11 21:24:46] 977*2^1242498-1 is not prime. Res64: 3EC9F66BA85BA3EF Time : 0.0 sec. user=mdettweiler [2013-03-11 21:24:47] 1001*2^1242498-1 is not prime. Res64: DAB6C016BB7D910E Time : 0.0 sec. user=mdettweiler [2013-03-11 21:24:49] 649*2^1242499-1 is not prime. Res64: 4019BA13A19BABEE Time : 0.0 sec. user=mdettweiler [2013-03-11 21:24:50] 745*2^1242499-1 is not prime. Res64: 5DE84BFCCA910BAB Time : 0.0 sec. user=vaughan [2013-03-11 21:36:49] 833*2^1242498-1 is not prime. Res64: AFCC8FBC0EC36124 Time : 0.0 sec. user=mdettweiler [2013-03-11 21:42:17] 829*2^1242499-1 is not prime. Res64: 20E4585F96CB641D Time : 0.0 sec. user=mdettweiler [2013-03-11 21:42:19] 913*2^1242499-1 is not prime. Res64: ABFC2B78013A44C9 Time : 0.0 sec. user=mdettweiler [2013-03-11 21:42:20] 919*2^1242499-1 is not prime. Res64: 9889CD907F0139C1 Time : 0.0 sec. user=mdettweiler [2013-03-11 21:42:21] 931*2^1242499-1 is not prime. Res64: 9C81DFCAA7DEDF6E Time : 0.0 sec. user=juhehe [2013-03-11 21:56:53] 801*2^1242498-1 is not prime. Res64: 0E8037103DB69A7B Time : 0.0 sec. user=mdettweiler [2013-03-11 21:59:50] 875*2^1242500-1 is not prime. Res64: 3F7AE89DD93C7A7D Time : 0.0 sec. user=mdettweiler [2013-03-11 21:59:51] 893*2^1242500-1 is not prime. Res64: DBB88113F23DBA35 Time : 0.0 sec. user=mdettweiler [2013-03-11 21:59:53] 915*2^1242500-1 is not prime. Res64: 9BFA8B7B5418D43F Time : 0.0 sec. user=mdettweiler [2013-03-11 21:59:54] 781*2^1242501-1 is not prime. Res64: E15D5A5402CA7E11 Time : 0.0 sec. user=juhehe [2013-03-11 22:12:55] 775*2^1242499-1 is not prime. Res64: 4466812DEADC6E54 Time : 0.0 sec. user=vaughan [2013-03-11 22:14:56] 951*2^1242499-1 is not prime. Res64: 160D07701AF0EEC5 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:17:20] 795*2^1242501-1 is not prime. Res64: FDFC7BBC9F4472AC Time : 0.0 sec. user=mdettweiler [2013-03-11 22:17:21] 945*2^1242501-1 is not prime. Res64: 62AAE1E013514586 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:17:21] 975*2^1242501-1 is not prime. Res64: 80BDB5EA226AFEB5 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:17:21] 717*2^1242502-1 is not prime. Res64: ADF5540983DB8752 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:34:48] 873*2^1242502-1 is not prime. Res64: 059F276B62D8ACA6 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:34:49] 739*2^1242503-1 is not prime. Res64: B5701C59A8E378AC Time : 0.0 sec. user=mdettweiler [2013-03-11 22:34:50] 771*2^1242503-1 is not prime. Res64: 17C6C88ED2203F22 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:34:50] 915*2^1242503-1 is not prime. Res64: E555687212625513 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:52:19] 985*2^1242503-1 is not prime. Res64: 3FE571B8E7565A29 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:52:20] 991*2^1242503-1 is not prime. Res64: D4546DB6AA38E7A9 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:52:20] 635*2^1242504-1 is not prime. Res64: 305397BFC3907DD7 Time : 0.0 sec. user=mdettweiler [2013-03-11 22:52:21] 665*2^1242504-1 is not prime. Res64: DCB6CE0727B592E5 Time : 0.0 sec. user=vaughan [2013-03-11 22:53:01] 831*2^1242502-1 is not prime. Res64: 5C814017D07EBCCF Time : 0.0 sec. user=mdettweiler [2013-03-11 23:09:49] 707*2^1242504-1 is not prime. Res64: C493AEF05E4BDBD4 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:09:50] 915*2^1242504-1 is not prime. Res64: 0047C54BC4F86060 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:09:51] 893*2^1242504-1 is not prime. Res64: E240F5AC006B3660 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:09:52] 935*2^1242504-1 is not prime. Res64: 78FC40C5E03E73BB Time : 0.0 sec. user=mdettweiler [2013-03-11 23:27:44] 819*2^1242505-1 is not prime. Res64: 429F605E65D657A1 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:27:45] 885*2^1242505-1 is not prime. Res64: 0669B37435061293 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:27:48] 925*2^1242505-1 is not prime. Res64: 6F9AF88BBD8CBFA5 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:27:48] 937*2^1242505-1 is not prime. Res64: 62AF386E6B556A8D Time : 0.0 sec. user=vaughan [2013-03-11 23:31:10] 651*2^1242505-1 is not prime. Res64: 235D98463DBF525D Time : 0.0 sec. user=mdettweiler [2013-03-11 23:45:10] 675*2^1242506-1 is not prime. Res64: 8543F8E4CA46935E Time : 0.0 sec. user=mdettweiler [2013-03-11 23:45:10] 683*2^1242506-1 is not prime. Res64: 4087EC31942865C1 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:45:12] 707*2^1242506-1 is not prime. Res64: 8B9B2E8CD074B2F6 Time : 0.0 sec. user=mdettweiler [2013-03-11 23:45:13] 713*2^1242506-1 is not prime. Res64: C73CBB79E161CFE9 Time : 0.0 sec.