user=juhehe [2015-04-01 00:05:13] 999*2^1396611-1 is not prime. Res64: 29F32898AE08260B Time : 0.0 sec. user=mdettweiler [2015-04-01 00:37:45] 873*2^1396612-1 is not prime. Res64: 423160C78DB7E2D5 Time : 0.0 sec. user=mdettweiler [2015-04-01 00:37:46] 899*2^1396612-1 is not prime. Res64: 8BD6672AB1790959 Time : 0.0 sec. user=mdettweiler [2015-04-01 00:40:11] 735*2^1396612-1 is not prime. Res64: 29E9E062449FDA2F Time : 0.0 sec. user=mdettweiler [2015-04-01 00:40:12] 743*2^1396612-1 is not prime. Res64: 02B67642746B9E64 Time : 0.0 sec. user=mdettweiler [2015-04-01 01:16:30] 715*2^1396613-1 is not prime. Res64: 11A91CFC8E517489 Time : 0.0 sec. user=mdettweiler [2015-04-01 01:16:31] 775*2^1396613-1 is not prime. Res64: 48E610EDA035BBFE Time : 0.0 sec. user=mdettweiler [2015-04-01 01:16:59] 787*2^1396613-1 is not prime. Res64: 88BCD20DFFDF6CBB Time : 0.0 sec. user=mdettweiler [2015-04-01 01:16:59] 867*2^1396613-1 is not prime. Res64: 1D5AFBB6B90CDBD3 Time : 0.0 sec. user=mdettweiler [2015-04-01 01:46:18] 611*2^1396614-1 is not prime. Res64: BF9F901599A25084 Time : 0.0 sec. user=mdettweiler [2015-04-01 01:46:18] 657*2^1396614-1 is not prime. Res64: 56D79280B388893A Time : 0.0 sec. user=mdettweiler [2015-04-01 01:47:05] 683*2^1396614-1 is not prime. Res64: CD356C482E53FCD9 Time : 0.0 sec. user=mdettweiler [2015-04-01 01:47:06] 927*2^1396614-1 is not prime. Res64: F3EF66C4E5221461 Time : 0.0 sec. user=juhehe [2015-04-01 01:51:31] 957*2^1396613-1 is not prime. Res64: 669B5D1EFF7A1965 Time : 0.0 sec. user=mdettweiler [2015-04-01 02:19:49] 915*2^1396615-1 is not prime. Res64: BA576A37659F4C6E Time : 0.0 sec. user=mdettweiler [2015-04-01 02:19:50] 623*2^1396616-1 is not prime. Res64: 9A57D8B1A0826FF9 Time : 0.0 sec. user=mdettweiler [2015-04-01 02:20:34] 965*2^1396614-1 is not prime. Res64: 608C5AB0F0648A5B Time : 0.0 sec. user=mdettweiler [2015-04-01 02:20:34] 841*2^1396615-1 is not prime. Res64: BE7ABE9077C10739 Time : 0.0 sec. user=mdettweiler [2015-04-01 02:56:34] 699*2^1396616-1 is not prime. Res64: 9A7549E38ACAC26F Time : 0.0 sec. user=mdettweiler [2015-04-01 02:56:35] 815*2^1396616-1 is not prime. Res64: 15DCD030E55A356B Time : 0.0 sec. user=mdettweiler [2015-04-01 02:59:18] 825*2^1396616-1 is not prime. Res64: B29B7C2FC220C6D5 Time : 0.0 sec. user=mdettweiler [2015-04-01 02:59:18] 855*2^1396616-1 is not prime. Res64: 8B4A489D3EDD81DE Time : 0.0 sec. user=mdettweiler [2015-04-01 03:27:19] 999*2^1396616-1 is not prime. Res64: 10EDD9198BC727D3 Time : 0.0 sec. user=mdettweiler [2015-04-01 03:27:20] 607*2^1396617-1 is not prime. Res64: 9A2160ADFAD15461 Time : 0.0 sec. user=mdettweiler [2015-04-01 03:30:24] 795*2^1396617-1 is not prime. Res64: FFA011B8304A1DC4 Time : 0.0 sec. user=mdettweiler [2015-04-01 03:30:27] 835*2^1396617-1 is not prime. Res64: F132C61BCD5309F2 Time : 0.0 sec. user=juhehe [2015-04-01 03:42:41] 865*2^1396617-1 is not prime. Res64: FF46EC6DC0F984B8 Time : 0.0 sec. user=mdettweiler [2015-04-01 03:57:08] 605*2^1396618-1 is not prime. Res64: 93C9981DCB209A31 Time : 0.0 sec. user=mdettweiler [2015-04-01 03:57:09] 621*2^1396618-1 is not prime. Res64: 3257B14503F81733 Time : 0.0 sec. user=mdettweiler [2015-04-01 04:01:37] 651*2^1396618-1 is not prime. Res64: 449934CF03575A91 Time : 0.0 sec. user=mdettweiler [2015-04-01 04:01:39] 723*2^1396618-1 is not prime. Res64: 6922737246C2DE63 Time : 0.0 sec. user=mdettweiler [2015-04-01 04:26:59] 857*2^1396618-1 is not prime. Res64: 284F5372A55BB10D Time : 0.0 sec. user=mdettweiler [2015-04-01 04:26:59] 945*2^1396618-1 is not prime. Res64: FA6EBA55FC2CC337 Time : 0.0 sec. user=mdettweiler [2015-04-01 04:31:31] 645*2^1396619-1 is not prime. Res64: B42C1931DE83856B Time : 0.0 sec. user=mdettweiler [2015-04-01 04:31:32] 649*2^1396619-1 is not prime. Res64: 293DF459E44102E8 Time : 0.0 sec. user=mdettweiler [2015-04-01 04:56:25] 741*2^1396619-1 is not prime. Res64: 011C83ACC141BF28 Time : 0.0 sec. user=mdettweiler [2015-04-01 04:56:25] 843*2^1396619-1 is not prime. Res64: 8FA9162239211BBD Time : 0.0 sec. user=mdettweiler [2015-04-01 05:00:55] 991*2^1396619-1 is not prime. Res64: 1390EBB02A08419D Time : 0.0 sec. user=mdettweiler [2015-04-01 05:00:56] 707*2^1396620-1 is not prime. Res64: DDEC1F552866A82A Time : 0.0 sec. user=mdettweiler [2015-04-01 05:23:07] 679*2^1396599-1 is not prime. Res64: C35FD421100D3E91 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:23:08] 853*2^1396599-1 is not prime. Res64: A095DF72EE8B8B2E Time : 0.0 sec. user=mdettweiler [2015-04-01 05:24:50] 859*2^1396599-1 is not prime. Res64: C7E41F703C31D229 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:24:51] 861*2^1396599-1 is not prime. Res64: 516A21D75109F186 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:26:14] 845*2^1396620-1 is not prime. Res64: 476FE525D16237BB Time : 0.0 sec. user=mdettweiler [2015-04-01 05:26:14] 957*2^1396620-1 is not prime. Res64: 6B0CA00F27CB56C9 Time : 0.0 sec. user=juhehe [2015-04-01 05:27:58] 759*2^1396620-1 is not prime. Res64: C7E3160BA6760728 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:29:48] 959*2^1396620-1 is not prime. Res64: 4A3DE5B7EA81AC7F Time : 0.0 sec. user=mdettweiler [2015-04-01 05:29:48] 727*2^1396621-1 is not prime. Res64: 740D7929B044501F Time : 0.0 sec. user=mdettweiler [2015-04-01 05:49:53] 771*2^1396621-1 is not prime. Res64: AA4BE74AA7E1FD84 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:49:54] 777*2^1396621-1 is not prime. Res64: AE0E97067DEBF45C Time : 0.0 sec. user=mdettweiler [2015-04-01 05:51:25] 811*2^1396621-1 is not prime. Res64: BE4146CBD1629A70 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:51:25] 835*2^1396621-1 is not prime. Res64: D98E6614721B5B85 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:52:47] 955*2^1396621-1 is not prime. Res64: 637E3C10D8844F3F Time : 0.0 sec. user=mdettweiler [2015-04-01 05:52:47] 671*2^1396622-1 is not prime. Res64: C8A72A2E2D7BA3A0 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:56:26] 677*2^1396622-1 is not prime. Res64: 01BC389700F3B775 Time : 0.0 sec. user=mdettweiler [2015-04-01 05:56:27] 693*2^1396622-1 is not prime. Res64: 320158F1906A08DB Time : 0.0 sec. user=mdettweiler [2015-04-01 06:16:31] 797*2^1396622-1 is not prime. Res64: D644F29A5864E433 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:16:32] 903*2^1396622-1 is not prime. Res64: EF7B339C596375BB Time : 0.0 sec. user=mdettweiler [2015-04-01 06:17:52] 915*2^1396622-1 is not prime. Res64: 7001B041C48EC542 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:17:53] 921*2^1396622-1 is not prime. Res64: C64EA6A1F366FD4F Time : 0.0 sec. user=mdettweiler [2015-04-01 06:19:12] 957*2^1396622-1 is not prime. Res64: 1F9E3B94F5D1D875 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:19:13] 981*2^1396622-1 is not prime. Res64: A23BB42978B48ED2 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:22:51] 619*2^1396623-1 is not prime. Res64: 8CDF40F5513F81CF Time : 0.0 sec. user=mdettweiler [2015-04-01 06:22:51] 621*2^1396623-1 is not prime. Res64: 86DF86272A8B3673 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:43:03] 705*2^1396623-1 is not prime. Res64: 6A3CB88BA04E15A7 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:43:04] 735*2^1396623-1 is not prime. Res64: 63359AAF018DF723 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:44:24] 805*2^1396623-1 is not prime. Res64: A8A9D6EF70AA5622 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:44:25] 861*2^1396623-1 is not prime. Res64: CCA54D4A05371836 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:45:43] 955*2^1396623-1 is not prime. Res64: 1C6B9D1D24864F22 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:45:44] 963*2^1396623-1 is not prime. Res64: 75DA6BD0F8BF4FB2 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:49:17] 629*2^1396624-1 is not prime. Res64: 9976E9B2972C8B36 Time : 0.0 sec. user=mdettweiler [2015-04-01 06:49:18] 759*2^1396624-1 is not prime. Res64: C394B5666707BD91 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:09:30] 833*2^1396624-1 is not prime. Res64: 5DF851CB9D4F6FF3 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:09:31] 863*2^1396624-1 is not prime. Res64: FC84359324FA8196 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:10:47] 657*2^1396625-1 is not prime. Res64: 99AF479B3C096960 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:10:47] 699*2^1396625-1 is not prime. Res64: 041B3D8B0C756567 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:12:04] 735*2^1396625-1 is not prime. Res64: BB28C113E424F10C Time : 0.0 sec. user=mdettweiler [2015-04-01 07:12:05] 771*2^1396625-1 is not prime. Res64: EE2414A372F88E53 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:15:46] 777*2^1396625-1 is not prime. Res64: F2DF7A001A3BA906 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:15:46] 795*2^1396625-1 is not prime. Res64: 267583E47A9A9ADF Time : 0.0 sec. user=juhehe [2015-04-01 07:18:51] 897*2^1396624-1 is not prime. Res64: B355E2181E10D733 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:36:03] 837*2^1396625-1 is not prime. Res64: 4F5739AFA61B0FEE Time : 0.0 sec. user=mdettweiler [2015-04-01 07:36:04] 985*2^1396625-1 is not prime. Res64: 7A6D49386A7DFEC3 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:37:11] 611*2^1396626-1 is not prime. Res64: 0B66890552C4DD62 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:37:11] 777*2^1396626-1 is not prime. Res64: C91A3CFCB0E0DCF6 Time : 0.0 sec. user=mdettweiler [2015-04-01 07:38:28] 933*2^1396626-1 is not prime. Res64: D9C689E001BCF69C Time : 0.0 sec. user=mdettweiler [2015-04-01 07:38:28] 639*2^1396627-1 is not prime. Res64: 29CF2C8493646F9D Time : 0.0 sec. user=mdettweiler [2015-04-01 07:42:08] 703*2^1396627-1 is not prime. Res64: A095BDF5522484EC Time : 0.0 sec. user=mdettweiler [2015-04-01 07:42:09] 741*2^1396627-1 is not prime. Res64: 885A90678866AA34 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:02:24] 765*2^1396627-1 is not prime. Res64: BB26DBE84FDF799E Time : 0.0 sec. user=mdettweiler [2015-04-01 08:02:26] 793*2^1396627-1 is not prime. Res64: E2C6D497A8AB1C76 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:03:36] 829*2^1396627-1 is not prime. Res64: 1A74CA5D4E91DAE9 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:03:37] 835*2^1396627-1 is not prime. Res64: DD09E7673656A224 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:04:58] 885*2^1396627-1 is not prime. Res64: 0B1151E4AFEDA6CE Time : 0.0 sec. user=mdettweiler [2015-04-01 08:05:00] 891*2^1396627-1 is not prime. Res64: 3E83A4D551C4EC1E Time : 0.0 sec. user=mdettweiler [2015-04-01 08:08:44] 915*2^1396627-1 is not prime. Res64: 2AAF06ED111203E9 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:08:44] 633*2^1396628-1 is not prime. Res64: C195115551893DF5 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:29:06] 647*2^1396628-1 is not prime. Res64: EDEAA024B72BF1AC Time : 0.0 sec. user=mdettweiler [2015-04-01 08:29:06] 665*2^1396628-1 is not prime. Res64: ED745C142FEA9A3D Time : 0.0 sec. user=mdettweiler [2015-04-01 08:30:09] 825*2^1396628-1 is not prime. Res64: 413753243E0E45A0 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:30:10] 655*2^1396629-1 is not prime. Res64: F6F191C55CCB40C3 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:31:33] 661*2^1396629-1 is not prime. Res64: 24CC8CF697EBB847 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:31:33] 781*2^1396629-1 is not prime. Res64: C8E3C7A7F15F9C9C Time : 0.0 sec. user=mdettweiler [2015-04-01 08:35:22] 885*2^1396629-1 is not prime. Res64: 576A640AA66B09F1 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:35:23] 891*2^1396629-1 is not prime. Res64: 083E53E36A8D054E Time : 0.0 sec. user=mdettweiler [2015-04-01 08:55:31] 831*2^1396630-1 is not prime. Res64: AAB5693C3760C8FE Time : 0.0 sec. user=mdettweiler [2015-04-01 08:55:31] 857*2^1396630-1 is not prime. Res64: 1447EF7791A4E62B Time : 0.0 sec. user=mdettweiler [2015-04-01 08:56:36] 873*2^1396630-1 is not prime. Res64: 7DCE77331D0FE0EF Time : 0.0 sec. user=mdettweiler [2015-04-01 08:56:37] 951*2^1396630-1 is not prime. Res64: E5330DBAA147E4D7 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:57:53] 971*2^1396630-1 is not prime. Res64: E5582FD13B3A8886 Time : 0.0 sec. user=mdettweiler [2015-04-01 08:57:54] 661*2^1396631-1 is not prime. Res64: 28BF48F1D7E61262 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:01:52] 841*2^1396631-1 is not prime. Res64: 8F5C9246128F7E4F Time : 0.0 sec. user=mdettweiler [2015-04-01 09:01:53] 895*2^1396631-1 is not prime. Res64: 8116FF4822E2DBC4 Time : 0.0 sec. user=juhehe [2015-04-01 09:04:42] 961*2^1396629-1 is not prime. Res64: 1A590C70099B6D67 Time : 0.0 sec. user=juhehe [2015-04-01 09:20:59] 993*2^1396631-1 is not prime. Res64: 7B4C96EDF700A989 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:22:09] 623*2^1396632-1 is not prime. Res64: 7DE4C1FB454B4087 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:22:09] 719*2^1396632-1 is not prime. Res64: EB971E4CD839B379 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:22:59] 615*2^1396633-1 is not prime. Res64: 76655555261B8303 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:22:59] 651*2^1396633-1 is not prime. Res64: CD2932BA0974BEEB Time : 0.0 sec. user=mdettweiler [2015-04-01 09:24:08] 715*2^1396633-1 is not prime. Res64: 6F9AE51C7AA0A1A6 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:24:08] 741*2^1396633-1 is not prime. Res64: 0B633DD0F67C34E1 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:28:22] 789*2^1396633-1 is not prime. Res64: C992E636DB1B1778 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:28:22] 801*2^1396633-1 is not prime. Res64: 7A6EB7402155AA3F Time : 0.0 sec. user=mdettweiler [2015-04-01 09:48:31] 677*2^1396634-1 is not prime. Res64: 7E0F18F2A4B7A298 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:48:31] 785*2^1396634-1 is not prime. Res64: A0D3E4483741C839 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:49:31] 903*2^1396634-1 is not prime. Res64: A8F4E7E2DB4C2583 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:49:31] 669*2^1396635-1 is not prime. Res64: 5DD81AA5A1158B5C Time : 0.0 sec. user=mdettweiler [2015-04-01 09:50:35] 709*2^1396635-1 is not prime. Res64: 140D0D45E792CC85 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:50:36] 781*2^1396635-1 is not prime. Res64: 9FF26ACD251B5BB4 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:54:46] 783*2^1396635-1 is not prime. Res64: C8084B3D36B2E758 Time : 0.0 sec. user=mdettweiler [2015-04-01 09:54:46] 853*2^1396635-1 is not prime. Res64: 68FE33D15834E937 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:15:03] 919*2^1396635-1 is not prime. Res64: 39BAEEC760D19A2A Time : 0.0 sec. user=mdettweiler [2015-04-01 10:15:04] 689*2^1396636-1 is not prime. Res64: 7EC87DE1ECA29E7F Time : 0.0 sec. user=mdettweiler [2015-04-01 10:15:46] 693*2^1396636-1 is not prime. Res64: C366282D70D02E14 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:15:46] 717*2^1396636-1 is not prime. Res64: 74ECE26BEEBA72B3 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:16:51] 755*2^1396636-1 is not prime. Res64: 36BDB83993E55F3C Time : 0.0 sec. user=mdettweiler [2015-04-01 10:16:52] 975*2^1396636-1 is not prime. Res64: ACB7222B6F7B0CEE Time : 0.0 sec. user=juhehe [2015-04-01 10:18:32] 861*2^1396635-1 is not prime. Res64: 6A83F49FFF642E5B Time : 0.0 sec. user=mdettweiler [2015-04-01 10:21:05] 685*2^1396637-1 is not prime. Res64: 67B1EA6444DF99B0 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:21:05] 717*2^1396637-1 is not prime. Res64: 4734944DB3AC9304 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:41:20] 885*2^1396637-1 is not prime. Res64: 8FE9312A2EC3FCA9 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:41:20] 939*2^1396637-1 is not prime. Res64: D6005BCCD5AB24F9 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:42:19] 955*2^1396637-1 is not prime. Res64: 752D94343E6A55ED Time : 0.0 sec. user=mdettweiler [2015-04-01 10:42:19] 985*2^1396637-1 is not prime. Res64: E463A0D8F9BBA1EA Time : 0.0 sec. user=mdettweiler [2015-04-01 10:43:11] 615*2^1396638-1 is not prime. Res64: 11353717B0CF3619 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:43:11] 641*2^1396638-1 is not prime. Res64: 4C9DA0F849B90DC2 Time : 0.0 sec. user=mdettweiler [2015-04-01 10:47:21] 773*2^1396638-1 is not prime. Res64: E171F429CB87FB5D Time : 0.0 sec. user=mdettweiler [2015-04-01 10:47:21] 815*2^1396638-1 is not prime. Res64: 0C82844FCB0DCA4C Time : 0.0 sec. user=mdettweiler [2015-04-01 11:07:41] 891*2^1396638-1 is not prime. Res64: 5670608FD68F60D8 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:07:41] 941*2^1396638-1 is not prime. Res64: CDE7CB96ED43929A Time : 0.0 sec. user=mdettweiler [2015-04-01 11:08:38] 971*2^1396638-1 is not prime. Res64: D23EC60F70D2FC63 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:08:38] 661*2^1396639-1 is not prime. Res64: C9B0A4079EB9B4D4 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:09:33] 663*2^1396639-1 is not prime. Res64: DDDDD596E044DC65 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:09:34] 735*2^1396639-1 is not prime. Res64: D2CCF33571EF7F41 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:13:40] 859*2^1396639-1 is not prime. Res64: F04B68E61509E2AC Time : 0.0 sec. user=mdettweiler [2015-04-01 11:13:40] 951*2^1396639-1 is not prime. Res64: EA1F3D12BDF0A450 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:32:27] 909*2^1396640-1 is not prime. Res64: E3E075ACA3246870 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:32:27] 627*2^1396641-1 is not prime. Res64: 1F4C6A107F3DDAA0 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:33:08] 745*2^1396641-1 is not prime. Res64: D1267B7FF147BE3C Time : 0.0 sec. user=mdettweiler [2015-04-01 11:33:09] 805*2^1396641-1 is not prime. Res64: 2C87D98F71B50071 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:34:04] 849*2^1396641-1 is not prime. Res64: 89264AF56FF79F33 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:34:05] 909*2^1396641-1 is not prime. Res64: DCD4DA77448BD326 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:38:15] 955*2^1396641-1 is not prime. Res64: ED60A1E171716C23 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:38:16] 647*2^1396642-1 is not prime. Res64: 8568DB3BD7022FBB Time : 0.0 sec. user=mdettweiler [2015-04-01 11:58:56] 891*2^1396642-1 is not prime. Res64: B167F93A7A0B0626 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:58:57] 951*2^1396642-1 is not prime. Res64: B7C220DF95D249C5 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:59:24] 631*2^1396643-1 is not prime. Res64: F9CD9CED7BA5A280 Time : 0.0 sec. user=mdettweiler [2015-04-01 11:59:25] 633*2^1396643-1 is not prime. Res64: 56E4A05D800491C4 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:00:32] 663*2^1396643-1 is not prime. Res64: 4B46B70A816DE1A5 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:00:34] 693*2^1396643-1 is not prime. Res64: 9EBC36C47C66D300 Time : 0.0 sec. user=juhehe [2015-04-01 12:02:18] 675*2^1396642-1 is not prime. Res64: CC13EF87733EE405 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:04:36] 775*2^1396643-1 is not prime. Res64: 1EFB67CDEEC61CF9 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:04:37] 859*2^1396643-1 is not prime. Res64: F80D09FF537D9CAC Time : 0.0 sec. user=mdettweiler [2015-04-01 12:25:13] 609*2^1396644-1 is not prime. Res64: 57749BBCC4C1FB11 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:25:13] 707*2^1396644-1 is not prime. Res64: 1ED7841FEFD11CD1 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:25:52] 737*2^1396644-1 is not prime. Res64: 18801997EC552CF3 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:25:52] 749*2^1396644-1 is not prime. Res64: 7E74659C2DABAE86 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:26:48] 783*2^1396644-1 is not prime. Res64: 74057BF8BB2D35FE Time : 0.0 sec. user=mdettweiler [2015-04-01 12:26:49] 843*2^1396644-1 is not prime. Res64: FCD25D0BD9B833E5 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:31:20] 857*2^1396644-1 is not prime. Res64: D4BE5F0410A2D67E Time : 0.0 sec. user=mdettweiler [2015-04-01 12:31:21] 887*2^1396644-1 is not prime. Res64: 7A20671D97159DDB Time : 0.0 sec. user=mdettweiler [2015-04-01 12:51:39] 927*2^1396644-1 is not prime. Res64: 53210E30C904F377 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:51:39] 929*2^1396644-1 is not prime. Res64: 2E01F6C7DEDB9C70 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:52:33] 601*2^1396645-1 is not prime. Res64: 302B9AD400FAEA1B Time : 0.0 sec. user=mdettweiler [2015-04-01 12:52:33] 715*2^1396645-1 is not prime. Res64: 48D4DBE26EDDB8DD Time : 0.0 sec. user=mdettweiler [2015-04-01 12:53:16] 717*2^1396645-1 is not prime. Res64: BFE92EB6E8783C0D Time : 0.0 sec. user=mdettweiler [2015-04-01 12:53:16] 811*2^1396645-1 is not prime. Res64: 2ABDB2402C152A91 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:57:46] 855*2^1396645-1 is not prime. Res64: 64B77B74F71FEB99 Time : 0.0 sec. user=mdettweiler [2015-04-01 12:57:47] 867*2^1396645-1 is not prime. Res64: 52DB8AC298AF467F Time : 0.0 sec. user=mdettweiler [2015-04-01 13:19:01] 915*2^1396645-1 is not prime. Res64: 0E1AB89A77676D2A Time : 0.0 sec. user=mdettweiler [2015-04-01 13:19:01] 955*2^1396645-1 is not prime. Res64: 0E147F37B9C46EFA Time : 0.0 sec. user=mdettweiler [2015-04-01 13:20:01] 979*2^1396645-1 is not prime. Res64: FE3700B167DEC560 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:20:01] 645*2^1396646-1 is not prime. Res64: 07CC4DF58BBADEC0 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:20:28] 945*2^1396646-1 is not prime. Res64: C3933CF1EC29B2A9 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:20:28] 615*2^1396647-1 is not prime. Res64: D65C44B0499E7AE6 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:25:18] 649*2^1396647-1 is not prime. Res64: 18B9A76E68DD539F Time : 0.0 sec. user=mdettweiler [2015-04-01 13:25:18] 711*2^1396647-1 is not prime. Res64: 0725DD1FCB0F453C Time : 0.0 sec. user=mdettweiler [2015-04-01 13:52:11] 913*2^1396647-1 is not prime. Res64: DD01206567109AA0 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:52:11] 629*2^1396648-1 is not prime. Res64: 24125A57734114B1 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:52:46] 747*2^1396648-1 is not prime. Res64: EC4A78DE37DA685A Time : 0.0 sec. user=mdettweiler [2015-04-01 13:52:47] 755*2^1396648-1 is not prime. Res64: 147E780BD48F5171 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:52:55] 687*2^1396648-1 is not prime. Res64: C0EF4EFA5C466643 Time : 0.0 sec. user=mdettweiler [2015-04-01 13:52:56] 723*2^1396648-1 is not prime. Res64: D519B392FFBF45D6 Time : 0.0 sec. user=juhehe [2015-04-01 13:54:01] 909*2^1396647-1 is not prime. Res64: 43C3402FE88F884F Time : 0.0 sec. user=mdettweiler [2015-04-01 13:58:05] 855*2^1396648-1 is not prime. Res64: 1468B883FE183FBD Time : 0.0 sec. user=mdettweiler [2015-04-01 13:58:06] 887*2^1396648-1 is not prime. Res64: E20066878F174DB0 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:20:25] 657*2^1396649-1 is not prime. Res64: 87FEF201DE6037E5 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:20:25] 691*2^1396649-1 is not prime. Res64: 6798755186B2B005 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:21:02] 889*2^1396649-1 is not prime. Res64: 18BD506D327B6AE6 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:21:02] 665*2^1396650-1 is not prime. Res64: 06BE1D31A974715F Time : 0.0 sec. user=mdettweiler [2015-04-01 14:21:35] 787*2^1396649-1 is not prime. Res64: E63194F6A30A7EA8 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:21:36] 885*2^1396649-1 is not prime. Res64: EC1F7FF2D12E01C5 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:25:21] 735*2^1396650-1 is not prime. Res64: 5A3097A1F8BF446D Time : 0.0 sec. user=mdettweiler [2015-04-01 14:25:21] 777*2^1396650-1 is not prime. Res64: EDC5AE826E42AD8E Time : 0.0 sec. user=mdettweiler [2015-04-01 14:47:50] 851*2^1396650-1 is not prime. Res64: 055FDC5FB5595F49 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:47:51] 933*2^1396650-1 is not prime. Res64: 61043712D1F82117 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:48:16] 945*2^1396650-1 is not prime. Res64: 028035259637344A Time : 0.0 sec. user=mdettweiler [2015-04-01 14:48:17] 951*2^1396650-1 is not prime. Res64: E0CF91E65E7F701E Time : 0.0 sec. user=mdettweiler [2015-04-01 14:48:44] 619*2^1396651-1 is not prime. Res64: 461415EFE2AEE821 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:48:44] 709*2^1396651-1 is not prime. Res64: C30F3E6258D6A6DB Time : 0.0 sec. user=mdettweiler [2015-04-01 14:52:34] 751*2^1396651-1 is not prime. Res64: 2A7FA664DF4C3331 Time : 0.0 sec. user=mdettweiler [2015-04-01 14:52:35] 759*2^1396651-1 is not prime. Res64: BF31DAB79D190236 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:15:51] 939*2^1396651-1 is not prime. Res64: EDD78C56FE534DE3 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:15:52] 999*2^1396651-1 is not prime. Res64: D4B11E852286E2DF Time : 0.0 sec. user=mdettweiler [2015-04-01 15:16:10] 615*2^1396652-1 is not prime. Res64: 8EF2BDD0A56C0746 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:16:11] 777*2^1396652-1 is not prime. Res64: E816887F9F848C76 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:16:53] 897*2^1396652-1 is not prime. Res64: FD35A2AA2A5C4139 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:16:54] 935*2^1396652-1 is not prime. Res64: DC47D988C7ABE54B Time : 0.0 sec. user=mdettweiler [2015-04-01 15:21:07] 625*2^1396653-1 is not prime. Res64: 6868221FEC93C23A Time : 0.0 sec. user=mdettweiler [2015-04-01 15:21:07] 649*2^1396653-1 is not prime. Res64: DB3DE59FBF6BC2CD Time : 0.0 sec. user=mdettweiler [2015-04-01 15:46:16] 895*2^1396653-1 is not prime. Res64: 4777978D386F1208 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:46:16] 927*2^1396653-1 is not prime. Res64: 7253A2FFE497B53B Time : 0.0 sec. user=mdettweiler [2015-04-01 15:46:38] 937*2^1396653-1 is not prime. Res64: A1616D5F42B8C440 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:46:38] 945*2^1396653-1 is not prime. Res64: 2F3BB2CD64624CAF Time : 0.0 sec. user=mdettweiler [2015-04-01 15:47:10] 671*2^1396654-1 is not prime. Res64: 21100EC7569E1B73 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:47:11] 827*2^1396654-1 is not prime. Res64: F2506787ABF5F202 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:51:08] 863*2^1396654-1 is not prime. Res64: 75E17C0EBA2AB7C5 Time : 0.0 sec. user=mdettweiler [2015-04-01 15:51:08] 951*2^1396654-1 is not prime. Res64: 8B73831FF63ED753 Time : 0.0 sec. user=juhehe [2015-04-01 16:12:23] 609*2^1396655-1 is not prime. Res64: 97B50D501A150489 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:14:54] 865*2^1396655-1 is not prime. Res64: 1FDDC3A4BB4AC750 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:14:54] 969*2^1396655-1 is not prime. Res64: 9C33BE66DE244937 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:15:09] 973*2^1396655-1 is not prime. Res64: 2539AB41F8082412 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:15:10] 999*2^1396655-1 is not prime. Res64: 5083C8E81D310C82 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:15:40] 669*2^1396656-1 is not prime. Res64: 36059A282039F92D Time : 0.0 sec. user=mdettweiler [2015-04-01 16:15:40] 693*2^1396656-1 is not prime. Res64: 7B4C6CC5E83C84B2 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:19:39] 695*2^1396656-1 is not prime. Res64: A1A2CA34138CE633 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:19:40] 705*2^1396656-1 is not prime. Res64: D5A72494BA9A4972 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:43:36] 903*2^1396656-1 is not prime. Res64: ACE3C10276B69285 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:43:36] 923*2^1396656-1 is not prime. Res64: 4996EA44CEFDDC02 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:43:44] 687*2^1396657-1 is not prime. Res64: 2CC41961BB98D4A4 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:43:44] 771*2^1396657-1 is not prime. Res64: 21CFD345F4BC142A Time : 0.0 sec. user=mdettweiler [2015-04-01 16:44:14] 841*2^1396657-1 is not prime. Res64: 427FC5C93AE6F971 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:44:15] 847*2^1396657-1 is not prime. Res64: 191CECF2325A66F0 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:48:17] 945*2^1396657-1 is not prime. Res64: B7BB36B0483B9A06 Time : 0.0 sec. user=mdettweiler [2015-04-01 16:48:18] 967*2^1396657-1 is not prime. Res64: 9680EBF987F48CF4 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:15:32] 985*2^1396657-1 is not prime. Res64: 3946EB91FB2FEF1B Time : 0.0 sec. user=mdettweiler [2015-04-01 17:15:32] 671*2^1396658-1 is not prime. Res64: B92C664BDCD3D389 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:15:56] 713*2^1396658-1 is not prime. Res64: B07FC21518489E9E Time : 0.0 sec. user=mdettweiler [2015-04-01 17:15:56] 885*2^1396658-1 is not prime. Res64: A2B77CD321F918B7 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:16:26] 609*2^1396659-1 is not prime. Res64: 54F04AE1FF634A10 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:16:26] 613*2^1396659-1 is not prime. Res64: 0AACF2140F06853A Time : 0.0 sec. user=mdettweiler [2015-04-01 17:20:16] 685*2^1396659-1 is not prime. Res64: B113D17E8E3F0F9B Time : 0.0 sec. user=mdettweiler [2015-04-01 17:20:17] 703*2^1396659-1 is not prime. Res64: 84F0A90C2BD27492 Time : 0.0 sec. user=juhehe [2015-04-01 17:26:31] 793*2^1396659-1 is not prime. Res64: 40391765BEAF0D5E Time : 0.0 sec. user=mdettweiler [2015-04-01 17:42:33] 801*2^1396659-1 is not prime. Res64: E3A8B3B0CF2DBB99 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:42:33] 823*2^1396659-1 is not prime. Res64: F40C584C6401D1A6 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:42:50] 895*2^1396659-1 is not prime. Res64: 5783EE3E971AF902 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:42:50] 909*2^1396659-1 is not prime. Res64: 0A575815D419844E Time : 0.0 sec. user=mdettweiler [2015-04-01 17:43:25] 973*2^1396659-1 is not prime. Res64: 0CB06FB54880C2B8 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:43:25] 975*2^1396659-1 is not prime. Res64: 250063330CC0667F Time : 0.0 sec. user=mdettweiler [2015-04-01 17:47:07] 999*2^1396659-1 is not prime. Res64: 21E2288935B80A86 Time : 0.0 sec. user=mdettweiler [2015-04-01 17:47:08] 675*2^1396660-1 is not prime. Res64: A2DA5F74BB54A764 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:09:19] 687*2^1396660-1 is not prime. Res64: 9D6EF23C3368B5EE Time : 0.0 sec. user=mdettweiler [2015-04-01 18:09:19] 797*2^1396660-1 is not prime. Res64: 4B8A3C5EC9037DA7 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:09:34] 897*2^1396660-1 is not prime. Res64: 346C42EC9F0F08E7 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:09:34] 959*2^1396660-1 is not prime. Res64: 115C4F60F2B51E3C Time : 0.0 sec. user=mdettweiler [2015-04-01 18:10:14] 989*2^1396660-1 is not prime. Res64: D643D1975AD9F823 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:10:14] 619*2^1396661-1 is not prime. Res64: 5C571A3EFBD6A62F Time : 0.0 sec. user=mdettweiler [2015-04-01 18:13:54] 631*2^1396661-1 is not prime. Res64: 7A4088297A82F6A7 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:13:55] 727*2^1396661-1 is not prime. Res64: CD21D104D3167FA9 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:36:09] 735*2^1396661-1 is not prime. Res64: 53016C89F53E0CA0 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:36:09] 741*2^1396661-1 is not prime. Res64: 80A49533401C939B Time : 0.0 sec. user=mdettweiler [2015-04-01 18:36:14] 769*2^1396661-1 is not prime. Res64: 3C2A30BA7E8F0A9A Time : 0.0 sec. user=mdettweiler [2015-04-01 18:36:14] 861*2^1396661-1 is not prime. Res64: EADD4242EC3D74F0 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:37:15] 937*2^1396661-1 is not prime. Res64: 82AA6E213197E48A Time : 0.0 sec. user=mdettweiler [2015-04-01 18:37:16] 987*2^1396661-1 is not prime. Res64: D3002360BF25F62E Time : 0.0 sec. user=mdettweiler [2015-04-01 18:40:42] 627*2^1396662-1 is not prime. Res64: 0ABA290D50B3DC78 Time : 0.0 sec. user=mdettweiler [2015-04-01 18:40:43] 683*2^1396662-1 is not prime. Res64: 3CD488665AB96FAA Time : 0.0 sec. user=mdettweiler [2015-04-01 19:03:26] 713*2^1396662-1 is not prime. Res64: B504C4A5C4D4F67C Time : 0.0 sec. user=mdettweiler [2015-04-01 19:03:27] 723*2^1396662-1 is not prime. Res64: E4D14FACA3824107 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:03:38] 741*2^1396662-1 is not prime. Res64: E816FA976F57D063 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:03:39] 747*2^1396662-1 is not prime. Res64: 059620B5B614BD97 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:04:35] 891*2^1396662-1 is not prime. Res64: 9580894DA0C3EB07 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:04:37] 903*2^1396662-1 is not prime. Res64: 1ED9D2A63F8957D8 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:07:46] 941*2^1396662-1 is not prime. Res64: EE317ED2EEECB6C2 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:07:46] 951*2^1396662-1 is not prime. Res64: A00B68AD9774E8B3 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:30:22] 685*2^1396663-1 is not prime. Res64: C4C81D95CC973173 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:30:23] 709*2^1396663-1 is not prime. Res64: F40D3F20AB507FD2 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:30:31] 625*2^1396663-1 is not prime. Res64: 69BC1EEA41FBCAC2 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:30:32] 633*2^1396663-1 is not prime. Res64: 336C0003C67A9E6E Time : 0.0 sec. user=mdettweiler [2015-04-01 19:31:30] 961*2^1396663-1 is not prime. Res64: 683A1D1E23395592 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:31:30] 999*2^1396663-1 is not prime. Res64: 5BBA9B1932F677E1 Time : 0.0 sec. user=juhehe [2015-04-01 19:33:58] 609*2^1396663-1 is not prime. Res64: CD20DD10D9EDB735 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:34:41] 615*2^1396664-1 is not prime. Res64: ED5BE0159C09A2C8 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:34:42] 665*2^1396664-1 is not prime. Res64: 848B2C2314570DE5 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:57:18] 677*2^1396664-1 is not prime. Res64: D20EE8EACD76E529 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:57:19] 725*2^1396664-1 is not prime. Res64: 713FE474F5A5941A Time : 0.0 sec. user=mdettweiler [2015-04-01 19:57:28] 893*2^1396664-1 is not prime. Res64: 90B4B9972EF0E873 Time : 0.0 sec. user=mdettweiler [2015-04-01 19:57:29] 899*2^1396664-1 is not prime. Res64: CCE78B05F2C4B2EF Time : 0.0 sec. user=mdettweiler [2015-04-01 19:58:24] 639*2^1396665-1 is not prime. Res64: 17A750E829AA6C7E Time : 0.0 sec. user=mdettweiler [2015-04-01 19:58:24] 657*2^1396665-1 is not prime. Res64: 8C2E50D7B125CEFD Time : 0.0 sec. user=mdettweiler [2015-04-01 20:01:32] 667*2^1396665-1 is not prime. Res64: 8D809B369C47AECB Time : 0.0 sec. user=mdettweiler [2015-04-01 20:01:33] 765*2^1396665-1 is not prime. Res64: 97E7F68B421E9228 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:24:30] 937*2^1396665-1 is not prime. Res64: 44E4945ACE92DB21 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:24:31] 657*2^1396666-1 is not prime. Res64: 6E6429AA72AD95A1 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:24:37] 663*2^1396666-1 is not prime. Res64: AD673524C6B21F08 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:24:38] 675*2^1396666-1 is not prime. Res64: F5A14CD2D9904AF3 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:25:56] 701*2^1396666-1 is not prime. Res64: 3670ECE0921F48B5 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:25:56] 741*2^1396666-1 is not prime. Res64: BAE4EA03BE35E4AE Time : 0.0 sec. user=mdettweiler [2015-04-01 20:29:18] 773*2^1396666-1 is not prime. Res64: 3DD565B7D97A7532 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:29:19] 923*2^1396666-1 is not prime. Res64: FF92E733BAE78FF0 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:51:54] 983*2^1396666-1 is not prime. Res64: 869C31A6AEB12EE4 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:51:54] 1001*2^1396666-1 is not prime. Res64: B8418AA4B0578BDE Time : 0.0 sec. user=mdettweiler [2015-04-01 20:52:49] 601*2^1396667-1 is not prime. Res64: E97D084AE6393217 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:52:50] 609*2^1396667-1 is not prime. Res64: C701AF370F2E52D2 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:53:37] 685*2^1396667-1 is not prime. Res64: D589646DF3AAB1D2 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:53:37] 985*2^1396667-1 is not prime. Res64: B0164B516FFF0965 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:57:12] 665*2^1396668-1 is not prime. Res64: A5E0D12F9964CBA3 Time : 0.0 sec. user=mdettweiler [2015-04-01 20:57:12] 707*2^1396668-1 is not prime. Res64: A78A27E329A4EDF2 Time : 0.0 sec. user=juhehe [2015-04-01 21:13:43] 837*2^1396668-1 is not prime. Res64: 32861A66360F8A28 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:19:14] 915*2^1396668-1 is not prime. Res64: D7BCB59DB33762DB Time : 0.0 sec. user=mdettweiler [2015-04-01 21:19:14] 615*2^1396669-1 is not prime. Res64: 6C406612123A9127 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:20:03] 619*2^1396669-1 is not prime. Res64: E4346BFE115E6E91 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:20:04] 687*2^1396669-1 is not prime. Res64: 7CEC0C57E10F2FB7 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:20:50] 729*2^1396669-1 is not prime. Res64: B62C3A9AAB477347 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:20:50] 615*2^1396670-1 is not prime. Res64: 51F9AC4F7AC169BF Time : 0.0 sec. user=mdettweiler [2015-04-01 21:24:48] 845*2^1396670-1 is not prime. Res64: 85776CCB79977B65 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:24:48] 917*2^1396670-1 is not prime. Res64: 6DE9930C322E3EC1 Time : 0.0 sec. user=juhehe [2015-04-01 21:30:33] 665*2^1396670-1 is not prime. Res64: 8C1F6A9CD523C776 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:46:50] 945*2^1396670-1 is not prime. Res64: 60DA5C60C41EFC82 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:46:50] 987*2^1396670-1 is not prime. Res64: 765C31162B30003F Time : 0.0 sec. user=mdettweiler [2015-04-01 21:47:30] 669*2^1396671-1 is not prime. Res64: CD3F21A128992FDB Time : 0.0 sec. user=mdettweiler [2015-04-01 21:47:31] 723*2^1396671-1 is not prime. Res64: 328265C339CD789C Time : 0.0 sec. user=mdettweiler [2015-04-01 21:48:18] 745*2^1396671-1 is not prime. Res64: C424F736C34747B3 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:48:18] 829*2^1396671-1 is not prime. Res64: 82075709289692BC Time : 0.0 sec. user=mdettweiler [2015-04-01 21:52:15] 873*2^1396671-1 is not prime. Res64: 664EB00D53BBD221 Time : 0.0 sec. user=mdettweiler [2015-04-01 21:52:16] 933*2^1396671-1 is not prime. Res64: FB4DDC9091866AB0 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:13:35] 635*2^1396672-1 is not prime. Res64: 460FA3FBAE0EA6AE Time : 0.0 sec. user=mdettweiler [2015-04-01 22:13:36] 819*2^1396672-1 is not prime. Res64: 4E1677D3EE1DB0AE Time : 0.0 sec. user=mdettweiler [2015-04-01 22:14:22] 825*2^1396672-1 is not prime. Res64: 6788B8C503E5C37C Time : 0.0 sec. user=mdettweiler [2015-04-01 22:14:22] 827*2^1396672-1 is not prime. Res64: 0EAC65CEED5D6BA5 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:15:07] 887*2^1396672-1 is not prime. Res64: 12BDE41C42F14A56 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:15:08] 959*2^1396672-1 is not prime. Res64: DAEAD8081021DA34 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:18:58] 699*2^1396673-1 is not prime. Res64: 9AA9C42817ACD5A3 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:18:58] 829*2^1396673-1 is not prime. Res64: 7FCAED5843E422DA Time : 0.0 sec. user=juhehe [2015-04-01 22:38:43] 885*2^1396673-1 is not prime. Res64: 920E6629CB3CFDDA Time : 0.0 sec. user=mdettweiler [2015-04-01 22:40:20] 981*2^1396673-1 is not prime. Res64: 42F8481094265C9E Time : 0.0 sec. user=mdettweiler [2015-04-01 22:40:20] 621*2^1396674-1 is not prime. Res64: 15807F8F7617A851 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:40:58] 695*2^1396674-1 is not prime. Res64: 132BF85C493AC8B4 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:40:58] 705*2^1396674-1 is not prime. Res64: F4733F800D540943 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:41:49] 711*2^1396674-1 is not prime. Res64: 511C25D28338AD85 Time : 0.0 sec. user=mdettweiler [2015-04-01 22:41:49] 725*2^1396674-1 is not prime. Res64: 8C100D7D758D90AB Time : 0.0 sec. user=mdettweiler [2015-04-01 22:45:24] 893*2^1396674-1 is not prime. Res64: 6E728269B1B0156C Time : 0.0 sec. user=mdettweiler [2015-04-01 22:45:24] 905*2^1396674-1 is not prime. Res64: 1B7A084656A43625 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:06:59] 917*2^1396674-1 is not prime. Res64: EA49792E69B9E3C7 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:06:59] 957*2^1396674-1 is not prime. Res64: 012932F1E17B7B93 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:07:27] 625*2^1396675-1 is not prime. Res64: 248B7A7EE171D6FD Time : 0.0 sec. user=mdettweiler [2015-04-01 23:07:27] 649*2^1396675-1 is not prime. Res64: E6DF7F02DB1F171A Time : 0.0 sec. user=mdettweiler [2015-04-01 23:08:20] 735*2^1396675-1 is not prime. Res64: F5AA300541DD12E2 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:08:20] 765*2^1396675-1 is not prime. Res64: EC67291206C5228E Time : 0.0 sec. user=mdettweiler [2015-04-01 23:11:50] 775*2^1396675-1 is not prime. Res64: 9DB2D8F55D9213F5 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:11:50] 861*2^1396675-1 is not prime. Res64: 936EC583EC90D664 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:33:35] 909*2^1396675-1 is not prime. Res64: 5C7F9910029BC86A Time : 0.0 sec. user=mdettweiler [2015-04-01 23:33:35] 633*2^1396676-1 is not prime. Res64: CF2C482630419C47 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:33:56] 669*2^1396676-1 is not prime. Res64: 78B0D1FFA91CB2C6 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:33:56] 735*2^1396676-1 is not prime. Res64: 8C4E564AF6AA48BB Time : 0.0 sec. user=mdettweiler [2015-04-01 23:34:55] 759*2^1396676-1 is not prime. Res64: 955FF02AF0DC58A5 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:34:56] 869*2^1396676-1 is not prime. Res64: 04E83B61239FEBF3 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:38:46] 655*2^1396677-1 is not prime. Res64: 282254A5673ED647 Time : 0.0 sec. user=mdettweiler [2015-04-01 23:38:47] 685*2^1396677-1 is not prime. Res64: 42A492B69365FFD3 Time : 0.0 sec. user=mdettweiler [2015-04-02 00:00:41] 835*2^1396677-1 is not prime. Res64: 8C921535C1BBE71E Time : 0.0 sec. user=mdettweiler [2015-04-02 00:00:41] 885*2^1396677-1 is not prime. Res64: AE288328DA37EEEE Time : 0.0 sec. user=mdettweiler [2015-04-02 00:00:56] 895*2^1396677-1 is not prime. Res64: 4A675D4042AC45B8 Time : 0.0 sec. user=mdettweiler [2015-04-02 00:00:57] 937*2^1396677-1 is not prime. Res64: F0C49026A615654A Time : 0.0 sec.