parsec3/swaptions/prec<br>
<pre>
target_id:42 time: 12888552959660-13108779841209 (220226881549) region 0: 00000000004294967296-00000000136305336319 (132010369023)
</pre>
<img src=heatmap.0.png />
<br>
<img src=wss_sz.png />
<img src=wss_time.png />
<br>
<img src=nr_regions_sz.png />
<img src=nr_regions_time.png />