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 |       L |      M |
|----:|:-----------------|----:|--------:|-------:|--------:|----:|----:|----:|----:|----:|--------:|-------:|
|   2 | ALBEMARLE        |  25 |  650000 |  50000 |  700000 |   0 |   0 |   0 |   0 |   0 |  700000 | 140000 |
|   3 | ALLEGHANY        |   5 |  130000 | 100000 |  230000 |   0 |   0 |   0 |   0 |   0 |  230000 |  36000 |
|   4 | AMELIA           |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|   5 | AMHERST          |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
|   6 | APPOMATTOX       |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|   8 | AUGUSTA          |  18 |  468000 |  50000 |  518000 |   0 |   0 |   0 |   0 |   0 |  518000 | 103600 |
|   9 | BATH             |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  10 | BEDFORD          |  19 |  494000 | 100000 |  594000 |   0 |   0 |   0 |   0 |   0 |  594000 | 108800 |
|  11 | BLAND            |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
|  12 | BOTETOURT        |  11 |  286000 |  50000 |  336000 |   0 |   0 |   0 |   0 |   0 |  336000 |  67200 |
|  13 | BRUNSWICK        |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  15 | BUCKINGHAM       |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  16 | CAMPBELL         |  13 |  338000 |  50000 |  388000 |   0 |   0 |   0 |   0 |   0 |  388000 |  77600 |
|  17 | CAROLINE         |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  18 | CARROLL          |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
|  19 | CHARLES CITY     |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
|  20 | CHARLOTTE        |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  22 | CLARKE           |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  23 | CRAIG            |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
|  24 | CULPEPER         |  10 |  260000 |  50000 |  310000 |   0 |   0 |   0 |   0 |   0 |  310000 |  62000 |
|  25 | CUMBERLAND       |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  26 | DICKENSON        |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  27 | DINWIDDIE        |   7 |  182000 |  50000 |  232000 |   0 |   0 |   0 |   0 |   0 |  232000 |  46400 |
|  28 | ESSEX            |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  30 | FAUQUIER         |  19 |  494000 |  50000 |  544000 |   0 |   0 |   0 |   0 |   0 |  544000 | 108800 |
|  31 | FLOYD            |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  32 | FLUVANNA         |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  33 | FRANKLIN         |  16 |  416000 |  50000 |  466000 |   0 |   0 |   0 |   0 |   0 |  466000 |  93200 |
|  34 | FREDERICK        |  18 |  468000 |  50000 |  518000 |   0 |   0 |   0 |   0 |   0 |  518000 | 103600 |
|  36 | GLOUCESTER       |   8 |  208000 |  50000 |  258000 |   0 |   0 |   0 |   0 |   0 |  258000 |  51600 |
|  37 | GOOCHLAND        |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  38 | GRAYSON          |   7 |  182000 |  50000 |  232000 |   0 |   0 |   0 |   0 |   0 |  232000 |  46400 |
|  39 | GREENE           |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  40 | GREENSVILLE      |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  41 | HALIFAX          |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
|  42 | HANOVER          |  23 |  598000 |  50000 |  648000 |   0 |   0 |   0 |   0 |   0 |  648000 | 129600 |
|  43 | HENRICO          |  67 | 1742000 |  50000 | 1792000 |   0 |   0 |   0 |   0 |   0 | 1792000 | 358400 |
|  44 | HENRY            |  14 |  364000 |  50000 |  414000 |   0 |   0 |   0 |   0 |   0 |  414000 |  82800 |
|  45 | HIGHLAND         |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
|  46 | ISLE OF WIGHT    |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
|  49 | KING QUEEN       |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  50 | KING WILLIAM     |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  51 | LANCASTER        |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  52 | LEE              |  10 |  260000 |  50000 |  310000 |   0 |   0 |   0 |   0 |   0 |  310000 |  62000 |
|  53 | LOUDOUN          |  88 | 2288000 |  50000 | 2338000 |   0 |   0 |   0 |   0 |   0 | 2338000 | 467600 |
|  54 | LOUISA           |   6 |  156000 |  50000 |  206000 |   0 |   0 |   0 |   0 |   0 |  206000 |  41200 |
|  55 | LUNENBURG        |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  56 | MADISON          |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  57 | MATHEWS          |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  58 | MECKLENBURG      |   8 |  208000 |  50000 |  258000 |   0 |   0 |   0 |   0 |   0 |  258000 |  51600 |
|  59 | MIDDLESEX        |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  60 | MONTGOMERY       |  19 |  494000 |  50000 |  544000 |   0 |   0 |   0 |   0 |   0 |  544000 | 108800 |
|  62 | NELSON           |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  63 | NEW KENT         |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  65 | NORTHAMPTON      |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  66 | NORTHUMBERLAND   |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  67 | NOTTOWAY         |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
|  68 | ORANGE           |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
|  69 | PAGE             |   8 |  208000 |  50000 |  258000 |   0 |   0 |   0 |   0 |   0 |  258000 |  51600 |
|  70 | PATRICK          |   7 |  182000 |  50000 |  232000 |   0 |   0 |   0 |   0 |   0 |  232000 |  46400 |
|  71 | PITTSYLVANIA     |  18 |  468000 |  50000 |  518000 |   0 |   0 |   0 |   0 |   0 |  518000 | 103600 |
|  72 | POWHATAN         |   6 |  156000 |  50000 |  206000 |   0 |   0 |   0 |   0 |   0 |  206000 |  41200 |
|  73 | PRINCE EDWARD    |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  77 | PULASKI          |   8 |  208000 |  50000 |  258000 |   0 |   0 |   0 |   0 |   0 |  258000 |  51600 |
|  78 | RAPPAHANNOCK     |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
|  79 | RICHMOND         |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
|  80 | ROANOKE          |  26 |  676000 |  50000 |  726000 |   0 |   0 |   0 |   0 |   0 |  726000 | 145200 |
|  81 | ROCKBRIDGE       |   6 |  156000 |  50000 |  206000 |   0 |   0 |   0 |   0 |   0 |  206000 |  41200 |
|  82 | ROCKINGHAM       |  23 |  598000 |  50000 |  648000 |   0 |   0 |   0 |   0 |   0 |  648000 | 129600 |
|  83 | RUSSELL          |  11 |  286000 |  50000 |  336000 |   0 |   0 |   0 |   0 |   0 |  336000 |  67200 |
|  84 | SCOTT            |  13 |  338000 |  50000 |  388000 |   0 |   0 |   0 |   0 |   0 |  388000 |  77600 |
|  85 | SHENANDOAH       |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
|  86 | SMYTH            |  13 |  338000 |  50000 |  388000 |   0 |   0 |   0 |   0 |   0 |  388000 |  77600 |
|  87 | SOUTHAMPTON      |   6 |  156000 |  50000 |  206000 |   0 |   0 |   0 |   0 |   0 |  206000 |  41200 |
|  88 | SPOTSYLVANIA     |  29 |  754000 |  50000 |  804000 |   0 |   0 |   0 |   0 |   0 |  804000 | 160800 |
|  89 | STAFFORD         |  30 |  780000 |  50000 |  830000 |   0 |   0 |   0 |   0 |   0 |  830000 | 166000 |
|  90 | SURRY            |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  91 | SUSSEX           |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
|  92 | TAZEWELL         |  15 |  390000 |  50000 |  440000 |   0 |   0 |   0 |   0 |   0 |  440000 |  88000 |
|  93 | WARREN           |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
|  94 | WASHINGTON       |  15 |  390000 |  50000 |  440000 |   0 |   0 |   0 |   0 |   0 |  440000 |  88000 |
|  95 | WESTMORELAND     |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
|  96 | WISE             |  11 |  286000 |  50000 |  336000 |   0 |   0 |   0 |   0 |   0 |  336000 |  67200 |
|  97 | WYTHE            |  12 |  312000 |  50000 |  362000 |   0 |   0 |   0 |   0 |   0 |  362000 |  72400 |
|  98 | YORK             |  19 |  494000 |  50000 |  544000 |   0 |   0 |   0 |   0 |   0 |  544000 | 108800 |
| 102 | BRISTOL          |   6 |  156000 |  50000 |  206000 |   0 |   0 |   0 |   0 |   0 |  206000 |  41200 |
| 103 | BUENA VISTA      |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
| 104 | CHARLOTTESVILLE  |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
| 106 | COLONIAL HEIGHTS |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
| 107 | COVINGTON        |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
| 109 | FALLS CHURCH     |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
| 110 | FREDERICKSBURG   |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
| 114 | HOPEWELL         |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
| 115 | LYNCHBURG        |  16 |  416000 |  50000 |  466000 |   0 |   0 |   0 |   0 |   0 |  466000 |  93200 |
| 116 | MARTINSVILLE     |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
| 117 | NEWPORT NEWS     |  38 |  988000 |  50000 | 1038000 |   0 |   0 |   0 |   0 |   0 | 1038000 | 207600 |
| 118 | NORFOLK          |  45 | 1170000 |  50000 | 1220000 |   0 |   0 |   0 |   0 |   0 | 1220000 | 244000 |
| 119 | NORTON           |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
| 121 | PORTSMOUTH       |  19 |  494000 |  50000 |  544000 |   0 |   0 |   0 |   0 |   0 |  544000 | 108800 |
| 122 | RADFORD          |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
| 123 | RICHMOND CITY    |  44 | 1144000 |  50000 | 1194000 |   0 |   0 |   0 |   0 |   0 | 1194000 | 238800 |
| 124 | ROANOKE CITY     |  24 |  624000 |  50000 |  674000 |   0 |   0 |   0 |   0 |   0 |  674000 | 134800 |
| 126 | STAUNTON         |   5 |  130000 |  50000 |  180000 |   0 |   0 |   0 |   0 |   0 |  180000 |  36000 |
| 127 | SUFFOLK          |  18 |  468000 |  50000 |  518000 |   0 |   0 |   0 |   0 |   0 |  518000 | 103600 |
| 128 | VIRGINIA BEACH   |  82 | 2132000 |  50000 | 2182000 |   0 |   0 |   0 |   0 |   0 | 2182000 | 436400 |
| 131 | WILLIAMSBURG     |  15 |  390000 |  50000 |  440000 |   0 |   0 |   0 |   0 |   0 |  440000 |  88000 |
| 135 | FRANKLIN CITY    |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |
| 136 | CHESAPEAKE CITY  |  45 | 1170000 |  50000 | 1220000 |   0 |   0 |   0 |   0 |   0 | 1220000 | 244000 |
| 137 | LEXINGTON        |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
| 139 | SALEM            |   6 |  156000 |  50000 |  206000 |   0 |   0 |   0 |   0 |   0 |  206000 |  41200 |
| 142 | POQUOSON         |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
| 143 | MANASSAS CITY    |   9 |  234000 |  50000 |  284000 |   0 |   0 |   0 |   0 |   0 |  284000 |  56800 |
| 144 | MANASSAS PARK    |   4 |  104000 |  50000 |  154000 |   0 |   0 |   0 |   0 |   0 |  154000 |  30800 |
| 202 | COLONIAL BEACH   |   2 |   52000 |  50000 |  102000 |   0 |   0 |   0 |   0 |   0 |  102000 |  20400 |
| 207 | WEST POINT       |   3 |   78000 |  50000 |  128000 |   0 |   0 |   0 |   0 |   0 |  128000 |  25600 |



