user=mdettweiler [2012-11-01 00:02:34] 615*2^1233436-1 is not prime. Res64: CFF5E9139C3D08EE Time : 0.0 sec. user=mdettweiler [2012-11-01 00:02:35] 639*2^1233436-1 is not prime. Res64: D7BDEB7DB84997DB Time : 0.0 sec. user=vaughan [2012-11-01 00:17:14] 985*2^1233435-1 is not prime. Res64: 2E6A39370B25C0DF Time : 0.0 sec. user=mdettweiler [2012-11-01 00:19:28] 743*2^1233436-1 is not prime. Res64: 9A62F1639A9209FD Time : 0.0 sec. user=mdettweiler [2012-11-01 00:19:30] 779*2^1233436-1 is not prime. Res64: 3DBBAB588A127884 Time : 0.0 sec. user=mdettweiler [2012-11-01 00:23:26] 813*2^1233436-1 is not prime. Res64: 5094F78B557B28CA Time : 0.0 sec. user=mdettweiler [2012-11-01 00:23:26] 857*2^1233436-1 is not prime. Res64: 105F382533A01741 Time : 0.0 sec. user=mdettweiler [2012-11-01 00:40:21] 875*2^1233436-1 is not prime. Res64: EDE6BA1FF6D6C6A2 Time : 0.0 sec. user=mdettweiler [2012-11-01 00:40:22] 717*2^1233437-1 is not prime. Res64: 694AC8F52B12FAC1 Time : 0.0 sec. user=mdettweiler [2012-11-01 00:44:19] 741*2^1233437-1 is not prime. Res64: 715CFCA94BD322A8 Time : 0.0 sec. user=mdettweiler [2012-11-01 00:44:20] 829*2^1233437-1 is not prime. Res64: 573922CB8A7518E5 Time : 0.0 sec. user=vaughan [2012-11-01 00:55:11] 869*2^1233436-1 is not prime. Res64: C270A328E9B24B8E Time : 0.0 sec. user=mdettweiler [2012-11-01 01:01:11] 861*2^1233437-1 is not prime. Res64: A8B80A41E6DD0EE7 Time : 0.0 sec. user=mdettweiler [2012-11-01 01:01:12] 981*2^1233437-1 is not prime. Res64: 1C051B978F2143DF Time : 0.0 sec. user=mdettweiler [2012-11-01 01:05:09] 997*2^1233437-1 is not prime. Res64: 51546E1DBF65C8EC Time : 0.0 sec. user=mdettweiler [2012-11-01 01:05:10] 621*2^1233438-1 is not prime. Res64: 26957AE896685DDB Time : 0.0 sec. user=mdettweiler [2012-11-01 01:22:11] 945*2^1233438-1 is not prime. Res64: 45A6E15014628E80 Time : 0.0 sec. user=mdettweiler [2012-11-01 01:22:12] 943*2^1233439-1 is not prime. Res64: E7C366A3C4F6320A Time : 0.0 sec. user=mdettweiler [2012-11-01 01:26:01] 969*2^1233439-1 is not prime. Res64: AE8CA36DE4F148E4 Time : 0.0 sec. user=mdettweiler [2012-11-01 01:26:02] 677*2^1233440-1 is not prime. Res64: 4DB5AB80F0A8E026 Time : 0.0 sec. user=vaughan [2012-11-01 01:32:54] 707*2^1233438-1 is not prime. Res64: 7D4606168F732B68 Time : 0.0 sec. user=mdettweiler [2012-11-01 01:43:03] 725*2^1233440-1 is not prime. Res64: 2F3449D7B45AF998 Time : 0.0 sec. user=mdettweiler [2012-11-01 01:43:04] 819*2^1233440-1 is not prime. Res64: 0323D88446581A05 Time : 0.0 sec. user=mdettweiler [2012-11-01 01:46:52] 843*2^1233440-1 is not prime. Res64: 0B36F8C7AA6101A1 Time : 0.0 sec. user=mdettweiler [2012-11-01 01:46:52] 857*2^1233440-1 is not prime. Res64: E437BFA3B107FB3F Time : 0.0 sec. user=mdettweiler [2012-11-01 02:03:54] 959*2^1233440-1 is not prime. Res64: EBC3CEE1F36BFC67 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:03:55] 627*2^1233441-1 is not prime. Res64: 40E15881D5CA345D Time : 0.0 sec. user=mdettweiler [2012-11-01 02:07:41] 681*2^1233441-1 is not prime. Res64: 3B8F5E2834B8BC66 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:07:42] 735*2^1233441-1 is not prime. Res64: 1028A698D1A55B8C Time : 0.0 sec. user=vaughan [2012-11-01 02:10:35] 927*2^1233440-1 is not prime. Res64: EF2E89F5CBFD5776 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:24:53] 849*2^1233441-1 is not prime. Res64: 0F01B1348031A911 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:24:53] 861*2^1233441-1 is not prime. Res64: 57A405DDF62328D5 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:28:33] 979*2^1233441-1 is not prime. Res64: B1B29B6D559C132E Time : 0.0 sec. user=mdettweiler [2012-11-01 02:28:34] 647*2^1233442-1 is not prime. Res64: 034003E90544A3B6 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:45:45] 735*2^1233442-1 is not prime. Res64: AA75127C6A9EA7E0 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:45:47] 815*2^1233442-1 is not prime. Res64: 75F17B8691C75A3B Time : 0.0 sec. user=vaughan [2012-11-01 02:48:19] 675*2^1233442-1 is not prime. Res64: A353FBD984931AE0 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:49:23] 833*2^1233442-1 is not prime. Res64: 91452E46683E7D62 Time : 0.0 sec. user=mdettweiler [2012-11-01 02:49:24] 987*2^1233442-1 is not prime. Res64: B45FD46FBD99B2B1 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:06:46] 609*2^1233443-1 is not prime. Res64: 8668CA4B48B838F2 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:06:48] 615*2^1233443-1 is not prime. Res64: 9C0FB70B28083178 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:10:13] 735*2^1233443-1 is not prime. Res64: 776AC43E19B18E78 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:10:15] 859*2^1233443-1 is not prime. Res64: 940760B5F75AE3A8 Time : 0.0 sec. user=vaughan [2012-11-01 03:26:04] 715*2^1233443-1 is not prime. Res64: 188B6A7EA3F8B6E5 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:27:44] 861*2^1233443-1 is not prime. Res64: D833A98F86CE981B Time : 0.0 sec. user=mdettweiler [2012-11-01 03:27:45] 629*2^1233444-1 is not prime. Res64: BA87B8AAC838632C Time : 0.0 sec. user=mdettweiler [2012-11-01 03:31:07] 657*2^1233444-1 is not prime. Res64: 8B7F70080DD2DA62 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:31:09] 873*2^1233444-1 is not prime. Res64: E72F7FDA38E4C15D Time : 0.0 sec. user=mdettweiler [2012-11-01 03:48:35] 965*2^1233444-1 is not prime. Res64: 0DC5D12A298DA8C5 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:48:36] 975*2^1233444-1 is not prime. Res64: 576FF611D9CB72AF Time : 0.0 sec. user=mdettweiler [2012-11-01 03:51:57] 645*2^1233445-1 is not prime. Res64: 19E465CA9DFAC254 Time : 0.0 sec. user=mdettweiler [2012-11-01 03:51:57] 885*2^1233445-1 is not prime. Res64: 2DCDECC4AFC01492 Time : 0.0 sec. user=vaughan [2012-11-01 04:03:49] 915*2^1233444-1 is not prime. Res64: 1AB1615C5A998AB7 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:09:24] 889*2^1233445-1 is not prime. Res64: 3EB1EC13C28635E1 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:09:27] 987*2^1233445-1 is not prime. Res64: 6E58A586BC9982C5 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:12:44] 603*2^1233446-1 is not prime. Res64: B434C4453E5421D2 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:12:45] 627*2^1233446-1 is not prime. Res64: 53613B3B64C7BFBD Time : 0.0 sec. user=mdettweiler [2012-11-01 04:30:26] 801*2^1233446-1 is not prime. Res64: B22F59F3D3F0D041 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:30:28] 861*2^1233446-1 is not prime. Res64: B10B13FD19588A86 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:33:35] 867*2^1233446-1 is not prime. Res64: 180BD721AF8FB5EA Time : 0.0 sec. user=mdettweiler [2012-11-01 04:33:36] 887*2^1233446-1 is not prime. Res64: CEAF025D462DD9CB Time : 0.0 sec. user=vaughan [2012-11-01 04:41:36] 671*2^1233446-1 is not prime. Res64: 7739A2CB57FE780C Time : 0.0 sec. user=mdettweiler [2012-11-01 04:51:19] 921*2^1233446-1 is not prime. Res64: F1851EAC73373459 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:51:20] 935*2^1233446-1 is not prime. Res64: E70964D4F5B6CD22 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:54:27] 619*2^1233447-1 is not prime. Res64: E3A72413FDA3F746 Time : 0.0 sec. user=mdettweiler [2012-11-01 04:54:28] 859*2^1233447-1 is not prime. Res64: 7B57D4CE44ECADFA Time : 0.0 sec. user=gd_barnes [2012-11-01 05:07:13] 895*2^1233447-1 is not prime. Res64: 200150950E11A3CD Time : 0.0 sec. user=gd_barnes [2012-11-01 05:09:30] 913*2^1233447-1 is not prime. Res64: 3BBD83858482A80A Time : 0.0 sec. user=mdettweiler [2012-11-01 05:12:08] 955*2^1233447-1 is not prime. Res64: 6A07B91FF50E6D53 Time : 0.0 sec. user=mdettweiler [2012-11-01 05:12:11] 687*2^1233448-1 is not prime. Res64: FFFBCF6B061ACF3C Time : 0.0 sec. user=mdettweiler [2012-11-01 05:15:13] 713*2^1233448-1 is not prime. Res64: 1A79951E341FC443 Time : 0.0 sec. user=mdettweiler [2012-11-01 05:15:15] 735*2^1233448-1 is not prime. Res64: FFA8B64012B30923 Time : 0.0 sec. user=vaughan [2012-11-01 05:19:25] 945*2^1233447-1 is not prime. Res64: EE22EB2F65BBE852 Time : 0.0 sec. user=mdettweiler [2012-11-01 05:33:08] 863*2^1233448-1 is not prime. Res64: 4E24E5B2E1A2012A Time : 0.0 sec. user=mdettweiler [2012-11-01 05:33:09] 899*2^1233448-1 is not prime. Res64: 68F26AC527F012D1 Time : 0.0 sec. user=mdettweiler [2012-11-01 05:36:07] 933*2^1233448-1 is not prime. Res64: 8E402494E3BD6ACA Time : 0.0 sec. user=mdettweiler [2012-11-01 05:36:08] 831*2^1233449-1 is not prime. Res64: F6469C52B5BE3BB9 Time : 0.0 sec. user=PCZ [2012-11-01 05:41:45] 993*2^1233448-1 is not prime. Res64: 8A53446C9D8885A4 Time : 0.0 sec. user=PCZ [2012-11-01 05:41:45] 957*2^1233448-1 is not prime. Res64: DCB2F28D6348C552 Time : 0.0 sec. user=PCZ [2012-11-01 05:41:45] 615*2^1233449-1 is not prime. Res64: 2EA1272C2E6AB70C Time : 0.0 sec. user=PCZ [2012-11-01 05:41:48] 867*2^1233449-1 is not prime. Res64: 781BA37EEAA19A5A Time : 0.0 sec. user=PCZ [2012-11-01 05:41:49] 745*2^1233449-1 is not prime. Res64: B058DBAF1E385FC6 Time : 0.0 sec. user=PCZ [2012-11-01 05:41:50] 909*2^1233449-1 is not prime. Res64: C85A7E6C76747B1F Time : 0.0 sec. user=PCZ [2012-11-01 05:42:40] 925*2^1233449-1 is not prime. Res64: F51B9FD0A40C61BA Time : 0.0 sec. user=PCZ [2012-11-01 05:42:43] 939*2^1233449-1 is not prime. Res64: 91DEC2F2B7C814EF Time : 0.0 sec. user=mdettweiler [2012-11-01 05:53:59] 725*2^1233450-1 is not prime. Res64: A5D62A13CD0FECA4 Time : 0.0 sec. user=mdettweiler [2012-11-01 05:54:00] 791*2^1233450-1 is not prime. Res64: 805AB539A505938D Time : 0.0 sec. user=mdettweiler [2012-11-01 05:56:55] 833*2^1233450-1 is not prime. Res64: 89B086B9DF54C6D7 Time : 0.0 sec. user=mdettweiler [2012-11-01 05:56:55] 927*2^1233450-1 is not prime. Res64: 600746A88B587849 Time : 0.0 sec. user=vaughan [2012-11-01 05:57:07] 635*2^1233450-1 is not prime. Res64: 680FC81B83556418 Time : 0.0 sec. user=PCZ [2012-11-01 06:08:21] 941*2^1233450-1 is not prime. Res64: C084B1022EE54A8C Time : 0.0 sec. user=PCZ [2012-11-01 06:08:23] 861*2^1233451-1 is not prime. Res64: 640D4F490C7370C7 Time : 0.0 sec. user=PCZ [2012-11-01 06:08:25] 735*2^1233451-1 is not prime. Res64: 8A1812F0FE1D9BD5 Time : 0.0 sec. user=PCZ [2012-11-01 06:08:27] 635*2^1233452-1 is not prime. Res64: 5B6B459FFD843BB4 Time : 0.0 sec. user=PCZ [2012-11-01 06:08:28] 871*2^1233451-1 is not prime. Res64: AF01ABD86A58B27E Time : 0.0 sec. user=PCZ [2012-11-01 06:08:32] 657*2^1233452-1 is not prime. Res64: E53C035F5EAFAD11 Time : 0.0 sec. user=PCZ [2012-11-01 06:09:09] 687*2^1233452-1 is not prime. Res64: 32689D2F3574076E Time : 0.0 sec. user=PCZ [2012-11-01 06:09:15] 827*2^1233452-1 is not prime. Res64: 52E49E46EF307770 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:14:47] 987*2^1233452-1 is not prime. Res64: B7F4DFE3CC8D4CFF Time : 0.0 sec. user=mdettweiler [2012-11-01 06:14:49] 995*2^1233452-1 is not prime. Res64: 32D73457D81C250C Time : 0.0 sec. user=mdettweiler [2012-11-01 06:17:42] 609*2^1233453-1 is not prime. Res64: 8687761C077F5830 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:17:44] 649*2^1233453-1 is not prime. Res64: 01212578AF73A967 Time : 0.0 sec. user=PCZ [2012-11-01 06:34:49] 835*2^1233453-1 is not prime. Res64: 03D7BA0B0C1060B4 Time : 0.0 sec. user=vaughan [2012-11-01 06:34:51] 781*2^1233453-1 is not prime. Res64: B4BB1CB4BC92900D Time : 0.0 sec. user=PCZ [2012-11-01 06:34:53] 877*2^1233453-1 is not prime. Res64: CC53149FE588A410 Time : 0.0 sec. user=PCZ [2012-11-01 06:35:08] 937*2^1233453-1 is not prime. Res64: D58A7CB15D52A65E Time : 0.0 sec. user=PCZ [2012-11-01 06:35:12] 605*2^1233454-1 is not prime. Res64: F08D169BEC5313E7 Time : 0.0 sec. user=PCZ [2012-11-01 06:35:12] 961*2^1233453-1 is not prime. Res64: 23EF83D4C6320D0B Time : 0.0 sec. user=PCZ [2012-11-01 06:35:14] 687*2^1233454-1 is not prime. Res64: 3DFE344870F35F8A Time : 0.0 sec. user=PCZ [2012-11-01 06:35:44] 755*2^1233454-1 is not prime. Res64: D18368695E4F410F Time : 0.0 sec. user=PCZ [2012-11-01 06:35:55] 827*2^1233454-1 is not prime. Res64: F332416469CAD0D1 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:36:15] 831*2^1233454-1 is not prime. Res64: 9C09AF1309188C01 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:36:16] 885*2^1233454-1 is not prime. Res64: 88A240605124205E Time : 0.0 sec. user=mdettweiler [2012-11-01 06:38:35] 945*2^1233454-1 is not prime. Res64: 6936648BB92AFCC8 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:38:35] 735*2^1233455-1 is not prime. Res64: 67F7BC10479671C7 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:57:03] 979*2^1233457-1 is not prime. Res64: D977539D0AB78891 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:57:04] 687*2^1233458-1 is not prime. Res64: 016E90ED95409B0A Time : 0.0 sec. user=mdettweiler [2012-11-01 06:59:22] 705*2^1233458-1 is not prime. Res64: AF89E0A9B6BD6A28 Time : 0.0 sec. user=mdettweiler [2012-11-01 06:59:23] 743*2^1233458-1 is not prime. Res64: B0A0EFDD0A6080E1 Time : 0.0 sec. user=PCZ [2012-11-01 07:01:28] 823*2^1233455-1 is not prime. Res64: 46511B62F54CA308 Time : 0.0 sec. user=PCZ [2012-11-01 07:01:29] 609*2^1233456-1 is not prime. Res64: 00695893B7295BAC Time : 0.0 sec. user=PCZ [2012-11-01 07:01:45] 747*2^1233456-1 is not prime. Res64: CA24397B121D77CF Time : 0.0 sec. user=PCZ [2012-11-01 07:01:47] 909*2^1233456-1 is not prime. Res64: 8307DAC5307D1D1C Time : 0.0 sec. user=PCZ [2012-11-01 07:01:51] 607*2^1233457-1 is not prime. Res64: 498A1B8A4005CC4E Time : 0.0 sec. user=PCZ [2012-11-01 07:01:52] 993*2^1233456-1 is not prime. Res64: B2C5C77C787C5E94 Time : 0.0 sec. user=PCZ [2012-11-01 07:02:17] 691*2^1233457-1 is not prime. Res64: 3AB2AA2A0632E655 Time : 0.0 sec. user=PCZ [2012-11-01 07:02:31] 847*2^1233457-1 is not prime. Res64: 1EE9CB88298CE2CA Time : 0.0 sec. user=vaughan [2012-11-01 07:12:33] 883*2^1233455-1 is not prime. Res64: 59002BDF8C5540AD Time : 0.0 sec. user=mdettweiler [2012-11-01 07:17:51] 813*2^1233458-1 is not prime. Res64: EABA53DE88F5CA16 Time : 0.0 sec. user=mdettweiler [2012-11-01 07:17:53] 831*2^1233458-1 is not prime. Res64: 0A8BBAD3C871ACAB Time : 0.0 sec. user=mdettweiler [2012-11-01 07:20:09] 885*2^1233458-1 is not prime. Res64: F831513D688122A3 Time : 0.0 sec. user=mdettweiler [2012-11-01 07:20:10] 953*2^1233458-1 is not prime. Res64: 8C5F36F4CBC88A52 Time : 0.0 sec. user=PCZ [2012-11-01 07:28:04] 669*2^1233459-1 is not prime. Res64: BDCE92079035F565 Time : 0.0 sec. user=PCZ [2012-11-01 07:28:06] 751*2^1233459-1 is not prime. Res64: 52B11A13651C2F59 Time : 0.0 sec. user=PCZ [2012-11-01 07:28:18] 769*2^1233459-1 is not prime. Res64: B5A160BF912CDA85 Time : 0.0 sec. user=PCZ [2012-11-01 07:28:25] 623*2^1233460-1 is not prime. Res64: B15804B5E8E9D5C4 Time : 0.0 sec. user=PCZ [2012-11-01 07:28:27] 689*2^1233460-1 is not prime. Res64: 63C93F03F7D4E1D9 Time : 0.0 sec. user=PCZ [2012-11-01 07:28:28] 825*2^1233460-1 is not prime. Res64: A482CF09C4B0AA63 Time : 0.0 sec. user=PCZ [2012-11-01 07:28:49] 863*2^1233460-1 is not prime. Res64: 057F288181F7A95F Time : 0.0 sec. user=PCZ [2012-11-01 07:29:10] 995*2^1233460-1 is not prime. Res64: 399913F5D20CE6DA Time : 0.0 sec. user=mdettweiler [2012-11-01 07:38:57] 775*2^1233461-1 is not prime. Res64: 336305969101F856 Time : 0.0 sec. user=mdettweiler [2012-11-01 07:38:57] 949*2^1233461-1 is not prime. Res64: 6B613E7E9F5B2E15 Time : 0.0 sec. user=mdettweiler [2012-11-01 07:40:57] 997*2^1233461-1 is not prime. Res64: 3152C311FFA2E924 Time : 0.0 sec. user=mdettweiler [2012-11-01 07:40:58] 627*2^1233462-1 is not prime. Res64: 5C5A54353B31713B Time : 0.0 sec. user=vaughan [2012-11-01 07:50:17] 697*2^1233461-1 is not prime. Res64: 21AC7AECD6C1FD03 Time : 0.0 sec. user=PCZ [2012-11-01 07:54:46] 651*2^1233462-1 is not prime. Res64: 902329C67B49F171 Time : 0.0 sec. user=PCZ [2012-11-01 07:54:47] 717*2^1233462-1 is not prime. Res64: 1539850122E6FEBB Time : 0.0 sec. user=PCZ [2012-11-01 07:54:57] 755*2^1233462-1 is not prime. Res64: D979DFB989FCC064 Time : 0.0 sec. user=PCZ [2012-11-01 07:55:04] 801*2^1233462-1 is not prime. Res64: 7CE7C6AE7EA4F2C8 Time : 0.0 sec. user=PCZ [2012-11-01 07:55:07] 863*2^1233462-1 is not prime. Res64: 2EE8B40CFC4195DE Time : 0.0 sec. user=PCZ [2012-11-01 07:55:08] 821*2^1233462-1 is not prime. Res64: C2277DAE9FC2283F Time : 0.0 sec. user=PCZ [2012-11-01 07:55:23] 887*2^1233462-1 is not prime. Res64: 0447279502893D23 Time : 0.0 sec. user=PCZ [2012-11-01 07:55:50] 615*2^1233463-1 is not prime. Res64: 9618EDD189E98A34 Time : 0.0 sec. user=mdettweiler [2012-11-01 07:59:45] 639*2^1233463-1 is not prime. Res64: 4C0CE9BC1B791DED Time : 0.0 sec. user=mdettweiler [2012-11-01 07:59:45] 675*2^1233463-1 is not prime. Res64: 9F4C6C9EFE177C54 Time : 0.0 sec. user=mdettweiler [2012-11-01 08:01:46] 705*2^1233463-1 is not prime. Res64: 0DFEE822262B4870 Time : 0.0 sec. user=mdettweiler [2012-11-01 08:01:46] 805*2^1233463-1 is not prime. Res64: D2EFC1ECE80584FD Time : 0.0 sec. user=mdettweiler [2012-11-01 08:20:35] 739*2^1233465-1 is not prime. Res64: C0C09E352EF4838B Time : 0.0 sec. user=mdettweiler [2012-11-01 08:20:36] 777*2^1233465-1 is not prime. Res64: 226117086FD5869C Time : 0.0 sec. user=PCZ [2012-11-01 08:21:22] 657*2^1233464-1 is not prime. Res64: BC084EF075CCB8F5 Time : 0.0 sec. user=PCZ [2012-11-01 08:21:24] 759*2^1233464-1 is not prime. Res64: CB78BE25AD9CE155 Time : 0.0 sec. user=PCZ [2012-11-01 08:21:29] 789*2^1233464-1 is not prime. Res64: AA07ED754FCEA74A Time : 0.0 sec. user=PCZ [2012-11-01 08:21:39] 843*2^1233464-1 is not prime. Res64: 271C96FDEAE4DF11 Time : 0.0 sec. user=PCZ [2012-11-01 08:21:47] 899*2^1233464-1 is not prime. Res64: 18E6D63F31E66F67 Time : 0.0 sec. user=PCZ [2012-11-01 08:21:47] 945*2^1233464-1 is not prime. Res64: 4AAF7E7F543712F0 Time : 0.0 sec. user=PCZ [2012-11-01 08:21:54] 969*2^1233464-1 is not prime. Res64: 13B45C76834D54B8 Time : 0.0 sec. user=PCZ [2012-11-01 08:22:28] 699*2^1233465-1 is not prime. Res64: 3FCF29CA4032F6EC Time : 0.0 sec. user=mdettweiler [2012-11-01 08:22:34] 861*2^1233465-1 is not prime. Res64: 96E9299C178BC9C3 Time : 0.0 sec. user=mdettweiler [2012-11-01 08:22:34] 889*2^1233465-1 is not prime. Res64: 9984705B47FCB467 Time : 0.0 sec. user=vaughan [2012-11-01 08:27:58] 993*2^1233463-1 is not prime. Res64: 64234B13747B3B60 Time : 0.0 sec. user=mdettweiler [2012-11-01 08:41:24] 975*2^1233465-1 is not prime. Res64: 3FF7D7966E41CA16 Time : 0.0 sec. user=mdettweiler [2012-11-01 08:41:25] 843*2^1233466-1 is not prime. Res64: AE14B8F264B4614F Time : 0.0 sec. user=mdettweiler [2012-11-01 08:43:21] 733*2^1233467-1 is not prime. Res64: 2AA64FE9DEAA42B5 Time : 0.0 sec. user=mdettweiler [2012-11-01 08:43:22] 861*2^1233467-1 is not prime. Res64: 93EB4AF5C609B284 Time : 0.0 sec. user=PCZ [2012-11-01 08:48:00] 903*2^1233466-1 is not prime. Res64: 51486EBC153D61C7 Time : 0.0 sec. user=PCZ [2012-11-01 08:48:03] 911*2^1233466-1 is not prime. Res64: 249258DFB01E76D0 Time : 0.0 sec. user=PCZ [2012-11-01 08:48:03] 917*2^1233466-1 is not prime. Res64: DB4893A9A7D6D383 Time : 0.0 sec. user=PCZ [2012-11-01 08:48:14] 975*2^1233466-1 is not prime. Res64: DE176AB53E8BD2B9 Time : 0.0 sec. user=PCZ [2012-11-01 08:48:23] 603*2^1233467-1 is not prime. Res64: 09EC14499BAF2A99 Time : 0.0 sec. user=PCZ [2012-11-01 08:48:24] 621*2^1233467-1 is not prime. Res64: 7EAF2511AD36B3F9 Time : 0.0 sec. user=PCZ [2012-11-01 08:48:30] 651*2^1233467-1 is not prime. Res64: 03955D9669C5EAE2 Time : 0.0 sec. user=PCZ [2012-11-01 08:49:04] 699*2^1233467-1 is not prime. Res64: AC3C32D711DDDE0E Time : 0.0 sec. user=mdettweiler [2012-11-01 09:02:11] 973*2^1233467-1 is not prime. Res64: B37C911BB57C8E9B Time : 0.0 sec. user=mdettweiler [2012-11-01 09:02:12] 993*2^1233467-1 is not prime. Res64: 00A7CF249DE3E315 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:04:09] 749*2^1233468-1 is not prime. Res64: 7698515D7943C199 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:04:09] 767*2^1233468-1 is not prime. Res64: 5FCB9D405B5DC433 Time : 0.0 sec. user=vaughan [2012-11-01 09:05:42] 939*2^1233467-1 is not prime. Res64: D2885B409E3976F0 Time : 0.0 sec. user=PCZ [2012-11-01 09:14:37] 819*2^1233468-1 is not prime. Res64: 774945918F084B91 Time : 0.0 sec. user=PCZ [2012-11-01 09:14:38] 825*2^1233468-1 is not prime. Res64: 852B5FD3C4BC1DCE Time : 0.0 sec. user=PCZ [2012-11-01 09:14:43] 923*2^1233468-1 is not prime. Res64: 5E57CD7CEB3FA34A Time : 0.0 sec. user=PCZ [2012-11-01 09:14:48] 957*2^1233468-1 is not prime. Res64: DB0840560404162E Time : 0.0 sec. user=PCZ [2012-11-01 09:14:55] 619*2^1233469-1 is not prime. Res64: 2B7EF07E7FC9702E Time : 0.0 sec. user=PCZ [2012-11-01 09:15:00] 969*2^1233468-1 is not prime. Res64: 0CD5C64237DDEB5E Time : 0.0 sec. user=PCZ [2012-11-01 09:15:02] 835*2^1233469-1 is not prime. Res64: DA10E91673C95B7D Time : 0.0 sec. user=PCZ [2012-11-01 09:15:20] 957*2^1233469-1 is not prime. Res64: A1672F866E6458C0 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:23:05] 985*2^1233469-1 is not prime. Res64: 7C990F5F97D6A99D Time : 0.0 sec. user=mdettweiler [2012-11-01 09:23:05] 615*2^1233470-1 is not prime. Res64: B6668C1E89F45644 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:24:57] 717*2^1233470-1 is not prime. Res64: AA6D4543A7E60F72 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:24:57] 741*2^1233470-1 is not prime. Res64: 62F9A33EA61B47B7 Time : 0.0 sec. user=PCZ [2012-11-01 09:41:24] 857*2^1233470-1 is not prime. Res64: CBFF61316E53A880 Time : 0.0 sec. user=PCZ [2012-11-01 09:41:39] 945*2^1233470-1 is not prime. Res64: A333A8B786AA6B26 Time : 0.0 sec. user=PCZ [2012-11-01 09:41:52] 625*2^1233471-1 is not prime. Res64: 0BBDC9979A348397 Time : 0.0 sec. user=PCZ [2012-11-01 09:42:00] 709*2^1233471-1 is not prime. Res64: A41580200EED1D20 Time : 0.0 sec. user=PCZ [2012-11-01 09:42:07] 823*2^1233471-1 is not prime. Res64: 6C93ACAECEEB0B93 Time : 0.0 sec. user=PCZ [2012-11-01 09:42:13] 825*2^1233471-1 is not prime. Res64: 335C12D39537B3DB Time : 0.0 sec. user=PCZ [2012-11-01 09:42:25] 909*2^1233471-1 is not prime. Res64: 59F56C984AE522FE Time : 0.0 sec. user=PCZ [2012-11-01 09:42:30] 653*2^1233472-1 is not prime. Res64: 794DDDA8936D0F0D Time : 0.0 sec. user=vaughan [2012-11-01 09:43:26] 851*2^1233470-1 is not prime. Res64: 46C052703D52FC24 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:43:53] 719*2^1233472-1 is not prime. Res64: D434D1B6DFFC6541 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:43:54] 759*2^1233472-1 is not prime. Res64: AE2E02F1352DD083 Time : 0.0 sec. user=mdettweiler [2012-11-01 09:45:44] 765*2^1233472-1 is not prime. Res64: AF8D5F24E297C4AC Time : 0.0 sec. user=mdettweiler [2012-11-01 09:45:45] 797*2^1233472-1 is not prime. Res64: 4AF12075F0907E89 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:04:41] 925*2^1233473-1 is not prime. Res64: BEFB5FC0BF425733 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:04:43] 611*2^1233474-1 is not prime. Res64: 27534BB94A96F91E Time : 0.0 sec. user=mdettweiler [2012-11-01 10:06:33] 627*2^1233474-1 is not prime. Res64: 8F90A30EF3DEFD8A Time : 0.0 sec. user=mdettweiler [2012-11-01 10:06:35] 717*2^1233474-1 is not prime. Res64: 5A84D3CB0ECB7E1A Time : 0.0 sec. user=PCZ [2012-11-01 10:07:56] 833*2^1233472-1 is not prime. Res64: E8AB0E86965B236F Time : 0.0 sec. user=PCZ [2012-11-01 10:08:14] 869*2^1233472-1 is not prime. Res64: D472FBFCD2F786B2 Time : 0.0 sec. user=PCZ [2012-11-01 10:08:27] 873*2^1233472-1 is not prime. Res64: 7FC844D22609C94B Time : 0.0 sec. user=PCZ [2012-11-01 10:08:35] 909*2^1233472-1 is not prime. Res64: 9A7E95B1388A900F Time : 0.0 sec. user=PCZ [2012-11-01 10:08:42] 721*2^1233473-1 is not prime. Res64: EBE5482CFFB35935 Time : 0.0 sec. user=PCZ [2012-11-01 10:08:43] 735*2^1233473-1 is not prime. Res64: B6C6C5CE94AC25DE Time : 0.0 sec. user=PCZ [2012-11-01 10:08:59] 781*2^1233473-1 is not prime. Res64: 0051D606C8C776F7 Time : 0.0 sec. user=PCZ [2012-11-01 10:09:06] 871*2^1233473-1 is not prime. Res64: CF876667080E55FE Time : 0.0 sec. user=vaughan [2012-11-01 10:21:07] 901*2^1233473-1 is not prime. Res64: D77AFA3CE59DF5B0 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:25:38] 791*2^1233474-1 is not prime. Res64: 50A28E16E8AEA708 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:25:39] 951*2^1233474-1 is not prime. Res64: DF6FEA6C338EF820 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:27:28] 649*2^1233475-1 is not prime. Res64: 0D167D06676616CE Time : 0.0 sec. user=mdettweiler [2012-11-01 10:27:28] 651*2^1233475-1 is not prime. Res64: EA8562FB2228BE9E Time : 0.0 sec. user=PCZ [2012-11-01 10:34:29] 723*2^1233475-1 is not prime. Res64: 2604AED17BFE77F0 Time : 0.0 sec. user=PCZ [2012-11-01 10:34:52] 741*2^1233475-1 is not prime. Res64: 62C373F5AAAC8504 Time : 0.0 sec. user=PCZ [2012-11-01 10:35:06] 751*2^1233475-1 is not prime. Res64: 592583517921C6B3 Time : 0.0 sec. user=PCZ [2012-11-01 10:35:12] 805*2^1233475-1 is not prime. Res64: ED62A4E9DD92E260 Time : 0.0 sec. user=PCZ [2012-11-01 10:35:21] 873*2^1233475-1 is not prime. Res64: 4B7F90B7DD2BBCD9 Time : 0.0 sec. user=PCZ [2012-11-01 10:35:23] 891*2^1233475-1 is not prime. Res64: E4E201285B344ADA Time : 0.0 sec. user=PCZ [2012-11-01 10:35:39] 609*2^1233476-1 is not prime. Res64: D69AA6BD109EBECE Time : 0.0 sec. user=PCZ [2012-11-01 10:35:43] 629*2^1233476-1 is not prime. Res64: E407EEC37972CF86 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:46:27] 683*2^1233476-1 is not prime. Res64: 9832F049C51DF3F4 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:46:27] 689*2^1233476-1 is not prime. Res64: 6E29FFD7E23C6FC0 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:48:16] 767*2^1233476-1 is not prime. Res64: C5C0CB0E80831921 Time : 0.0 sec. user=mdettweiler [2012-11-01 10:48:16] 927*2^1233476-1 is not prime. Res64: 62E5A512A50D288D Time : 0.0 sec. user=vaughan [2012-11-01 10:58:52] 635*2^1233476-1 is not prime. Res64: 486BB7CBC010B6F8 Time : 0.0 sec. user=PCZ [2012-11-01 11:01:01] 945*2^1233476-1 is not prime. Res64: 1F24F7463A806421 Time : 0.0 sec. user=PCZ [2012-11-01 11:01:27] 969*2^1233476-1 is not prime. Res64: 17FA6EF30263480D Time : 0.0 sec. user=PCZ [2012-11-01 11:01:43] 681*2^1233477-1 is not prime. Res64: DDB183DF755E3C57 Time : 0.0 sec. user=PCZ [2012-11-01 11:01:50] 727*2^1233477-1 is not prime. Res64: 589404C30D177C78 Time : 0.0 sec. user=PCZ [2012-11-01 11:01:57] 805*2^1233477-1 is not prime. Res64: 15E3B7D2E94ED410 Time : 0.0 sec. user=PCZ [2012-11-01 11:01:58] 891*2^1233477-1 is not prime. Res64: B8B77051C235157B Time : 0.0 sec. user=PCZ [2012-11-01 11:02:15] 901*2^1233477-1 is not prime. Res64: B5CD4A5B5C1C0174 Time : 0.0 sec. user=PCZ [2012-11-01 11:02:21] 801*2^1233478-1 is not prime. Res64: 73D637503E998BA8 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:07:15] 833*2^1233478-1 is not prime. Res64: 2C864841A0D309A6 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:07:16] 857*2^1233478-1 is not prime. Res64: 9F82DBA3FE74C5A2 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:09:05] 911*2^1233478-1 is not prime. Res64: BE0B8A6DFD84194C Time : 0.0 sec. user=mdettweiler [2012-11-01 11:09:06] 1001*2^1233478-1 is not prime. Res64: CBCBCA3D85C33DE8 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:28:04] 737*2^1233480-1 is not prime. Res64: 0800A057C76584A8 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:28:05] 803*2^1233480-1 is not prime. Res64: CE5A35A2D3C3C2AF Time : 0.0 sec. user=mdettweiler [2012-11-01 11:29:57] 887*2^1233480-1 is not prime. Res64: F60D6C71E5CCB2CA Time : 0.0 sec. user=mdettweiler [2012-11-01 11:29:57] 909*2^1233480-1 is not prime. Res64: E783CC303E418254 Time : 0.0 sec. user=vaughan [2012-11-01 11:36:38] 615*2^1233479-1 is not prime. Res64: 1B57956B1E36DCC2 Time : 0.0 sec. user=juhehe [2012-11-01 11:43:08] 819*2^1233480-1 is not prime. Res64: FC9E74A415B1E181 Time : 0.0 sec. user=juhehe [2012-11-01 11:47:10] 923*2^1233480-1 is not prime. Res64: 55E1E6188B5D1303 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:48:58] 777*2^1233481-1 is not prime. Res64: A69D46C29EFE3449 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:48:59] 807*2^1233481-1 is not prime. Res64: 35714ECB14C5CA43 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:50:52] 847*2^1233481-1 is not prime. Res64: 38F38ACF15EB9F78 Time : 0.0 sec. user=mdettweiler [2012-11-01 11:50:52] 931*2^1233481-1 is not prime. Res64: D7A16397DD5213D2 Time : 0.0 sec. user=mdettweiler [2012-11-01 12:10:17] 617*2^1233482-1 is not prime. Res64: F3E1662BF0254E2C Time : 0.0 sec. user=mdettweiler [2012-11-01 12:10:19] 731*2^1233482-1 is not prime. Res64: 4EDF49B8FE6A4D6C Time : 0.0 sec. user=mdettweiler [2012-11-01 12:12:11] 743*2^1233482-1 is not prime. Res64: B18F4FF4719F4419 Time : 0.0 sec. user=mdettweiler [2012-11-01 12:12:12] 953*2^1233482-1 is not prime. Res64: E4DA9D4007C194CB Time : 0.0 sec. user=vaughan [2012-11-01 12:14:21] 975*2^1233481-1 is not prime. Res64: E41BDCB51A11C058 Time : 0.0 sec. user=mdettweiler [2012-11-01 12:31:43] 957*2^1233482-1 is not prime. Res64: EB82686276C654DC Time : 0.0 sec. user=mdettweiler [2012-11-01 12:31:43] 981*2^1233482-1 is not prime. Res64: 747222990196AF45 Time : 0.0 sec. user=mdettweiler [2012-11-01 12:33:31] 995*2^1233482-1 is not prime. Res64: C690B573287045B3 Time : 0.0 sec. user=mdettweiler [2012-11-01 12:33:31] 1001*2^1233482-1 is not prime. Res64: AE3CE68B922DE1BF Time : 0.0 sec. user=mdettweiler [2012-11-01 12:53:01] 675*2^1233483-1 is not prime. Res64: 4E3D5B1F0D76580C Time : 0.0 sec. user=mdettweiler [2012-11-01 12:53:02] 699*2^1233483-1 is not prime. Res64: 35EDAFA7527CE196 Time : 0.0 sec. user=mdettweiler [2012-11-01 12:54:47] 705*2^1233483-1 is not prime. Res64: 7D65D7EFCDD14AFC Time : 0.0 sec. user=mdettweiler [2012-11-01 12:54:48] 765*2^1233483-1 is not prime. Res64: 9A3A08C3A8DBECD9 Time : 0.0 sec. user=mdettweiler [2012-11-01 13:14:20] 859*2^1233483-1 is not prime. Res64: 173C89ED742DF24E Time : 0.0 sec. user=mdettweiler [2012-11-01 13:14:22] 919*2^1233483-1 is not prime. Res64: 3858D9BA07278F18 Time : 0.0 sec. user=mdettweiler [2012-11-01 13:16:04] 605*2^1233484-1 is not prime. Res64: F4C62C7F6A81B1D6 Time : 0.0 sec. user=mdettweiler [2012-11-01 13:16:05] 617*2^1233484-1 is not prime. Res64: F97FC2652F40A16D Time : 0.0 sec. user=mdettweiler [2012-11-01 13:35:55] 785*2^1233484-1 is not prime. Res64: 979CB6DBBA8F422E Time : 0.0 sec. user=mdettweiler [2012-11-01 13:35:55] 915*2^1233484-1 is not prime. Res64: 56AF8688395CB7AD Time : 0.0 sec. user=mdettweiler [2012-11-01 13:37:25] 969*2^1233484-1 is not prime. Res64: 6FBDEB24AC356C42 Time : 0.0 sec. user=mdettweiler [2012-11-01 13:37:25] 989*2^1233484-1 is not prime. Res64: A3164E2545538369 Time : 0.0 sec. user=vaughan [2012-11-01 13:46:27] 643*2^1233483-1 is not prime. Res64: 8A2752C4DB6FE7FE Time : 0.0 sec. user=mdettweiler [2012-11-01 13:56:58] 657*2^1233485-1 is not prime. Res64: 508E2D2DBF32F96B Time : 0.0 sec. user=mdettweiler [2012-11-01 13:56:58] 669*2^1233485-1 is not prime. Res64: 3C5A30D0CE3B607A Time : 0.0 sec. user=mdettweiler [2012-11-01 13:58:33] 675*2^1233485-1 is not prime. Res64: A8172BF7A3FC4816 Time : 0.0 sec. user=mdettweiler [2012-11-01 13:58:34] 717*2^1233485-1 is not prime. Res64: C49EBC72649F04D4 Time : 0.0 sec. user=mdettweiler [2012-11-01 14:19:39] 777*2^1233485-1 is not prime. Res64: 5F42F4737C210A5C Time : 0.0 sec. user=mdettweiler [2012-11-01 14:19:39] 787*2^1233485-1 is not prime. Res64: CD3620A2F38008F0 Time : 0.0 sec. user=mdettweiler [2012-11-01 14:21:11] 801*2^1233485-1 is not prime. Res64: B3FA03677D5A83A1 Time : 0.0 sec. user=mdettweiler [2012-11-01 14:21:12] 859*2^1233485-1 is not prime. Res64: A35914E001201279 Time : 0.0 sec. user=vaughan [2012-11-01 14:24:13] 771*2^1233485-1 is not prime. Res64: 8B65ECF7F5EBFB2B Time : 0.0 sec. user=mdettweiler [2012-11-01 14:41:33] 871*2^1233485-1 is not prime. Res64: 44BAA77209CDC584 Time : 0.0 sec. user=mdettweiler [2012-11-01 14:41:33] 955*2^1233485-1 is not prime. Res64: C1F0134CF4BF4D69 Time : 0.0 sec. user=mdettweiler [2012-11-01 14:43:06] 985*2^1233485-1 is not prime. Res64: 74A7D293774F8457 Time : 0.0 sec. user=mdettweiler [2012-11-01 14:43:07] 987*2^1233485-1 is not prime. Res64: A00B3DD811EF9C62 Time : 0.0 sec. user=vaughan [2012-11-01 15:01:58] 695*2^1233486-1 is not prime. Res64: 58F43EB54D4F71C7 Time : 0.0 sec. user=mdettweiler [2012-11-01 15:03:49] 711*2^1233486-1 is not prime. Res64: B17A2ABF235E933C Time : 0.0 sec. user=mdettweiler [2012-11-01 15:03:50] 777*2^1233486-1 is not prime. Res64: E40E8A02E0599B62 Time : 0.0 sec. user=mdettweiler [2012-11-01 15:05:18] 843*2^1233486-1 is not prime. Res64: EE2BE7D491048731 Time : 0.0 sec. user=mdettweiler [2012-11-01 15:05:19] 983*2^1233486-1 is not prime. Res64: 9B5A1FA313EF629A Time : 0.0 sec. user=mdettweiler [2012-11-01 15:25:06] 831*2^1233487-1 is not prime. Res64: 1D31D75214A8B15E Time : 0.0 sec. user=mdettweiler [2012-11-01 15:25:06] 849*2^1233487-1 is not prime. Res64: 134B305487208645 Time : 0.0 sec. user=mdettweiler [2012-11-01 15:26:33] 871*2^1233487-1 is not prime. Res64: 2C456A035E34861F Time : 0.0 sec. user=mdettweiler [2012-11-01 15:26:33] 945*2^1233487-1 is not prime. Res64: 663CA5A566E36FF6 Time : 0.0 sec. user=vaughan [2012-11-01 15:39:50] 763*2^1233487-1 is not prime. Res64: D63AA70E18E74D6D Time : 0.0 sec. user=mdettweiler [2012-11-01 15:46:30] 951*2^1233487-1 is not prime. Res64: 499DC8D11AD69B3E Time : 0.0 sec. user=mdettweiler [2012-11-01 15:46:30] 795*2^1233488-1 is not prime. Res64: 42DF5F7ED32AC407 Time : 0.0 sec. user=mdettweiler [2012-11-01 15:47:54] 927*2^1233488-1 is not prime. Res64: EFBD5F9141FF8840 Time : 0.0 sec. user=mdettweiler [2012-11-01 15:47:54] 625*2^1233489-1 is not prime. Res64: AE8FB341F7F29259 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:07:53] 769*2^1233489-1 is not prime. Res64: 71E156E0807608B8 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:07:55] 865*2^1233489-1 is not prime. Res64: FA268DD8D5DB8DF4 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:09:17] 921*2^1233489-1 is not prime. Res64: 1DCC9AC5E695E460 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:09:18] 949*2^1233489-1 is not prime. Res64: 2F1D629C1BF613D0 Time : 0.0 sec. user=vaughan [2012-11-01 16:17:30] 711*2^1233489-1 is not prime. Res64: C933ABC2995E2378 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:29:21] 603*2^1233490-1 is not prime. Res64: 6FE736C81C40F61E Time : 0.0 sec. user=mdettweiler [2012-11-01 16:29:21] 611*2^1233490-1 is not prime. Res64: C5FB9320508E1F64 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:30:47] 657*2^1233490-1 is not prime. Res64: AA360D5967E37C8B Time : 0.0 sec. user=mdettweiler [2012-11-01 16:30:47] 665*2^1233490-1 is not prime. Res64: 4348662E3DC36A51 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:51:05] 681*2^1233490-1 is not prime. Res64: A2677D8345C7F220 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:51:05] 723*2^1233490-1 is not prime. Res64: D177F46411CB9938 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:52:30] 833*2^1233490-1 is not prime. Res64: 5E8DF45D831C4339 Time : 0.0 sec. user=mdettweiler [2012-11-01 16:52:30] 843*2^1233490-1 is not prime. Res64: D01D3015CE86BA98 Time : 0.0 sec. user=vaughan [2012-11-01 16:55:15] 677*2^1233490-1 is not prime. Res64: D79D0EDA82A1488C Time : 0.0 sec. user=mdettweiler [2012-11-01 17:12:26] 855*2^1233490-1 is not prime. Res64: 7B511B8E7CAE41C0 Time : 0.0 sec. user=mdettweiler [2012-11-01 17:12:27] 645*2^1233491-1 is not prime. Res64: 1217F775ADAACBEC Time : 0.0 sec. user=mdettweiler [2012-11-01 17:13:51] 753*2^1233491-1 is not prime. Res64: 0F72570EBF46BFA7 Time : 0.0 sec. user=mdettweiler [2012-11-01 17:13:52] 901*2^1233491-1 is not prime. Res64: FD2D0F9CA7208C34 Time : 0.0 sec. user=vaughan [2012-11-01 17:32:56] 949*2^1233491-1 is not prime. Res64: ABBD2C5CC684703F Time : 0.0 sec. user=mdettweiler [2012-11-01 17:34:01] 993*2^1233491-1 is not prime. Res64: DCA97FF0958649C6 Time : 0.0 sec. user=mdettweiler [2012-11-01 17:34:01] 725*2^1233492-1 is not prime. Res64: BA6C43805788A009 Time : 0.0 sec. user=mdettweiler [2012-11-01 17:35:12] 621*2^1233493-1 is not prime. Res64: 01A893DB67D6815D Time : 0.0 sec. user=mdettweiler [2012-11-01 17:35:13] 747*2^1233493-1 is not prime. Res64: 8DFAB5F41B19EA90 Time : 0.0 sec. user=mdettweiler [2012-11-01 17:55:20] 961*2^1233493-1 is not prime. Res64: 1B29961B3077AD35 Time : 0.0 sec. user=mdettweiler [2012-11-01 17:55:20] 635*2^1233494-1 is not prime. Res64: C858E1B22239E2AC Time : 0.0 sec. user=mdettweiler [2012-11-01 17:56:32] 707*2^1233494-1 is not prime. Res64: 6072A96DCB1C69EB Time : 0.0 sec. user=mdettweiler [2012-11-01 17:56:32] 773*2^1233494-1 is not prime. Res64: FE17E30D591E0208 Time : 0.0 sec. user=vaughan [2012-11-01 18:10:41] 765*2^1233493-1 is not prime. Res64: 9FD452D6D5350326 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:16:12] 791*2^1233494-1 is not prime. Res64: C21B3B5C79EF4DC1 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:16:12] 935*2^1233494-1 is not prime. Res64: 55F5304CD2500CE2 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:17:22] 957*2^1233494-1 is not prime. Res64: A9F5E3CA0F483D60 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:17:22] 649*2^1233495-1 is not prime. Res64: 0DF64A9612B23109 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:37:00] 675*2^1233495-1 is not prime. Res64: C29F836350C21447 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:37:00] 723*2^1233495-1 is not prime. Res64: 0E6901CAB6E660F5 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:38:08] 765*2^1233495-1 is not prime. Res64: 9D7F6F45EB1519F4 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:38:08] 829*2^1233495-1 is not prime. Res64: 555ADA9C80865B1F Time : 0.0 sec. user=vaughan [2012-11-01 18:48:40] 663*2^1233495-1 is not prime. Res64: 2C0011373BB0DEB0 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:57:52] 913*2^1233495-1 is not prime. Res64: 24D07A234FFFA76C Time : 0.0 sec. user=mdettweiler [2012-11-01 18:57:52] 963*2^1233495-1 is not prime. Res64: 128055652BA44D63 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:59:02] 675*2^1233496-1 is not prime. Res64: A495DAD444B37BE3 Time : 0.0 sec. user=mdettweiler [2012-11-01 18:59:03] 777*2^1233496-1 is not prime. Res64: 3929AEE0494C758D Time : 0.0 sec. user=mdettweiler [2012-11-01 19:19:28] 849*2^1233496-1 is not prime. Res64: AF2DB9E36D1E8DF2 Time : 0.0 sec. user=mdettweiler [2012-11-01 19:19:29] 873*2^1233496-1 is not prime. Res64: CF67B4F42B456310 Time : 0.0 sec. user=mdettweiler [2012-11-01 19:20:39] 903*2^1233496-1 is not prime. Res64: 90855390B2E6EF0F Time : 0.0 sec. user=mdettweiler [2012-11-01 19:20:40] 965*2^1233496-1 is not prime. Res64: 7354214A011402B5 Time : 0.0 sec. user=vaughan [2012-11-01 19:26:21] 813*2^1233496-1 is not prime. Res64: 36BDDAB92143EB6F Time : 0.0 sec. user=mdettweiler [2012-11-01 19:41:08] 999*2^1233496-1 is not prime. Res64: 18CEFA38A1972C98 Time : 0.0 sec. user=mdettweiler [2012-11-01 19:41:08] 649*2^1233497-1 is not prime. Res64: BB4FFACD79E266AE Time : 0.0 sec. user=mdettweiler [2012-11-01 19:42:16] 675*2^1233497-1 is not prime. Res64: CD33D9E1CB54E609 Time : 0.0 sec. user=mdettweiler [2012-11-01 19:42:16] 685*2^1233497-1 is not prime. Res64: E3A1D3D8109EAFFD Time : 0.0 sec. user=mdettweiler [2012-11-01 20:02:42] 741*2^1233497-1 is not prime. Res64: 08938182CDF2944F Time : 0.0 sec. user=mdettweiler [2012-11-01 20:02:43] 759*2^1233497-1 is not prime. Res64: 2361C1C235C82EB9 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:03:47] 879*2^1233497-1 is not prime. Res64: 4908E0F7F96652D7 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:03:49] 949*2^1233497-1 is not prime. Res64: B7C563499C1F37BF Time : 0.0 sec. user=vaughan [2012-11-01 20:04:00] 691*2^1233497-1 is not prime. Res64: 70C02698F9899694 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:23:58] 981*2^1233497-1 is not prime. Res64: EAA50E2120793FA4 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:23:58] 705*2^1233498-1 is not prime. Res64: DA3E9244750BD78D Time : 0.0 sec. user=mdettweiler [2012-11-01 20:25:03] 725*2^1233498-1 is not prime. Res64: C5361F665945EA76 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:25:04] 773*2^1233498-1 is not prime. Res64: A95CD314CEC963BC Time : 0.0 sec. user=vaughan [2012-11-01 20:41:43] 801*2^1233498-1 is not prime. Res64: AA4C96913C1BB767 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:45:10] 815*2^1233498-1 is not prime. Res64: 625ECC06D164B679 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:45:11] 933*2^1233498-1 is not prime. Res64: 1D259B766DB45E77 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:46:17] 945*2^1233498-1 is not prime. Res64: 1D9920ACB40BDB95 Time : 0.0 sec. user=mdettweiler [2012-11-01 20:46:17] 1001*2^1233498-1 is not prime. Res64: 39126AE801C679CB Time : 0.0 sec. user=mdettweiler [2012-11-01 21:05:58] 663*2^1233499-1 is not prime. Res64: B1F43B3377555637 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:06:00] 675*2^1233499-1 is not prime. Res64: 553CF6031B3CFBE0 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:07:03] 745*2^1233499-1 is not prime. Res64: 22BDFBAE58435004 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:07:04] 861*2^1233499-1 is not prime. Res64: CEC1B30A3DFC505D Time : 0.0 sec. user=vaughan [2012-11-01 21:19:24] 645*2^1233499-1 is not prime. Res64: BD9C1538F313C2F0 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:26:53] 885*2^1233499-1 is not prime. Res64: 448A1E82D4C59695 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:26:53] 931*2^1233499-1 is not prime. Res64: A931633F21E8A28C Time : 0.0 sec. user=mdettweiler [2012-11-01 21:27:54] 675*2^1233500-1 is not prime. Res64: 8986902587B12643 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:27:54] 707*2^1233500-1 is not prime. Res64: BC3E54B701EA35E4 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:47:38] 827*2^1233500-1 is not prime. Res64: 00A3E14E9991D099 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:47:39] 857*2^1233500-1 is not prime. Res64: 883A776F5FA73DF7 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:48:39] 879*2^1233500-1 is not prime. Res64: 64DBB937C01CC372 Time : 0.0 sec. user=mdettweiler [2012-11-01 21:48:40] 675*2^1233501-1 is not prime. Res64: 7C7C9B8EB1640239 Time : 0.0 sec. user=vaughan [2012-11-01 21:57:07] 773*2^1233500-1 is not prime. Res64: 6C00E0550E7B6971 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:08:24] 741*2^1233501-1 is not prime. Res64: F1624FDD5873FCDF Time : 0.0 sec. user=mdettweiler [2012-11-01 22:08:25] 789*2^1233501-1 is not prime. Res64: 1230CB79E4168267 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:09:24] 829*2^1233501-1 is not prime. Res64: 86F97613FA5F9D59 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:09:25] 991*2^1233501-1 is not prime. Res64: E2E2EC4FE13A05B7 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:29:10] 891*2^1233502-1 is not prime. Res64: 38983588C89270D0 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:29:10] 621*2^1233503-1 is not prime. Res64: 09DEE0C9DB08FCC3 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:30:14] 663*2^1233503-1 is not prime. Res64: C0B7AB4E2369A185 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:30:15] 739*2^1233503-1 is not prime. Res64: 987E698A788045D8 Time : 0.0 sec. user=vaughan [2012-11-01 22:34:49] 681*2^1233502-1 is not prime. Res64: 21D3356B10534564 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:49:56] 753*2^1233503-1 is not prime. Res64: 1211EE07B8F87E1C Time : 0.0 sec. user=mdettweiler [2012-11-01 22:49:56] 763*2^1233503-1 is not prime. Res64: CC03DCA5C36F42AB Time : 0.0 sec. user=mdettweiler [2012-11-01 22:50:59] 811*2^1233503-1 is not prime. Res64: F2B45BDFCF4E8AB9 Time : 0.0 sec. user=mdettweiler [2012-11-01 22:50:59] 829*2^1233503-1 is not prime. Res64: EA39389FCAAE514F Time : 0.0 sec. user=mdettweiler [2012-11-01 23:10:42] 949*2^1233503-1 is not prime. Res64: 5EAF77666FC1A9BA Time : 0.0 sec. user=mdettweiler [2012-11-01 23:10:43] 719*2^1233504-1 is not prime. Res64: 7C193BE64360CB6A Time : 0.0 sec. user=mdettweiler [2012-11-01 23:11:43] 849*2^1233504-1 is not prime. Res64: 50338B74FCFF6ACA Time : 0.0 sec. user=mdettweiler [2012-11-01 23:11:43] 887*2^1233504-1 is not prime. Res64: 6A2460ECD8DEBEDF Time : 0.0 sec. user=vaughan [2012-11-01 23:12:32] 879*2^1233503-1 is not prime. Res64: C2315CD904B26D5D Time : 0.0 sec. user=mdettweiler [2012-11-01 23:36:50] 831*2^1233505-1 is not prime. Res64: DA579EA699E319EE Time : 0.0 sec. user=mdettweiler [2012-11-01 23:36:50] 877*2^1233505-1 is not prime. Res64: A21FAEFAFD84E0B5 Time : 0.0 sec. user=vaughan [2012-11-01 23:50:18] 617*2^1233506-1 is not prime. Res64: 9491CA621C79CB6C Time : 0.0 sec. user=mdettweiler [2012-11-01 23:57:51] 635*2^1233506-1 is not prime. Res64: B0C93708BFEA0BB4 Time : 0.0 sec. user=mdettweiler [2012-11-01 23:57:52] 783*2^1233506-1 is not prime. Res64: 4447F648A0266761 Time : 0.0 sec.