2^127-1	fiat_solinas64	0.00
2^129-25	fiat_solinas64	0.00
2^130-5	fiat_solinas64	0.00
2^141-9	fiat_solinas64	0.00
2^150-3	fiat_solinas64	0.00
2^150-5	fiat_solinas64	0.00
2^165-25	fiat_solinas64	0.00
2^166-5	fiat_solinas64	0.00
2^171-19	fiat_solinas64	0.00
2^174-17	fiat_solinas64	0.00
2^174-3	fiat_solinas64	0.00
2^130-5	fiat_solinas32	0.04
2^127-1	fiat_solinas32	0.05
2^140-27	fiat_solinas64	0.05
2^158-15	fiat_solinas32	0.05
2^196-15	fiat_solinas64	0.05
2^212-29	fiat_solinas64	0.05
2^216-2^108-1	fiat_solinas64	0.05
2^222-117	fiat_solinas64	0.05
2^230-27	fiat_solinas64	0.05
2^127-1	fiat_montgomery64	0.06
2^129-25	fiat_solinas32	0.06
2^137-13	fiat_solinas64	0.06
2^140-27	fiat_solinas32	0.06
2^141-9	fiat_solinas32	0.06
2^150-5	fiat_solinas32	0.06
2^152-17	fiat_solinas32	0.06
2^152-17	fiat_solinas64	0.06
2^158-15	fiat_solinas64	0.06
2^189-25	fiat_solinas64	0.06
2^190-11	fiat_solinas64	0.06
2^194-33	fiat_solinas64	0.06
2^198-17	fiat_solinas64	0.06
2^206-5	fiat_solinas64	0.06
2^213-3	fiat_solinas64	0.06
2^221-3	fiat_solinas64	0.06
2^226-5	fiat_solinas64	0.06
2^191-19	fiat_solinas64	0.07
2^192-2^64-1	fiat_solinas64	0.07
2^235-15	fiat_solinas64	0.07
2^251-9	fiat_solinas64	0.07
2^255-19	fiat_solinas64	0.07
2^255-765	fiat_solinas64	0.07
2^256-189	fiat_solinas64	0.07
2^266-3	fiat_solinas64	0.07
2^285-9	fiat_solinas64	0.07
2^216-2^108-1	fiat_solinas32	0.08
2^255-2^4-2^1-1	fiat_solinas64	0.08
2^291-19	fiat_solinas64	0.08
2^137-13	fiat_solinas32	0.09
2^194-33	fiat_solinas32	0.09
2^243-9	fiat_solinas64	0.09
2^336-17	fiat_solinas64	0.09
2^336-3	fiat_solinas64	0.09
2^243-9	fiat_solinas32	0.10
2^321-9	fiat_solinas64	0.10
2^338-15	fiat_solinas64	0.10
2^165-25	fiat_solinas32	0.11
2^171-19	fiat_solinas32	0.11
2^174-17	fiat_solinas32	0.11
2^198-17	fiat_solinas32	0.11
2^235-15	fiat_solinas32	0.11
2^191-19	fiat_solinas32	0.12
2^127-1	fiat_montgomery32	0.13
2^221-3	fiat_solinas32	0.13
2^222-117	fiat_solinas32	0.13
2^230-27	fiat_solinas32	0.13
2^251-9	fiat_solinas32	0.13
2^255-19	fiat_solinas32	0.13
2^379-19	fiat_solinas64	0.13
2^416-2^208-1	fiat_solinas64	0.13
2^448-2^224-1	fiat_solinas64	0.13
2^450-2^225-1	fiat_solinas64	0.14
2^480-2^240-1	fiat_solinas64	0.14
2^127-1	gmpvar	0.15
2^166-5	fiat_solinas32	0.15
2^369-25	fiat_solinas64	0.15
2^384-317	fiat_solinas64	0.15
2^468-17	fiat_solinas64	0.15
2^401-31	fiat_solinas64	0.16
2^444-17	fiat_solinas64	0.16
2^452-3	fiat_solinas64	0.16
2^206-5	fiat_solinas32	0.17
2^266-3	fiat_solinas32	0.17
2^255-765	fiat_solinas32	0.18
2^256-189	fiat_solinas32	0.18
2^291-19	fiat_solinas32	0.18
2^414-17	fiat_solinas64	0.18
2^489-21	fiat_solinas64	0.18
2^256-2^32-977	fiat_solinas32	0.19
2^495-31	fiat_solinas64	0.19
2^521-1	fiat_solinas64	0.20
2^338-15	fiat_solinas32	0.22
2^382-105	fiat_solinas64	0.22
2^511-481	fiat_solinas64	0.23
2^512-569	fiat_solinas64	0.23
2^192-2^64-1	gmpvar	0.24
2^192-2^64-1	gmpvar	0.25
2^127-1	gmpsec	0.26
2^191-19	gmpvar	0.26
2^511-187	fiat_solinas64	0.26
2^129-25	gmpvar	0.27
2^130-5	gmpvar	0.27
2^137-13	gmpvar	0.27
2^140-27	gmpvar	0.27
2^141-9	gmpvar	0.27
2^150-3	gmpvar	0.27
2^150-5	gmpvar	0.27
2^152-17	gmpvar	0.27
2^158-15	gmpvar	0.27
2^165-25	gmpvar	0.27
2^166-5	gmpvar	0.27
2^171-19	gmpvar	0.27
2^174-17	gmpvar	0.27
2^174-3	gmpvar	0.27
2^189-25	gmpvar	0.27
2^190-11	gmpvar	0.27
2^191-19	gmpvar	0.27
2^130-5	gmpvar	0.28
2^137-13	gmpvar	0.28
2^140-27	gmpvar	0.28
2^141-9	gmpvar	0.28
2^150-5	gmpvar	0.28
2^152-17	gmpvar	0.28
2^158-15	gmpvar	0.28
2^171-19	gmpvar	0.28
2^174-17	gmpvar	0.28
2^190-11	gmpvar	0.28
2^192-2^64-1	gmpsec	0.28
2^129-25	gmpvar	0.29
2^137-13	gmpvar	0.30
2^255-19	gmpvar	0.32
2^255-2^4-2^1-1	gmpvar	0.32
2^255-765	gmpvar	0.32
2^256-2^224+2^192+2^96-1	gmpvar	0.32
2^171-19	gmpvar	0.33
2^194-33	gmpvar	0.33
2^198-17	gmpvar	0.33
2^216-2^108-1	gmpvar	0.33
2^221-3	gmpvar	0.33
2^222-117	gmpvar	0.33
2^224-2^96+1	gmpvar	0.33
2^255-2^4-2^1-1	gmpvar	0.33
2^255-765	gmpvar	0.33
2^256-189	gmpvar	0.33
2^256-2^224+2^192+2^96-1	gmpvar	0.33
2^256-2^32-977	gmpvar	0.33
2^194-33	gmpvar	0.34
2^196-15	gmpvar	0.34
2^198-17	gmpvar	0.34
2^205-45x2^198-1	gmpvar	0.34
2^206-5	gmpvar	0.34
2^212-29	gmpvar	0.34
2^213-3	gmpvar	0.34
2^216-2^108-1	gmpvar	0.34
2^221-3	gmpvar	0.34
2^222-117	gmpvar	0.34
2^224-2^96+1	gmpvar	0.34
2^226-5	gmpvar	0.34
2^230-27	gmpvar	0.34
2^235-15	gmpvar	0.34
2^243-9	gmpvar	0.34
2^251-9	gmpvar	0.34
2^254-127x2^240-1	gmpvar	0.34
2^256-189	gmpvar	0.34
2^256-2^32-977	gmpvar	0.34
2^256-88x2^240-1	gmpvar	0.34
2^196-15	gmpvar	0.35
2^205-45x2^198-1	gmpvar	0.35
2^212-29	gmpvar	0.35
2^216-2^108-1	gmpvar	0.35
2^222-117	gmpvar	0.35
2^230-27	gmpvar	0.35
2^235-15	gmpvar	0.35
2^254-127x2^240-1	gmpvar	0.35
2^256-2^32-977	gmpvar	0.35
2^205-45x2^198-1	gmpvar	0.36
2^243-9	gmpvar	0.36
2^256-88x2^240-1	gmpvar	0.36
2^190-11	gmpsec	0.37
2^191-19	gmpsec	0.37
2^256-189	gmpsec	0.37
2^256-2^224+2^192+2^96-1	gmpsec	0.37
2^256-2^32-977	gmpsec	0.37
2^256-88x2^240-1	gmpsec	0.37
2^129-25	gmpsec	0.38
2^130-5	gmpsec	0.38
2^137-13	gmpsec	0.38
2^140-27	gmpsec	0.38
2^141-9	gmpsec	0.38
2^150-3	gmpsec	0.38
2^150-5	gmpsec	0.38
2^152-17	gmpsec	0.38
2^158-15	gmpsec	0.38
2^165-25	gmpsec	0.38
2^166-5	gmpsec	0.38
2^174-17	gmpsec	0.38
2^174-3	gmpsec	0.38
2^189-25	gmpsec	0.38
2^190-11	gmpsec	0.38
2^191-19	gmpsec	0.38
2^256-189	gmpsec	0.38
2^256-2^224+2^192+2^96-1	gmpsec	0.38
2^256-2^32-977	gmpsec	0.38
2^256-88x2^240-1	gmpsec	0.38
2^137-13	gmpsec	0.39
2^140-27	gmpsec	0.39
2^158-15	gmpsec	0.39
2^165-25	gmpsec	0.39
2^166-5	gmpsec	0.39
2^171-19	gmpsec	0.39
2^174-17	gmpsec	0.39
2^174-3	gmpsec	0.39
2^189-25	gmpsec	0.39
2^256-189	gmpsec	0.39
2^137-13	gmpsec	0.40
2^256-2^224+2^192+2^96-1	gmpsec	0.41
2^266-3	gmpvar	0.42
2^285-9	gmpvar	0.42
2^291-19	gmpvar	0.42
2^251-9	gmpvar	0.43
2^285-9	gmpvar	0.43
2^291-19	gmpvar	0.43
2^291-19	gmpvar	0.44
2^266-3	gmpvar	0.45
2^285-9	gmpvar	0.45
2^384-2^128-2^96+2^32-1	gmpvar	0.45
2^384-317	gmpvar	0.45
2^384-5x2^368-1	gmpvar	0.45
2^384-79x2^376-1	gmpvar	0.45
2^384-2^128-2^96+2^32-1	gmpvar	0.46
2^384-317	gmpvar	0.46
2^384-79x2^376-1	gmpvar	0.46
2^255-19	gmpsec	0.47
2^255-2^4-2^1-1	gmpsec	0.47
2^255-765	gmpsec	0.47
2^384-317	gmpvar	0.47
2^384-5x2^368-1	gmpvar	0.47
2^384-79x2^376-1	gmpvar	0.47
2^255-19	gmpsec	0.48
2^255-2^4-2^1-1	gmpsec	0.48
2^255-765	gmpsec	0.48
2^212-29	gmpsec	0.49
2^213-3	gmpsec	0.49
2^216-2^108-1	gmpsec	0.49
2^221-3	gmpsec	0.49
2^224-2^96+1	gmpsec	0.49
2^226-5	gmpsec	0.49
2^230-27	gmpsec	0.49
2^235-15	gmpsec	0.49
2^243-9	gmpsec	0.49
2^254-127x2^240-1	gmpsec	0.49
2^255-765	gmpsec	0.49
2^383-187	gmpvar	0.49
2^194-33	gmpsec	0.50
2^196-15	gmpsec	0.50
2^205-45x2^198-1	gmpsec	0.50
2^206-5	gmpsec	0.50
2^212-29	gmpsec	0.50
2^213-3	gmpsec	0.50
2^216-2^108-1	gmpsec	0.50
2^222-117	gmpsec	0.50
2^224-2^96+1	gmpsec	0.50
2^226-5	gmpsec	0.50
2^230-27	gmpsec	0.50
2^235-15	gmpsec	0.50
2^243-9	gmpsec	0.50
2^251-9	gmpsec	0.50
2^254-127x2^240-1	gmpsec	0.50
2^383-187	gmpvar	0.50
2^383-31	gmpvar	0.50
2^198-17	gmpsec	0.51
2^213-3	gmpsec	0.51
2^221-3	gmpsec	0.51
2^224-2^96+1	gmpsec	0.51
2^226-5	gmpsec	0.51
2^230-27	gmpsec	0.51
2^235-15	gmpsec	0.51
2^243-9	gmpsec	0.51
2^254-127x2^240-1	gmpsec	0.51
2^383-421	gmpvar	0.51
2^198-17	gmpsec	0.52
2^206-5	gmpsec	0.52
2^221-3	gmpsec	0.52
2^251-9	gmpsec	0.52
2^322-2^161-1	gmpvar	0.52
2^336-17	gmpvar	0.52
2^336-3	gmpvar	0.52
2^338-15	gmpvar	0.52
2^369-25	gmpvar	0.52
2^379-19	gmpvar	0.52
2^382-105	gmpvar	0.52
2^384-2^128-2^96+2^32-1	fiat_montgomery64	0.52
2^198-17	gmpsec	0.53
2^321-9	gmpvar	0.53
2^322-2^161-1	gmpvar	0.53
2^336-3	gmpvar	0.53
2^338-15	gmpvar	0.53
2^369-25	gmpvar	0.53
2^379-19	gmpvar	0.53
2^382-105	gmpvar	0.53
2^383-421	gmpvar	0.53
2^448-2^224-1	gmpvar	0.53
2^336-17	gmpvar	0.54
2^379-19	gmpvar	0.54
2^127-1	gmpxx	0.55
2^382-105	gmpvar	0.55
2^448-2^224-1	gmpvar	0.55
2^127-1	gmpxx	0.56
2^206-5	gmpsec	0.58
2^401-31	gmpvar	0.59
2^413-21	gmpvar	0.59
2^414-17	gmpvar	0.59
2^416-2^208-1	gmpvar	0.59
2^444-17	gmpvar	0.59
2^127-1	gmpxx	0.60
2^389-21	gmpvar	0.60
2^401-31	gmpvar	0.60
2^413-21	gmpvar	0.60
2^414-17	gmpvar	0.60
2^416-2^208-1	gmpvar	0.60
2^384-317	gmpsec	0.61
2^389-21	gmpvar	0.61
2^401-31	gmpvar	0.61
2^414-17	gmpvar	0.61
2^416-2^208-1	gmpvar	0.61
2^444-17	gmpvar	0.61
2^512-491x2^496-1	gmpvar	0.61
2^512-569	gmpvar	0.61
2^384-2^128-2^96+2^32-1	gmpsec	0.62
2^384-317	gmpsec	0.62
2^384-5x2^368-1	gmpsec	0.62
2^384-79x2^376-1	gmpsec	0.62
2^512-491x2^496-1	gmpvar	0.62
2^512-569	gmpvar	0.62
2^512-491x2^496-1	gmpvar	0.63
2^266-3	gmpsec	0.64
2^285-9	gmpsec	0.64
2^291-19	gmpsec	0.64
2^511-481	gmpvar	0.64
2^285-9	gmpsec	0.65
2^384-2^128-2^96+2^32-1	gmpsec	0.65
2^511-187	gmpvar	0.65
2^511-481	gmpvar	0.65
2^266-3	gmpsec	0.66
2^291-19	gmpsec	0.66
2^285-9	gmpsec	0.67
2^511-481	gmpvar	0.67
2^137-13	gmpxx	0.68
2^291-19	gmpsec	0.68
2^450-2^225-1	gmpvar	0.68
2^468-17	gmpvar	0.68
2^480-2^240-1	gmpvar	0.68
2^489-21	gmpvar	0.68
2^495-31	gmpvar	0.68
2^510-290x2^496-1	gmpvar	0.68
2^137-13	gmpxx	0.69
2^140-27	gmpxx	0.69
2^141-9	gmpxx	0.69
2^150-5	gmpxx	0.69
2^450-2^225-1	gmpvar	0.69
2^468-17	gmpvar	0.69
2^480-2^240-1	gmpvar	0.69
2^488-17	gmpvar	0.69
2^489-21	gmpvar	0.69
2^495-31	gmpvar	0.69
2^510-290x2^496-1	gmpvar	0.69
2^137-13	gmpxx	0.70
2^141-9	gmpxx	0.70
2^150-3	gmpxx	0.70
2^150-5	gmpxx	0.70
2^152-17	gmpxx	0.70
2^450-2^225-1	gmpvar	0.70
2^452-3	gmpvar	0.70
2^468-17	gmpvar	0.70
2^488-17	gmpvar	0.70
2^150-3	gmpxx	0.71
2^150-5	gmpxx	0.71
2^158-15	gmpxx	0.71
2^452-3	gmpvar	0.71
2^468-17	gmpvar	0.71
2^129-25	gmpxx	0.72
2^130-5	gmpxx	0.72
2^158-15	gmpxx	0.72
2^165-25	gmpxx	0.72
2^166-5	gmpxx	0.72
2^174-17	gmpxx	0.72
2^130-5	gmpxx	0.73
2^152-17	gmpxx	0.73
2^165-25	gmpxx	0.73
2^166-5	gmpxx	0.73
2^171-19	gmpxx	0.73
2^174-17	gmpxx	0.73
2^174-3	gmpxx	0.73
2^191-19	gmpxx	0.73
2^192-2^64-1	gmpxx	0.73
2^452-3	gmpvar	0.73
2^129-25	gmpxx	0.74
2^130-5	gmpxx	0.74
2^166-5	gmpxx	0.74
2^171-19	gmpxx	0.74
2^174-17	gmpxx	0.74
2^189-25	gmpxx	0.74
2^171-19	gmpxx	0.75
2^189-25	gmpxx	0.75
2^190-11	gmpxx	0.75
2^191-19	gmpxx	0.75
2^383-187	gmpsec	0.75
2^383-31	gmpsec	0.75
2^383-421	gmpsec	0.75
2^189-25	gmpxx	0.76
2^190-11	gmpxx	0.76
2^383-187	gmpsec	0.76
2^129-25	gmpxx	0.77
2^448-2^224-1	gmpsec	0.77
2^322-2^161-1	gmpsec	0.78
2^448-2^224-1	gmpsec	0.78
2^150-5	gmpxx	0.79
2^321-9	gmpsec	0.79
2^322-2^161-1	gmpsec	0.79
2^336-17	gmpsec	0.79
2^336-3	gmpsec	0.79
2^338-15	gmpsec	0.79
2^369-25	gmpsec	0.79
2^379-19	gmpsec	0.79
2^382-105	gmpsec	0.79
2^322-2^161-1	gmpsec	0.80
2^336-17	gmpsec	0.80
2^336-3	gmpsec	0.80
2^338-15	gmpsec	0.80
2^369-25	gmpsec	0.80
2^379-19	gmpsec	0.80
2^382-105	gmpsec	0.80
2^321-9	gmpsec	0.81
2^322-2^161-1	gmpsec	0.81
2^382-105	gmpsec	0.81
2^521-1	gmpvar	0.81
2^198-17	gmpxx	0.82
2^206-5	gmpxx	0.82
2^212-29	gmpxx	0.82
2^521-1	gmpvar	0.82
2^196-15	gmpxx	0.83
2^206-5	gmpxx	0.83
2^212-29	gmpxx	0.83
2^213-3	gmpxx	0.83
2^222-117	gmpxx	0.83
2^336-17	gmpsec	0.83
2^196-15	gmpxx	0.84
2^198-17	gmpxx	0.84
2^221-3	gmpxx	0.84
2^222-117	gmpxx	0.84
2^256-189	gmpxx	0.84
2^256-2^224+2^192+2^96-1	gmpxx	0.84
2^256-2^32-977	gmpxx	0.84
2^256-88x2^240-1	gmpxx	0.84
2^521-1	gmpvar	0.84
2^196-15	gmpxx	0.85
2^198-17	gmpxx	0.85
2^206-5	gmpxx	0.85
2^213-3	gmpxx	0.85
2^221-3	gmpxx	0.85
2^222-117	gmpxx	0.85
2^226-5	gmpxx	0.85
2^255-19	gmpxx	0.85
2^255-2^4-2^1-1	gmpxx	0.85
2^256-189	gmpxx	0.85
2^256-2^32-977	gmpxx	0.85
2^256-88x2^240-1	gmpxx	0.85
2^198-17	gmpxx	0.86
2^205-45x2^198-1	gmpxx	0.86
2^212-29	gmpxx	0.86
2^216-2^108-1	gmpxx	0.86
2^226-5	gmpxx	0.86
2^230-27	gmpxx	0.86
2^255-19	gmpxx	0.86
2^255-2^4-2^1-1	gmpxx	0.86
2^255-765	gmpxx	0.86
2^256-2^224+2^192+2^96-1	gmpxx	0.86
2^256-88x2^240-1	gmpxx	0.86
2^205-45x2^198-1	gmpxx	0.87
2^216-2^108-1	gmpxx	0.87
2^224-2^96+1	gmpxx	0.87
2^226-5	gmpxx	0.87
2^230-27	gmpxx	0.87
2^235-15	gmpxx	0.87
2^243-9	gmpxx	0.87
2^251-9	gmpxx	0.87
2^255-19	gmpxx	0.87
2^255-2^4-2^1-1	gmpxx	0.87
2^255-765	gmpxx	0.87
2^256-189	gmpxx	0.87
2^194-33	gmpxx	0.88
2^216-2^108-1	gmpxx	0.88
2^224-2^96+1	gmpxx	0.88
2^243-9	gmpxx	0.88
2^251-9	gmpxx	0.88
2^254-127x2^240-1	gmpxx	0.88
2^255-765	gmpxx	0.88
2^256-2^224+2^192+2^96-1	gmpxx	0.88
2^336-3	gmpsec	0.88
2^221-3	gmpxx	0.89
2^224-2^96+1	gmpxx	0.89
2^251-9	gmpxx	0.89
2^254-127x2^240-1	gmpxx	0.89
2^243-9	gmpxx	0.90
2^130-5	gmpxx	0.91
2^512-491x2^496-1	gmpsec	0.95
2^512-569	gmpsec	0.95
2^384-2^128-2^96+2^32-1	gmpxx	0.96
2^384-317	gmpxx	0.96
2^384-79x2^376-1	gmpxx	0.96
2^389-21	gmpsec	0.96
2^401-31	gmpsec	0.96
2^413-21	gmpsec	0.96
2^414-17	gmpsec	0.96
2^416-2^208-1	gmpsec	0.96
2^444-17	gmpsec	0.96
2^235-15	gmpxx	0.97
2^285-9	gmpxx	0.97
2^384-2^128-2^96+2^32-1	gmpxx	0.97
2^384-317	gmpxx	0.97
2^384-5x2^368-1	gmpxx	0.97
2^389-21	gmpsec	0.97
2^401-31	gmpsec	0.97
2^413-21	gmpsec	0.97
2^416-2^208-1	gmpsec	0.97
2^512-491x2^496-1	gmpsec	0.97
2^512-569	gmpsec	0.97
2^194-33	gmpxx	0.98
2^266-3	gmpxx	0.98
2^285-9	gmpxx	0.98
2^291-19	gmpxx	0.98
2^384-2^128-2^96+2^32-1	gmpxx	0.98
2^384-5x2^368-1	gmpxx	0.98
2^384-79x2^376-1	gmpxx	0.98
2^401-31	gmpsec	0.98
2^414-17	gmpsec	0.98
2^266-3	gmpxx	0.99
2^291-19	gmpxx	0.99
2^384-2^128-2^96+2^32-1	gmpxx	0.99
2^384-317	gmpxx	0.99
2^285-9	gmpxx	1.00
2^291-19	gmpxx	1.00
2^291-19	gmpxx	1.01
2^383-421	gmpxx	1.03
2^383-31	gmpxx	1.04
2^448-2^224-1	gmpxx	1.04
2^336-3	gmpxx	1.05
2^383-187	gmpxx	1.05
2^448-2^224-1	gmpxx	1.05
2^336-17	gmpxx	1.06
2^336-3	gmpxx	1.06
2^338-15	gmpxx	1.06
2^369-25	gmpxx	1.06
2^379-19	gmpxx	1.06
2^336-17	gmpxx	1.07
2^336-3	gmpxx	1.07
2^369-25	gmpxx	1.07
2^379-19	gmpxx	1.07
2^382-105	gmpxx	1.07
2^383-31	gmpxx	1.07
2^383-421	gmpxx	1.07
2^448-2^224-1	gmpxx	1.07
2^336-17	gmpxx	1.08
2^369-25	gmpxx	1.08
2^382-105	gmpxx	1.08
2^336-17	gmpxx	1.09
2^338-15	gmpxx	1.09
2^338-15	gmpxx	1.10
2^379-19	gmpxx	1.10
2^511-481	gmpsec	1.10
2^511-187	gmpsec	1.11
2^511-481	gmpsec	1.11
2^369-25	gmpxx	1.12
2^511-187	gmpsec	1.12
2^322-2^161-1	gmpxx	1.13
2^512-569	gmpxx	1.13
2^512-491*2^496-1	gmpxx	1.14
2^512-569	gmpxx	1.14
2^321-9	gmpxx	1.15
2^414-17	gmpxx	1.15
2^416-2^208-1	gmpxx	1.15
2^512-569	gmpxx	1.15
2^401-31	gmpxx	1.16
2^413-21	gmpxx	1.16
2^414-17	gmpxx	1.16
2^416-2^208-1	gmpxx	1.16
2^444-17	gmpxx	1.16
2^480-2^240-1	gmpsec	1.16
2^488-17	gmpsec	1.16
2^512-491*2^496-1	gmpxx	1.16
2^321-9	gmpxx	1.17
2^322-2^161-1	gmpxx	1.17
2^389-21	gmpxx	1.17
2^401-31	gmpxx	1.17
2^413-21	gmpxx	1.17
2^416-2^208-1	gmpxx	1.17
2^444-17	gmpxx	1.17
2^450-2^225-1	gmpsec	1.17
2^452-3	gmpsec	1.17
2^468-17	gmpsec	1.17
2^480-2^240-1	gmpsec	1.17
2^488-17	gmpsec	1.17
2^489-21	gmpsec	1.17
2^495-31	gmpsec	1.17
2^510-290*2^496-1	gmpsec	1.17
2^512-491*2^496-1	gmpxx	1.17
2^512-569	gmpxx	1.17
2^401-31	gmpxx	1.18
2^416-2^208-1	gmpxx	1.18
2^444-17	gmpxx	1.18
2^450-2^225-1	gmpsec	1.18
2^452-3	gmpsec	1.18
2^468-17	gmpsec	1.18
2^480-2^240-1	gmpsec	1.18
2^488-17	gmpsec	1.18
2^495-31	gmpsec	1.18
2^510-290*2^496-1	gmpsec	1.18
2^511-187	gmpxx	1.20
2^511-481	gmpxx	1.20
2^511-187	gmpxx	1.21
2^511-481	gmpxx	1.21
2^489-21	gmpsec	1.24
2^510-290*2^496-1	gmpxx	1.24
2^468-17	gmpxx	1.25
2^480-2^240-1	gmpxx	1.25
2^468-17	gmpxx	1.26
2^480-2^240-1	gmpxx	1.26
2^489-21	gmpxx	1.26
2^495-31	gmpxx	1.26
2^510-290*2^496-1	gmpxx	1.26
2^414-17	gmpxx	1.27
2^468-17	gmpxx	1.27
2^488-17	gmpxx	1.27
2^495-31	gmpxx	1.27
2^510-290*2^496-1	gmpxx	1.27
2^489-21	gmpsec	1.28
2^489-21	gmpxx	1.28
2^452-3	gmpxx	1.29
2^489-21	gmpxx	1.29
2^480-2^240-1	gmpxx	1.31
2^452-3	gmpxx	1.32
2^450-2^225-1	gmpxx	1.33
2^510-290*2^496-1	gmpxx	1.33
2^450-2^225-1	gmpxx	1.34
2^450-2^225-1	gmpsec	1.35
2^450-2^225-1	gmpxx	1.35
2^521-1	gmpxx	1.38
2^521-1	gmpsec	1.39
2^521-1	gmpxx	1.39
2^521-1	gmpsec	1.40
2^521-1	gmpxx	1.40