parsec3/swaptions/prec<br>
<pre>
target_id:42 time: 12219411450222-12439682113208 (220270662986) 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 />