Statistics

Problem Statement for "TablePartitions"

Problem Statement

A table in a database consists of rows and columns. Rows correspond to elements in the table, and columns correspond to fields in the elements. In this problem we will only deal with elements that have integer fields in the range 0 to 100, inclusive. The columns will be named sequentially with lower case letters, starting with 'a', then 'b' and so on. So an element in a table with 4 columns may be described like this: "a=3, b=10, c=15, d=0". Note that all fields in an element must contain an integer value in the valid range, i.e. no field may be omitted.

A large table in a database can be a performance hog. One way to avoid this is to logically partition the table into several smaller tables. This is done by giving each partition a set of constraints on the columns, specifying which rows in the large table should go to which partition.

Given the constraints for the partitions of a table, write a class that determines whether the partitions are well formed (see below). The constraints will be given as a String[] where each element corresponds to one partition. Each element contains a space separated list of constraints, where each constraint is in the form "<column><operator><value>" (quotes for clarity only) where <column> is a table column, <operator> is one of the relational operators '=', '<', '>', '<=', '>=', and <value> is an integer between 0 and 100, inclusive (without leading zeros). The constraints for each partition represents a conjunction, i.e. all constraints must hold (see example 1).

For instance, if we have 3 partitions and a table with 2 columns, the constraints might look like this: {"a>3", "a<=3 b>5", "b<6 a<=3"}. Element "a=4, b=3" would then go to the first partition, element "a=3, b=9" would go to the second partition and element "a=0, b=5" would go to the third partition.

The partitioning is badly constructed if one or more of the criteria below holds:

  • Empty partition: A partition is empty if the constraints are constructed so that no valid element can fulfill them (see example 1). If one or more partitions are empty, return the String "EMPTY".
  • Overlapping partitions: If there exists a valid element that satisfies the constraints for two or more partitions (see example 2), return the String "OVERLAP".
  • Incomplete partitioning: If there exists a valid element that satisfies none of the constraints (see example 4), return the String "INCOMPLETE".

If several of the criteria above holds for the partitions, return the first that holds (i.e. "EMPTY" has highest priority, followed by "OVERLAP" and finally "INCOMPLETE").

Otherwise the partitioning is well formed; that is, an arbitrary valid element can go into exactly one partition and no partition is empty. In this case you should return the String "OK".

Create a class TablePartitions containing the method validate which takes an int n, the number of columns in the table, and a String[] partitions containing the constraints for each partition in the format above. The method should "EMPTY", "OVERLAP", "INCOMPLETE" or "OK" (the meanings of these Strings are explained above).

Definition

Class:
TablePartitions
Method:
validate
Parameters:
int, String[]
Returns:
String
Method signature:
String validate(int n, String[] partitions)
(be sure your method is public)

Notes

  • A partition might have no constraints, meaning that all elements can go into this partition (see example 6).
  • Remember that the integer fields in a valid element is always between 0 and 100, inclusive.
  • There can be multiple constraints on the same column in one partition, see example 0.
  • All quotes around the return Strings above are for clarity only.

Constraints

  • n will be between 1 and 8, inclusive.
  • partitions will contain between 1 and 50 elements, inclusive.
  • Each element in partitions will contain between 0 and 50 characters, inclusive.
  • Each element in partitions with more than 0 characters will contain a space separated list of constraints in the format specified above.
  • There will be no leading or trailing spaces in the elements in partitions.
  • Each constraint in the elements in partitions will be separated with exactly one space.

