in       ck B;
in       data (7 downto 0) B;
in       empty B;
in       full B;
in       reset B;
out      hadout (13 downto 0) X;
out      s_read B;
out      s_write B;

begin

-- PATTERN DESCRIPTION :


 : 000000000001 ?**** ?0 ?0;
 : 100000000001 ?**** ?0 ?0;
 : 000000000001 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 100000001000 ?0000 ?0 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?1 ?0;
 : 100000001000 ?0000 ?1 ?0;
 : 000000001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?1 ?0;
 : 100000000000 ?0000 ?1 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0019 ?0 ?1;
 : 000000000000 ?0019 ?0 ?1;
 : 100000000000 ?0019 ?0 ?1;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 000000000000 ?0019 ?0 ?0;
 : 100000000000 ?0019 ?0 ?0;
 : 000000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?1;
 : 100000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3fef ?0 ?1;
 : 000000000000 ?3fef ?0 ?1;
 : 100000000000 ?3fef ?0 ?1;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fef ?0 ?0;
 : 100000000000 ?3fef ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?1;
 : 100000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?1;
 : 000000000000 ?3ff9 ?0 ?1;
 : 100000000000 ?3ff9 ?0 ?1;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?1;
 : 100000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?1;
 : 100000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?1;
 : 000000000000 ?3ff1 ?0 ?1;
 : 100000000000 ?3ff1 ?0 ?1;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?3ff1 ?0 ?0;
 : 100000000000 ?3ff1 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0007 ?0 ?1;
 : 000000000000 ?0007 ?0 ?1;
 : 100000000000 ?0007 ?0 ?1;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?1;
 : 100000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0007 ?0 ?1;
 : 000000000000 ?0007 ?0 ?1;
 : 100000000000 ?0007 ?0 ?1;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?1;
 : 100000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?1;
 : 100000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?1;
 : 100000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?1;
 : 100000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0007 ?0 ?1;
 : 000000000000 ?0007 ?0 ?1;
 : 100000000000 ?0007 ?0 ?1;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 000000000000 ?0007 ?0 ?0;
 : 100000000000 ?0007 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3ffb ?0 ?1;
 : 000000000000 ?3ffb ?0 ?1;
 : 100000000000 ?3ffb ?0 ?1;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3ffb ?0 ?0;
 : 100000000000 ?3ffb ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?1;
 : 100000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?1;
 : 100000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?1;
 : 000000000000 ?3ff9 ?0 ?1;
 : 100000000000 ?3ff9 ?0 ?1;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?3ff9 ?0 ?0;
 : 100000000000 ?3ff9 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?1;
 : 100000000000 ?0003 ?0 ?1;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 000000000000 ?0003 ?0 ?0;
 : 100000000000 ?0003 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?0005 ?0 ?1;
 : 000000000000 ?0005 ?0 ?1;
 : 100000000000 ?0005 ?0 ?1;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 000000000000 ?0005 ?0 ?0;
 : 100000000000 ?0005 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?1;
 : 100000000000 ?3fff ?0 ?1;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 000000000000 ?3fff ?0 ?0;
 : 100000000000 ?3fff ?0 ?0;
 : 000000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?1;
 : 100000000000 ?3ffd ?0 ?1;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 000000000000 ?3ffd ?0 ?0;
 : 100000000000 ?3ffd ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?1;
 : 100000000000 ?0001 ?0 ?1;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;
 : 100000000000 ?0001 ?0 ?0;
 : 000000000000 ?0001 ?0 ?0;

end;