“…In [2] #getting coefficients bigToSmall = { "A" : {"a", "d", "j"}, "B" : {"b", "d", "j"}, "C" : {"a", "e", "j"}, "D" : {"a", "d", "l"}, "E" : {"c", "e", "j"}, "F" : {"b", "f", "j"}, "G" : {"a", "g", "l"}, "H" : {"b", "d", "l"}, "I" : {"a", "e", "o"}, "J" : {"c", "f", "j"}, "K" : {"b", "h", "l"}, "L" : {"a", "i", "o"}, "M" : {"b", "f", "p"}, "N" : {"c", "e", "o"}, "O" : {"a", "g", "q"}, "P" : {"c", "f", "p"}, "Q" : {"a", "i", "q"}, } #contradictions of type III zeroToOne = { "b":{"a"}, "c":{"a", "b", "f"}, "e":{"d"}, "f":{"d", "e"}, "g":{"d","e"}, "h":{"d","e","f","g"}, "i":{"d","e","g"}, "l":{"j"}, "o":{"j","l"}, "p":{"j","l","o"}, "q":{"j","l","o","i"}, "a":set(), "d": set(), "j": set(), "p": set(), A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q "A" : {"a", "d", "j"}, "B" : {"b", "d", "j"}, "C" : {"a", "e", "j"}, "D" : {"a", "d", "l"}, "E" : {"c", "e", "j"}, "F" : {"b", "f", "j"}, "G" : {"a", "g", "l"}, "H" : {"b", "d", "l"}, "I" : {"a", "e", "o"}, "J" : {"c", "f", "j"}, "K" : {"b", "h", "l"}, "L" : {"a", "i", "o"}, "M" : {"b", "f", "p"}, "N" : {"c", "e", "o"}, "O" : {"a", "g", "q"}, "P" : {"c", "f", "p"}, "Q" : {"a", "i", "q"} {"a"}, "c":{"a", "b", "f"}, "e":{"d"}, "f":{"d", "e"}, "g":{"d","e"}, "h":{"d","e","f","g"}, "i":{"d","e","g"}, "l":{"j"}, "o":{"j","l"}, "p":{"j","l","o"}, "q":{"j","l","o","i"}, "a":set(), "d": set(), "j": set(), "p": set(), A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q "A" : {"a", "d", "j"}, "B" : {"b", "d", "j"}, "C" : {"a", "e", "j"}, "D" : {"a", "d", "l"}, "E" : {"c", "e", "j"}, "F" : {"b", "f", "j"}, "G" : {"a", "g", "l"}, "H" : {"b", "d", "l"}, "I" : {"a", "e", "o"}, "J" : {"c", "f", "j"}, "K" : {"b", "h", "l"}, "L" : {"a", "i", "o"}, "M" : {"b", "f", "p"}, "N" : {"c", "e", "o"}, "O" : {"a", "g", "q"}, "P" : {"c", "f", "p"}, "Q" : {"a", "i", "q"} :{"a"}, "c":{"a", "b", "f"}, "e":{"d"}, "f":{"d", "e"}, "g":{"d","e"}, "h":{"d","e","f","g"}, "i":{"d","e","g"}, "l":{"j"}, "o":{"j","l"}, "p":{"j","l","o"}, "q":{"j","l","o","i"}, "a":set(), "d": set(), "j": set(), "p": set(), } allElementList = ["A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q…”