((XPRE XCLOCK XCLOCKD10 XCLOCKD35 XHOLD XINTERRUPT XREFRESH XRESET XWE~ XCAS~ XHOLDA XOUTPUTINTERRUPT (LPN.PADRNG156.XRAS~ 0 3) (XRADDR 0 9) (RD 8 39)) (S1 S1) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S1 x x x x x x x) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S1 x x x x x x x) (S1 S0 S1 S0 S0 S0 S0 S1 x x x x x x x) (S1 S0 S1 S1 S0 S0 S0 S1 x x x x x x x) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0 ) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S4294967295) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S4294967295) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 0 0 0 14 0 S4294967295) (S1 S0 S1 S1 S0 S0 S0 S0 1 0 0 0 14 0 S4294967295) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S4042264575) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S4042264575) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S4042264575) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S2020607999) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S2020607999) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S2020607999) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S2020607999) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S2020607999) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S3347963263) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S3347963263) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 2 S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 0 0 0 14 0 S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 0 0 0 14 0 S2147483650) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S1381256703) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S1381256703) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S1381256703) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S1381256703) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S1381256703) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S942741487) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S942741487) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S942741487) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S942741487) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S942741487) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S3503644607) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S3503644607) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S3503644607) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S3503644607) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S3503644607) (S1 S1) ( S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S1760350143) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1760350143) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S536870914) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 4 S1073741826) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 0 0 0 14 0 S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 0 0 0 14 0 S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S0) ( S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 14 0 S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 0 0 0 14 0 S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) ( S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) ( S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) ( S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0 ) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S1073741826) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483646) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) ( S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) ( S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S0) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1 ) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483648) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S2147483650) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S141557776) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S1) (S0 S1 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S1) (S1 S0 S0 S0 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S0 S1 S0 S0 S0 S0 S0 1 1 0 0 15 x S7340048) (S1 S0 S1 S1 S0 S0 S0 S0 1 1 0 0 15 x S7340048))