| CHECK: bucket (150, 50)'s list of points: |
| CHECK-NEXT: (0.751041,0.505377) |
| CHECK-NEXT: (0.750647,0.505272) |
| CHECK-NEXT: (0.752243,0.509601) |
| CHECK-NEXT: (0.750937,0.503519) |
| CHECK-NEXT: (0.753879,0.506217) |
| CHECK-NEXT: (0.754956,0.501953) |
| CHECK-NEXT: (0.754439,0.502353) |
| CHECK-NEXT: (0.754128,0.501410) |
| CHECK-NEXT: (0.750917,0.502195) |
| CHECK-NEXT: (0.754024,0.507150) |
| CHECK-NEXT: (0.750565,0.502896) |
| CHECK-NEXT: (0.753444,0.509374) |
| CHECK-NEXT: (0.754874,0.506500) |
| CHECK-NEXT: (0.754646,0.508721) |
| CHECK-NEXT: (0.753527,0.504378) |
| CHECK-NEXT: (0.754563,0.502366) |
| CHECK-NEXT: (0.751227,0.502014) |
| CHECK-NEXT: (0.753009,0.508329) |
| CHECK-NEXT: (0.752284,0.500607) |
| CHECK-NEXT: (0.753341,0.503853) |
| CHECK-NEXT: (0.751787,0.501364) |
| CHECK-NEXT: (0.750171,0.500588) |
| CHECK-NEXT: (0.752243,0.501621) |
| CHECK-NEXT: (0.752056,0.509570) |
| CHECK-NEXT: (0.752263,0.507172) |
| CHECK-NEXT: (0.754024,0.501935) |
| CHECK-NEXT: (0.751538,0.500686) |
| CHECK-NEXT: (0.754024,0.508004) |
| CHECK-NEXT: (0.750358,0.506688) |
| CHECK-NEXT: (0.751083,0.505733) |
| CHECK-NEXT: (0.750150,0.505805) |
| CHECK-NEXT: (0.750585,0.505232) |
| CHECK-NEXT: (0.753838,0.508040) |
| CHECK-NEXT: (0.750461,0.501308) |
| CHECK-NEXT: (0.753527,0.501546) |
| CHECK-NEXT: (0.751145,0.508224) |
| CHECK-NEXT: (0.751953,0.506566) |
| CHECK-NEXT: (0.750378,0.502955) |
| CHECK-NEXT: (0.751704,0.507102) |
| CHECK-NEXT: (0.754646,0.502674) |
| CHECK-NEXT: (0.750772,0.501464) |
| CHECK-NEXT: (0.752325,0.502761) |
| CHECK-NEXT: (0.752408,0.502305) |
| CHECK-NEXT: (0.751000,0.508639) |
| CHECK-NEXT: (0.754252,0.506525) |
| CHECK-NEXT: (0.753175,0.504877) |
| CHECK-NEXT: (0.753071,0.502682) |
| CHECK-NEXT: (0.750109,0.503627) |
| CHECK-NEXT: (0.754936,0.506406) |
| CHECK-NEXT: (0.754521,0.500953) |
| CHECK-NEXT: (0.753941,0.509584) |
| CHECK-NEXT: (0.754915,0.504699) |
| CHECK-NEXT: (0.751476,0.509525) |
| CHECK-NEXT: (0.752823,0.507129) |
|
|
