div{font:12pt georgia,serif}h1{font:14pt georgia,serif}#leftnav,#topleft,.box{display:none}input{border:none;border-bottom:1px solid #000}.none{border-bottom:none}.hidden{display:block}.bld{font-weight:700}.box2{border:1px solid #000;padding:5px}
/*
     FILE ARCHIVED ON 14:53:03 Jun 05, 2021 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 22:21:42 Jul 31, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  capture_cache.get: 0.685
  captures_list: 0.691
  exclusion.robots: 0.059
  exclusion.robots.policy: 0.045
  esindex: 0.014
  cdx.remote: 6.256
  LoadShardBlock: 134.988 (3)
  PetaboxLoader3.datanode: 118.518 (4)
  PetaboxLoader3.resolve: 102.691 (2)
  load_resource: 2030.878
*/