(S0 S0 S0 S1 x x x x x x x x)
(S0 S0 S0 S1 x x x x x x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4003887387 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S2003164867 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4225757261 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S3966187463 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 15 x x x)
(S0 S0 S0 S0 0 0 1 1 14 x 2 0)
(S0 S0 S0 S0 0 0 1 0 14 S4285966880 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4159212572 0 0)
(S0 S0 S0 S0 0 0 1 0 14 S4261063435 0 0)
(S0 S0 S0 S0 0 0 1 0 15 S4260574998 x x)
END
END