Files

• default_site.png
• explore_400.png
• halt_r3_explore.png
• records_1e10.png
• xbits_low340.png