{ "researchId": "QMR-014", "family": "F2-B", "status": "POST_F1_F2A_EXPLORATORY_DESCRIPTIVE_INVENTORY", "corpusSha256": "228df2a717671aeb9d2ff573002bd28d6b3f973f4bc7153554e3a81663d67610", "corpusVerses": 6236, "formulaGrammar": "X=Y*Z+T; four distinct variables; Y/Z unordered", "formulasPerInventory": 60, "configurationCount": 4, "interpretation": "Exact arithmetic matches only; no null calibration or confirmatory inference.", "distinctVersesWithAbjadFormula": 16, "versesWithAbjadFormula": [ "2:252", "17:43", "17:54", "20:19", "38:11", "44:5", "44:47", "46:1", "50:43", "51:22", "55:28", "68:25", "71:19", "74:20", "84:9", "85:4" ], "reports": { "RAW/A_INDEX": { "view": "RAW", "abjadConvention": "A_INDEX", "totalVerses": 6236, "evaluatedFormulaCount": 60, "formulaOpportunities": 374160, "totalMatches": 40, "nonreducibleMatches": 38, "reducibleMatches": 2, "formulas": { "S=V*W+L": { "count": 8, "nonreducibleCount": 8, "reducibleCount": 0, "refs": [ "56:14", "69:30", "77:22", "78:33", "78:34", "79:12", "81:22", "88:25" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 14, "right": 3, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "69:30", "values": { "target": 69, "left": 30, "right": 2, "added": 9 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:22", "values": { "target": 77, "left": 22, "right": 3, "added": 11 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:33", "values": { "target": 78, "left": 33, "right": 2, "added": 12 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:34", "values": { "target": 78, "left": 34, "right": 2, "added": 10 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "79:12", "values": { "target": 79, "left": 12, "right": 5, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "81:22", "values": { "target": 81, "left": 22, "right": 3, "added": 15 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "88:25", "values": { "target": 88, "left": 25, "right": 3, "added": 13 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "83:9", "94:7" ], "matches": [ { "ref": "83:9", "values": { "target": 83, "left": 9, "right": 9, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "94:7", "values": { "target": 94, "left": 7, "right": 13, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*L+V": { "count": 9, "nonreducibleCount": 9, "reducibleCount": 0, "refs": [ "56:14", "70:2", "75:19", "77:23", "80:38", "83:35", "84:8", "97:2", "101:5" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 3, "right": 14, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "70:2", "values": { "target": 70, "left": 4, "right": 17, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "75:19", "values": { "target": 75, "left": 4, "right": 14, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:23", "values": { "target": 77, "left": 3, "right": 18, "added": 23 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "80:38", "values": { "target": 80, "left": 3, "right": 14, "added": 38 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "83:35", "values": { "target": 83, "left": 3, "right": 16, "added": 35 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "84:8", "values": { "target": 84, "left": 4, "right": 19, "added": 8 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "97:2", "values": { "target": 97, "left": 5, "right": 19, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "101:5", "values": { "target": 101, "left": 4, "right": 24, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*W+L": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "2:110", "6:160" ], "matches": [ { "ref": "2:110", "values": { "target": 110, "left": 2, "right": 17, "added": 76 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "6:160", "values": { "target": 160, "left": 6, "right": 16, "added": 64 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*L+W": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "2:149" ], "matches": [ { "ref": "2:149", "values": { "target": 149, "left": 2, "right": 66, "added": 17 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*L+S": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "37:82", "37:157" ], "matches": [ { "ref": "37:82", "values": { "target": 82, "left": 3, "right": 15, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "37:157", "values": { "target": 157, "left": 5, "right": 24, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*V+W": { "count": 3, "nonreducibleCount": 2, "reducibleCount": 1, "refs": [ "3:18", "14:4", "19:1" ], "matches": [ { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "14:4", "values": { "target": 75, "left": 14, "right": 4, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "19:1", "values": { "target": 24, "left": 19, "right": 1, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "L=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*W+V": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "3:18", "4:3" ], "matches": [ { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "4:3", "values": { "target": 115, "left": 4, "right": 28, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "L=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*W+S": { "count": 2, "nonreducibleCount": 1, "reducibleCount": 1, "refs": [ "1:6", "19:1" ], "matches": [ { "ref": "1:6", "values": { "target": 19, "left": 6, "right": 3, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "19:1", "values": { "target": 24, "left": 1, "right": 5, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "L=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*V+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "68:25", "74:20" ], "matches": [ { "ref": "68:25", "values": { "target": 1704, "left": 68, "right": 25, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "74:20", "values": { "target": 1484, "left": 74, "right": 20, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*V+L": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "38:11", "71:19" ], "matches": [ { "ref": "38:11", "values": { "target": 442, "left": 38, "right": 11, "added": 24 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "71:19", "values": { "target": 1370, "left": 71, "right": 19, "added": 21 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*W+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*W+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "51:22", "85:4" ], "matches": [ { "ref": "51:22", "values": { "target": 1178, "left": 51, "right": 23, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "85:4", "values": { "target": 1278, "left": 85, "right": 15, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*W+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=V*W+L": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "2:252" ], "matches": [ { "ref": "2:252", "values": { "target": 2309, "left": 252, "right": 9, "added": 41 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*L+S": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "17:54" ], "matches": [ { "ref": "17:54", "values": { "target": 2987, "left": 54, "right": 55, "added": 17 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*L+W": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "17:43" ], "matches": [ { "ref": "17:43", "values": { "target": 1296, "left": 43, "right": 30, "added": 6 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=W*L+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=W*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] } } }, "RAW/A_LITERAL": { "view": "RAW", "abjadConvention": "A_LITERAL", "totalVerses": 6236, "evaluatedFormulaCount": 60, "formulaOpportunities": 374160, "totalMatches": 39, "nonreducibleMatches": 37, "reducibleMatches": 2, "formulas": { "S=V*W+L": { "count": 8, "nonreducibleCount": 8, "reducibleCount": 0, "refs": [ "56:14", "69:30", "77:22", "78:33", "78:34", "79:12", "81:22", "88:25" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 14, "right": 3, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "69:30", "values": { "target": 69, "left": 30, "right": 2, "added": 9 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:22", "values": { "target": 77, "left": 22, "right": 3, "added": 11 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:33", "values": { "target": 78, "left": 33, "right": 2, "added": 12 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:34", "values": { "target": 78, "left": 34, "right": 2, "added": 10 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "79:12", "values": { "target": 79, "left": 12, "right": 5, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "81:22", "values": { "target": 81, "left": 22, "right": 3, "added": 15 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "88:25", "values": { "target": 88, "left": 25, "right": 3, "added": 13 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "83:9", "94:7" ], "matches": [ { "ref": "83:9", "values": { "target": 83, "left": 9, "right": 9, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "94:7", "values": { "target": 94, "left": 7, "right": 13, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*L+V": { "count": 9, "nonreducibleCount": 9, "reducibleCount": 0, "refs": [ "56:14", "70:2", "75:19", "77:23", "80:38", "83:35", "84:8", "97:2", "101:5" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 3, "right": 14, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "70:2", "values": { "target": 70, "left": 4, "right": 17, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "75:19", "values": { "target": 75, "left": 4, "right": 14, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:23", "values": { "target": 77, "left": 3, "right": 18, "added": 23 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "80:38", "values": { "target": 80, "left": 3, "right": 14, "added": 38 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "83:35", "values": { "target": 83, "left": 3, "right": 16, "added": 35 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "84:8", "values": { "target": 84, "left": 4, "right": 19, "added": 8 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "97:2", "values": { "target": 97, "left": 5, "right": 19, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "101:5", "values": { "target": 101, "left": 4, "right": 24, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*W+L": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "2:110", "6:160" ], "matches": [ { "ref": "2:110", "values": { "target": 110, "left": 2, "right": 17, "added": 76 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "6:160", "values": { "target": 160, "left": 6, "right": 16, "added": 64 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*L+W": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "2:149" ], "matches": [ { "ref": "2:149", "values": { "target": 149, "left": 2, "right": 66, "added": 17 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*L+S": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "37:82", "37:157" ], "matches": [ { "ref": "37:82", "values": { "target": 82, "left": 3, "right": 15, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "37:157", "values": { "target": 157, "left": 5, "right": 24, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*V+W": { "count": 3, "nonreducibleCount": 2, "reducibleCount": 1, "refs": [ "3:18", "14:4", "19:1" ], "matches": [ { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "14:4", "values": { "target": 75, "left": 14, "right": 4, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "19:1", "values": { "target": 24, "left": 19, "right": 1, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "L=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*W+V": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "3:18", "4:3" ], "matches": [ { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "4:3", "values": { "target": 115, "left": 4, "right": 28, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "L=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*W+S": { "count": 2, "nonreducibleCount": 1, "reducibleCount": 1, "refs": [ "1:6", "19:1" ], "matches": [ { "ref": "1:6", "values": { "target": 19, "left": 6, "right": 3, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "19:1", "values": { "target": 24, "left": 1, "right": 5, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "L=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*V+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "20:19", "74:20" ], "matches": [ { "ref": "20:19", "values": { "target": 384, "left": 20, "right": 19, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "74:20", "values": { "target": 1484, "left": 74, "right": 20, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*V+L": { "count": 3, "nonreducibleCount": 3, "reducibleCount": 0, "refs": [ "44:47", "55:28", "84:9" ], "matches": [ { "ref": "44:47", "values": { "target": 2092, "left": 44, "right": 47, "added": 24 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "55:28", "values": { "target": 1559, "left": 55, "right": 28, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "84:9", "values": { "target": 775, "left": 84, "right": 9, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*W+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*W+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "44:5", "51:22" ], "matches": [ { "ref": "44:5", "values": { "target": 1018, "left": 44, "right": 23, "added": 6 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "51:22", "values": { "target": 1178, "left": 51, "right": 23, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*W+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=V*W+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=V*L+S": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "50:43" ], "matches": [ { "ref": "50:43", "values": { "target": 1211, "left": 43, "right": 27, "added": 50 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*L+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=W*L+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=W*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] } } }, "BODY/A_INDEX": { "view": "BODY", "abjadConvention": "A_INDEX", "totalVerses": 6236, "evaluatedFormulaCount": 60, "formulaOpportunities": 374160, "totalMatches": 45, "nonreducibleMatches": 38, "reducibleMatches": 7, "formulas": { "S=V*W+L": { "count": 8, "nonreducibleCount": 8, "reducibleCount": 0, "refs": [ "56:14", "69:30", "77:22", "78:33", "78:34", "79:12", "81:22", "88:25" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 14, "right": 3, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "69:30", "values": { "target": 69, "left": 30, "right": 2, "added": 9 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:22", "values": { "target": 77, "left": 22, "right": 3, "added": 11 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:33", "values": { "target": 78, "left": 33, "right": 2, "added": 12 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:34", "values": { "target": 78, "left": 34, "right": 2, "added": 10 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "79:12", "values": { "target": 79, "left": 12, "right": 5, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "81:22", "values": { "target": 81, "left": 22, "right": 3, "added": 15 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "88:25", "values": { "target": 88, "left": 25, "right": 3, "added": 13 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "83:9", "94:7" ], "matches": [ { "ref": "83:9", "values": { "target": 83, "left": 9, "right": 9, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "94:7", "values": { "target": 94, "left": 7, "right": 13, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*L+V": { "count": 9, "nonreducibleCount": 9, "reducibleCount": 0, "refs": [ "56:14", "70:2", "75:19", "77:23", "80:38", "83:35", "84:8", "97:2", "101:5" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 3, "right": 14, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "70:2", "values": { "target": 70, "left": 4, "right": 17, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "75:19", "values": { "target": 75, "left": 4, "right": 14, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:23", "values": { "target": 77, "left": 3, "right": 18, "added": 23 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "80:38", "values": { "target": 80, "left": 3, "right": 14, "added": 38 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "83:35", "values": { "target": 83, "left": 3, "right": 16, "added": 35 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "84:8", "values": { "target": 84, "left": 4, "right": 19, "added": 8 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "97:2", "values": { "target": 97, "left": 5, "right": 19, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "101:5", "values": { "target": 101, "left": 4, "right": 24, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*W+L": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "2:110", "6:160" ], "matches": [ { "ref": "2:110", "values": { "target": 110, "left": 2, "right": 17, "added": 76 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "6:160", "values": { "target": 160, "left": 6, "right": 16, "added": 64 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*L+W": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "2:149" ], "matches": [ { "ref": "2:149", "values": { "target": 149, "left": 2, "right": 66, "added": 17 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*L+S": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "37:82", "37:157" ], "matches": [ { "ref": "37:82", "values": { "target": 82, "left": 3, "right": 15, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "37:157", "values": { "target": 157, "left": 5, "right": 24, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*V+W": { "count": 3, "nonreducibleCount": 2, "reducibleCount": 1, "refs": [ "2:1", "3:18", "14:4" ], "matches": [ { "ref": "2:1", "values": { "target": 3, "left": 2, "right": 1, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true }, { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "14:4", "values": { "target": 75, "left": 14, "right": 4, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "L=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*W+V": { "count": 3, "nonreducibleCount": 2, "reducibleCount": 1, "refs": [ "2:1", "3:18", "4:3" ], "matches": [ { "ref": "2:1", "values": { "target": 3, "left": 2, "right": 1, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true }, { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "4:3", "values": { "target": 115, "left": 4, "right": 28, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "L=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*W+S": { "count": 2, "nonreducibleCount": 1, "reducibleCount": 1, "refs": [ "1:6", "2:1" ], "matches": [ { "ref": "1:6", "values": { "target": 19, "left": 6, "right": 3, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "2:1", "values": { "target": 3, "left": 1, "right": 1, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "L=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*V+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "68:25", "74:20" ], "matches": [ { "ref": "68:25", "values": { "target": 1704, "left": 68, "right": 25, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "74:20", "values": { "target": 1484, "left": 74, "right": 20, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*V+L": { "count": 3, "nonreducibleCount": 2, "reducibleCount": 1, "refs": [ "38:11", "46:1", "71:19" ], "matches": [ { "ref": "38:11", "values": { "target": 442, "left": 38, "right": 11, "added": 24 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "46:1", "values": { "target": 48, "left": 46, "right": 1, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true }, { "ref": "71:19", "values": { "target": 1370, "left": 71, "right": 19, "added": 21 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*W+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*W+L": { "count": 1, "nonreducibleCount": 0, "reducibleCount": 1, "refs": [ "46:1" ], "matches": [ { "ref": "46:1", "values": { "target": 48, "left": 46, "right": 1, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "A=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "51:22", "85:4" ], "matches": [ { "ref": "51:22", "values": { "target": 1178, "left": 51, "right": 23, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "85:4", "values": { "target": 1278, "left": 85, "right": 15, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*W+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=V*W+L": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "2:252" ], "matches": [ { "ref": "2:252", "values": { "target": 2309, "left": 252, "right": 9, "added": 41 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*L+S": { "count": 2, "nonreducibleCount": 1, "reducibleCount": 1, "refs": [ "17:54", "46:1" ], "matches": [ { "ref": "17:54", "values": { "target": 2987, "left": 54, "right": 55, "added": 17 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "46:1", "values": { "target": 48, "left": 1, "right": 2, "added": 46 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "A=V*L+W": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "17:43" ], "matches": [ { "ref": "17:43", "values": { "target": 1296, "left": 43, "right": 30, "added": 6 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=W*L+S": { "count": 1, "nonreducibleCount": 0, "reducibleCount": 1, "refs": [ "46:1" ], "matches": [ { "ref": "46:1", "values": { "target": 48, "left": 1, "right": 2, "added": 46 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "A=W*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] } } }, "BODY/A_LITERAL": { "view": "BODY", "abjadConvention": "A_LITERAL", "totalVerses": 6236, "evaluatedFormulaCount": 60, "formulaOpportunities": 374160, "totalMatches": 44, "nonreducibleMatches": 37, "reducibleMatches": 7, "formulas": { "S=V*W+L": { "count": 8, "nonreducibleCount": 8, "reducibleCount": 0, "refs": [ "56:14", "69:30", "77:22", "78:33", "78:34", "79:12", "81:22", "88:25" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 14, "right": 3, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "69:30", "values": { "target": 69, "left": 30, "right": 2, "added": 9 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:22", "values": { "target": 77, "left": 22, "right": 3, "added": 11 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:33", "values": { "target": 78, "left": 33, "right": 2, "added": 12 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "78:34", "values": { "target": 78, "left": 34, "right": 2, "added": 10 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "79:12", "values": { "target": 79, "left": 12, "right": 5, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "81:22", "values": { "target": 81, "left": 22, "right": 3, "added": 15 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "88:25", "values": { "target": 88, "left": 25, "right": 3, "added": 13 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "83:9", "94:7" ], "matches": [ { "ref": "83:9", "values": { "target": 83, "left": 9, "right": 9, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "94:7", "values": { "target": 94, "left": 7, "right": 13, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*L+V": { "count": 9, "nonreducibleCount": 9, "reducibleCount": 0, "refs": [ "56:14", "70:2", "75:19", "77:23", "80:38", "83:35", "84:8", "97:2", "101:5" ], "matches": [ { "ref": "56:14", "values": { "target": 56, "left": 3, "right": 14, "added": 14 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "70:2", "values": { "target": 70, "left": 4, "right": 17, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "75:19", "values": { "target": 75, "left": 4, "right": 14, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "77:23", "values": { "target": 77, "left": 3, "right": 18, "added": 23 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "80:38", "values": { "target": 80, "left": 3, "right": 14, "added": 38 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "83:35", "values": { "target": 83, "left": 3, "right": 16, "added": 35 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "84:8", "values": { "target": 84, "left": 4, "right": 19, "added": 8 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "97:2", "values": { "target": 97, "left": 5, "right": 19, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "101:5", "values": { "target": 101, "left": 4, "right": 24, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "S=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "S=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*W+L": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "2:110", "6:160" ], "matches": [ { "ref": "2:110", "values": { "target": 110, "left": 2, "right": 17, "added": 76 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "6:160", "values": { "target": 160, "left": 6, "right": 16, "added": 64 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*L+W": { "count": 1, "nonreducibleCount": 1, "reducibleCount": 0, "refs": [ "2:149" ], "matches": [ { "ref": "2:149", "values": { "target": 149, "left": 2, "right": 66, "added": 17 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*L+S": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "37:82", "37:157" ], "matches": [ { "ref": "37:82", "values": { "target": 82, "left": 3, "right": 15, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "37:157", "values": { "target": 157, "left": 5, "right": 24, "added": 37 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "V=W*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=W*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "V=L*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=S*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*L+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=V*A+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "W=L*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*V+W": { "count": 3, "nonreducibleCount": 2, "reducibleCount": 1, "refs": [ "2:1", "3:18", "14:4" ], "matches": [ { "ref": "2:1", "values": { "target": 3, "left": 2, "right": 1, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true }, { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "14:4", "values": { "target": 75, "left": 14, "right": 4, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "L=S*V+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*W+V": { "count": 3, "nonreducibleCount": 2, "reducibleCount": 1, "refs": [ "2:1", "3:18", "4:3" ], "matches": [ { "ref": "2:1", "values": { "target": 3, "left": 2, "right": 1, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true }, { "ref": "3:18", "values": { "target": 72, "left": 3, "right": 18, "added": 18 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "4:3", "values": { "target": 115, "left": 4, "right": 28, "added": 3 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "L=S*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=S*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*W+S": { "count": 2, "nonreducibleCount": 1, "reducibleCount": 1, "refs": [ "1:6", "2:1" ], "matches": [ { "ref": "1:6", "values": { "target": 19, "left": 6, "right": 3, "added": 1 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "2:1", "values": { "target": 3, "left": 1, "right": 1, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "L=V*W+A": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=V*A+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "L=W*A+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*V+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "20:19", "74:20" ], "matches": [ { "ref": "20:19", "values": { "target": 384, "left": 20, "right": 19, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "74:20", "values": { "target": 1484, "left": 74, "right": 20, "added": 4 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*V+L": { "count": 4, "nonreducibleCount": 3, "reducibleCount": 1, "refs": [ "44:47", "46:1", "55:28", "84:9" ], "matches": [ { "ref": "44:47", "values": { "target": 2092, "left": 44, "right": 47, "added": 24 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "46:1", "values": { "target": 48, "left": 46, "right": 1, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true }, { "ref": "55:28", "values": { "target": 1559, "left": 55, "right": 28, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "84:9", "values": { "target": 775, "left": 84, "right": 9, "added": 19 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=S*W+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*W+L": { "count": 1, "nonreducibleCount": 0, "reducibleCount": 1, "refs": [ "46:1" ], "matches": [ { "ref": "46:1", "values": { "target": 48, "left": 46, "right": 1, "added": 2 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "A=S*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=S*L+W": { "count": 2, "nonreducibleCount": 2, "reducibleCount": 0, "refs": [ "44:5", "51:22" ], "matches": [ { "ref": "44:5", "values": { "target": 1018, "left": 44, "right": 23, "added": 6 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false }, { "ref": "51:22", "values": { "target": 1178, "left": 51, "right": 23, "added": 5 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*W+S": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=V*W+L": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=V*L+S": { "count": 2, "nonreducibleCount": 1, "reducibleCount": 1, "refs": [ "46:1", "50:43" ], "matches": [ { "ref": "46:1", "values": { "target": 48, "left": 1, "right": 2, "added": 46 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true }, { "ref": "50:43", "values": { "target": 1211, "left": 43, "right": 27, "added": 50 }, "productZero": false, "addedZero": false, "multiplierOne": false, "inheritedDirectF1": false, "inheritedF2A": false, "reducibleToEarlierFamily": false } ] }, "A=V*L+W": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] }, "A=W*L+S": { "count": 1, "nonreducibleCount": 0, "reducibleCount": 1, "refs": [ "46:1" ], "matches": [ { "ref": "46:1", "values": { "target": 48, "left": 1, "right": 2, "added": 46 }, "productZero": false, "addedZero": false, "multiplierOne": true, "inheritedDirectF1": false, "inheritedF2A": true, "reducibleToEarlierFamily": true } ] }, "A=W*L+V": { "count": 0, "nonreducibleCount": 0, "reducibleCount": 0, "refs": [], "matches": [] } } } } }