9 resource(%d) of type (GMP integer)
11 resource(%d) of type (GMP integer)
20 resource(%d) of type (GMP integer)
22 resource(%d) of type (GMP integer)
35 resource(%d) of type (GMP integer)
37 resource(%d) of type (GMP integer)
43 resource(%d) of type (GMP integer)
45 resource(%d) of type (GMP integer)
51 resource(%d) of type (GMP integer)
53 resource(%d) of type (GMP integer)
59 resource(%d) of type (GMP integer)
61 resource(%d) of type (GMP integer)
67 resource(%d) of type (GMP integer)
69 resource(%d) of type (GMP integer)
75 resource(%d) of type (GMP integer)
77 resource(%d) of type (GMP integer)