578 rules
rule 1: valid
rule 2: valid
rule 3: valid
rule 4: valid
rule 5: valid
rule 6: valid
rule 7: valid
rule 8: valid
rule 9: valid
rule 10: valid
rule 11: valid
rule 12: valid
rule 13: valid
rule 14: valid
rule 15: valid
rule 16: valid
rule 17: valid
rule 18: valid
rule 19: valid
rule 20: valid
rule 21: valid
rule 22: valid
rule 23: valid
rule 24: valid
rule 25: valid
rule 26: valid
rule 27: valid
rule 28: valid
rule 29: valid
rule 30: valid
rule 31: valid
rule 32: valid
rule 33: valid
rule 34: valid
rule 35: valid
rule 36: valid
rule 37: valid
rule 38: valid
rule 39: valid
rule 40: valid
rule 41: valid
rule 42: valid
rule 43: valid
rule 44: valid
rule 45: valid
rule 46: valid
rule 47: valid
rule 48: valid
rule 49: valid
rule 50: valid
rule 51: valid
rule 52: valid
rule 53: valid
rule 54: valid
rule 55: valid
rule 56: valid
rule 57: valid
rule 58: valid
rule 59: valid
rule 60: valid
rule 61: valid
rule 62: valid
rule 63: valid
rule 64: valid
rule 65: valid
rule 66: valid
rule 67: valid
rule 68: valid
rule 69: valid
rule 70: valid
rule 71: valid
rule 72: valid
rule 73: valid
rule 74: valid
rule 75: valid
rule 76: valid
rule 77: valid
rule 78: valid
rule 79: valid
rule 80: valid
rule 81: valid
rule 82: valid
rule 83: valid
rule 84: valid
rule 85: valid
rule 86: valid
rule 87: valid
rule 88: valid
rule 89: valid
rule 90: valid
rule 91: valid
rule 92: valid
rule 93: valid
rule 94: valid
rule 95: valid
rule 96: valid
rule 97: valid
rule 98: valid
rule 99: valid
rule 100: valid
rule 101: valid
rule 102: valid
rule 103: valid
rule 104: valid
rule 105: valid
rule 106: valid
rule 107: valid
rule 108: valid
rule 109: valid
rule 110: valid
rule 111: valid
rule 112: valid
rule 113: valid
rule 114: valid
rule 115: valid
rule 116: valid
rule 117: valid
rule 118: valid
rule 119: valid
rule 120: valid
rule 121: valid
rule 122: valid
rule 123: valid
rule 124: valid
rule 125: valid
rule 126: valid
rule 127: valid
rule 128: valid
rule 129: valid
rule 130: valid
rule 131: valid
rule 132: valid
rule 133: valid
rule 134: valid
rule 135: valid
rule 136: valid
rule 137: valid
rule 138: valid
rule 139: valid
rule 140: valid
rule 141: valid
rule 142: valid
rule 143: valid
rule 144: valid
rule 145: valid
rule 146: valid
rule 147: valid
rule 148: valid
rule 149: valid
rule 150: valid
rule 151: valid
rule 152: valid
rule 153: valid
rule 154: valid
rule 155: valid
rule 156: valid
rule 157: valid
rule 158: valid
rule 159: valid
rule 160: valid
rule 161: valid
rule 162: valid
rule 163: valid
rule 164: valid
rule 165: valid
rule 166: valid
rule 167: valid
rule 168: valid
rule 169: valid
rule 170: valid
rule 171: valid
rule 172: valid
rule 173: valid
rule 174: valid
rule 175: valid
rule 176: valid
rule 177: valid
rule 178: valid
rule 179: valid
rule 180: valid
rule 181: valid
rule 182: valid
rule 183: valid
rule 184: valid
rule 185: valid
rule 186: valid
rule 187: valid
rule 188: valid
rule 189: valid
rule 190: valid
rule 191: valid
rule 192: valid
rule 193: valid
rule 194: valid
rule 195: valid
rule 196: valid
rule 197: valid
rule 198: valid
rule 199: valid
rule 200: valid
rule 201: valid
rule 202: valid
rule 203: valid
rule 204: valid
rule 205: valid
rule 206: valid
rule 207: valid
rule 208: valid
rule 209: valid
rule 210: valid
rule 211: valid
rule 212: valid
rule 213: valid
rule 214: valid
rule 215: valid
rule 216: valid
rule 217: valid
rule 218: valid
rule 219: valid
rule 220: valid
rule 221: valid
rule 222: valid
rule 223: valid
rule 224: valid
rule 225: valid
rule 226: valid
rule 227: valid
rule 228: valid
rule 229: valid
rule 230: valid
rule 231: valid
rule 232: valid
rule 233: valid
rule 234: valid
rule 235: valid
rule 236: valid
rule 237: valid
rule 238: valid
rule 239: valid
rule 240: valid
rule 241: valid
rule 242: valid
rule 243: valid
rule 244: valid
rule 245: valid
rule 246: valid
rule 247: valid
rule 248: valid
rule 249: valid
rule 250: valid
rule 251: valid
rule 252: valid
rule 253: valid
rule 254: valid
rule 255: valid
rule 256: valid
rule 257: valid
rule 258: valid
rule 259: valid
rule 260: valid
rule 261: valid
rule 262: valid
rule 263: valid
rule 264: valid
rule 265: valid
rule 266: valid
rule 267: valid
rule 268: valid
rule 269: valid
rule 270: valid
rule 271: valid
rule 272: valid
rule 273: valid
rule 274: valid
rule 275: valid
rule 276: valid
rule 277: valid
rule 278: valid
rule 279: valid
rule 280: valid
rule 281: valid
rule 282: valid
rule 283: valid
rule 284: valid
rule 285: valid
rule 286: valid
rule 287: valid
rule 288: valid
rule 289: valid
rule 290: valid
rule 291: valid
rule 292: valid
rule 293: valid
rule 294: valid
rule 295: valid
rule 296: valid
rule 297: valid
rule 298: valid
rule 299: valid
rule 300: valid
rule 301: valid
rule 302: valid
rule 303: valid
rule 304: valid
rule 305: valid
rule 306: valid
rule 307: valid
rule 308: valid
rule 309: valid
rule 310: valid
rule 311: valid
rule 312: valid
rule 313: valid
rule 314: valid
rule 315: valid
rule 316: valid
rule 317: valid
rule 318: valid
rule 319: valid
rule 320: valid
rule 321: valid
rule 322: valid
rule 323: valid
rule 324: valid
rule 325: valid
rule 326: valid
rule 327: valid
rule 328: valid
rule 329: valid
rule 330: valid
rule 331: valid
rule 332: valid
rule 333: valid
rule 334: valid
rule 335: valid
rule 336: valid
rule 337: valid
rule 338: valid
rule 339: valid
rule 340: valid
rule 341: valid
rule 342: valid
rule 343: valid
rule 344: valid
rule 345: valid
rule 346: valid
rule 347: valid
rule 348: valid
rule 349: valid
rule 350: valid
rule 351: valid
rule 352: valid
rule 353: valid
rule 354: valid
rule 355: valid
rule 356: valid
rule 357: valid
rule 358: valid
rule 359: valid
rule 360: valid
rule 361: valid
rule 362: valid
rule 363: valid
rule 364: valid
rule 365: valid
rule 366: valid
rule 367: valid
rule 368: valid
rule 369: valid
rule 370: valid
rule 371: valid
rule 372: valid
rule 373: valid
rule 374: valid
rule 375: valid
rule 376: valid
rule 377: valid
rule 378: valid
rule 379: valid
rule 380: valid
rule 381: valid
rule 382: valid
rule 383: valid
rule 384: valid
rule 385: valid
rule 386: valid
rule 387: valid
rule 388: valid
rule 389: valid
rule 390: valid
rule 391: valid
rule 392: valid
rule 393: valid
rule 394: valid
rule 395: valid
rule 396: valid
rule 397: valid
rule 398: valid
rule 399: valid
rule 400: valid
rule 401: valid
rule 402: valid
rule 403: valid
rule 404: valid
rule 405: valid
rule 406: valid
rule 407: valid
rule 408: valid
rule 409: valid
rule 410: valid
rule 411: valid
rule 412: valid
rule 413: valid
rule 414: valid
rule 415: valid
rule 416: valid
rule 417: valid
rule 418: valid
rule 419: valid
rule 420: valid
rule 421: valid
rule 422: valid
rule 423: valid
rule 424: valid
rule 425: valid
rule 426: valid
rule 427: valid
rule 428: valid
rule 429: valid
rule 430: valid
rule 431: valid
rule 432: valid
rule 433: valid
rule 434: valid
rule 435: valid
rule 436: valid
rule 437: valid
rule 438: valid
rule 439: valid
rule 440: valid
rule 441: valid
rule 442: valid
rule 443: valid
rule 444: valid
rule 445: valid
rule 446: valid
rule 447: valid
rule 448: valid
rule 449: valid
rule 450: valid
rule 451: valid
rule 452: valid
rule 453: valid
rule 454: valid
rule 455: valid
rule 456: valid
rule 457: valid
rule 458: valid
rule 459: valid
rule 460: valid
rule 461: valid
rule 462: valid
rule 463: valid
rule 464: valid
rule 465: valid
rule 466: valid
rule 467: valid
rule 468: valid
rule 469: valid
rule 470: valid
rule 471: valid
rule 472: valid
rule 473: valid
rule 474: valid
rule 475: valid
rule 476: valid
rule 477: valid
rule 478: valid
rule 479: valid
rule 480: valid
rule 481: valid
rule 482: valid
rule 483: valid
rule 484: valid
rule 485: valid
rule 486: valid
rule 487: valid
rule 488: valid
rule 489: valid
rule 490: valid
rule 491: valid
rule 492: valid
rule 493: valid
rule 494: valid
rule 495: valid
rule 496: valid
rule 497: valid
rule 498: valid
rule 499: valid
rule 500: valid
rule 501: valid
rule 502: valid
rule 503: valid
rule 504: valid
rule 505: valid
rule 506: valid
rule 507: valid
rule 508: valid
rule 509: valid
rule 510: valid
rule 511: valid
rule 512: valid
rule 513: valid
rule 514: valid
rule 515: valid
rule 516: valid
rule 517: valid
rule 518: valid
rule 519: valid
rule 520: valid
rule 521: valid
rule 522: valid
rule 523: valid
rule 524: valid
rule 525: valid
rule 526: valid
rule 527: valid
rule 528: valid
rule 529: valid
rule 530: valid
rule 531: valid
rule 532: valid
rule 533: valid
rule 534: valid
rule 535: valid
rule 536: valid
rule 537: valid
rule 538: valid
rule 539: valid
rule 540: valid
rule 541: valid
rule 542: valid
rule 543: valid
rule 544: valid
rule 545: valid
rule 546: valid
rule 547: valid
rule 548: valid
rule 549: valid
rule 550: valid
rule 551: valid
rule 552: valid
rule 553: valid
rule 554: valid
rule 555: valid
rule 556: valid
rule 557: valid
rule 558: valid
rule 559: valid
rule 560: valid
rule 561: valid
rule 562: valid
rule 563: valid
rule 564: valid
rule 565: valid
rule 566: valid
rule 567: valid
rule 568: valid
rule 569: valid
rule 570: valid
rule 571: valid
rule 572: valid
rule 573: valid
rule 574: valid
rule 575: valid
rule 576: valid
rule 577: valid
rule 578: valid