Examples

  1. 2

    {"a>3 a>2", "a<=3 b>5", "b<6 a<=3"}

    Returns: "OK"

    This is the example in the problem statement with the addition of a redundant constraint in the first partition. This doesn't affect the partitioning though, so the method returns "OK" since all elements with a>3 go into the first partition, while the other two partitions require that a is no more than 3 and that b is 6 or greater (second partition) or 5 or less (third partition).

  2. 1

    {"a=0 a=1", "a>=2"}

    Returns: "EMPTY"

    The first partition requires that a is both 0 and 1 which obviously is a contradiction. Thus no element can go into this partition and therefore it's an empty partition. The method returns "EMPTY".

  3. 2

    {"a>=5", "b<=6"}

    Returns: "OVERLAP"

    The element "a=10, b=0" satisfies the constraints in both partitions, so there clearly is an overlap.

  4. 4

    {"d<17 b<40", "d>=17 d<65 b<39", "d>=65 b<39", "d>=17 d<22 b=39", "d>=22 d<47 b=39", "d>=47 b>=39 b<61", "d<9 b>=40 b<61 a<51", "d<9 b>=61 b<89 a<51", "d<28 d>=9 b>=40 b<75 a<=50", "d<28 d>=9 b>=75 b<89 a<=50", "d>=28 d<47 b>=40 b<97", "d<28 b>=89", "d>=28 d<65 b>=97", "d>=47 d<65 b>=61 b<97", "d>=65 d<=100 b>=61", "d>=0 d<28 b>=40 b<89 a>50"}

    Returns: "OK"

  5. 4

    {"d<17 b<40", "d>=17 d<65 b<39", "d>=65 b<39", "d>=17 d<22 b=39", "d>=22 d<47 b=39", "d>=47 b>=39 b<61", "d<9 b>=40 b<61 a<51", "d<9 b>=61 b<88 a<51", "d<28 d>=9 b>=40 b<75 a<=50", "d<28 d>=9 b>=75 b<89 a<=50", "d>=28 d<47 b>=40 b<97", "d<28 b>=89", "d>=28 d<65 b>=97", "d>=47 d<65 b>=61 b<97", "d>=65 d<=100 b>=61", "d>=0 d<28 b>=40 b<89 a>50"}

    Returns: "INCOMPLETE"

    Element "a=0, b=88, c=0, d=0" doesn't satisfy any constraint, and there are no overlaps nor empty partitions, so the method returns "INCOMPLETE".

  6. 8

    {"a<20 b<30 c<10 d<17 e<10 f<10 g<10 h<10", "a>=20 b>=30 c=10 d>=50 e=20 f=10 g=10 h=10", "a>=80 b>=80 c=11 d=90 e=85 f>=99 g>=98 h>=90", "a=1 b=11 c=12 d=13 e=14 f=15 g>50 h>47", "a<32 b=100 c=99 d=98 e=97 f=96 g=95 h=94"}

    Returns: "INCOMPLETE"

  7. 6

    {""}

    Returns: "OK"

  8. 1

    {"a>93 a<99","a>53 a<=74","a<=13","a>=14 a<=53","a>74 a<=86","a=98","a=100","a>=87 a<94"}

    Returns: "OVERLAP"

  9. 1

    {"a=5","a>=6 a<=18","a>52","a>=19 a<46","a<=1","a=2","a=3","a>45 a<=51","a=52","a=4"}

    Returns: "OK"

  10. 1

    {"a=25","a>=93 a<99","a=92","a=99","a=100","a=21","a=88","a>88 a<=91","a<12","a>=12 a<19","a=19","a=20","a>=27 a<88","a=26","a=22","a>22 a<=24"}

    Returns: "OK"

  11. 1

    {"a>45 a<48","a<2","a>87 a<=92","a=2","a>2 a<=20","a>20 a<=25","a>=50 a<84","a=84","a>84 a<=87","a>=35 a<=37","a=41","a=48","a=49","a=93","a=99","a=100","a>=26 a<=27","a>=28 a<=34","a>37 a<40","a=40","a=42","a=43","a=44","a>=94 a<=95","a>=96 a<99","a=45"}

    Returns: "OK"

  12. 1

    {"a=77","a>91","a>6 a<=18","a=19","a>=20 a<30","a>=57 a<=66","a=79","a=80","a<=1","a>1 a<=6","a>29 a<=40","a>40 a<44","a>52 a<58","a>=67 a<72","a=72","a>=49 a<=52","a=73","a=78","a=81","a=82","a>=83 a<89","a>=89 a<92","a=44","a>=45 a<=48","a=74","a=75","a=76"}

    Returns: "OVERLAP"

  13. 2

    {"a>=76 a<99 b>0 b<=6","b>=17 b<29","a<76 b<=6","b>7 b<=16","b>=29 b<=76","b>76","a>98 b<=6","a<92 b=7","a>91 b=7","a>=76 a<99 b=0"}

    Returns: "OK"

  14. 2

    {"a=6 b>85","a>9 b<=1","a>9 b>=2 b<5","a>=10 b>82","a<5 b<=19","a<5 b>=22 b<81","a=5 b<=99","a=5 b=100","a>=6 a<=9 b<=1","a>63 b>=5 b<83","a<=1 b>=20 b<=21","a>=2 a<=4 b>19 b<=21","a<=4 b>=81 b<84","a<=4 b>=84","a>6 a<10 b>1","a>9 a<=63 b>=5 b<12","a>9 a<=63 b>11 b<83","a=6 b>1 b<78","a=6 b>=78 b<=85"}

    Returns: "OK"

  15. 2

    {"a=100 b=72","a<=11 b>=39 b<67","a<12 b<=35","a>11 a<=84 b<=24","a>84 b<25","a>=12 b>24 b<28","a>=12 b>=28 b<=66","a<44 b>=67 b<=68","a<44 b>=69 b<=72","a>49 a<78 b>72","a<=11 b>35 b<=37","a<12 b=38","a>=59 a<=74 b>66 b<=72","a>=75 a<=89 b>66 b<73","a<45 b>72","a>44 a<50 b>=73","a>77 b=88","a>=78 b>88","a>43 a<=58 b>68 b<73","a>=90 a<=91 b>66 b<73","a>77 a<83 b>=73 b<88","a>=83 a<=87 b>72 b<88","a>=88 a<=94 b>72 b<=87","a>=95 b>=73 b<=87","a>43 a<59 b=67","a>=44 a<=58 b=68","a>91 a<97 b>66 b<=72","a>=97 b>66 b<69","a>=97 b>=69 b<72","a>96 a<100 b=72"}

    Returns: "OK"

  16. 2

    {"a=65 b=0","a<=19 b>=10 b<57","a>=69 a<85 b<=1","a>68 a<85 b>=2 b<10","a>=85 a<99 b<=1","a>98 b<=1","a>84 a<=97 b>1 b<=9","a>=98 b>=2 b<=9","a>19 b>9 b<48","b>=58 b<89","b>90","a<63 b>4 b<10","a>19 b>=48 b<=49","a>=20 b>=50 b<57","a>64 b=57","a>39 b>88 b<=90","a<=27 b=0","a>=63 a<=68 b>4 b<7","a>62 a<69 b>=7 b<10","a<14 b=57","a>13 a<65 b=57","a<=39 b=89","a<16 b>0 b<5","a>=28 a<65 b>=1 b<=4","a>=21 a<40 b=90","a>15 a<28 b>=1 b<4","a>15 a<=27 b=4","a=57 b=0","a>65 a<=68 b=0","a>64 a<68 b>0 b<5","a=68 b>0 b<=4","a<9 b=90","a>8 a<21 b=90","a>27 a<50 b=0","a>=51 a<57 b=0","a>57 a<64 b=0","a=64 b=0"}

    Returns: "INCOMPLETE"

  17. 2

    {"a>=44 a<=63 b>=91 b<=94","a<=9 b<=14","a<10 b>14 b<25","a<=9 b>=25 b<=33","a<=9 b>33 b<42","a<=5 b>=82","a>9 b<30","a>=10 b>74 b<80","a>5 a<=9 b>41 b<69","a=6 b>81","a>6 a<=9 b>81","a>=10 b>54 b<=65","a>9 a<49 b=95","a>48 b=95","a>=10 b>=98","a<=3 b>41 b<=68","a<=7 b>68 b<=79","a>7 a<10 b>=69 b<80","a>2 a<10 b>79 b<82","a>9 a<46 b>=30 b<52","a>=89 a<93 b>=30 b<52","a>=14 b>65 b<=71","a>18 b>=72 b<75","a>=56 b>=80 b<=87","a>=10 b=96","a>=10 b=97","a>=4 a<=5 b>41 b<=61","a>=4 a<=5 b>=62 b<69","a<=2 b=80","a<=2 b=81","a>=46 a<=88 b>45 b<52","a>=93 b>=30 b<47","a>=93 b>=47 b<52","a>=10 a<=98 b>=52 b<54","a>=10 a<=98 b=54","a>98 b=52","a>=99 b>=53 b<=54","a=10 b>65 b<72","a>=11 a<=13 b>65 b<=71","a>=10 a<=18 b>=72 b<74","a>9 a<=18 b=74","a>9 a<=55 b>=80 b<82","a>=10 a<56 b>81 b<=87","a>=10 b>=88 b<=89","a>=64 b>90 b<=94","a>45 a<=65 b>=30 b<=45","a>65 a<89 b>29 b<46","a>=10 a<85 b=90","a>=85 b=90","a>=10 a<44 b>90 b<95"}

    Returns: "OK"

  18. 3

    {"a>71 c>=45","a<63 c<=14","a<=47 c>14","a>=48 a<=62 c>=15","a>71 c<32","a>62 a<65 b<27","a>62 a<=64 b>26","a>=65 a<69","a>68 a<72","a>71 c>31 c<45"}

    Returns: "OK"

  19. 3

    {"a=76 b>66 b<80","a<=15 b<9","a<34 b>55 b<88","a<34 b>=88","a>15 b=0","a>=16 b>=1 b<=8","b>=9 b<56 c>=9 c<=78","b>8 b<56 c>78","a<14 b>8 b<=55 c>5 c<=8","a>=14 a<48 b>=9 b<56 c<9","a>=48 b>8 b<56 c<=8","a>=70 a<72 b>55 b<94","a>=70 a<=71 b>93","a=100 b>55 b<=79","a>=72 b>79 b<=98","a<4 b>8 b<=55 c<=5","a>=4 a<=13 b>8 b<=55 c<=5","a>33 a<=69 b>=56 c<=38","a>33 a<70 b>=56 c>38 c<=54","a>=34 a<70 b>55 c>54 c<=60","a>=34 a<=69 b>=56 c>60","a>=77 a<=99 b>55 b<=79","a>=72 b>=99 c<44","a>=72 b>=99 c>=44 c<=58","a>=72 b>98 c>=59 c<76","a>=72 b>98 c>=76","a>=72 a<=73 b>55 b<=79 c<=68","a>=72 a<=73 b>=56 b<=78 c>68","a>=74 a<77 b>=56 b<67","a>73 a<76 b>66 b<80"}

    Returns: "INCOMPLETE"

  20. 3

    {"a>=40 a<59 b>63 b<=74 c>96","a>=69 c<=67","b>79 b<85 c>=68","a>66 a<69 c<3","a>=95 b<3 c>=68","a<=12 c>65 c<=67","a<=8 b<80 c>=68 c<=77","a>=9 a<95 b<=79 c>=68 c<78","a<=94 b>=75 b<=79 c>=78","a>94 b>2 b<55 c>67","b>84 b<=93 c>=96","a<=2 b<=84 c<=2","a<3 b>=85 c<3","a>=3 a<=66 c>0 c<3","a<=68 c=4","a<=68 b<31 c>4 c<66","a<69 b>30 c>=5 c<66","a>94 a<=98 b>54 b<=79 c>=68","a>=99 b>54 b<80 c>67","a<=92 b>=94 c>=96","a>=93 b>=94 c>95","a>2 a<29 c=0","a>=29 a<67 c=0","a<69 b<24 c=3","a<=68 b>=24 c=3","a>12 a<=40 c=67","a>=41 a<69 c=66","a>=59 a<=94 b<75 c>=78","a<=13 b>84 b<88 c>=68 c<85","a<14 b>87 c>=68 c<=84","a>13 a<=19 b>84 c>67 c<85","a>19 b>=85 c>=68 c<85","b>=85 b<98 c>84 c<=95","b>=98 b<100 c>84 c<=95","a<=72 b=100 c>=85 c<96","a>=73 b=100 c>84 c<96","a>=13 a<=40 b<=87 c=66","a>40 a<=68 b>=18 c=67","a<=21 b<75 c>77 c<100","a>21 a<=39 b<=74 c>77 c<=99","a>35 a<40 b<=74 c=100","a>39 a<=58 b<=74 c>77 c<=91","a>=13 a<=37 b>=88 c=66","a>=38 a<=40 b>87 c=66","a>=41 a<69 b=0 c=67","a>40 a<=68 b>=1 b<=17 c=67","a<=12 b<=74 c=100","a>=13 a<=35 b<=74 c=100","a>=40 a<59 b<=74 c>=92 c<97","a>=40 a<59 b<64 c>=97"}

    Returns: "OK"

  21. 4

    {"a<=37 c<36 d>=5 d<43","a>45 d<43","c>36 d>=43","a<46 c>35 d<=42","a>=38 a<=45 c<=35 d<=42","a<71 c<37 d>=43 d<=68","a<=70 c<37 d>68","a>70 b<87 c<37 d>42","a>=71 b>=87 c<=36 d>=43","a<38 c<=35 d<=4"}

    Returns: "OK"

  22. 4

    {"a<=83 b>=74 c>=27 c<=63 d=69","c<=24","c>24 c<27","c>=64 d>65","b=0 c>26 d<=43","b>0 b<6 c>=27 d<44","b<=1 c>=27 d>43 d<66","a<54 b>5 c>=27 d>8 d<66","a>53 b>=6 c>26 d>=46 d<=65","c>=27 c<=63 d>=70 d<81","b>=2 b<=5 c>=27 d>43 d<58","b>=2 b<6 c>=27 d>=58 d<=65","a<54 b>5 c>26 c<32 d<9","a<54 b>=6 c>=32 d<=8","a>=54 a<72 b>5 c>26 d<=45","a>71 b>5 c>=27 d<=45","c>26 c<64 d>=81 d<=94","c>=27 c<=63 d>94","c>26 c<=39 d=66","c>=40 c<59 d=66","c>=60 c<64 d=66","c>=27 c<64 d=68","b<67 c>26 c<64 d=69","a<=7 c=59 d=66","a>7 c=59 d=66","c>=59 c<64 d=67","a>=84 b>66 c>=27 c<64 d=69","a<24 c>26 c<59 d=67","a>23 c>26 c<=58 d=67","a<=83 b>=67 b<74 c>=27 c<=63 d=69"}

    Returns: "OK"

  23. 4

    {"a>1 a<=7 b<10 c>=20 c<=23 d>31 d<62","a<=67 c>=24 d<62","a>47 a<68 d>=62","a>67 d<=12","a>67 d>27 d<37","a>67 d>36","a<48 c<99 d>61 d<85","a>67 a<100 b<56 d>12 d<28","a>67 a<=99 b>=56 d>=13 d<=27","a=100 b<=33 d>=13 d<28","a=100 b>33 d>=13 d<28","a>47 a<68 b<=74 c<13 d<=61","a>47 a<=67 b<75 c>=13 c<24 d<=61","a>=48 a<68 b>92 c<=23 d<62","a<48 b>89 c>=99 d>=62 d<=88","a<23 c<70 d>=85","a<=22 c>=70 d>84","a>=23 a<48 c>=15 d>=85","a<2 b<=35 c<=20 d<62","a<=1 b<36 c>20 c<=23 d<=61","a<=1 b>35 c<11 d<62","a>=12 a<=47 c<=9 d<=61","a>47 a<68 b>=75 b<89 c<24 d<62","a<=47 b<=89 c=100 d>=62 d<85","a>=23 a<48 b>52 c<15 d>=85","a<2 b>=36 b<41 c>10 c<24 d<62","a>24 a<48 c>9 c<24 d<=61","a>=48 a<68 b=92 c<=23 d<=61","a<=47 b<=69 c=99 d>=62 d<=84","a<48 b>69 b<90 c=99 d>=62 d<=84","a>22 a<48 b>12 b<53 c<=14 d>84","a<=1 b>40 c>10 c<19 d<=61","a<2 b>=41 c>=19 c<24 d<=61","a>=2 a<12 b<=36 c<10 d<28","a>=2 a<=11 b<=36 c<=9 d>27 d<62","a>=2 a<=9 b>36 c<=9 d<=61","a>9 a<=11 b>36 c<10 d<62","a>1 a<=7 c>9 c<24 d>=6 d<=8","a>=2 a<8 c>9 c<=23 d>=9 d<32","a>7 a<25 c>=10 c<17 d<=61","a>7 a<=24 c>=17 c<=23 d<=61","a>47 a<68 b=89 c<=23 d<62","a>47 a<68 b>=90 b<=91 c<24 d<62","a>22 a<=47 b<6 c<=14 d>=85","a>=23 a<48 b>=6 b<13 c<=14 d>=85","a>=2 a<=6 c>=10 c<24 d<=5","a=7 c>9 c<=23 d<=5","a>=2 a<8 b>46 c>9 c<24 d>=32 d<=61","a>1 a<=7 b>9 b<=46 c>9 c<24 d>=32 d<62","a>1 a<8 b<=9 c>9 c<20 d>=32 d<=61"}

    Returns: "OVERLAP"

  24. 5

    {"b>=67 c>17 c<=44 d>46 e>=94","c>44","a<=33 c<12","c>12 c<45 d<47","a>33 a<=66 c<=11","a>66 c<=11","b<=1 c>=12 c<18 d>46","b>=2 c>=12 c<=17 d>46","c>17 c<=44 d>=47 e<94","b<=66 c>=18 c<45 d>=47 e>=94"}

    Returns: "INCOMPLETE"

  25. 5

    {"a>=71 a<78 b>=81 b<=87 c>=25 c<=38 d=100 e>=22","a<=68 c>=10","a<=37 c<=9","a>=38 a<69 c<10","a>=69 a<78 e<=20","a>=78 b=0 e<=6","a>=78 b=0 e>6","a>=78 b>0 d<=70","a>77 b>0 d>=71","a>68 a<=77 d<36 e>20","a>68 a<=77 d>=36 d<=60 e>=21","a>68 a<71 c>24 d>=61 e>20","a>=69 a<=77 c<=24 d>85 d<=97 e>20","a>70 a<=77 c>=51 d>60 e>=21","a>68 a<=71 c<=24 d>97 e>=21","a>71 a<=77 c<25 d>=98 e>20","a>=69 a<76 b<=39 c=0 d>60 d<=85 e>20","a>=76 a<=77 b<40 c=0 d>=61 d<86 e>=21","a>68 a<78 b>39 c=0 d>60 d<=85 e>20 e<=81","a>=69 a<78 b>39 c=0 d>60 d<=85 e>81","a>68 a<78 b<=3 c>0 c<=24 d>=61 d<=85 e>20 e<=40","a>68 a<78 b<4 c>=1 c<25 d>60 d<=85 e>40","a>=69 a<=73 b>3 c>=1 c<25 d>=61 d<=85 e>=21","a>=74 a<78 b>3 c>=1 c<25 d>60 d<=85 e>20","a>=71 a<=74 c>=25 c<=50 d>60 d<=99 e>=21","a>74 a<=77 c>=25 c<51 d>60 d<=99 e>=21","a>70 a<=77 b<81 c>24 c<=50 d=100 e>20","a>=71 a<78 b>=88 c>24 c<51 d=100 e>20","a>70 a<=77 b>80 b<=87 c>=39 c<51 d=100 e>20","a>70 a<=77 b>=81 b<=87 c>24 c<39 d=100 e=21"}

    Returns: "OK"

  26. 5

    {"a>3 a<=7 b<=60 c>2 c<=58 d<22 e>=16 e<=63","a<4 c>58","a>=62 d>17","a>=9 b<33 d<=17 e<50","a>8 b>32 d<=17 e<50","a>=9 a<=61 d>17 e<59","a=3 c<=58 e<51","a>=4 a<=8 c>17 c<=58 e>63","a>=4 a<8 c>58 c<75","a>3 a<=7 c>=75","a>=9 a<80 d<=17 e>49 e<=58","a>=9 b>36 d<=17 e>=59","a=9 d>17 e>=59","a>=10 a<=61 d>=18 e>=59","a<=2 b>32 c<59 e<=50","a<=3 b<=57 c<59 e>=51 e<=79","a<=3 b<=57 c<59 e>79","a=0 b>57 c<59 e>50","a>0 a<=3 b>57 c<=58 e>50","a>3 a<=7 c<=2 e<=63","a=8 c<=58 d>=14 e<64","a>5 a<9 c<18 e>=64","a=8 b<31 c>=59 d<52","a=8 b<=30 c>58 d>51","a=8 b>30 c>58 e<47","a>79 d<=17 e>=53 e<59","a<=2 b<=32 c<=49 e<51","a<=2 b<33 c>49 c<59 e<=50","a>3 a<6 c<18 e>=64 e<=95","a>3 a<=5 c<18 e>=96","a=8 b>=31 c=59 e>46","a=8 b>=31 c>59 e>46","a>=80 b<=41 d<18 e>49 e<53","a>=80 b>41 d<=17 e>49 e<53","a>=9 b<4 d<=17 e>=59 e<=86","a>=9 b<=3 d<=17 e>=87","a>=9 b>=4 b<=17 d<=17 e>=59","a>=4 a<8 c>=3 c<=58 d>21 d<81 e<=63","a>3 a<=7 c>=3 c<59 d>=81 d<91 e<=63","a>3 a<8 c>2 c<59 d>=91 e<=63","a=8 b<=2 c<59 d>=3 d<=13 e<64","a=8 b>=33 c<59 d<14 e<64","a>=9 b>=18 b<=36 d<=17 e>=59 e<=76","a>=9 b>=18 b<37 d<18 e>=77","a>3 a<=7 b>60 c>=3 c<59 d<=21 e<=63","a=8 b<=1 c<=58 d<3 e<64","a=8 b=2 c<=58 d<=2 e<64","a=8 b>=3 b<=32 c<=44 d<14 e<64","a=8 b>=3 b<=32 c>=45 c<59 d<14 e<64","a>3 a<8 b<61 c>=3 c<=58 d<22 e<16"}

    Returns: "OK"

  27. 6

    {"a>56 b>=60 e>=19 e<76","a<=56 c>=95","a>56 e>=76","a<57 b<79 c<95","a<57 b>=79 c<95","a>=57 b<24 e<76","a>56 b>=24 b<34 e<76","a>56 b>33 b<60 c<96 e<76","a>56 b>=34 b<60 c>95 e<=75","a>=57 b>59 e<19"}

    Returns: "OK"

  28. 6

    {"a>60 b=38 d=82 e>=20 e<=23 f>=28 f<37","c<=55 f>=37 f<47","c<=58 f>=47","c>55 d<86 f>36","c>55 d>85 f>=37","b<=9 e>23 f<=36","b>=47 b<83 d>34 f<37","b>82 d>34 f<=36","b<=46 d<78 e<=19 f<=36","b>9 b<47 d<=11 e>=24 f<=36","b>9 b<=46 d>11 e>=24 f<=36","b>=47 b<=74 c>=26 d<35 f<=36","a>=65 b>74 d<=34 f<37","b<47 d>77 e<=19 f<=17","b<47 d>77 e<=19 f>17 f<37","b<=37 d>96 e>19 e<24 f<=36","b>=39 b<47 e>=20 e<24 f<=36","a<=54 b>=47 b<=74 c<26 d<35 f<37","a>54 b>46 b<=74 c<26 d<35 f<=36","a<=64 b>74 b<=85 d<=34 f<=36","a<=64 b>85 d<35 f<=36","b<=37 d<97 e=23 f<=36","b<38 d<44 e>=20 e<=22 f<=36","b<=37 d>=44 d<=96 e>=20 e<=22 f<37","a<=21 b=38 d<=80 e>19 e<24 f<=36","a>=22 b=38 d<81 e>=20 e<24 f<37","a<=60 b=38 d>80 e>=20 e<=23 f<37","a>60 b=38 d>82 e>=20 e<=23 f<37","a>=61 b=38 d=81 e>=20 e<=23 f<37","a>60 b=38 d=82 e>19 e<=23 f<=27"}

    Returns: "OVERLAP"

  29. 6

    {"a>21 b>=7 b<83 d>=32 e>69 f>63","a>=3 a<5 e>12","a>=5 c<=42 d<5","a>=3 a<5 e<13 f<=93","a>2 a<5 e<13 f>=94","a>4 d>=5 d<=95 f<=63","a<3 b<25 e>=82 e<87","a<3 b>24 c<8 e<96","a<3 b>=25 b<=28 e>=96","a>=5 b<63 c>42 c<67 d<5","a>=5 b<63 c>66 d<=4","a>=5 b>62 c>=43 d<=4 e<=84","a>=5 b>62 c>42 d<5 e>84","a>=5 d=100 f<=63","a>=8 a<22 d>=5 f>=64","a<3 b<18 d<=39 e<82","a<=2 b<=24 c>=3 d>=40 e<82","a<=2 b>28 c<89 e>=96","a<=2 b>28 c>=89 e>95","a>=5 d>95 d<=99 f<=12","a>4 d>=96 d<100 f>12 f<64","a>=22 b<7 c<47 d>=5 f>=64","a>21 b<=6 c>=47 d>=5 f>63","a<=2 b>=18 b<25 d>=3 d<40 e<=81","a<=2 b<25 c>=73 e>=87 f<87","a<=2 b<25 c>=73 e>86 f>86","a<3 b>=25 c>7 c<39 e<=95","a<=2 b>24 c>38 c<=45 e<=95","a>=1 a<=2 b>=25 c>45 e<96","a>=5 a<=7 b<=48 c<76 d>=5 f>63","a>4 a<=7 b>48 c<=75 d>4 f>=64","a>4 a<=7 c>75 d>4 e<=52 f>=64","a>21 b>6 d>=5 d<=17 e<70 f>=64","a>21 b>6 d>=18 e<70 f>=64","a>=22 b>82 d>4 e>=70 f>=64","a<3 b>=18 b<25 d<3 e<=81 f<60","a<=2 b>17 b<25 d<3 e<82 f>=60","a<=2 b<=24 c=0 d>=40 e<=28","a<=2 b<25 c>0 c<=2 d>39 e<29","a<=1 b<25 c<3 d>=40 e>28 e<82","a=2 b<25 c<3 d>=40 e>28 e<82","a<=1 b<18 c<=72 e>86","a=2 b<18 c<=72 e>86","a<3 b>17 b<=24 c<73 d<77 e>=87","a<=2 b>=18 b<=24 c<73 d>76 e>86","a=0 b>=25 c>45 e<=95 f<=37","a=0 b>=25 c>=46 e<96 f>=38","a>=5 a<8 c>75 c<98 d>4 e>52 f>=64","a>=5 a<=7 c>97 d>4 e>=53 f>=64","a>21 b>=7 b<=82 d>=5 d<32 e>=70 f>63"}

    Returns: "OK"

  30. 7

    {"a>=66 a<75 c<=2 d>78 g>16","c>2","a<51 a<52 c<2","a>51 c<=2 g<17","a<=51 c=2 g>25","a>74 c<3 g>=17","a<52 c=2 f<88 g<=25","a<=51 c=2 f>=88 g<=25","a>=52 a<75 c<=2 d<=78 g>16","a>51 a<=65 c<3 d>78 g>16"}

    Returns: "INCOMPLETE"

  31. 7

    {"c>0 c<=20 d>78 e>=21 e<25 f>34","a<=23 e<21 a<=30","b<52 d<=98 e>=25","b>51 c<=27 e>=25","a>23 d<30 e<21","a>23 d>29 e<=20","d<=78 e>20 e<=22","d<=78 e>=23 e<25","b<=51 d>98 e>=25 g<3","b<52 d>98 e>=25 g>=3","b>=52 b<60 c>27 e>=25","b>59 c>=28 e>24","c>=51 d>78 e>=21 e<=24 g>92","c<=30 d>78 e>20 e<25 f<35","c>=31 c<=50 d>78 e>20 e<=24 g<33","c>30 c<51 d>78 e>20 e<25 g>=33","a<=54 c>=51 d>78 e>=21 e<25 g<=92","a>=55 c>50 d>78 e>=21 e<25 g<93","c>=21 c<=30 d>78 e>=21 e<25 f>34","c=0 d>=79 e>=21 e<=24 f>34"}

    Returns: "OK"

  32. 7

    {"a>64 b>42 b<52 f>=97 g>76","b<=42 e<=1","a<=51 b<43 e>=13","a>51 b<43 e>12","b<=42 c>=76 e>1 e<=12","a>48 b>=43 b<=51 g=0","b>=52 b<=78 f>21","b>78 f>=22","a<=50 b<=42 c<76 e>1 e<=12","a>=51 b<43 c<=75 e>1 e<=12","a<49 b>42 b<46 f<=37","a<49 b>42 b<52 f>=38 f<=89","a<=48 b>=43 b<=51 f>=90","a<=49 b>=52 f<=9","a>=50 b>=52 f<=9","b>51 d<2 f>9 f<22","a<=48 b=46 f<38","a>=49 b>=43 b<47 f<73 g>0","a>48 b>=47 b<=51 f<=72 g>0","b>=78 d>1 f>9 f<=21","a<9 b>46 b<52 f<38","a>55 b>42 b<=51 f>=73 g>=1 g<=76","a>=49 b>=43 b<=51 f>=73 f<97 g>76","b>51 b<=77 c<=31 d>1 f>9 f<22","b>51 b<78 c>31 d>1 f>9 f<=21","a>=9 a<18 b>=47 b<52 f<=37","a>17 a<49 b>=47 b<52 f<=37","a>=49 a<=55 b>=43 b<=51 d<70 f>72 g>0 g<=76","a>=49 a<56 b>42 b<=51 d>69 f>=73 g>0 g<=76","a>48 a<65 b>42 b<=51 f>96 g>76"}

    Returns: "OK"

  33. 7

    {"b>=13 c>=87 c<89 d>35 d<90 f>1 f<7 g>39","d>=98 f>41","b<=3 f<=42 g>=30 g<40","a<=94 f>=12 f<42 g>39","a>94 f>11 f<=41 g>=40","d<68 f>41","d>=68 d<=73 f>41","b<=80 d>=74 d<=97 f>41","b>=81 d>=74 d<98 f>41","b<=3 f<=41 g<26","b>=4 e<65 f<=31 g<=39","b>3 e<65 f>=32 f<42 g<40","b>3 d=100 e>=65 f<=41 g<40","b<=25 c<=86 f<12 g>=40","b>25 c<=86 f<6 g>39","b>25 c<87 f>5 f<12 g>39","c>=87 d<2 f<=11 g>39","c>86 d>1 d<=29 f<=11 g>=40","b<=3 d>=56 d<95 f<=41 g>=26 g<30","b<4 d>=95 f<42 g>=26 g<=29","a<=83 b>=4 d<=99 e>64 f<42 g>7 g<40","a>83 b>=24 d<100 e>64 f<42 g<=39","c>=87 d>=30 d<32 f<=11 g>=40","c>86 d>=32 d<36 f<12 g>=40","b<=1 d<56 f<42 g>=26 g<=27","b<=1 d<56 f<=41 g>27 g<30","b>=2 b<4 d<=49 f<=41 g>25 g<30","b>=2 b<=3 d>=50 d<=55 f<=41 g>25 g<30","a<39 b>3 d<=99 e>64 f<=41 g<=7","a>=39 a<84 b>3 d<100 e>64 f<42 g<=7","a>83 b>3 b<=23 d>=90 d<100 e>64 f<=41 g<=39","c>86 c<=88 d>=90 f<12 g>39","c>=89 d>35 e<17 f<12 g>39","c>88 d>35 e>=17 f<12 g>=40","a>=84 b>9 b<=23 d<90 e>64 f<42 g<40","b<=12 c>=87 c<89 d>35 d<=89 f<12 g>39","a>=84 b>=4 b<10 c<=75 d<=89 e>64 f<=41 g<=39","a>=84 b>=4 b<10 c>=76 d<=89 e>64 f<42 g<=39","b>12 c>86 c<89 d>=36 d<=89 f>6 f<=11 g>=40","b>12 c>=87 c<=88 d>35 d<=89 f<2 g>39"}

    Returns: "OVERLAP"

  34. 7

    {"a<=67 c>58 c<=72 d>91 e>34 f>65 g=43","d<=21 f<66","b>36 d>21 f>=58 f<66","b<8 c<24 f>=66","a>=10 b>52 d>=22 f<=57","b<=24 d>21 f>=58 f<66","b>24 b<37 d>21 f>57 f<=65","b>=8 b<99 c<24 f>=66","c>23 c<=58 f>=66 g>=91","a>=68 c>=59 c<=72 f>65","a>27 c>72 e>=92 f>65 g<=43","c>72 f>65 f<69 g>=44 g<74","c>72 f>=66 f<69 g>73","c>72 d>=40 f>68 g>43","a<10 b=0 d>21 f<=57 g<=47","a<=9 d>=22 f<58 g>64","a>=10 b<=52 c<57 d>=22 f<=57","b>=99 c<=23 f>65 f<97","b>=99 c<=23 f>96","a<=67 c>=59 c<=72 d<=85 f>=66","a<=6 c>=73 c<78 f>65 g<44","a>6 a<=27 c>72 c<=77 f>65 g<=43","b<78 c>72 d<=39 f>=69 g>43","b>=78 c>72 d<40 f>68 g>43","a<=9 b>0 c<51 d>=22 f<58 g<=47","a<10 b>0 c>=51 d>21 f<=57 g<48","a<=9 b<=92 d>=22 f<=57 g>=48 g<65","a<=9 b>=93 d>=22 f<=57 g>47 g<=64","a>=10 b<=52 c>56 d>=22 f<=8","b<30 c>=24 c<59 f>=66 g<6","b<=29 c>23 c<=58 f>=66 g>=6 g<91","a<56 b>=30 c>=24 c<59 f>65 g<=90","a<68 c>58 c<=72 d>85 f>=66 g>=44","a<=15 c>77 d>=20 f>65 g<44","a>15 a<28 c>77 d>19 f>65 g<44","a>=28 c>72 c<=89 e<=91 f>65 g<10","a>=28 c>=90 e<92 f>65 g<=9","a>27 a<36 c>72 e<92 f>65 g>9 g<44","a>35 c>72 e<=91 f>=66 g>9 g<=43","a>=10 b<=52 c>56 d>=22 f>8 f<33","a>9 b<=52 c>56 d>21 f>=33 f<58","a>=56 b>=30 c>23 c<59 e<=89 f>=66 g<91","a>55 b>29 c>23 c<59 e>89 f>65 g<91","a<68 c>=59 c<=72 d>=86 e<35 f>65 g<44","a<=6 b<82 c>=78 d<20 f>=66 g<=43","a>=7 a<=27 b<=81 c>=78 d<20 f>=66 g<44","a<=20 b>81 c>=78 d<=19 f>=66 g<=43","a>20 a<28 b>=82 c>77 d<=19 f>=66 g<=43","a<68 c>=59 c<=72 d>85 e>34 f>65 g<43","a<68 c>=59 c<73 d>85 d<=91 e>=35 f>=66 g=43"}

    Returns: "OK"

  35. 8

    {"a>=53 c>94 f>25 g>=30 h=0","c<=24","c>=25 e<13 h>=2","c>24 d<=77 g<=29 h=0","c>=25 d>77 g<30 h=0","c>=25 f<26 g>=30 h=0","c>=25 e>12 h>=1 h<=76","c>24 e>12 h>76","a<=52 c>24 f>25 g>29 h=0","a>=53 c>=25 c<95 f>25 g>29 h=0"}

    Returns: "INCOMPLETE"

  36. 8

    {"b>10 c<18 d<98 e<=67 f<35 g>=21","c>=18 f<=66","c<=17 f>34 f<=66","c<=17 d>97 f<35","e<45 f>=67 f<=93 g<=12","e<45 f>=67 f<95 g>12","c<=44 e<45 f>=95","c>44 e<45 f>=95","b>=24 b<77 e>=45 f>=67","b>76 e>=45 f>66","c<=17 d<98 e>=68 f<=34","b<=23 d>75 e>=45 f>=67 g<=10","b<11 c<=17 d<=97 e<68 f<=34","b<=23 d<=75 e>=45 f>66 f<=88 g<=10","b<24 d<76 e>=45 f>=89 g<=10","b<24 e>44 f>=67 f<95 g>10 g<97","b<=23 e>44 f>=67 f<95 g>=97","b<=2 e>44 f>94 g>=11","b>2 b<24 e>44 f>=95 g>10","b>=11 c<=17 d<98 e<68 f<35 g<21"}

    Returns: "INCOMPLETE"

  37. 8

    {"a>72 b>=14 c>=75 d<5 e>=54 f<=46 g<=5 h>18","e<44 h<67","e<=43 h>66","d>97 e>53 g>=95","b<=10 c<49 e>43 e<=53","b>=11 b<=18 c<49 e>43 e<54","b<19 c>=49 c<=59 e>=44 e<=53","a<=59 b>18 e>43 e<=53 f>1","a>=60 b>=19 e>43 e<54 g<=5","a>=60 b>18 e>43 e<=53 g>=6","b<=13 d<=97 e>53 e<80","b<=13 d<98 e>79","d>=98 e>=54 g<=94 h=0","d>=98 e>53 g<95 h>=1","b<=18 c>=60 e>43 e<54 h<90","b<19 c>=60 e>=44 e<54 h>=90","b>=14 d<=4 e>53 h<19","b>13 b<=64 d>=5 d<=97 e>53","b>64 d>4 d<98 e>=54","a<=59 b>18 c<74 e>=44 e<=52 f<=1","a<=59 b>=19 c>=74 d>31 e>43 e<54 f<2","b>13 d<=4 e>53 f>46 h>18","a<=59 b>18 b<=24 c<=73 e=53 f<=1","a<60 b>=25 c<=73 e=53 f<=1","a<=59 b>18 c>=74 d<=18 e>=44 e<=53 f<=1","a<=59 b>=19 c>73 d>18 d<32 e>=44 e<=53 f<=1","a<73 b>13 d<=4 e>53 f<=46 g<6 h>18","b>13 d<=4 e>53 f<29 g>5 h>=19","b>13 d<5 e>53 f>28 f<47 g>5 h>=19","a>72 b>13 c<=74 d<5 e>=54 f<47 g<6 h>18"}

    Returns: "OK"

  38. 8

    {"a>67 c>73 e>96 f>96 g<49 h>=5 h<=48","e<=37 g>16 g<=70","e>37 g>=49 h<=78","e<37 g<=16 h<83","e<38 g<17 h>=83","b<=12 c<=5 e<38 g>=71","a<68 e>37 g<=48 h>=52","b<8 c>5 e<38 g>=71","b>7 b<13 c>=6 e<=37 g>=71","b>12 e<38 g>70 g<=86 h<=66","b>=13 c<78 e<=37 g>70 h>66","b>12 c>77 e<=37 g>=71 h>66","a<68 e>37 g<46 h<52","a>=68 e>37 g<49 h>=49","d<=2 e>37 g>=49 g<84 h>=79","d>=3 e>37 g>48 g<84 h>=79","e>=38 g>=84 h>=79 h<89","e>=38 g>83 h>88","b>=13 e<=37 f<98 g>86 h<67","b>=13 e<=37 f>97 g>86 h<67","a<=67 e>37 f<4 g>45 g<=48 h<52","a>67 e>=38 g<22 h<=2","a>=68 c<74 e>37 g<=48 h>=3 h<5","a>67 c>73 e>37 g<=48 h>2 h<5","a>=68 e>37 f<96 g<49 h>=5 h<49","a<=67 e>=38 f>=4 g>45 g<49 h>=17 h<=51","a>67 c<=73 e>37 f>95 g<49 h>4 h<49","a>=11 a<68 e>37 f>=4 g>=46 g<49 h<17","a=68 b<28 e>=38 g>=22 g<49 h<3","a>68 b<87 e>=38 g>=22 g<=48 h<3","a>68 b>86 e>=38 g>=22 g<=48 h<3","a<11 e>=38 f>=4 g>45 g<=47 h<17","a<11 e>=38 f>=4 g=48 h<=16","a=68 b>=28 e>=38 g>=22 g<=45 h<=2","a=68 b>=28 e>37 g>=46 g<=48 h<3","a>67 a<=91 c>73 e>=38 e<94 f>=96 g<49 h>4 h<=48","a>91 c>73 e>37 e<=93 f>=96 g<49 h>=5 h<=48","a>67 c>=74 e=94 f>=96 g<49 h>4 h<49","a>67 c>=74 e>94 e<=96 f>=96 g<=48 h>4 h<49","a>67 c>=74 e>96 f=96 g<=48 h>4 h<=48"}

    Returns: "INCOMPLETE"

  39. 8

    {"c>=73 e>=7 e<=20 f>20 g<30 h<16","c<46 g<=29 h<=18","a<19 g>29 h<4","a<19 g>=30 h>3 h<=24","a<=18 g>29 h>=25","c>=43 c<46 f<=16 g<=29 h>18","c<46 f>=17 g<4 h>18","c<46 f>=17 g>3 g<=29 h>=19","c>=46 e>23 e<=84 g<30 h>=86","a>=19 e<=53 g>29 g<=70 h<36","a>18 b<25 e>53 g>=30","a>=19 b>24 b<31 e>53 g>=30","a>18 b>=31 c<=63 e>=54 g>29","c<=8 f<17 g<=29 h>=19","c>8 c<43 f<17 g<=29 h>18","c>=64 e<6 g<=29 h>82","c>=46 e>5 e<=23 g<9 h>82","c>=46 e>=6 e<=23 g>8 g<=29 h>=83","c>45 c<=71 e>=24 g<30 h<86","c>98 e>=24 f>46 g<30 h<=85","c>45 e>84 f<=58 g<=29 h>=86","c>=46 e>84 f>58 g<=29 h>=86","a>18 d<=3 e<54 g>29 g<71 h>=36","a>18 e<54 f>24 g>70 g<=89","a>18 e<=53 g>89 h<=22","a>18 e<=53 g>89 h>=23","a>=19 b>=31 c>63 e>53 g>=30 g<=66","a>18 b>30 c>63 e>53 g>66","c>=62 e<=20 f<21 g<=29 h<=82","c>45 c<73 e<21 f>=21 g<=29 h<=82","b<14 c>45 e>=21 e<24 g<=22 h<=82","b<14 c>=46 e>20 e<24 g>22 g<=29 h<=82","b>=14 c>45 e>20 e<24 g<30 h<=55","b>=14 c>45 e>20 e<24 g<=29 h>=56 h<83","c>45 c<64 e<=5 f>=88 g<30 h>82","c>71 c<=98 d<=56 e>23 g<30 h<=85","c>=72 c<=98 d>56 e>=24 g<=29 h<=85","c>98 d<72 e>23 f<47 g<=29 h<86","c>98 d>71 e>23 f<47 g<30 h<=85","a>18 c<=96 d>=4 e<54 g>=30 g<=70 h>35","a>=19 c>=97 d>3 e<54 g>29 g<=70 h>35","a>18 e<54 f<=24 g>=71 g<90 h<=84","a>18 e<=53 f<25 g>=71 g<90 h>84","c>45 c<=61 e<21 f<=20 g<=29 h>=24 h<83","c>=73 e<21 f>=21 g<30 h>=16 h<=82","c>=46 c<=63 e<=3 f<88 g<=29 h>82","c>=46 c<64 e>3 e<6 f<=87 g<=29 h>82","c>=46 c<62 d<=19 e<=20 f<21 g<30 h<=23","c>=46 c<62 d>19 e<21 f<=20 g<30 h<=23","c>=73 e<7 f>20 g<30 h<=15"}

    Returns: "OK"

  40. 7

    {"b<=89 c>58 e>=80 g>=70","b<=22 c<59","b>=23 c<59","b<62 c>58 e<68","b>63 c>=59 e<68 g<93","b>63 c>=59 e<=67 g>92","b<=89 c>=59 e>=68 g<70","b>=90 c>58 e>67 e<79","b>89 c>=59 e>=79","b<=89 c>=59 e>67 e<80 g>=70"}

    Returns: "INCOMPLETE"

  41. 7

    {"a>0 d=0 e>7 e<11 f=1","b<=72 e<=7","b<=73 e>=8 f>=2","b>72 e<8 f<12 g<=11","b>72 e<=7 f>11 g<19","d>0 d<=23 e>7 f<2","d>=24 e>=12 f<2","b>73 d<12 e>=8 f>=2","b>73 d>=12 e>=8 f>1","b>=73 c<40 e<=7 f<12 g>=12","b>=73 c>=40 e<8 f<=11 g>=12","a<=18 b>=73 e<=7 f>11 g>=19","a>=19 b>=73 e<8 f>=12 g>=19","a<81 d>=24 e>=8 e<=11 f<=1","a>80 d>=24 e>7 e<=11 f<=1","d=0 e>=8 e<=86 f=0","d=0 e>86 f=0","d=0 e>12 f=1","d=0 e>=11 e<13 f=1","a=0 d=0 e>7 e<11 f=1"}

    Returns: "OK"

  42. 7

    {"a>1 a<93 b<39 e>22 e<=49 f<23 g<=9","b>10 e>49","b<11 c<25 e>=50","a<73 e<50 f<=22 g>=15","a>72 e<50 f<23 g>=11","b<80 e<=49 f>22 f<29","b>=80 e<50 f>22 f<29","a<22 b<11 c>24 e>49","a>21 b<11 c>24 e>49","b<39 e<=49 f<23 g=10","d<12 e<50 f>=29 g=100","b>=39 d<=10 e<=49 f<=4 g<=10","b>=39 d>=11 e<50 f<=22 g<6","a<55 c<16 e<=49 f>28 g<=99","a<=98 c>=16 e<50 f>=29 g<=99","a>=99 c>15 e<50 f>=29 g<=99","a<=15 d>=12 e<=49 f>28 g=100","a>15 d>11 e<50 f>=29 g=100","b<=38 c<=80 e=0 f<=22 g<10","b<=38 c>80 e=0 f<23 g<10","a>=93 b<39 e>=1 e<50 f<23 g<10","b>38 d<11 e<50 f>4 f<=20 g<11","b>38 d<=10 e<=49 f>=21 f<23 g<11","b>38 c>36 d>10 e<50 f<23 g>5 g<11","a>=55 c<16 e<18 f>28 g<=99","a>54 c<=15 e>17 e<=49 f>28 g<100","a<2 b<=38 e>0 e<50 f<=22 g<=9","b>=39 c<37 d>10 e<50 f<=14 g>=6 g<=10","b>38 c<=36 d>=11 e<50 f>14 f<=22 g>5 g<=10","a>1 a<=92 b<=38 e>=1 e<=22 f<23 g<=9"}

    Returns: "INCOMPLETE"

  43. 7

    {"a=100 b=15 c<=49 d>=10 d<36 e>=53 e<=61 f>75","a<100 e>35 f<75","a=100 d<36 f<=20","a<=99 e>6 e<=35 g<47","a<=99 b<63 e<=35 g>46","a<100 c<74 e>35 f>74","a<100 c>=74 e>35 f>74","a=100 d<=35 e>61 f>20","a=100 d>=77 g<38","a<=99 c<=58 e<=6 g<47","a<=99 b>=63 c<15 e<36 g>=47","a<100 b>=63 c>14 e<=35 g>=47","a=100 d>74 d<=76 g<38","a=100 b<=10 d>=36 g>=97","a<100 c>=59 d<=24 e<7 g<47","a<=99 c>58 d>=25 e<=6 g<47","a=100 b>15 d<36 e>53 e<62 f>20","a=100 d>35 d<=60 g<=37","a=100 d>=61 d<75 g<38","a=100 b<=7 d>=36 g>37 g<=96","a=100 b>=8 b<=10 d>=36 g>=38 g<=96","a=100 b>10 d>=36 f<=44 g>37 g<=60","a=100 b>=11 d>35 f>44 g>37 g<50","a=100 b<14 d<=35 e<62 f>=21 f<=75","a=100 b>13 b<=15 d<=35 e<62 f>=21 f<76","a=100 b>15 d<36 e<54 f>=21 g=0","a=100 b>15 d<=35 e<54 f>=21 g>0","a=100 b>10 b<=84 d>=36 f<45 g>=61","a=100 b>=11 d>35 d<85 f>44 g>49","a=100 b>10 d>84 f>=45 g>49","a=100 b<7 d<=35 e>=53 e<=61 f>=76","a=100 b>=85 d>35 d<=85 f<=44 g>=61","a=100 b>=85 d>=86 f<45 g>=61","a=100 b<16 d<36 e<=52 f>75 f<98 g<39","a=100 b<16 d<36 e<=52 f>=76 f<=97 g>38","a=100 b<=15 d<=35 e<=52 f=98","a=100 b<=15 d<=35 e<53 f>=99","a=100 b>6 b<=14 d<36 e>52 e<=61 f>75","a=100 b=15 c>=50 d<36 e>=53 e<=61 f>=76","a=100 b=15 c<=49 d<=9 e>52 e<=61 f>75"}

    Returns: "OK"

  44. 7

    {"a>=62 a<=61 b>=68 c>=90 d>42 e<=34 f>22","b<69 c<90 g>=86","b>=12 b<=14 c>89","b<69 c<=89 f>=80 g<=85","b>68 c<90 f>=50","a<=55 b<12 c>89","a>=56 b<12 c>89","b<=16 c<=89 f<=79 g<86","b>=17 b<69 c<=89 f<=79 g<=85","b>68 b<=86 c<90 d>=93 f<=45","b>86 c<90 d>=93 f<46","b>=30 b<=67 c>89 g<85","b>=68 c=100 d<=28","a<54 b>=68 c>=90 d>28","b>=69 b<=83 c<=88 f>45 f<50","b>=15 b<=29 c>89 c<=93 g<=84","b>14 b<30 c>=94 g<85","a<=94 b>=15 b<=67 c>=90 g>84 g<91","a>=95 b>14 b<38 c>89 g>84","a>94 b>37 b<=67 c>89 g>=85","b>98 c>=90 c<100 d<29","a>=54 b>=68 c>=90 d>=29 e>34","a<=95 b>=69 c<=89 d<=92 f>=6 f<15","a<66 b>=93 c<=89 d<=92 f>=15 f<=45","a>=66 b>=93 c<=89 d<93 f>=15 f<46","b>68 b<=73 c=89 f>45 f<=49","b>=74 b<84 c=89 f>45 f<50","b>=84 c<=29 f>45 f<50 g<23","b>83 c<=29 f>45 f<=49 g>=23","b>=84 c>29 c<=89 f>45 f<=49 g<=18","b>83 c>=30 c<90 f>=46 f<=49 g>18","a<=94 b>14 b<68 c>89 f<=10 g>=91","b>=68 b<=98 c>=90 c<=99 d<=28 e<=16","b>=68 b<99 c>89 c<=99 d<=28 e>=17","a>53 b>67 c>=90 d>28 e<35 f<23","b>68 c<=89 d<=92 f<5 g<=62","b>=69 c<=89 d<93 f<=4 g>62","b>68 b<85 c<=89 d<93 f=5","b>=85 c<90 d<=92 f=5","a>95 b>=69 c<90 d<93 e<=43 f>5 f<=14","a>=96 b>=69 c<90 d<93 e>=44 f>=6 f<15","b>68 b<93 c<90 d<93 f>14 f<33 g<34","b>68 b<=92 c<=89 d<=92 f>32 f<=45 g<=33","b>=69 b<93 c<90 d<=92 e>=89 f>=15 f<46 g>=34","a<95 b>14 b<68 c>=90 c<92 f>=11 g>=91","a<95 b>14 b<68 c>91 f>=11 g>=91","a>=62 b>=68 c>=90 d>=29 e<=34 f>22","b>68 b<93 c<90 d<93 e<=32 f>=15 f<=45 g>33","b>68 b<=92 c<90 d<93 e>=33 e<=88 f>14 f<46 g>33","a>=54 a<=61 b>=68 c>=90 d>28 d<43 e<=34 f>=23"}

    Returns: "EMPTY"

  45. 8

    {"a>96 e>51 f>53 g>48 g<61","a<97 e>10","a<=15 b<21 e<=10","a<=15 b>20 e<11","a>15 e<=10 h<=52","a>=16 e<11 h>52","a>=97 e>=11 g>60","a>96 e>=11 e<52 g<61","a>=97 e>=52 g<49","a>=97 e>51 f<=53 g>=49 g<=60"}

    Returns: "OK"

  46. 8

    {"a>=53 b>98 c>53 d>=55 e>=47 e<55","a>36 d<=54","a<37 b>81","a<=36 b<=57 f>=54 g<34","a<=36 b<=57 g>88 g<=94","a<=36 b>57 b<=81 e<=55","a<=36 b>57 b<82 e>55","a>=53 d>=55 e>54","a<=36 b<=57 e<76 f<=53 g<=88","a<=36 b<=57 d<=50 g>94","a<37 b<=57 d>=51 g>94","a>36 a<51 d>=55 h<=4","a>=51 a<=52 d>=55 h<=4","a>36 a<53 d>=55 h>=5 h<76","a>=37 a<53 d>54 h>=76","a>52 d>=55 e<47","a<=36 b<58 e>75 f<54 g<=51","a<37 b<=57 e>=76 f<=53 g>=52 g<89","a>=53 c<54 d>=55 e>46 e<55","a>=53 b<=98 c>53 d>54 e>=47 e<55"}

    Returns: "INCOMPLETE"

  47. 8

    {"a>18 a<24 d>=25 e<=51 g>=70","a<18 c<=8 d<=90","a<=17 c>8 d<=90","a<18 c<97 d>=91","a<=17 c>96 d>90","a>=18 d>24 d<76 g<55","a>17 d>=76 g<55","a>94 d>=25 g>54","a>17 a<31 d<=11 h<97","a>=18 a<31 d>11 d<25 h<=96","a>=31 d<=24 e<2","a>=31 d<25 e>=2 e<=7","a>23 a<95 d>24 g>=55","a>=18 a<31 d<=20 h>97","a>17 a<31 c<14 d>=21 d<25 h>=97","a>=31 d<=24 e>=8 f<=67 g>=79","a>17 a<=23 d>24 e>=52 g>54","a>=18 a<31 d<15 h=97","a>=18 a<=30 d>=15 d<=20 h=97","a>=18 a<=19 c>13 d>=21 d<=24 h>96","a>=20 a<=30 c>=14 d>=21 d<=24 h>96","a>30 b<=21 d<25 e>=8 f<68 g<=78","a>30 b>21 d<=24 e>7 f<=67 g<=78","a>30 d<=24 e>=8 f>67 g<=54 h<=44","a>=31 d<=24 e>=8 f>=68 g<=54 h>44","a>=31 d<25 e>=8 f>67 g>54 g<58","a=18 d>=25 e<52 g>=55","a>30 d<=24 e>7 f>=68 g>57 h<55","a>=31 d<25 e>=8 f>67 g>=58 h>=55","a>18 a<=23 d>=25 e<52 g>54 g<70"}

    Returns: "OK"

  48. 8

    {"b>12 b<=16 c>=16 c<49 e>=16 h=5","h>=11","a<65 c>=49 e<=88 h<=10","a>64 c>48 e<=89 h<11","c>48 e>88 g<48 h<11","c>=49 e>=89 g>=48 h<11","c<=48 e>1 h=0","c<49 e<=27 h>=1 h<3","c<=48 e<64 g<19 h>=6 h<=10","c<49 e>=64 g<19 h>=6 h<=10","b>=94 c<49 g>18 g<53 h>=6 h<=10","b>59 c<=18 g>=53 h>5 h<11","b>=60 c>18 c<=48 g>52 h>=6 h<=10","b<=49 c<49 e<=1 h=0","b>=50 c<49 e<=1 h=0","c<49 e>=28 g<83 h>0 h<3","c<49 e>=28 g>82 h>0 h<3","c<=15 d>=86 g>57 h>2 h<=5","c>=16 c<=42 h>=3 h<=4","c>42 c<49 h>=3 h<=4","b<=7 c<49 g>=19 g<=52 h>=6 h<11","b>7 b<94 c<=48 g>18 g<=52 h>=6 h<=10","a<30 b<60 c<49 d<=86 g>52 h>=6 h<=10","a>=30 b<=59 c<49 d<87 g>=53 h>5 h<=10","b<=59 c<36 d>=87 g>52 h>=6 h<=10","b<=59 c>35 c<=48 d>86 g>52 h>5 h<11","a<=1 c<=5 g<=57 h>2 h<=5","a<=1 c>5 c<16 g<58 h>2 h<=5","a>=2 b<31 c<=15 g<58 h>=3 h<6","c<=6 d<=85 g>57 h>=3 h<6","b<9 c>15 c<49 h=5","a<12 b>=17 c>15 c<49 h=5","a>=2 b>=31 c<=15 f<2 g<58 h>2 h<=5","a>=2 b>=31 c<16 f>=2 g<58 h>=3 h<6","c>6 c<=15 d<=37 g>57 h>2 h<=5","c>6 c<=15 d>=38 d<=85 g>57 h>=3 h<=5","b>=9 b<=12 c>=16 c<=48 h=5","a>11 b>=17 c>15 c<=48 g<=92 h=5","a>11 b>16 c>15 c<49 g>92 h=5","b>12 b<=16 c>15 c<49 e<16 h=5"}

    Returns: "OVERLAP"

  49. 8

    {"b>=75 b<95 c>62 d<66 f>77 g<=30 h>7 h<90","a<=43 d<=57 g>88","a<=49 c<=35 f<38 g<89","a<50 c<=35 f>37 g<89","a<99 c>=36 g<89 h<=7","a>98 c>=36 g<89 h<=7","a>=44 d<=56 f<61 g>88","a>=44 d<=56 f>=61 g>=89","d>=57 e>=50 e<97 g>88","d>=57 e>96 g>=95","a>49 c<=35 g<=22 h<51","a>49 a<=85 c<36 g>=23 g<89","a>85 c<=35 g>22 g<89","d>56 e>96 g>=89 g<=94 h<=55","d>=57 e>=97 g>88 g<95 h>55","a>=50 c<=35 g<=22 h>=77","a<=19 b<=74 c>35 c<=70 g<89 h>7","a<=19 b<75 c>70 g<=88 h>7","a>19 b<75 c>=36 g<=25 h>=8","b>74 c>=36 c<=54 d>32 g<=88 h>=8","b>74 c>54 d>=66 g<=88 h>=8","d>=76 d<93 e<=49 g>88","a>49 c<=35 f<=77 g<=22 h>=51 h<77","b>=75 c>35 c<=54 d<=32 e<=20 g<=88 h>=8","b>=95 c>54 d<66 g<=88 h>=8","a>42 c<3 d>56 d<76 e<=49 g>88","c>=85 d>56 d<76 e<=49 g>=89","a>49 c<36 d<15 f>=78 g<=22 h>50 h<77","a>19 b<=74 c>=36 e<=53 f<56 g>25 g<89 h>=8","a>19 b<=74 c>=36 e<54 f>55 g>25 g<89 h>7","a>19 b<=74 c>=36 e>53 f<23 g>=26 g<=88 h>=8","a>=20 b<=74 c>=36 e>53 f>22 g>25 g<=88 h>=8","b>74 c>=36 c<55 d>9 d<33 e>20 g<=88 h>=8","b>=75 b<=94 c>54 d<66 g<89 h>89","a<=42 c<=2 d>56 d<76 e<=49 g>=89 h<48","a<43 c<=2 d>=57 d<=75 e<50 g>=89 h>47","b>62 c>=3 c<85 d>=57 d<76 e<=49 g>88","d>92 e<11 f<=29 g>=89","d>92 e>10 e<=49 f<30 g>88","b<51 d>92 e<=49 f>29 g>88","b>=51 d>=93 e<50 f>=30 g>88","a>49 c<36 d>14 e<28 f>=78 g<=22 h>=51 h<77","a>49 c<=35 d>14 e>=28 f>=78 g<23 h>50 h<77","b>=75 c>35 c<=54 d<3 e>20 g<89 h>7","b>=75 c>35 c<=54 d>2 d<=9 e>20 g<=88 h>=8","b>74 b<95 c>54 d<66 f<78 g<89 h>7 h<=89","b<63 c>=3 c<=84 d>56 d<=75 e<=49 g=89","b<=62 c>=3 c<=84 d>56 d<=75 e<50 g>=90","b>74 b<=94 c>54 d<66 f>77 g>30 g<=88 h>7 h<90","b>74 b<=94 c>54 c<=62 d<=65 f>=78 g<31 h>7 h<=89"}

    Returns: "OVERLAP"

  50. 7

    {"a>=7 b>76 c<=25 d>18 f<=63 g>=57 g<=79","f>63","f<=63 g>=80","f<64 g<=56","d<=18 f<64 g>=57 g<=79","a<7 c<77 d>18 f<=63 g>=57 g<80","c>=77 d>=19 d<71 f<64 g>=57 g<80","c>=77 d>=71 f<=63 g>=57 g<=79","a>6 c>=26 c<=76 d>=19 f<64 g>=57 g<80","a>6 b<77 c<=25 d>18 f<=63 g>=57 g<=79"}

    Returns: "OK"

  51. 7

    {"a>91 d>=45 e>76 f>94","a<=52 e>=42 g<=63","a<52 f<=87 g>=64","a<53 f>87 g>63","a>=53 a<91 b<=33","a>=53 a<91 b>33","a>90 c<=37 e<=76","a>=91 c>37 e<77","a<=52 e<42 f<17 g<=63","a<42 e<42 f>=41 g<=63","a>41 a<53 e<42 f>=41 g<64","a>=91 e>=77 f<=67 g<=45","a>90 e>=77 f<68 g>=46","a<=52 b<70 e<=41 f>=17 f<41 g<64","a<53 b>69 e<42 f>=17 f<41 g<=63","a=91 e>=77 f>67 g>69","a>91 d<=44 e>76 f>=68","a=91 e>=77 e<80 f>67 g<=69","a=91 e>=80 f>67 g<70","a>=92 d>44 e>=77 f>=68 f<95"}

    Returns: "INCOMPLETE"

  52. 7

    {"a>=68 a<70 b>31 b<35 e>=21","a<=43 b<=34 c>=48","b>34 b<=88 f>80","b>=89 f>=81","a>43 b<=34 e<21 f<40","a>=86 b<35 e>=21","b>=35 f<=4","b>=35 f>4 f<=23","a>28 b>34 f>23 f<81","a<=43 b<35 c<=37 d<=28","a<=43 b<35 c<38 d>28","a<=43 b<=18 c>37 c<=47","a<=43 b>18 b<35 c>=38 c<=47","a>=44 b<35 e<=20 f>=40 g<=17","a>=44 a<66 b<35 e>20 e<=56","a>43 a<=65 b<35 e>=57","a<=28 b>34 d<=9 f>=24 f<57","a<=28 b>=35 d<10 f>56 f<=80","a<=28 b>73 d>9 f>=24 f<81","a>=44 b<35 e<=8 f>=40 g>17 g<62","a>43 b<=34 e<9 f>39 g>61","a>43 b<35 e>8 e<=20 f>=40 f<82 g>=18","a>65 a<=67 b<35 e>=21","a>=70 a<86 b<12 e>=21","a>=70 a<=85 b>=12 b<35 e>20","a<29 b>34 b<73 d>9 f>=24 f<=80","a<=28 b=73 d>=10 f>23 f<81","a>=44 b<35 d<55 e>8 e<=20 f>81 g>17","a>=44 b<35 d>54 e>=9 e<21 f>81 g>=18","a>67 a<70 b<32 e>=21"}

    Returns: "OK"

  53. 7

    {"a>38 a<43 b>=69 e>=15 e<=20 f<=6 g>31 g<=53","a<15 e>19 g<=88","a<=14 g>=89 g<99","a>87","a<13 g>98","a>42 a<88 f<98","a>=43 a<=87 f>97","a<=14 d<25 e<20 g<19","a<15 d>24 e<=19 g<=18","a<15 e<20 g>=19 g<62","a<=14 e<=19 g>61 g<=88","a=12 g>=99","a>12 a<15 g>=99","a>=15 a<=42 f<54 g>=54","a>=15 a<=42 c<=8 d<79 f>=59","a>14 a<36 d>=79 f>58","a>35 a<=42 d>=79 f>58","a>=15 a<=42 b<40 f<=58 g>=48 g<54","a>=15 a<=42 b>39 b<=68 f<=58 g<54","a>14 a<43 d>=10 f>=54 f<=58 g>=54","a>14 a<=42 c>=9 d<=78 f>=59 f<=72","a>14 a<43 c>=9 d<=78 f>72","a>=15 a<43 b<=39 f<=31 g<=47","a>14 a<=42 b<=39 f>31 f<=58 g<=47","a>=15 a<43 b>68 d<61 e<=14 f<=58 g<=53","a>14 a<43 b>=69 d>60 e<=14 f<59 g<=53","a>=15 a<=22 b>68 e>14 f<59 g<54","a>14 a<=21 d<=9 e<=95 f>=54 f<59 g>53","a>=15 a<=42 d<10 e>95 f>=54 f<59 g>=54 g<82","a>=15 a<43 d<=9 e>95 f>53 f<=58 g>=82","a>=22 a<43 d>=7 d<=9 e<96 f>53 f<59 g>53","a>22 a<43 b>68 e>=15 e<21 f>6 f<=58 g<54","a>21 a<=42 d<7 e<96 f>53 f<59 g>53 g<93","a>=22 a<=42 d<=6 e<96 f>53 f<59 g>=93","a>=23 a<39 b>=69 e>=15 e<=20 f<=6 g<=53","a>=23 a<=41 b>=69 e>=21 e<45 f<=58 g<54","a=42 b>68 e>=21 e<45 f<=58 g<54","a>=23 a<43 b>=69 e>=45 f<14 g<=53","a>22 a<43 b>68 e>=45 f>13 f<=58 g<=53","a>=39 a<43 b>68 e>14 e<21 f<=6 g<=31"}

    Returns: "OVERLAP"

  54. 7

    {"a>79 c<3 d>65 e>=64 f>=26 f<=61 g<4","a>=54 f>=62","b>96 e<=63 f<=61","b<98 e<=63 f>52 f<62","a<19 e>=64 f<62","a>18 a<61 e>63 f<62","a<=53 b<=31 f>61","a>60 c>78 e>63 f<=61 g<=33","a>=61 e>=64 f<=18 g>=34","a>60 e>63 f>=19 f<62 g>=34","a<54 b>31 b<36 f>=62 g>=24","b<=96 d<=8 e<13 f<=52","b<97 d<9 e>12 e<64 f<=52","b<=13 d>=9 e<64 f<=52","a<=53 b>=32 b<36 d>39 f>=62 g<24","a<=53 b>=36 b<=63 c<20 f>=62","a<=53 b>=64 b<98 c<=19 f>=62","a<54 b>=98 c<=19 e>=21 f>61","a<54 b>=36 c>=20 f>=63 g>23","b>=14 b<=96 d>=9 e<=60 f<=52","b>=14 b<=96 d>=9 e>60 e<64 f<=52","a<54 b>31 b<35 d<40 f>=62 g<=23","a<=26 b>=98 c<=19 e<21 f>=62","a<54 b>=36 c>=20 c<77 d<=28 f>=62 g<=23","a<=53 b>=36 b<94 c>=20 f=62 g>23","a<54 b>=94 c>19 f=62 g>23","a>=61 b>9 c<=78 d<66 e>=64 f<=61 g<23","a>60 b<=89 c<79 d<=65 e>63 f<=61 g>=23 g<=33","a>60 b>=90 c<79 d<66 e>=64 f<62 g>=23 g<=33","a>=61 a<80 c<79 d>65 e>63 f<62 g<32","a>=61 a<=79 c<79 d>65 e>63 f<=61 g>=32 g<=33","a<54 b=35 c<=56 d<40 f>=62 g<24","a<54 b=35 c>=57 d<=39 f>61 g<=23","a>=27 a<=53 b=98 c<20 e<=20 f>61","a>26 a<54 b>98 c<20 e<21 f>61","a<=36 b>35 c>76 f>=62 g<2","a<=36 b>35 c>76 f>=62 g>=2 g<=23","a>=37 a<54 b>35 c>76 f>=62 g<=20","a>=37 a<=53 b>=36 c>76 f>61 g>20 g<=23","a>60 b<=2 c<=78 d<66 e>=64 f<62 g<=22","a>60 b>=3 b<10 c<=78 d<66 e>63 f<=61 g<=22","a>79 c=3 d>65 e>=64 f<62 g<=33","a>=80 c>3 c<=70 d>=66 e>=64 f<62 g<=33","a>79 c>70 c<79 d>65 e>63 f<62 g<34","a<54 b>35 c>=20 c<=76 d>28 f>=62 g=0","a<54 b>35 c>19 c<=76 d>=29 f>=62 g>0 g<17","a<=53 b>=36 c>19 c<=42 d>28 f>=62 g>16 g<=23","a<54 b>=36 c>42 c<77 d>=29 f>=62 g>16 g<24","a>79 c<=2 d>=66 e>=64 f<62 g>3 g<34","a>=80 c<=2 d>=66 e>63 f<=25 g<4"}

    Returns: "OVERLAP"

  55. 8

    {"b>=54 d>59 f<=53 g<3 h<51","f>53 f<63","f>62","f>=2 f<=53 g>2","d<=59 f<=53 g<=2 h<91","d<=59 f<=53 g<3 h>=91","d>=60 f<54 g<=2 h>=51","c<74 f<2 g>=3","c>73 f<=1 g>2","b<54 d>=60 f<54 g<=2 h<51"}

    Returns: "OK"

  56. 8

    {"a<=52 c>=25 d>30 e>93 f<=99 g>69 g<87 h>=85","d>15 g<70","c<11 d<16 g<=69","d<=41 f=100 g>69","d>=42 f=100 g>69","a<68 c>10 d<=15 g<=69","a>67 c>=11 d<16 g<70","c>=25 e<86 f<=99 g>69","b>=62 c<25 d<=77 f<100 g>69","a<=42 c<=24 d>77 f<=99 g>=70","a>42 c<25 d>=78 f<=99 g>69","b<62 c<25 d<78 f<100 g>=70 g<=87","b<62 c<25 d<78 f<100 g>=88","a<95 c>=25 e>=86 e<=93 f<=99 g>=70","c>=25 e>=94 f<100 g>=70 h<85","a>=95 c>24 d<48 e>85 e<94 f<=99 g>=70","a>=95 c>24 d>=48 e>85 e<=93 f<100 g>69","a>=53 c>=25 e>93 f<100 g>=70 h>=85","a<53 c>24 e>93 f<=99 g>=87 h>84","a<=52 c>24 d<31 e>93 f<100 g>69 g<87 h>=85"}

    Returns: "OK"

  57. 8

    {"a>90 b<=7 c=0 f<18 g>=1 g<4","b>7 g>0 g<=3","b<=98 e<18 g=0","b>98 e<18 g=0","a<37 e>18 g=0","a>36 e>=18 g=0","b<8 c>=16 g>0 g<4","c<91 f<=7 g>=4 h<42","c<=90 f>7 g>3 h<=41","c>=61 e<51 g>3 h>=42","a<47 b<=7 c<=15 g>0 g<=3","a<84 c>90 e>=75 g>3 h<42","a>83 c>=91 e>74 g>=4 h<=41","c<52 d<37 g>=4 h>=42","c<52 d>36 g>=4 h>41","c=52 g>3 h>41","c>60 e>=51 g>3 g<70 h>41","c>60 e>=51 g>=70 h>41","a>46 b<=7 c<=15 f>45 g>0 g<=3","a<57 c>90 e<75 f<58 g>3 h<42","a<=56 c>90 e<75 f>=58 g>3 h<=41","a>=57 c>=91 e<=74 g>=4 h<24","a>56 c>=91 e<=74 g>=4 h>23 h<42","c>=53 c<61 g>=4 g<33 h>41","a>=47 b<8 c>=2 c<=15 f<46 g>0 g<=3","c>=53 c<=60 g>32 h>=42 h<98","c>=53 c<61 g>=33 h>=98","a>=47 b<=7 c=1 f<46 g>0 g<=3","a>46 b<8 c=0 f>17 f<46 g>=1 g<=3","a>=47 a<91 b<8 c=0 f<=17 g>0 g<=3"}

    Returns: "INCOMPLETE"

  58. 8

    {"b<=19 c>54 d>=8 e<=14 f>=9 f<=18 h<=30","b<27 c<27","a<42 b>55","b>26 b<=32 c<=17","b>32 b<=55 d<61 f>=96","a>41 b>55 f<=30","a>=42 b>55 f>30","b>26 b<33 c>17 c<27 g>=79","b<33 c>26 d<=75 e>14 f<=18","b<33 c>=27 d>=76 e>14 f<19","b<33 c>=27 c<=47 e<=29 f>=19","b<=32 c>26 c<=47 e>=30 f>18","b<33 c>47 f>18 g>91","b>32 b<56 f<96 g>33 g<=97","b>=33 b<=55 d>=61 f>95 h>=82","b>=27 b<=32 c>17 c<=26 e<100 g<79","b>26 b<33 c>=18 c<=26 e=100 g<=78","b>19 b<=32 c>=27 e<15 f<=12","b>=20 b<33 c>26 e<15 f>=13 f<=18","b<=32 c>=48 e<6 f>18 g<92","b<33 c>=48 e>5 f>18 g<92","b>=33 b<=55 e<10 f<=95 g<=33","b>=33 b<56 e>=49 f<96 g<=33 h<=43","b>32 b<=55 d<35 f<96 g>=98","b>32 b<56 d>34 f<=95 g>97","b>32 b<=55 d>60 f=96 h<=81","b>=33 b<56 d>60 f>96 h<82","b<20 c>26 d>=36 e<15 f<=7","b>=33 b<=55 d<=92 e>=10 e<=48 f<=95 g<34","b>=33 b<56 d>=93 e>=10 e<=48 f<96 g<=33","b>=33 b<56 d<9 e>=49 f<96 g<=33 h>43","b>32 b<=55 d>=9 e>=49 f<=95 g<=33 h>=44","b<20 c>=27 d<36 e<=14 f<=1","b<=19 c>26 d<=35 e<=14 f>=2 f<=7","b<20 c>=27 c<=54 e<15 f>=9 f<19","b<=19 c>54 e<15 f>7 f<=18 h>=31","b<=19 c>26 c<55 e<15 f=8 h<=34","b<=19 c>26 c<55 e<=14 f=8 h>=35","b<=19 c>54 e<=14 f=8 h<31","b<20 c>=55 d<8 e<=14 f>8 f<=18 h<=30"}

    Returns: "OK"

  59. 8

    {"a>49 c<=9 e>73 f<=92 g>=51 h<100","e<29 h>=40","e>=29 e<75 h>39","a>49 c>20 e>74","a<=51 b<56 e<75 h<40","a>51 b<=55 e<=74 g>38 h<=39","a<=41 b>=56 c<=6 e<75 h<40","a>=50 c<=20 e>=75 f<93 g<7","a>=50 c<=20 e>74 f>=93 g<=34","a>49 c<=20 e>74 f>92 g>=35","a>51 b<56 c<78 e<=74 g<39 h<=39","a>41 b>=56 c<=1 e<75 h<40","a>=69 b>55 c>6 e<75 h>=8 h<=39","a<37 e>74 g>20 g<68 h<=77","a<37 e>74 g>=68 h<47","a<=36 e>74 g>67 h>46 h<78","a>=37 a<50 b<68 d>=43 e>74 h<78","a>=37 a<50 b>67 c<72 e>=75 h<=77","a<=11 d<=28 e>=75 f<=65 h>=78","a<12 b<88 d>=29 e>74 h>=78","a<12 b>=88 d>=29 e>=75 h>77","a>11 a<50 b<=88 c>=55 e>=75 h>77","a>=23 a<=49 b>=89 e>74 h>77","a>49 c<21 e>=75 f<=92 g>6 h=100","a>=52 b<=55 c>=78 e<=74 f<=10 g<39 h<40","a>51 b<=55 c>77 e<75 f>10 g<39 h<40","a>41 b>=56 c>=2 c<=6 e<75 g<=6 h<40","a>=42 b>55 c>=2 c<=6 e<=74 g>6 h<=39","b>55 b<=64 c>=7 e<=74 g<98 h<=7","b>64 c>6 e<75 g<=97 h<8","b>=56 c>6 e<=7 g>=98 h<=7","b>55 c>6 e>7 e<75 g>=98 h<8","a<69 b>=56 c>=7 e<=74 g<=99 h>=8 h<40","a<69 b>55 c>6 e<=74 g=100 h>7 h<40","a<=36 e>=75 f=0 g<21 h<78","a<=36 e>74 f>0 g<=20 h<=77","a>36 a<50 b<=67 d<43 e>=75 e<98 h<78","a>36 a<50 b<68 d<=42 e>=98 h<78","a>36 a<=49 b>67 c>=72 e>74 h<=64","a>36 a<=49 b>67 c>71 e>=75 h>=65 h<78","a<=11 d<29 e>74 e<=82 f>65 h>=78","a>11 a<=49 b<=88 c<=54 d>=18 e>74 h>=78","a>=12 a<=22 b>88 e>74 g<=27 h>=78","a>11 a<=22 b>88 e>=75 g>=28 h>77","a>=50 c>9 c<21 e>=75 f<93 g>6 h<100","a<=11 d<29 e>=83 f>65 f<=96 h>=78","a<12 d<=28 e>=83 f>96 h>=78","a>11 a<=49 b<89 c<55 d<=17 e>=75 e<78 h>77","a>11 a<=49 b<89 c<55 d<18 e>=78 h>77","a>49 c<=9 e>74 f<=92 g>6 g<=50 h<100"}

    Returns: "OVERLAP"

  60. 7

    {"a>0","a=0 b>0","a=0 b=0 c>0","a=0 b=0 c=0 d>0","a=0 b=0 c=0 d=0 e>0","a=0 b=0 c=0 d=0 e=0 f>0","a=0 b=0 c=0 d=0 e=0 f=0 g>0"}

    Returns: "INCOMPLETE"

  61. 8

    {"a>0","a=0 b>0","a=0 b=0 c>0","a=0 b=0 c=0 d>0","a=0 b=0 c=0 d=0 e>0","a=0 b=0 c=0 d=0 e=0 f>0","a=0 b=0 c=0 d=0 e=0 f=0 g>0","a=0 b=0 c=0 d=0 e=0 f=0 g=0 h>0"}

    Returns: "INCOMPLETE"

  62. 7

    {"a>0","a=0 b>0","a=0 b=0 c>0","a=0 b=0 c=0 d>0","a=0 b=0 c=0 d=0 e>0","a=0 b=0 c=0 d=0 e=0 f>0","a=0 b=0 c=0 d=0 e=0 f=0 g>0","a<1 b<1 c<1 d<1 e<1 f<1 g<1"}

    Returns: "OK"

  63. 8

    {"a>0","a=0 b>0","a=0 b=0 c>0","a=0 b=0 c=0 d>0","a=0 b=0 c=0 d=0 e>0","a=0 b=0 c=0 d=0 e=0 f>0","a=0 b=0 c=0 d=0 e=0 f=0 g>0","a=0 b=0 c=0 d=0 e=0 f=0 g=0 h>0","a<1 b<1 c<1 d<1 e<1 f<1 g<1 h<1"}

    Returns: "OK"

  64. 5

    {"a<49 b<50","a>=49 b<49","a>=50 b>=49","a<50 b>=50","a=49 b=49"}

    Returns: "OK"

  65. 7

    {"d<49 c<50","d>=49 c<49","d>=50 c>=49","d<50 c>=50"}

    Returns: "INCOMPLETE"

  66. 4

    {"",""}

    Returns: "OVERLAP"

  67. 4

    {"","a<0"}

    Returns: "EMPTY"

  68. 2

    {"","a=50 b=100"}

    Returns: "OVERLAP"

  69. 1

    {"","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","",""}

    Returns: "OVERLAP"

  70. 1

    {"a>5 a>2 a>3 a>4 a>5 a>0 a>1 a=6 a<8 a<20 a<17 a<7","a<6","a>6"}

    Returns: "OK"

  71. 2

    {"a>7 a<10 a>3 a<20 b>5 b>3 b<7 b<10","a<=7","a>9","a>=8 a<=9 b<6","a>=8 a<=9 b>6"}

    Returns: "OK"

  72. 2

    {"a>7 a<11 a>3 a<20 b>5 b>3 b<7 b<10","a<=7","a>9","a>=8 a<=9 b<6","a>=8 a<=9 b>6"}

    Returns: "OVERLAP"

  73. 2

    {"a>7 a<9 a>3 a<20 b>5 b>3 b<7 b<10","a<=7","a>9","a>=8 a<=9 b<6","a>=8 a<=9 b>6"}

    Returns: "INCOMPLETE"

  74. 1

    {"a=1 a=1 a=1 a=1 a=1","a=2 a=2 a=2 a=2","a=0 a=0 a=0 a=0 a=0 a=0 a=0","a>2 a<=100"}

    Returns: "OK"

This problem statement is the exclusive and proprietary property of TopCoder, Inc. Any unauthorized use or reproduction of this information without the prior written consent of TopCoder, Inc. is strictly prohibited. (c)2024, TopCoder, Inc. All rights reserved.
This problem was used for: