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;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 100000000000 ?0000 ?0 ?0;
 : 000000000000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?0 ?0;
 : 100010001000 ?0000 ?0 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 000010001000 ?0000 ?1 ?0;
 : 100010001000 ?0000 ?1 ?0;
 : 000010001000 ?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 ?0440 ?0 ?1;
 : 000000000000 ?0440 ?0 ?1;
 : 100000000000 ?0440 ?0 ?1;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 000000000000 ?0440 ?0 ?0;
 : 100000000000 ?0440 ?0 ?0;
 : 000000000000 ?0000 ?0 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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 ?1;
 : 000000000000 ?0000 ?0 ?1;
 : 100000000000 ?0000 ?0 ?1;
 : 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;

end;