| CHECK: Generated 20 points |
| CHECK-NEXT: (0.000022,0.085032) |
| CHECK-NEXT: (0.601353,0.891611) |
| CHECK-NEXT: (0.967956,0.189690) |
| CHECK-NEXT: (0.514976,0.398008) |
| CHECK-NEXT: (0.262906,0.743512) |
| CHECK-NEXT: (0.089548,0.560390) |
| CHECK-NEXT: (0.582230,0.809567) |
| CHECK-NEXT: (0.591919,0.511713) |
| CHECK-NEXT: (0.876634,0.995085) |
| CHECK-NEXT: (0.726212,0.966611) |
| CHECK-NEXT: (0.297102,0.426051) |
| CHECK-NEXT: (0.899498,0.652999) |
| CHECK-NEXT: (0.901534,0.961533) |
| CHECK-NEXT: (0.164713,0.857987) |
| CHECK-NEXT: (0.906845,0.294026) |
| CHECK-NEXT: (0.936244,0.414645) |
| CHECK-NEXT: (0.308457,0.514893) |
| CHECK-NEXT: (0.395430,0.789785) |
| CHECK-NEXT: (0.689141,0.544273) |
| CHECK-NEXT: (0.592407,0.093630) |
| CHECK: After stream compaction, 14 points remain |
| CHECK-NEXT: (0.000022,0.085032) |
| CHECK-NEXT: (0.967956,0.189690) |
| CHECK-NEXT: (0.514976,0.398008) |
| CHECK-NEXT: (0.262906,0.743512) |
| CHECK-NEXT: (0.089548,0.560390) |
| CHECK-NEXT: (0.582230,0.809567) |
| CHECK-NEXT: (0.591919,0.511713) |
| CHECK-NEXT: (0.297102,0.426051) |
| CHECK-NEXT: (0.164713,0.857987) |
| CHECK-NEXT: (0.906845,0.294026) |
| CHECK-NEXT: (0.308457,0.514893) |
| CHECK-NEXT: (0.395430,0.789785) |
| CHECK-NEXT: (0.689141,0.544273) |
| CHECK-NEXT: (0.592407,0.093630) |
|
|
