parsec3/swaptions/prec<br>
<pre>
target_id:42 time: 12354588065561-12574866019764 (220277954203) 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 />