label: F=E+D
labeled_formulas: F=E+D
H=A*G
I=A*G
J=A*G
K=A*G
I=A*H
J=A*H
K=A*H
J=A*I
K=A*I
K=A*J
H=C*G
I=C*G
J=C*G
K=C*G
I=C*H
J=C*H
K=C*H
J=C*I
K=C*I
K=C*J
L=D+E
H=D*G
I=D*G
J=D*G
K=D*G
I=D*H
J=D*H
K=D*H
J=D*I
K=D*I
K=D*J
H=E*G
I=E*G
J=E*G
K=E*G
I=E*H
J=E*H
K=E*H
J=E*I
K=E*I
K=E*J
H=F*G
I=F*G
J=F*G
K=F*G
L=F+G
I=F*H
J=F*H
K=F*H
L=F+H
H=(A+C)*G
I=(A+C)*G
J=(A+C)*G
K=(A+C)*G
I=(A+C)*H
J=(A+C)*H
K=(A+C)*H
J=(A+C)*I
K=(A+C)*I
K=(A+C)*J
H=(A+D)*G
I=(A+D)*G
J=(A+D)*G
K=(A+D)*G
I=(A+D)*H
J=(A+D)*H
K=(A+D)*H
J=(A+D)*I
K=(A+D)*I
K=(A+D)*J
H=(A+E)*G
I=(A+E)*G
J=(A+E)*G
K=(A+E)*G
I=(A+E)*H
J=(A+E)*H
K=(A+E)*H
J=(A+E)*I
K=(A+E)*I
K=(A+E)*J
H=(A+F)*G
I=(A+F)*G
J=(A+F)*G
K=(A+F)*G
L=(A*G)+F
I=(A+F)*H
J=(A+F)*H
K=(A+F)*H
L=(A*H)+F
J=(A+F)*I
K=(A+F)*I
L=(A*I)+F
K=(A+F)*J
L=(A*J)+F
L=(A*K)+F
I=(A+G)*H
J=(A+G)*H
K=(A+G)*H
H=(A*G)*L
H=(A*G)*M
output: {"Arithmetic-Relationship": ["F=E+D"]}
source: $MMTU_HOME/resources/Relationship-finding/AR/table_191541___xlsx_f496eeff76fe24c898aa2ecbb99db020346e0e15.xlsx___line_656