Task: Arithmetic-Relationship (source dataset: Auto-Relate)

You are given a table with numerical values in multiple columns. Your task is to analyze the data and identify semantic relationships, expressed in arithmetic relationships, that exist between columns.

These relationships may involve any combination of the following operations: addition (+), subtraction (−), multiplication (*), and division (/). The expressions can involve two or more columns and may be nested (e.g., B = (A + C) / D).

Please only identify arithmetic relationships that hold semantically based on the data, and do not return relationships that are likely spurious, e.g., (A = B * 0), where A is an all 0 column. Please only return minimal atomic relationships, e.g., if A = B + C and D = E + F, then there is no need to return A = B + C + E + F - D.

No explanation, return all the formula(s) in JSON format: {"Arithmetic-Relationship": [<list-of-formulas>]}. If no relationship is found, return {"Arithmetic-Relationship": []}.

Input Table:
| A            |    B |   C |   D |   E |   F |   G |   H |   I |   J |    K |
|:-------------|-----:|----:|----:|----:|----:|----:|----:|----:|----:|-----:|
| Baker        |   12 |   1 |   0 |   0 |   0 |   0 |   0 |   4 |  27 |   44 |
| Bay          |  416 |   6 |  10 |   0 |   0 |   0 |   6 |  53 |  43 |  534 |
| Bradford     |   31 |   2 |   0 |   1 |   0 |   0 |   0 |   8 |  21 |   63 |
| Calhoun      |    5 |   1 |   1 |   0 |   0 |   0 |   0 |   1 |   7 |   15 |
| Charlotte    |  588 |  11 |   5 |   0 |   0 |   2 |   2 |  58 |  68 |  734 |
| Citrus       |  407 |  24 |   1 |   0 |   0 |   1 |   2 |  50 |  32 |  517 |
| Clay         |  388 |  22 |   0 |   0 |   0 |   1 |  11 |  79 | 179 |  680 |
| Collier      | 1113 |  47 |   1 |   0 |   0 |   0 |   0 |  50 | 109 | 1320 |
| Columbia     |  113 |   9 |   0 |   2 |   0 |   0 |   0 |  21 |  23 |  168 |
| Desoto       |   50 |   2 |   0 |   0 |   0 |   1 |   0 |   6 |   7 |   66 |
| Dixie        |    4 |   0 |   0 |   0 |   0 |   0 |   0 |   3 |  29 |   36 |
| Duval        | 1525 | 150 |  12 |   0 |   0 |   9 | 140 | 404 | 413 | 2653 |
| Escambia     |  842 |  55 |   0 |   0 |   0 |   2 |   5 | 137 |  74 | 1115 |
| Flagler      |  363 |   9 |   1 |   0 |   0 |   6 |   4 |  24 |  35 |  442 |
| Franklin     |   25 |   2 |   0 |   0 |   0 |   0 |   0 |   2 |  20 |   49 |
| Gadsden      |   46 |  14 |   1 |   0 |   0 |   0 |   0 |  23 |  90 |  174 |
| Gilchrist    |   21 |   0 |   0 |   0 |   0 |   0 |   0 |   4 |  15 |   40 |
| Glades       |   27 |   0 |   0 |   0 |   0 |   0 |   0 |   3 |   3 |   33 |
| Gulf         |   37 |   0 |   0 |   0 |   0 |   0 |   0 |   1 |   5 |   43 |
| Hamilton     |   24 |   0 |   0 |   0 |   0 |   0 |   0 |   3 |   5 |   32 |
| Hardee       |   19 |   0 |   0 |   0 |   0 |   0 |   0 |   0 |  17 |   36 |
| Hendry       |   41 |   0 |   0 |   0 |   0 |   0 |   1 |   5 |  29 |   76 |
| Hernando     |  440 |  18 |   2 |   0 |   0 |   0 |   2 | 102 | 112 |  676 |
| Highlands    |  225 |   9 |   2 |   0 |   0 |   0 |   2 |  24 |  41 |  303 |
| Holmes       |   19 |   0 |   0 |   0 |   0 |   0 |   0 |   8 |   8 |   35 |
| Indian River |  462 |  11 |   2 |   0 |   0 |   0 |   7 |  43 |  38 |  563 |
| Jackson      |   24 |   2 |   2 |   0 |   0 |   0 |   0 |  13 |  12 |   53 |
| Jefferson    |   15 |   1 |   0 |   0 |   0 |   0 |   0 |   3 |  20 |   39 |
| Lafayette    |    0 |   0 |   0 |   0 |   0 |   0 |   0 |   0 |   3 |    3 |
| Lee          | 1942 |  61 |   7 |   0 |   0 |   9 |   2 | 154 | 367 | 2542 |
| Leon         |  322 | 296 |   5 |   0 |   0 |   2 |   0 | 109 |  11 |  745 |
| Levy         |  108 |   3 |   0 |   0 |   0 |   0 |   4 |  13 |  15 |  143 |
| Liberty      |    7 |   0 |   0 |   0 |   0 |   0 |   0 |   0 |   8 |   15 |
| Madison      |    5 |   0 |   1 |   0 |   0 |   0 |   0 |   4 |  14 |   24 |
| Manatee      |  878 |  73 |  14 |   0 |   0 |   4 |  45 | 131 | 107 | 1252 |
| Martin       |    0 | 392 |   1 |   0 |   0 |   2 |   1 |  51 |  31 |  478 |
| Monroe       |  206 |  19 |   0 |   0 |   0 |   0 |   2 |  21 |  32 |  280 |
| Nassau       |  234 |  18 |   0 |   0 |   0 |   0 |   2 |  21 |   7 |  282 |
| Okaloosa     |  622 |   9 |   1 |   0 |   0 |   1 |   0 |  68 |  60 |  761 |
| Okeechobee   |   65 |   2 |   0 |   0 |   0 |   0 |   0 |   8 |  12 |   87 |
| Osceola      |  790 |  40 |   5 |   0 |   0 |   1 |  16 |  76 |  85 | 1013 |
| Polk         | 1583 | 141 |  18 |   0 |   0 |   0 |  86 | 269 | 178 | 2275 |
| Putnam       |  104 |  11 |   2 |   0 |   0 |   1 |   4 |  19 |  48 |  189 |
| Santa Rosa   |  597 |  12 |   2 |   0 |   0 |   0 |   0 |  30 |  26 |  667 |
| Sarasota     | 1232 |  34 |   2 |   0 |   0 |   5 |  17 |  93 | 295 | 1678 |
| St. Johns    |  798 |  14 |   2 |   0 |   0 |   5 |  18 |  42 | 113 |  992 |
| St. Lucie    |  662 |  35 |   6 |   0 |   0 |   0 |   3 |  81 | 111 |  898 |
| Sumter       |  492 |   5 |   0 |   0 |   0 |   0 |   2 |   8 |  74 |  581 |
| Suwannee     |   50 |   1 |   1 |   0 |   0 |   0 |   1 |   6 |  20 |   79 |
| Taylor       |   20 |   1 |   4 |   0 |   0 |   0 |   1 |   6 |  11 |   43 |
| Union        |    1 |   0 |   0 |   2 |   0 |   0 |   0 |   2 |   9 |   14 |
| Wakulla      |   13 |   4 |   1 |   1 |   0 |   0 |   0 |  15 |  20 |   54 |
| Walton       |  233 |   0 |   0 |   0 |   0 |   5 |   0 |  15 |  49 |  302 |
| Washington   |   45 |   0 |   0 |   0 |   0 |   0 |   0 |   4 |  11 |   60 |



labeled_formulas: F=E*G
F=E*H
F=(B*E)*G
F=(B*E)*H
F=(C*E)*G
F=(C*E)*H
F=(D*E)*G
F=(D*E)*H
F=(E*G)*H
F=(E*G)*I
F=(E*G)*J
F=(E*G)*K
F=(E*H)*I
F=(E*H)*J
F=(E*H)*K
output: {"Arithmetic-Relationship": []}
source: $MMTU_HOME/resources/Relationship-finding/AR/table_646552___xlsx_f145aac25c32dd86b6b68f75a8beb1453957c805.xlsx___line_780