RULE test_1
2: GT -- hash: 0xc4fc604b82c8a52b
0: FILESIZE
1: CONST integer(0)
FilesizeBounds { start: Excluded(0), end: Unbounded }
RULE test_2
2: LT -- hash: 0x4da9ccb7dc8ad14
0: FILESIZE
1: CONST integer(1000)
FilesizeBounds { start: Unbounded, end: Excluded(1000) }
RULE test_3
6: AND -- hash: 0x4683df5ef9ed24cc
2: GT -- hash: 0xc4fc604b82c8a52b
0: FILESIZE
1: CONST integer(0)
5: LT -- hash: 0x4da9ccb7dc8ad14
3: FILESIZE
4: CONST integer(1000)
FilesizeBounds { start: Excluded(0), end: Excluded(1000) }
RULE test_4
9: AND -- hash: 0x1c68bc25618c80a0
2: GT -- hash: 0xc4fc604b82c8a52b
0: FILESIZE
1: CONST integer(0)
5: GT -- hash: 0x5c3bcad248790060
3: FILESIZE
4: CONST integer(10)
8: LT -- hash: 0x4da9ccb7dc8ad14
6: FILESIZE
7: CONST integer(1000)
FilesizeBounds { start: Excluded(10), end: Excluded(1000) }
RULE test_5
12: AND -- hash: 0x5be76b0c86be461c
2: GT -- hash: 0xc4fc604b82c8a52b
0: FILESIZE
1: CONST integer(0)
5: GT -- hash: 0x5c3bcad248790060
3: FILESIZE
4: CONST integer(10)
8: LT -- hash: 0x4da9ccb7dc8ad14
6: FILESIZE
7: CONST integer(1000)
11: LT -- hash: 0x87546aac269567bd
9: FILESIZE
10: CONST integer(10)
FilesizeBounds { start: Excluded(10), end: Excluded(10) }
RULE test_6
2: GE -- hash: 0x6ecb2097ca8fd671
0: FILESIZE
1: CONST integer(0)
FilesizeBounds { start: Included(0), end: Unbounded }
RULE test_7
2: LE -- hash: 0xaea95d17c58fde59
0: FILESIZE
1: CONST integer(1000)
FilesizeBounds { start: Unbounded, end: Included(1000) }
RULE test_8
6: AND -- hash: 0xbb98c4e671eec26d
2: GE -- hash: 0x6ecb2097ca8fd671
0: FILESIZE
1: CONST integer(0)
5: LE -- hash: 0x31232af86e5c9903
3: FILESIZE
4: CONST integer(10)
FilesizeBounds { start: Included(0), end: Included(10) }