% Processed Facts:

maxelec(2 : Real, 1 : Real).
maxelec(8 : Real, 2 : Real).
maxelec(18 : Real, 3 : Real).
maxelec(32 : Real, 4 : Real).
maxelec(32 : Real, 5 : Real).
"light-metal"(13 : Real).
"light-metal"(39 : Real).
"light-metal"(21 : Real).
"light-metal"(22 : Real).
atm(1 : Real, name[h : String, hydrogen : String], prop[g : String, eco[1 : Real, 0 : Real, 0 : Real], 1.00794 : Real, oxi[1 : Real, -1 : Real]]).
atm(2 : Real, name[he : String, helium : String], prop[g : String, eco[2 : Real, 0 : Real, 0 : Real], 4.0020604 : Real, oxi[0 : Real]]).
atm(3 : Real, name[li : String, lithium : String], prop[m : String, eco[2 : Real, 1 : Real, 0 : Real], 6.941 : Real, oxi[1 : Real]]).
atm(4 : Real, name[be : String, beryllium : String], prop[m : String, eco[2 : Real, 2 : Real, 0 : Real], 9.012182 : Real, oxi[2 : Real]]).
atm(5 : Real, name[b : String, boron : String], prop[sc : String, eco[2 : Real, 3 : Real, 0 : Real], 10.811 : Real, oxi[3 : Real]]).
atm(6 : Real, name[c : String, carbon : String], prop[sc : String, eco[2 : Real, 4 : Real, 0 : Real], 12.011 : Real, oxi[2 : Real, 4 : Real, -4 : Real]]).
atm(7 : Real, name[n : String, nitrogen : String], prop[g : String, eco[2 : Real, 5 : Real, 0 : Real], 14.00674 : Real, oxi[1 : Real, 2 : Real, 3 : Real, 4 : Real, 5 : Real, -1 : Real, -2 : Real, -3 : Real]]).
atm(8 : Real, name[o : String, oxygen : String], prop[g : String, eco[2 : Real, 6 : Real, 0 : Real], 15.9994 : Real, oxi[-2 : Real]]).
atm(9 : Real, name[f : String, fluorine : String], prop[g : String, eco[2 : Real, 7 : Real, 0 : Real], 18.998404 : Real, oxi[-1 : Real]]).
atm(10 : Real, name[ne : String, neon : String], prop[g : String, eco[2 : Real, 8 : Real, 0 : Real], 20.1797 : Real, oxi[0 : Real]]).
atm(11 : Real, name[na : String, sodium : String], prop[m : String, eco[2 : Real, 8 : Real, 1 : Real], 22.989767 : Real, oxi[1 : Real]]).
atm(12 : Real, name[mg : String, magnesium : String], prop[m : String, eco[2 : Real, 8 : Real, 2 : Real], 24.305 : Real, oxi[2 : Real]]).
atm(13 : Real, name[al : String, aluminium : String], prop[m : String, eco[2 : Real, 8 : Real, 3 : Real], 26.981539 : Real, oxi[3 : Real]]).
atm(14 : Real, name[si : String, silicon : String], prop[sc : String, eco[2 : Real, 8 : Real, 4 : Real], 28.0855 : Real, oxi[2 : Real, 4 : Real, -4 : Real]]).
atm(15 : Real, name[p : String, phosphorus : String], prop[sc : String, eco[2 : Real, 8 : Real, 5 : Real], 30.97362 : Real, oxi[3 : Real, 5 : Real, -3 : Real]]).
atm(16 : Real, name[s : String, sulfur : String], prop[sc : String, eco[2 : Real, 8 : Real, 6 : Real], 32.066 : Real, oxi[4 : Real, 6 : Real, -2 : Real]]).
atm(17 : Real, name[cl : String, chlorine : String], prop[g : String, eco[2 : Real, 8 : Real, 7 : Real], 35.4527 : Real, oxi[1 : Real, 5 : Real, 7 : Real, -1 : Real]]).
atm(18 : Real, name[ar : String, argon : String], prop[g : String, eco[2 : Real, 8 : Real, 8 : Real], 39.948 : Real, oxi[0 : Real]]).
atm(19 : Real, name[k : String, potassium : String], prop[m : String, eco[8 : Real, 8 : Real, 1 : Real], 39.0983 : Real, oxi[1 : Real]]).
atm(20 : Real, name[ca : String, calcium : String], prop[m : String, eco[8 : Real, 8 : Real, 2 : Real], 40.078 : Real, oxi[2 : Real]]).
atm(21 : Real, name[sc : String, scandium : String], prop[m : String, eco[8 : Real, 9 : Real, 2 : Real], 44.9559 : Real, oxi[3 : Real]]).
atm(22 : Real, name[ti : String, titanium : String], prop[m : String, eco[8 : Real, 10 : Real, 2 : Real], 47.88 : Real, oxi[2 : Real, 3 : Real, 4 : Real]]).
atm(23 : Real, name[v : String, vanadium : String], prop[m : String, eco[8 : Real, 11 : Real, 2 : Real], 50.9415 : Real, oxi[2 : Real, 3 : Real, 4 : Real, 5 : Real]]).
atm(24 : Real, name[cr : String, chronium : String], prop[m : String, eco[8 : Real, 13 : Real, 1 : Real], 51.9961 : Real, oxi[2 : Real, 3 : Real, 6 : Real]]).
atm(25 : Real, name[mn : String, manganese : String], prop[m : String, eco[8 : Real, 13 : Real, 2 : Real], 54.93085 : Real, oxi[2 : Real, 3 : Real, 4 : Real, 7 : Real]]).
atm(26 : Real, name[fe : String, ferrum : String], prop[m : String, eco[8 : Real, 14 : Real, 2 : Real], 55.847 : Real, oxi[2 : Real, 3 : Real]]).
atm(27 : Real, name[co : String, cobalt : String], prop[m : String, eco[8 : Real, 15 : Real, 2 : Real], 58.9332 : Real, oxi[2 : Real, 3 : Real]]).
atm(28 : Real, name[ni : String, nickel : String], prop[m : String, eco[8 : Real, 16 : Real, 2 : Real], 58.69 : Real, oxi[2 : Real, 3 : Real]]).
atm(29 : Real, name[cu : String, copper : String], prop[m : String, eco[8 : Real, 18 : Real, 1 : Real], 63.546 : Real, oxi[1 : Real, 2 : Real]]).
atm(30 : Real, name[zn : String, zinc : String], prop[m : String, eco[8 : Real, 18 : Real, 2 : Real], 65.39 : Real, oxi[2 : Real]]).
atm(31 : Real, name[ga : String, galium : String], prop[m : String, eco[8 : Real, 18 : Real, 3 : Real], 69.723 : Real, oxi[3 : Real]]).
atm(32 : Real, name[ge : String, germanium : String], prop[sc : String, eco[8 : Real, 18 : Real, 4 : Real], 72.61 : Real, oxi[2 : Real, 4 : Real]]).
atm(33 : Real, name[as : String, arsenic : String], prop[sm : String, eco[8 : Real, 18 : Real, 5 : Real], 74.92159 : Real, oxi[3 : Real, 5 : Real, -3 : Real]]).
atm(34 : Real, name[se : String, selenium : String], prop[sc : String, eco[8 : Real, 18 : Real, 6 : Real], 78.96 : Real, oxi[4 : Real, 6 : Real, -2 : Real]]).
atm(35 : Real, name[br : String, bromine : String], prop[g : String, eco[8 : Real, 18 : Real, 7 : Real], 79.904 : Real, oxi[1 : Real, 5 : Real, -1 : Real]]).
atm(36 : Real, name[kr : String, krypton : String], prop[g : String, eco[8 : Real, 18 : Real, 8 : Real], 83.8 : Real, oxi[0 : Real]]).
atm(37 : Real, name[rb : String, rubidium : String], prop[m : String, eco[18 : Real, 8 : Real, 1 : Real], 85.4678 : Real, oxi[1 : Real]]).
atm(38 : Real, name[sr : String, strontium : String], prop[m : String, eco[18 : Real, 8 : Real, 2 : Real], 87.62 : Real, oxi[2 : Real]]).
atm(39 : Real, name[y : String, yttrium : String], prop[m : String, eco[18 : Real, 9 : Real, 2 : Real], 88.90585 : Real, oxi[3 : Real]]).
atm(40 : Real, name[zr : String, zirconium : String], prop[m : String, eco[18 : Real, 10 : Real, 2 : Real], 91.224 : Real, oxi[4 : Real]]).
atm(41 : Real, name[nb : String, niobium : String], prop[m : String, eco[18 : Real, 12 : Real, 1 : Real], 92.90638 : Real, oxi[3 : Real, 5 : Real]]).
atm(42 : Real, name[mo : String, molybdenum : String], prop[m : String, eco[18 : Real, 13 : Real, 1 : Real], 95.94 : Real, oxi[6 : Real]]).
atm(43 : Real, name[tc : String, technetium : String], prop[m : String, eco[18 : Real, 13 : Real, 2 : Real], 98 : Real, oxi[4 : Real, 6 : Real, 7 : Real]]).
atm(44 : Real, name[ru : String, ruthenium : String], prop[m : String, eco[18 : Real, 15 : Real, 1 : Real], 101.07 : Real, oxi[3 : Real]]).
atm(45 : Real, name[rh : String, rhodium : String], prop[m : String, eco[18 : Real, 16 : Real, 1 : Real], 102.9055 : Real, oxi[3 : Real]]).
atm(46 : Real, name[pd : String, palladium : String], prop[m : String, eco[18 : Real, 18 : Real, 0 : Real], 106.42 : Real, oxi[2 : Real, 4 : Real]]).
atm(47 : Real, name[ag : String, silver : String], prop[m : String, eco[18 : Real, 18 : Real, 1 : Real], 107.8682 : Real, oxi[1 : Real]]).
atm(48 : Real, name[cd : String, cadmium : String], prop[m : String, eco[18 : Real, 18 : Real, 2 : Real], 112.411 : Real, oxi[2 : Real]]).
atm(49 : Real, name[in : String, indium : String], prop[m : String, eco[18 : Real, 18 : Real, 3 : Real], 114.82 : Real, oxi[3 : Real]]).
atm(50 : Real, name[sn : String, tin : String], prop[m : String, eco[18 : Real, 18 : Real, 4 : Real], 118.71 : Real, oxi[2 : Real, 4 : Real]]).
atm(51 : Real, name[sb : String, antimony : String], prop[sm : String, eco[18 : Real, 18 : Real, 5 : Real], 121.75 : Real, oxi[3 : Real, 5 : Real, -3 : Real]]).
atm(52 : Real, name[te : String, tellurium : String], prop[sc : String, eco[18 : Real, 18 : Real, 6 : Real], 127.6 : Real, oxi[4 : Real, 6 : Real, -2 : Real]]).
atm(53 : Real, name[i : String, iodine : String], prop[sc : String, eco[18 : Real, 18 : Real, 7 : Real], 126.90447 : Real, oxi[1 : Real, 5 : Real, 7 : Real, -1 : Real]]).
atm(54 : Real, name[xe : String, xenon : String], prop[g : String, eco[18 : Real, 18 : Real, 8 : Real], 131.29 : Real, oxi[0 : Real]]).
atm(55 : Real, name[cs : String, caesium : String], prop[m : String, eco[18 : Real, 8 : Real, 1 : Real], 132.90543 : Real, oxi[1 : Real]]).
atm(56 : Real, name[ba : String, barium : String], prop[m : String, eco[18 : Real, 8 : Real, 2 : Real], 137.327 : Real, oxi[2 : Real]]).
atm(57 : Real, name[la : String, lanthanum : String], prop[m : String, eco[18 : Real, 9 : Real, 2 : Real], 138.9055 : Real, oxi[3 : Real]]).
atm(58 : Real, name[ce : String, cerium : String], prop[m : String, eco[20 : Real, 8 : Real, 2 : Real], 140.115 : Real, oxi[3 : Real, 4 : Real]]).
atm(59 : Real, name[pr : String, praseodymium : String], prop[m : String, eco[21 : Real, 8 : Real, 2 : Real], 140.90765 : Real, oxi[3 : Real]]).
atm(60 : Real, name[nd : String, nitrogen : String], prop[m : String, eco[22 : Real, 8 : Real, 2 : Real], 144.24 : Real, oxi[3 : Real]]).
atm(61 : Real, name[pm : String, promethium : String], prop[m : String, eco[23 : Real, 8 : Real, 2 : Real], 145 : Real, oxi[3 : Real]]).
atm(62 : Real, name[sm : String, samarium : String], prop[m : String, eco[24 : Real, 8 : Real, 2 : Real], 150.36 : Real, oxi[2 : Real, 3 : Real]]).
atm(63 : Real, name[eu : String, europium : String], prop[m : String, eco[25 : Real, 8 : Real, 2 : Real], 151.965 : Real, oxi[2 : Real, 3 : Real]]).
atm(64 : Real, name[gd : String, gadolinium : String], prop[m : String, eco[25 : Real, 9 : Real, 2 : Real], 157.25 : Real, oxi[3 : Real]]).
atm(65 : Real, name[tb : String, terbium : String], prop[m : String, eco[27 : Real, 8 : Real, 2 : Real], 158.92534 : Real, oxi[3 : Real]]).
atm(66 : Real, name[dy : String, dysprosium : String], prop[m : String, eco[28 : Real, 8 : Real, 2 : Real], 162.5 : Real, oxi[3 : Real]]).
atm(67 : Real, name[ho : String, holmium : String], prop[m : String, eco[29 : Real, 8 : Real, 2 : Real], 164.93031 : Real, oxi[3 : Real]]).
atm(68 : Real, name[er : String, erbium : String], prop[m : String, eco[30 : Real, 8 : Real, 2 : Real], 167.26 : Real, oxi[3 : Real]]).
atm(69 : Real, name[tm : String, thullium : String], prop[m : String, eco[31 : Real, 8 : Real, 2 : Real], 168.9342 : Real, oxi[3 : Real]]).
atm(70 : Real, name[yb : String, ytterbium : String], prop[m : String, eco[32 : Real, 8 : Real, 2 : Real], 173.04 : Real, oxi[2 : Real, 3 : Real]]).
atm(71 : Real, name[lu : String, lutetium : String], prop[m : String, eco[32 : Real, 9 : Real, 2 : Real], 174.967 : Real, oxi[3 : Real]]).
atm(72 : Real, name[hf : String, hafnium : String], prop[m : String, eco[32 : Real, 10 : Real, 2 : Real], 178.49 : Real, oxi[4 : Real]]).
atm(73 : Real, name[ta : String, tantalum : String], prop[m : String, eco[32 : Real, 11 : Real, 2 : Real], 180.9479 : Real, oxi[5 : Real]]).
atm(74 : Real, name[w : String, tungsten : String], prop[nyd : String, eco[32 : Real, 12 : Real, 2 : Real], 183.85 : Real, oxi[6 : Real]]).
atm(75 : Real, name[re : String, rhenium : String], prop[m : String, eco[32 : Real, 13 : Real, 2 : Real], 186.207 : Real, oxi[4 : Real, 6 : Real, 7 : Real]]).
atm(76 : Real, name[os : String, osmium : String], prop[m : String, eco[32 : Real, 14 : Real, 2 : Real], 190.2 : Real, oxi[3 : Real, 4 : Real]]).
atm(77 : Real, name[ir : String, iridium : String], prop[m : String, eco[32 : Real, 15 : Real, 2 : Real], 192.22 : Real, oxi[3 : Real, 4 : Real]]).
atm(78 : Real, name[pt : String, platinum : String], prop[m : String, eco[32 : Real, 16 : Real, 2 : Real], 195.08 : Real, oxi[2 : Real, 4 : Real]]).
atm(79 : Real, name[au : String, gold : String], prop[m : String, eco[32 : Real, 18 : Real, 1 : Real], 196.96654 : Real, oxi[1 : Real, 3 : Real]]).
atm(80 : Real, name[hg : String, mercury : String], prop[m : String, eco[32 : Real, 18 : Real, 2 : Real], 200.59 : Real, oxi[1 : Real, 2 : Real]]).
atm(81 : Real, name[tl : String, thallium : String], prop[m : String, eco[32 : Real, 18 : Real, 3 : Real], 204.3833 : Real, oxi[1 : Real, 3 : Real]]).
atm(82 : Real, name[pb : String, lead : String], prop[m : String, eco[32 : Real, 18 : Real, 4 : Real], 207.2 : Real, oxi[2 : Real, 4 : Real]]).
atm(83 : Real, name[bi : String, bismuth : String], prop[sm : String, eco[32 : Real, 18 : Real, 5 : Real], 208.98038 : Real, oxi[3 : Real, 5 : Real]]).
atm(84 : Real, name[po : String, polonium : String], prop[m : String, eco[32 : Real, 18 : Real, 6 : Real], 209 : Real, oxi[2 : Real, 4 : Real]]).
atm(85 : Real, name[at : String, astatine : String], prop[m : String, eco[32 : Real, 18 : Real, 7 : Real], 210 : Real, oxi[]]).
atm(86 : Real, name[rn : String, radon : String], prop[g : String, eco[32 : Real, 18 : Real, 8 : Real], 222 : Real, oxi[0 : Real]]).
atm(87 : Real, name[fr : String, francium : String], prop[m : String, eco[18 : Real, 8 : Real, 1 : Real], 223 : Real, oxi[1 : Real]]).
atm(88 : Real, name[ra : String, radium : String], prop[m : String, eco[18 : Real, 8 : Real, 2 : Real], 226.025 : Real, oxi[2 : Real]]).
atm(89 : Real, name[ac : String, actinium : String], prop[m : String, eco[18 : Real, 9 : Real, 2 : Real], 227.028 : Real, oxi[3 : Real]]).
atm(90 : Real, name[th : String, thorium : String], prop[m : String, eco[18 : Real, 10 : Real, 2 : Real], 232.0381 : Real, oxi[4 : Real]]).
atm(91 : Real, name[pa : String, protoactinium : String], prop[m : String, eco[20 : Real, 9 : Real, 2 : Real], 231.03587 : Real, oxi[5 : Real, 4 : Real]]).
atm(92 : Real, name[u : String, uranium : String], prop[m : String, eco[21 : Real, 9 : Real, 2 : Real], 238.0289 : Real, oxi[3 : Real, 4 : Real, 5 : Real, 6 : Real]]).
atm(93 : Real, name[np : String, neptunium : String], prop[m : String, eco[22 : Real, 9 : Real, 2 : Real], 237.048 : Real, oxi[3 : Real, 4 : Real, 5 : Real, 6 : Real]]).
atm(94 : Real, name[pu : String, plutonium : String], prop[m : String, eco[24 : Real, 8 : Real, 2 : Real], 244 : Real, oxi[3 : Real, 4 : Real, 5 : Real, 6 : Real]]).
atm(95 : Real, name[am : String, americium : String], prop[m : String, eco[25 : Real, 8 : Real, 2 : Real], 243 : Real, oxi[3 : Real, 4 : Real, 5 : Real, 6 : Real]]).
atm(96 : Real, name[cm : String, curium : String], prop[m : String, eco[25 : Real, 9 : Real, 2 : Real], 247 : Real, oxi[3 : Real]]).
atm(97 : Real, name[bk : String, berkelium : String], prop[m : String, eco[27 : Real, 8 : Real, 2 : Real], 247 : Real, oxi[3 : Real, 4 : Real]]).
atm(98 : Real, name[cf : String, californium : String], prop[m : String, eco[28 : Real, 8 : Real, 2 : Real], 251 : Real, oxi[3 : Real]]).
atm(99 : Real, name[es : String, einsteinium : String], prop[m : String, eco[29 : Real, 8 : Real, 2 : Real], 252 : Real, oxi[3 : Real]]).
atm(100 : Real, name[fm : String, fermium : String], prop[m : String, eco[30 : Real, 8 : Real, 2 : Real], 257 : Real, oxi[3 : Real]]).
atm(101 : Real, name[md : String, mendelevium : String], prop[m : String, eco[31 : Real, 8 : Real, 2 : Real], 258 : Real, oxi[2 : Real, 3 : Real]]).
atm(102 : Real, name[no : String, nobelium : String], prop[m : String, eco[32 : Real, 8 : Real, 2 : Real], 259 : Real, oxi[2 : Real, 3 : Real]]).
atm(103 : Real, name[lr : String, lawrencium : String], prop[m : String, eco[32 : Real, 9 : Real, 2 : Real], 260 : Real, oxi[3 : Real]]).
atm(104 : Real, name[unq : String, unnilquadium : String], prop[nyd : String, eco[32 : Real, 10 : Real, 2 : Real], 261 : Real, oxi[4 : Real]]).
atm(105 : Real, name[unp : String, unnilpentium : String], prop[nyd : String, eco[32 : Real, 11 : Real, 2 : Real], 262 : Real, oxi[]]).
atm(106 : Real, name[unh : String, unnihexium : String], prop[nyd : String, eco[32 : Real, 12 : Real, 2 : Real], 263 : Real, oxi[]]).
atm(107 : Real, name[uns : String, unnilseptium : String], prop[nyd : String, eco[32 : Real, 13 : Real, 2 : Real], 262 : Real, oxi[]]).
"inner-shell-fill"(?l_0, ?l_0, 0 : Real).
"last-atm"(107 : Real).
"newgroup-num"(1 : Real, 1 : Real).
"newgroup-num"(1 : Real, 3 : Real).
"newgroup-num"(1 : Real, 11 : Real).
"newgroup-num"(18 : Real, 2 : Real).
"newgroup-num"(2 : Real, 4 : Real).
"newgroup-num"(2 : Real, 12 : Real).
"newgroup-num"(13 : Real, 5 : Real).
"newgroup-num"(14 : Real, 6 : Real).
"newgroup-num"(15 : Real, 7 : Real).
"newgroup-num"(16 : Real, 8 : Real).
"newgroup-num"(17 : Real, 9 : Real).
"newgroup-num"(18 : Real, 10 : Real).
"newgroup-sym"(1 : Real, h : String).
"newgroup-sym"(18 : Real, he : String).
"newgroup-sym"(1 : Real, li : String).
"newgroup-sym"(2 : Real, be : String).
"newgroup-sym"(13 : Real, b : String).
"newgroup-sym"(14 : Real, c : String).
"newgroup-sym"(15 : Real, n : String).
"newgroup-sym"(16 : Real, o : String).
"newgroup-sym"(17 : Real, f : String).
"newgroup-sym"(18 : Real, ne : String).
"newgroup-sym"(1 : Real, na : String).
"newgroup-sym"(2 : Real, mg : String).
"check-all-eleconfs"(consistent[]).
nosymb(h : String, 1 : Real).
nosymb(he : String, 2 : Real).
nosymb(li : String, 3 : Real).
nosymb(be : String, 4 : Real).
nosymb(b : String, 5 : Real).
nosymb(c : String, 6 : Real).
nosymb(n : String, 7 : Real).
nosymb(o : String, 8 : Real).
nosymb(f : String, 9 : Real).
nosymb(ne : String, 10 : Real).
nosymb(na : String, 11 : Real).
nosymb(mg : String, 12 : Real).
nosymb(al : String, 13 : Real).
nosymb(si : String, 14 : Real).
nosymb(p : String, 15 : Real).
nosymb(s : String, 16 : Real).
nosymb(cl : String, 17 : Real).
nosymb(ar : String, 18 : Real).
nosymb(k : String, 19 : Real).
nosymb(ca : String, 20 : Real).
nosymb(sc : String, 21 : Real).
nosymb(ti : String, 22 : Real).
nosymb(v : String, 23 : Real).
nosymb(cr : String, 24 : Real).
nosymb(mn : String, 25 : Real).
nosymb(fe : String, 26 : Real).
nosymb(co : String, 27 : Real).
nosymb(ni : String, 28 : Real).
nosymb(cu : String, 29 : Real).
nosymb(zn : String, 30 : Real).
nosymb(ga : String, 31 : Real).
nosymb(ge : String, 32 : Real).
nosymb(as : String, 33 : Real).
nosymb(se : String, 34 : Real).
nosymb(br : String, 35 : Real).
nosymb(kr : String, 36 : Real).
nosymb(rb : String, 37 : Real).
nosymb(sr : String, 38 : Real).
nosymb(y : String, 39 : Real).
nosymb(zr : String, 40 : Real).
nosymb(nb : String, 41 : Real).
nosymb(mo : String, 42 : Real).
nosymb(tc : String, 43 : Real).
nosymb(ru : String, 44 : Real).
nosymb(rh : String, 45 : Real).
nosymb(pd : String, 46 : Real).
nosymb(ag : String, 47 : Real).
nosymb(cd : String, 48 : Real).
nosymb(in : String, 49 : Real).
nosymb(sn : String, 50 : Real).
nosymb(sb : String, 51 : Real).
nosymb(te : String, 52 : Real).
nosymb(i : String, 53 : Real).
nosymb(xe : String, 54 : Real).
nosymb(cs : String, 55 : Real).
nosymb(ba : String, 56 : Real).
nosymb(la : String, 57 : Real).
nosymb(ce : String, 58 : Real).
nosymb(pr : String, 59 : Real).
nosymb(nd : String, 60 : Real).
nosymb(pm : String, 61 : Real).
nosymb(sm : String, 62 : Real).
nosymb(eu : String, 63 : Real).
nosymb(gd : String, 64 : Real).
nosymb(tb : String, 65 : Real).
nosymb(dy : String, 66 : Real).
nosymb(ho : String, 67 : Real).
nosymb(er : String, 68 : Real).
nosymb(tm : String, 69 : Real).
nosymb(yb : String, 70 : Real).
nosymb(lu : String, 71 : Real).
nosymb(hf : String, 72 : Real).
nosymb(ta : String, 73 : Real).
nosymb(w : String, 74 : Real).
nosymb(re : String, 75 : Real).
nosymb(os : String, 76 : Real).
nosymb(ir : String, 77 : Real).
nosymb(pt : String, 78 : Real).
nosymb(au : String, 79 : Real).
nosymb(hg : String, 80 : Real).
nosymb(tl : String, 81 : Real).
nosymb(pb : String, 82 : Real).
nosymb(bi : String, 83 : Real).
nosymb(po : String, 84 : Real).
nosymb(at : String, 85 : Real).
nosymb(rn : String, 86 : Real).
nosymb(fr : String, 87 : Real).
nosymb(ra : String, 88 : Real).
nosymb(ac : String, 89 : Real).
nosymb(th : String, 90 : Real).
nosymb(pa : String, 91 : Real).
nosymb(u : String, 92 : Real).
nosymb(np : String, 93 : Real).
nosymb(pu : String, 94 : Real).
nosymb(am : String, 95 : Real).
nosymb(cm : String, 96 : Real).
nosymb(bk : String, 97 : Real).
nosymb(cf : String, 98 : Real).
nosymb(es : String, 99 : Real).
nosymb(fm : String, 100 : Real).
nosymb(md : String, 101 : Real).
nosymb(no : String, 102 : Real).
nosymb(lr : String, 103 : Real).
nosymb(unq : String, 104 : Real).
nosymb(unp : String, 105 : Real).
nosymb(unh : String, 106 : Real).
nosymb(uns : String, 107 : Real).
symbno(1 : Real, h : String).
symbno(2 : Real, he : String).
symbno(3 : Real, li : String).
symbno(4 : Real, be : String).
symbno(5 : Real, b : String).
symbno(6 : Real, c : String).
symbno(7 : Real, n : String).
symbno(8 : Real, o : String).
symbno(9 : Real, f : String).
symbno(10 : Real, ne : String).
symbno(11 : Real, na : String).
symbno(12 : Real, mg : String).
symbno(13 : Real, al : String).
symbno(14 : Real, si : String).
symbno(15 : Real, p : String).
symbno(16 : Real, s : String).
symbno(17 : Real, cl : String).
symbno(18 : Real, ar : String).
symbno(19 : Real, k : String).
symbno(20 : Real, ca : String).
symbno(21 : Real, sc : String).
symbno(22 : Real, ti : String).
symbno(23 : Real, v : String).
symbno(24 : Real, cr : String).
symbno(25 : Real, mn : String).
symbno(26 : Real, fe : String).
symbno(27 : Real, co : String).
symbno(28 : Real, ni : String).
symbno(29 : Real, cu : String).
symbno(30 : Real, zn : String).
symbno(31 : Real, ga : String).
symbno(32 : Real, ge : String).
symbno(33 : Real, as : String).
symbno(34 : Real, se : String).
symbno(35 : Real, br : String).
symbno(36 : Real, kr : String).
symbno(37 : Real, rb : String).
symbno(38 : Real, sr : String).
symbno(39 : Real, y : String).
symbno(40 : Real, zr : String).
symbno(41 : Real, nb : String).
symbno(42 : Real, mo : String).
symbno(43 : Real, tc : String).
symbno(44 : Real, ru : String).
symbno(45 : Real, rh : String).
symbno(46 : Real, pd : String).
symbno(47 : Real, ag : String).
symbno(48 : Real, cd : String).
symbno(49 : Real, in : String).
symbno(50 : Real, sn : String).
symbno(51 : Real, sb : String).
symbno(52 : Real, te : String).
symbno(53 : Real, i : String).
symbno(54 : Real, xe : String).
symbno(55 : Real, cs : String).
symbno(56 : Real, ba : String).
symbno(57 : Real, la : String).
symbno(58 : Real, ce : String).
symbno(59 : Real, pr : String).
symbno(60 : Real, nd : String).
symbno(61 : Real, pm : String).
symbno(62 : Real, sm : String).
symbno(63 : Real, eu : String).
symbno(64 : Real, gd : String).
symbno(65 : Real, tb : String).
symbno(66 : Real, dy : String).
symbno(67 : Real, ho : String).
symbno(68 : Real, er : String).
symbno(69 : Real, tm : String).
symbno(70 : Real, yb : String).
symbno(71 : Real, lu : String).
symbno(72 : Real, hf : String).
symbno(73 : Real, ta : String).
symbno(74 : Real, w : String).
symbno(75 : Real, re : String).
symbno(76 : Real, os : String).
symbno(77 : Real, ir : String).
symbno(78 : Real, pt : String).
symbno(79 : Real, au : String).
symbno(80 : Real, hg : String).
symbno(81 : Real, tl : String).
symbno(82 : Real, pb : String).
symbno(83 : Real, bi : String).
symbno(84 : Real, po : String).
symbno(85 : Real, at : String).
symbno(86 : Real, rn : String).
symbno(87 : Real, fr : String).
symbno(88 : Real, ra : String).
symbno(89 : Real, ac : String).
symbno(90 : Real, th : String).
symbno(91 : Real, pa : String).
symbno(92 : Real, u : String).
symbno(93 : Real, np : String).
symbno(94 : Real, pu : String).
symbno(95 : Real, am : String).
symbno(96 : Real, cm : String).
symbno(97 : Real, bk : String).
symbno(98 : Real, cf : String).
symbno(99 : Real, es : String).
symbno(100 : Real, fm : String).
symbno(101 : Real, md : String).
symbno(102 : Real, no : String).
symbno(103 : Real, lr : String).
symbno(104 : Real, unq : String).
symbno(105 : Real, unp : String).
symbno(106 : Real, unh : String).
symbno(107 : Real, uns : String).
sum(0 : Real, []).
englno(1 : Real, hydrogen : String).
englno(2 : Real, helium : String).
englno(3 : Real, lithium : String).
englno(4 : Real, beryllium : String).
englno(5 : Real, boron : String).
englno(6 : Real, carbon : String).
englno(7 : Real, nitrogen : String).
englno(8 : Real, oxygen : String).
englno(9 : Real, fluorine : String).
englno(10 : Real, neon : String).
englno(11 : Real, sodium : String).
englno(12 : Real, magnesium : String).
englno(13 : Real, aluminium : String).
englno(14 : Real, silicon : String).
englno(15 : Real, phosphorus : String).
englno(16 : Real, sulfur : String).
englno(17 : Real, chlorine : String).
englno(18 : Real, argon : String).
englno(19 : Real, potassium : String).
englno(20 : Real, calcium : String).
englno(21 : Real, scandium : String).
englno(22 : Real, titanium : String).
englno(23 : Real, vanadium : String).
englno(24 : Real, chronium : String).
englno(25 : Real, manganese : String).
englno(26 : Real, ferrum : String).
englno(27 : Real, cobalt : String).
englno(28 : Real, nickel : String).
englno(29 : Real, copper : String).
englno(30 : Real, zinc : String).
englno(31 : Real, galium : String).
englno(32 : Real, germanium : String).
englno(33 : Real, arsenic : String).
englno(34 : Real, selenium : String).
englno(35 : Real, bromine : String).
englno(36 : Real, krypton : String).
englno(37 : Real, rubidium : String).
englno(38 : Real, strontium : String).
englno(39 : Real, yttrium : String).
englno(40 : Real, zirconium : String).
englno(41 : Real, niobium : String).
englno(42 : Real, molybdenum : String).
englno(43 : Real, technetium : String).
englno(44 : Real, ruthenium : String).
englno(45 : Real, rhodium : String).
englno(46 : Real, palladium : String).
englno(47 : Real, silver : String).
englno(48 : Real, cadmium : String).
englno(49 : Real, indium : String).
englno(50 : Real, tin : String).
englno(51 : Real, antimony : String).
englno(52 : Real, tellurium : String).
englno(53 : Real, iodine : String).
englno(54 : Real, xenon : String).
englno(55 : Real, caesium : String).
englno(56 : Real, barium : String).
englno(57 : Real, lanthanum : String).
englno(58 : Real, cerium : String).
englno(59 : Real, praseodymium : String).
englno(60 : Real, nitrogen : String).
englno(61 : Real, promethium : String).
englno(62 : Real, samarium : String).
englno(63 : Real, europium : String).
englno(64 : Real, gadolinium : String).
englno(65 : Real, terbium : String).
englno(66 : Real, dysprosium : String).
englno(67 : Real, holmium : String).
englno(68 : Real, erbium : String).
englno(69 : Real, thullium : String).
englno(70 : Real, ytterbium : String).
englno(71 : Real, lutetium : String).
englno(72 : Real, hafnium : String).
englno(73 : Real, tantalum : String).
englno(74 : Real, tungsten : String).
englno(75 : Real, rhenium : String).
englno(76 : Real, osmium : String).
englno(77 : Real, iridium : String).
englno(78 : Real, platinum : String).
englno(79 : Real, gold : String).
englno(80 : Real, mercury : String).
englno(81 : Real, thallium : String).
englno(82 : Real, lead : String).
englno(83 : Real, bismuth : String).
englno(84 : Real, polonium : String).
englno(85 : Real, astatine : String).
englno(86 : Real, radon : String).
englno(87 : Real, francium : String).
englno(88 : Real, radium : String).
englno(89 : Real, actinium : String).
englno(90 : Real, thorium : String).
englno(91 : Real, protoactinium : String).
englno(92 : Real, uranium : String).
englno(93 : Real, neptunium : String).
englno(94 : Real, plutonium : String).
englno(95 : Real, americium : String).
englno(96 : Real, curium : String).
englno(97 : Real, berkelium : String).
englno(98 : Real, californium : String).
englno(99 : Real, einsteinium : String).
englno(100 : Real, fermium : String).
englno(101 : Real, mendelevium : String).
englno(102 : Real, nobelium : String).
englno(103 : Real, lawrencium : String).
englno(104 : Real, unnilquadium : String).
englno(105 : Real, unnilpentium : String).
englno(106 : Real, unnihexium : String).
englno(107 : Real, unnilseptium : String).
metal([3 : Real, li : String, lithium : String]).
metal([4 : Real, be : String, beryllium : String]).
metal([11 : Real, na : String, sodium : String]).
metal([12 : Real, mg : String, magnesium : String]).
metal([13 : Real, al : String, aluminium : String]).
metal([19 : Real, k : String, potassium : String]).
metal([20 : Real, ca : String, calcium : String]).
metal([21 : Real, sc : String, scandium : String]).
metal([22 : Real, ti : String, titanium : String]).
metal([23 : Real, v : String, vanadium : String]).
metal([24 : Real, cr : String, chronium : String]).
metal([25 : Real, mn : String, manganese : String]).
metal([26 : Real, fe : String, ferrum : String]).
metal([27 : Real, co : String, cobalt : String]).
metal([28 : Real, ni : String, nickel : String]).
metal([29 : Real, cu : String, copper : String]).
metal([30 : Real, zn : String, zinc : String]).
metal([31 : Real, ga : String, galium : String]).
metal([37 : Real, rb : String, rubidium : String]).
metal([38 : Real, sr : String, strontium : String]).
metal([39 : Real, y : String, yttrium : String]).
metal([40 : Real, zr : String, zirconium : String]).
metal([41 : Real, nb : String, niobium : String]).
metal([42 : Real, mo : String, molybdenum : String]).
metal([43 : Real, tc : String, technetium : String]).
metal([44 : Real, ru : String, ruthenium : String]).
metal([45 : Real, rh : String, rhodium : String]).
metal([46 : Real, pd : String, palladium : String]).
metal([47 : Real, ag : String, silver : String]).
metal([48 : Real, cd : String, cadmium : String]).
metal([49 : Real, in : String, indium : String]).
metal([50 : Real, sn : String, tin : String]).
metal([55 : Real, cs : String, caesium : String]).
metal([56 : Real, ba : String, barium : String]).
metal([57 : Real, la : String, lanthanum : String]).
metal([58 : Real, ce : String, cerium : String]).
metal([59 : Real, pr : String, praseodymium : String]).
metal([60 : Real, nd : String, nitrogen : String]).
metal([61 : Real, pm : String, promethium : String]).
metal([62 : Real, sm : String, samarium : String]).
metal([63 : Real, eu : String, europium : String]).
metal([64 : Real, gd : String, gadolinium : String]).
metal([65 : Real, tb : String, terbium : String]).
metal([66 : Real, dy : String, dysprosium : String]).
metal([67 : Real, ho : String, holmium : String]).
metal([68 : Real, er : String, erbium : String]).
metal([69 : Real, tm : String, thullium : String]).
metal([70 : Real, yb : String, ytterbium : String]).
metal([71 : Real, lu : String, lutetium : String]).
metal([72 : Real, hf : String, hafnium : String]).
metal([73 : Real, ta : String, tantalum : String]).
metal([75 : Real, re : String, rhenium : String]).
metal([76 : Real, os : String, osmium : String]).
metal([77 : Real, ir : String, iridium : String]).
metal([78 : Real, pt : String, platinum : String]).
metal([79 : Real, au : String, gold : String]).
metal([80 : Real, hg : String, mercury : String]).
metal([81 : Real, tl : String, thallium : String]).
metal([82 : Real, pb : String, lead : String]).
metal([84 : Real, po : String, polonium : String]).
metal([85 : Real, at : String, astatine : String]).
metal([87 : Real, fr : String, francium : String]).
metal([88 : Real, ra : String, radium : String]).
metal([89 : Real, ac : String, actinium : String]).
metal([90 : Real, th : String, thorium : String]).
metal([91 : Real, pa : String, protoactinium : String]).
metal([92 : Real, u : String, uranium : String]).
metal([93 : Real, np : String, neptunium : String]).
metal([94 : Real, pu : String, plutonium : String]).
metal([95 : Real, am : String, americium : String]).
metal([96 : Real, cm : String, curium : String]).
metal([97 : Real, bk : String, berkelium : String]).
metal([98 : Real, cf : String, californium : String]).
metal([99 : Real, es : String, einsteinium : String]).
metal([100 : Real, fm : String, fermium : String]).
metal([101 : Real, md : String, mendelevium : String]).
metal([102 : Real, no : String, nobelium : String]).
metal([103 : Real, lr : String, lawrencium : String]).
element(1 : Real).
element(2 : Real).
element(3 : Real).
element(4 : Real).
element(5 : Real).
element(6 : Real).
element(7 : Real).
element(8 : Real).
element(9 : Real).
element(10 : Real).
element(11 : Real).
element(12 : Real).
element(13 : Real).
element(14 : Real).
element(15 : Real).
element(16 : Real).
element(17 : Real).
element(18 : Real).
element(19 : Real).
element(20 : Real).
element(21 : Real).
element(22 : Real).
element(23 : Real).
element(24 : Real).
element(25 : Real).
element(26 : Real).
element(27 : Real).
element(28 : Real).
element(29 : Real).
element(30 : Real).
element(31 : Real).
element(32 : Real).
element(33 : Real).
element(34 : Real).
element(35 : Real).
element(36 : Real).
element(37 : Real).
element(38 : Real).
element(39 : Real).
element(40 : Real).
element(41 : Real).
element(42 : Real).
element(43 : Real).
element(44 : Real).
element(45 : Real).
element(46 : Real).
element(47 : Real).
element(48 : Real).
element(49 : Real).
element(50 : Real).
element(51 : Real).
element(52 : Real).
element(53 : Real).
element(54 : Real).
element(55 : Real).
element(56 : Real).
element(57 : Real).
element(58 : Real).
element(59 : Real).
element(60 : Real).
element(61 : Real).
element(62 : Real).
element(63 : Real).
element(64 : Real).
element(65 : Real).
element(66 : Real).
element(67 : Real).
element(68 : Real).
element(69 : Real).
element(70 : Real).
element(71 : Real).
element(72 : Real).
element(73 : Real).
element(74 : Real).
element(75 : Real).
element(76 : Real).
element(77 : Real).
element(78 : Real).
element(79 : Real).
element(80 : Real).
element(81 : Real).
element(82 : Real).
element(83 : Real).
element(84 : Real).
element(85 : Real).
element(86 : Real).
element(87 : Real).
element(88 : Real).
element(89 : Real).
element(90 : Real).
element(91 : Real).
element(92 : Real).
element(93 : Real).
element(94 : Real).
element(95 : Real).
element(96 : Real).
element(97 : Real).
element(98 : Real).
element(99 : Real).
element(100 : Real).
element(101 : Real).
element(102 : Real).
element(103 : Real).
element(104 : Real).
element(105 : Real).
element(106 : Real).
element(107 : Real).
appfun(?l_0, [], ?l_0).
"old-greaterthan"(auxiliary[?oldno_0], main[?oldno_0]).
"oldgroup-num"(main[i : String], 1 : Real).
"oldgroup-num"(main[viii : String], 2 : Real).
"oldgroup-num"(main[i : String], 3 : Real).
"oldgroup-num"(main[ii : String], 4 : Real).
"oldgroup-num"(main[iii : String], 5 : Real).
"oldgroup-num"(main[iv : String], 6 : Real).
"oldgroup-num"(main[v : String], 7 : Real).
"oldgroup-num"(main[vi : String], 8 : Real).
"oldgroup-num"(main[vii : String], 9 : Real).
"oldgroup-num"(main[viii : String], 10 : Real).
"oldgroup-num"(main[i : String], 11 : Real).
"oldgroup-num"(main[ii : String], 12 : Real).
"insert-old"([group[?group_0, [?name_1]]], ?group_0, ?name_1, []).
"insert-old"([group[?group_0, [?name_1|?elmts_2]]|?r_3], ?group_0, ?name_1, [group[?group_0, ?elmts_2]|?r_3]).
"insert-old"([group[?group_0, [?name_1]], group[?gr_2, ?elmts_3]|?r_4], ?group_0, ?name_1, [group[?gr_2, ?elmts_3]|?r_4]).
plex([|?r_0], ?r_0).
new2old(main[i : String], 1 : Real).
new2old(main[ii : String], 2 : Real).
new2old(auxiliary[iii : String], 3 : Real).
new2old(auxiliary[iv : String], 4 : Real).
new2old(auxiliary[v : String], 5 : Real).
new2old(auxiliary[vi : String], 6 : Real).
new2old(auxiliary[vii : String], 7 : Real).
new2old(auxiliary[viii : String], 8 : Real).
new2old(auxiliary[viii : String], 9 : Real).
new2old(auxiliary[viii : String], 10 : Real).
new2old(auxiliary[i : String], 11 : Real).
new2old(auxiliary[ii : String], 12 : Real).
new2old(main[iii : String], 13 : Real).
new2old(main[iv : String], 14 : Real).
new2old(main[v : String], 15 : Real).
new2old(main[vi : String], 16 : Real).
new2old(main[vii : String], 17 : Real).
new2old(main[viii : String], 18 : Real).
missint([], []).
missint([], [?e_0]).
"oldgroup-sym"(main[i : String], h : String).
"oldgroup-sym"(main[viii : String], he : String).
"oldgroup-sym"(main[i : String], li : String).
"oldgroup-sym"(main[ii : String], be : String).
"oldgroup-sym"(main[iii : String], b : String).
"oldgroup-sym"(main[iv : String], c : String).
"oldgroup-sym"(main[v : String], n : String).
"oldgroup-sym"(main[vi : String], o : String).
"oldgroup-sym"(main[vii : String], f : String).
"oldgroup-sym"(main[viii : String], ne : String).
"oldgroup-sym"(main[i : String], na : String).
"oldgroup-sym"(main[ii : String], mg : String).
"newgroup-elements"(hydrogen : String, 1 : Real).
"newgroup-elements"(helium : String, 18 : Real).
"newgroup-elements"(lithium : String, 1 : Real).
"newgroup-elements"(beryllium : String, 2 : Real).
"newgroup-elements"(boron : String, 13 : Real).
"newgroup-elements"(carbon : String, 14 : Real).
"newgroup-elements"(nitrogen : String, 15 : Real).
"newgroup-elements"(oxygen : String, 16 : Real).
"newgroup-elements"(fluorine : String, 17 : Real).
"newgroup-elements"(neon : String, 18 : Real).
"newgroup-elements"(sodium : String, 1 : Real).
"newgroup-elements"(magnesium : String, 2 : Real).
"insert-new"([group[?group_0, [?name_1]]], ?group_0, ?name_1, []).
"insert-new"([group[?group_0, [?name_1|?elmts_2]]|?r_3], ?group_0, ?name_1, [group[?group_0, ?elmts_2]|?r_3]).
"insert-new"([group[?group_0, [?name_1]], group[?gr_2, ?elmts_3]|?r_4], ?group_0, ?name_1, [group[?gr_2, ?elmts_3]|?r_4]).


% Rules : 

"inner-shells"(0 : Real, ?eno_0) :- lessthanorequal(1 : Real, ?eno_0), lessthanorequal(?eno_0, 18 : Real).
"inner-shells"(1 : Real, ?eno_0) :- lessthanorequal(19 : Real, ?eno_0), lessthanorequal(?eno_0, 36 : Real).
"inner-shells"(2 : Real, ?eno_0) :- lessthanorequal(37 : Real, ?eno_0), lessthanorequal(?eno_0, 54 : Real).
"inner-shells"(3 : Real, ?eno_0) :- lessthanorequal(55 : Real, ?eno_0), lessthanorequal(?eno_0, 86 : Real).
"inner-shells"(4 : Real, ?eno_0) :- lessthanorequal(87 : Real, ?eno_0), "last-atm"(?1_2), lessthanorequal(?eno_0, ?1_2).
"newgroup-num"(?3_0, 1 : Real) :- lessthanorequal(13 : Real, 1 : Real), lessthanorequal(1 : Real, 57 : Real), subtract(?2_4, 1 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 1 : Real) :- lessthanorequal(72 : Real, 1 : Real), lessthanorequal(1 : Real, 89 : Real), subtract(?2_4, 1 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 1 : Real) :- lessthanorequal(104 : Real, 1 : Real), lessthanorequal(1 : Real, 107 : Real), subtract(?1_0, 1 : Real, 100 : Real).
"newgroup-num"(?3_0, 2 : Real) :- lessthanorequal(13 : Real, 2 : Real), lessthanorequal(2 : Real, 57 : Real), subtract(?2_4, 2 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 2 : Real) :- lessthanorequal(72 : Real, 2 : Real), lessthanorequal(2 : Real, 89 : Real), subtract(?2_4, 2 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 2 : Real) :- lessthanorequal(104 : Real, 2 : Real), lessthanorequal(2 : Real, 107 : Real), subtract(?1_0, 2 : Real, 100 : Real).
"newgroup-num"(?3_0, 3 : Real) :- lessthanorequal(13 : Real, 3 : Real), lessthanorequal(3 : Real, 57 : Real), subtract(?2_4, 3 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 3 : Real) :- lessthanorequal(72 : Real, 3 : Real), lessthanorequal(3 : Real, 89 : Real), subtract(?2_4, 3 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 3 : Real) :- lessthanorequal(104 : Real, 3 : Real), lessthanorequal(3 : Real, 107 : Real), subtract(?1_0, 3 : Real, 100 : Real).
"newgroup-num"(?3_0, 4 : Real) :- lessthanorequal(13 : Real, 4 : Real), lessthanorequal(4 : Real, 57 : Real), subtract(?2_4, 4 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 4 : Real) :- lessthanorequal(72 : Real, 4 : Real), lessthanorequal(4 : Real, 89 : Real), subtract(?2_4, 4 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 4 : Real) :- lessthanorequal(104 : Real, 4 : Real), lessthanorequal(4 : Real, 107 : Real), subtract(?1_0, 4 : Real, 100 : Real).
"newgroup-num"(?3_0, 5 : Real) :- lessthanorequal(13 : Real, 5 : Real), lessthanorequal(5 : Real, 57 : Real), subtract(?2_4, 5 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 5 : Real) :- lessthanorequal(72 : Real, 5 : Real), lessthanorequal(5 : Real, 89 : Real), subtract(?2_4, 5 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 5 : Real) :- lessthanorequal(104 : Real, 5 : Real), lessthanorequal(5 : Real, 107 : Real), subtract(?1_0, 5 : Real, 100 : Real).
"newgroup-num"(?3_0, 6 : Real) :- lessthanorequal(13 : Real, 6 : Real), lessthanorequal(6 : Real, 57 : Real), subtract(?2_4, 6 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 6 : Real) :- lessthanorequal(72 : Real, 6 : Real), lessthanorequal(6 : Real, 89 : Real), subtract(?2_4, 6 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 6 : Real) :- lessthanorequal(104 : Real, 6 : Real), lessthanorequal(6 : Real, 107 : Real), subtract(?1_0, 6 : Real, 100 : Real).
"newgroup-num"(?3_0, 7 : Real) :- lessthanorequal(13 : Real, 7 : Real), lessthanorequal(7 : Real, 57 : Real), subtract(?2_4, 7 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 7 : Real) :- lessthanorequal(72 : Real, 7 : Real), lessthanorequal(7 : Real, 89 : Real), subtract(?2_4, 7 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 7 : Real) :- lessthanorequal(104 : Real, 7 : Real), lessthanorequal(7 : Real, 107 : Real), subtract(?1_0, 7 : Real, 100 : Real).
"newgroup-num"(?3_0, 8 : Real) :- lessthanorequal(13 : Real, 8 : Real), lessthanorequal(8 : Real, 57 : Real), subtract(?2_4, 8 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 8 : Real) :- lessthanorequal(72 : Real, 8 : Real), lessthanorequal(8 : Real, 89 : Real), subtract(?2_4, 8 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 8 : Real) :- lessthanorequal(104 : Real, 8 : Real), lessthanorequal(8 : Real, 107 : Real), subtract(?1_0, 8 : Real, 100 : Real).
"newgroup-num"(?3_0, 9 : Real) :- lessthanorequal(13 : Real, 9 : Real), lessthanorequal(9 : Real, 57 : Real), subtract(?2_4, 9 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 9 : Real) :- lessthanorequal(72 : Real, 9 : Real), lessthanorequal(9 : Real, 89 : Real), subtract(?2_4, 9 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 9 : Real) :- lessthanorequal(104 : Real, 9 : Real), lessthanorequal(9 : Real, 107 : Real), subtract(?1_0, 9 : Real, 100 : Real).
"newgroup-num"(?3_0, 10 : Real) :- lessthanorequal(13 : Real, 10 : Real), lessthanorequal(10 : Real, 57 : Real), subtract(?2_4, 10 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 10 : Real) :- lessthanorequal(72 : Real, 10 : Real), lessthanorequal(10 : Real, 89 : Real), subtract(?2_4, 10 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 10 : Real) :- lessthanorequal(104 : Real, 10 : Real), lessthanorequal(10 : Real, 107 : Real), subtract(?1_0, 10 : Real, 100 : Real).
"newgroup-num"(?3_0, 11 : Real) :- lessthanorequal(13 : Real, 11 : Real), lessthanorequal(11 : Real, 57 : Real), subtract(?2_4, 11 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 11 : Real) :- lessthanorequal(72 : Real, 11 : Real), lessthanorequal(11 : Real, 89 : Real), subtract(?2_4, 11 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 11 : Real) :- lessthanorequal(104 : Real, 11 : Real), lessthanorequal(11 : Real, 107 : Real), subtract(?1_0, 11 : Real, 100 : Real).
"newgroup-num"(?3_0, 12 : Real) :- lessthanorequal(13 : Real, 12 : Real), lessthanorequal(12 : Real, 57 : Real), subtract(?2_4, 12 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 12 : Real) :- lessthanorequal(72 : Real, 12 : Real), lessthanorequal(12 : Real, 89 : Real), subtract(?2_4, 12 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 12 : Real) :- lessthanorequal(104 : Real, 12 : Real), lessthanorequal(12 : Real, 107 : Real), subtract(?1_0, 12 : Real, 100 : Real).
"newgroup-num"(?3_0, 13 : Real) :- lessthanorequal(13 : Real, 13 : Real), lessthanorequal(13 : Real, 57 : Real), subtract(?2_4, 13 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 13 : Real) :- lessthanorequal(72 : Real, 13 : Real), lessthanorequal(13 : Real, 89 : Real), subtract(?2_4, 13 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 13 : Real) :- lessthanorequal(104 : Real, 13 : Real), lessthanorequal(13 : Real, 107 : Real), subtract(?1_0, 13 : Real, 100 : Real).
"newgroup-num"(?3_0, 14 : Real) :- lessthanorequal(13 : Real, 14 : Real), lessthanorequal(14 : Real, 57 : Real), subtract(?2_4, 14 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 14 : Real) :- lessthanorequal(72 : Real, 14 : Real), lessthanorequal(14 : Real, 89 : Real), subtract(?2_4, 14 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 14 : Real) :- lessthanorequal(104 : Real, 14 : Real), lessthanorequal(14 : Real, 107 : Real), subtract(?1_0, 14 : Real, 100 : Real).
"newgroup-num"(?3_0, 15 : Real) :- lessthanorequal(13 : Real, 15 : Real), lessthanorequal(15 : Real, 57 : Real), subtract(?2_4, 15 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 15 : Real) :- lessthanorequal(72 : Real, 15 : Real), lessthanorequal(15 : Real, 89 : Real), subtract(?2_4, 15 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 15 : Real) :- lessthanorequal(104 : Real, 15 : Real), lessthanorequal(15 : Real, 107 : Real), subtract(?1_0, 15 : Real, 100 : Real).
"newgroup-num"(?3_0, 16 : Real) :- lessthanorequal(13 : Real, 16 : Real), lessthanorequal(16 : Real, 57 : Real), subtract(?2_4, 16 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 16 : Real) :- lessthanorequal(72 : Real, 16 : Real), lessthanorequal(16 : Real, 89 : Real), subtract(?2_4, 16 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 16 : Real) :- lessthanorequal(104 : Real, 16 : Real), lessthanorequal(16 : Real, 107 : Real), subtract(?1_0, 16 : Real, 100 : Real).
"newgroup-num"(?3_0, 17 : Real) :- lessthanorequal(13 : Real, 17 : Real), lessthanorequal(17 : Real, 57 : Real), subtract(?2_4, 17 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 17 : Real) :- lessthanorequal(72 : Real, 17 : Real), lessthanorequal(17 : Real, 89 : Real), subtract(?2_4, 17 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 17 : Real) :- lessthanorequal(104 : Real, 17 : Real), lessthanorequal(17 : Real, 107 : Real), subtract(?1_0, 17 : Real, 100 : Real).
"newgroup-num"(?3_0, 18 : Real) :- lessthanorequal(13 : Real, 18 : Real), lessthanorequal(18 : Real, 57 : Real), subtract(?2_4, 18 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 18 : Real) :- lessthanorequal(72 : Real, 18 : Real), lessthanorequal(18 : Real, 89 : Real), subtract(?2_4, 18 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 18 : Real) :- lessthanorequal(104 : Real, 18 : Real), lessthanorequal(18 : Real, 107 : Real), subtract(?1_0, 18 : Real, 100 : Real).
"newgroup-num"(?3_0, 19 : Real) :- lessthanorequal(13 : Real, 19 : Real), lessthanorequal(19 : Real, 57 : Real), subtract(?2_4, 19 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 19 : Real) :- lessthanorequal(72 : Real, 19 : Real), lessthanorequal(19 : Real, 89 : Real), subtract(?2_4, 19 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 19 : Real) :- lessthanorequal(104 : Real, 19 : Real), lessthanorequal(19 : Real, 107 : Real), subtract(?1_0, 19 : Real, 100 : Real).
"newgroup-num"(?3_0, 20 : Real) :- lessthanorequal(13 : Real, 20 : Real), lessthanorequal(20 : Real, 57 : Real), subtract(?2_4, 20 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 20 : Real) :- lessthanorequal(72 : Real, 20 : Real), lessthanorequal(20 : Real, 89 : Real), subtract(?2_4, 20 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 20 : Real) :- lessthanorequal(104 : Real, 20 : Real), lessthanorequal(20 : Real, 107 : Real), subtract(?1_0, 20 : Real, 100 : Real).
"newgroup-num"(?3_0, 21 : Real) :- lessthanorequal(13 : Real, 21 : Real), lessthanorequal(21 : Real, 57 : Real), subtract(?2_4, 21 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 21 : Real) :- lessthanorequal(72 : Real, 21 : Real), lessthanorequal(21 : Real, 89 : Real), subtract(?2_4, 21 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 21 : Real) :- lessthanorequal(104 : Real, 21 : Real), lessthanorequal(21 : Real, 107 : Real), subtract(?1_0, 21 : Real, 100 : Real).
"newgroup-num"(?3_0, 22 : Real) :- lessthanorequal(13 : Real, 22 : Real), lessthanorequal(22 : Real, 57 : Real), subtract(?2_4, 22 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 22 : Real) :- lessthanorequal(72 : Real, 22 : Real), lessthanorequal(22 : Real, 89 : Real), subtract(?2_4, 22 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 22 : Real) :- lessthanorequal(104 : Real, 22 : Real), lessthanorequal(22 : Real, 107 : Real), subtract(?1_0, 22 : Real, 100 : Real).
"newgroup-num"(?3_0, 23 : Real) :- lessthanorequal(13 : Real, 23 : Real), lessthanorequal(23 : Real, 57 : Real), subtract(?2_4, 23 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 23 : Real) :- lessthanorequal(72 : Real, 23 : Real), lessthanorequal(23 : Real, 89 : Real), subtract(?2_4, 23 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 23 : Real) :- lessthanorequal(104 : Real, 23 : Real), lessthanorequal(23 : Real, 107 : Real), subtract(?1_0, 23 : Real, 100 : Real).
"newgroup-num"(?3_0, 24 : Real) :- lessthanorequal(13 : Real, 24 : Real), lessthanorequal(24 : Real, 57 : Real), subtract(?2_4, 24 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 24 : Real) :- lessthanorequal(72 : Real, 24 : Real), lessthanorequal(24 : Real, 89 : Real), subtract(?2_4, 24 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 24 : Real) :- lessthanorequal(104 : Real, 24 : Real), lessthanorequal(24 : Real, 107 : Real), subtract(?1_0, 24 : Real, 100 : Real).
"newgroup-num"(?3_0, 25 : Real) :- lessthanorequal(13 : Real, 25 : Real), lessthanorequal(25 : Real, 57 : Real), subtract(?2_4, 25 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 25 : Real) :- lessthanorequal(72 : Real, 25 : Real), lessthanorequal(25 : Real, 89 : Real), subtract(?2_4, 25 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 25 : Real) :- lessthanorequal(104 : Real, 25 : Real), lessthanorequal(25 : Real, 107 : Real), subtract(?1_0, 25 : Real, 100 : Real).
"newgroup-num"(?3_0, 26 : Real) :- lessthanorequal(13 : Real, 26 : Real), lessthanorequal(26 : Real, 57 : Real), subtract(?2_4, 26 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 26 : Real) :- lessthanorequal(72 : Real, 26 : Real), lessthanorequal(26 : Real, 89 : Real), subtract(?2_4, 26 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 26 : Real) :- lessthanorequal(104 : Real, 26 : Real), lessthanorequal(26 : Real, 107 : Real), subtract(?1_0, 26 : Real, 100 : Real).
"newgroup-num"(?3_0, 27 : Real) :- lessthanorequal(13 : Real, 27 : Real), lessthanorequal(27 : Real, 57 : Real), subtract(?2_4, 27 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 27 : Real) :- lessthanorequal(72 : Real, 27 : Real), lessthanorequal(27 : Real, 89 : Real), subtract(?2_4, 27 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 27 : Real) :- lessthanorequal(104 : Real, 27 : Real), lessthanorequal(27 : Real, 107 : Real), subtract(?1_0, 27 : Real, 100 : Real).
"newgroup-num"(?3_0, 28 : Real) :- lessthanorequal(13 : Real, 28 : Real), lessthanorequal(28 : Real, 57 : Real), subtract(?2_4, 28 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 28 : Real) :- lessthanorequal(72 : Real, 28 : Real), lessthanorequal(28 : Real, 89 : Real), subtract(?2_4, 28 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 28 : Real) :- lessthanorequal(104 : Real, 28 : Real), lessthanorequal(28 : Real, 107 : Real), subtract(?1_0, 28 : Real, 100 : Real).
"newgroup-num"(?3_0, 29 : Real) :- lessthanorequal(13 : Real, 29 : Real), lessthanorequal(29 : Real, 57 : Real), subtract(?2_4, 29 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 29 : Real) :- lessthanorequal(72 : Real, 29 : Real), lessthanorequal(29 : Real, 89 : Real), subtract(?2_4, 29 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 29 : Real) :- lessthanorequal(104 : Real, 29 : Real), lessthanorequal(29 : Real, 107 : Real), subtract(?1_0, 29 : Real, 100 : Real).
"newgroup-num"(?3_0, 30 : Real) :- lessthanorequal(13 : Real, 30 : Real), lessthanorequal(30 : Real, 57 : Real), subtract(?2_4, 30 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 30 : Real) :- lessthanorequal(72 : Real, 30 : Real), lessthanorequal(30 : Real, 89 : Real), subtract(?2_4, 30 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 30 : Real) :- lessthanorequal(104 : Real, 30 : Real), lessthanorequal(30 : Real, 107 : Real), subtract(?1_0, 30 : Real, 100 : Real).
"newgroup-num"(?3_0, 31 : Real) :- lessthanorequal(13 : Real, 31 : Real), lessthanorequal(31 : Real, 57 : Real), subtract(?2_4, 31 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 31 : Real) :- lessthanorequal(72 : Real, 31 : Real), lessthanorequal(31 : Real, 89 : Real), subtract(?2_4, 31 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 31 : Real) :- lessthanorequal(104 : Real, 31 : Real), lessthanorequal(31 : Real, 107 : Real), subtract(?1_0, 31 : Real, 100 : Real).
"newgroup-num"(?3_0, 32 : Real) :- lessthanorequal(13 : Real, 32 : Real), lessthanorequal(32 : Real, 57 : Real), subtract(?2_4, 32 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 32 : Real) :- lessthanorequal(72 : Real, 32 : Real), lessthanorequal(32 : Real, 89 : Real), subtract(?2_4, 32 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 32 : Real) :- lessthanorequal(104 : Real, 32 : Real), lessthanorequal(32 : Real, 107 : Real), subtract(?1_0, 32 : Real, 100 : Real).
"newgroup-num"(?3_0, 33 : Real) :- lessthanorequal(13 : Real, 33 : Real), lessthanorequal(33 : Real, 57 : Real), subtract(?2_4, 33 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 33 : Real) :- lessthanorequal(72 : Real, 33 : Real), lessthanorequal(33 : Real, 89 : Real), subtract(?2_4, 33 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 33 : Real) :- lessthanorequal(104 : Real, 33 : Real), lessthanorequal(33 : Real, 107 : Real), subtract(?1_0, 33 : Real, 100 : Real).
"newgroup-num"(?3_0, 34 : Real) :- lessthanorequal(13 : Real, 34 : Real), lessthanorequal(34 : Real, 57 : Real), subtract(?2_4, 34 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 34 : Real) :- lessthanorequal(72 : Real, 34 : Real), lessthanorequal(34 : Real, 89 : Real), subtract(?2_4, 34 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 34 : Real) :- lessthanorequal(104 : Real, 34 : Real), lessthanorequal(34 : Real, 107 : Real), subtract(?1_0, 34 : Real, 100 : Real).
"newgroup-num"(?3_0, 35 : Real) :- lessthanorequal(13 : Real, 35 : Real), lessthanorequal(35 : Real, 57 : Real), subtract(?2_4, 35 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 35 : Real) :- lessthanorequal(72 : Real, 35 : Real), lessthanorequal(35 : Real, 89 : Real), subtract(?2_4, 35 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 35 : Real) :- lessthanorequal(104 : Real, 35 : Real), lessthanorequal(35 : Real, 107 : Real), subtract(?1_0, 35 : Real, 100 : Real).
"newgroup-num"(?3_0, 36 : Real) :- lessthanorequal(13 : Real, 36 : Real), lessthanorequal(36 : Real, 57 : Real), subtract(?2_4, 36 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 36 : Real) :- lessthanorequal(72 : Real, 36 : Real), lessthanorequal(36 : Real, 89 : Real), subtract(?2_4, 36 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 36 : Real) :- lessthanorequal(104 : Real, 36 : Real), lessthanorequal(36 : Real, 107 : Real), subtract(?1_0, 36 : Real, 100 : Real).
"newgroup-num"(?3_0, 37 : Real) :- lessthanorequal(13 : Real, 37 : Real), lessthanorequal(37 : Real, 57 : Real), subtract(?2_4, 37 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 37 : Real) :- lessthanorequal(72 : Real, 37 : Real), lessthanorequal(37 : Real, 89 : Real), subtract(?2_4, 37 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 37 : Real) :- lessthanorequal(104 : Real, 37 : Real), lessthanorequal(37 : Real, 107 : Real), subtract(?1_0, 37 : Real, 100 : Real).
"newgroup-num"(?3_0, 38 : Real) :- lessthanorequal(13 : Real, 38 : Real), lessthanorequal(38 : Real, 57 : Real), subtract(?2_4, 38 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 38 : Real) :- lessthanorequal(72 : Real, 38 : Real), lessthanorequal(38 : Real, 89 : Real), subtract(?2_4, 38 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 38 : Real) :- lessthanorequal(104 : Real, 38 : Real), lessthanorequal(38 : Real, 107 : Real), subtract(?1_0, 38 : Real, 100 : Real).
"newgroup-num"(?3_0, 39 : Real) :- lessthanorequal(13 : Real, 39 : Real), lessthanorequal(39 : Real, 57 : Real), subtract(?2_4, 39 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 39 : Real) :- lessthanorequal(72 : Real, 39 : Real), lessthanorequal(39 : Real, 89 : Real), subtract(?2_4, 39 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 39 : Real) :- lessthanorequal(104 : Real, 39 : Real), lessthanorequal(39 : Real, 107 : Real), subtract(?1_0, 39 : Real, 100 : Real).
"newgroup-num"(?3_0, 40 : Real) :- lessthanorequal(13 : Real, 40 : Real), lessthanorequal(40 : Real, 57 : Real), subtract(?2_4, 40 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 40 : Real) :- lessthanorequal(72 : Real, 40 : Real), lessthanorequal(40 : Real, 89 : Real), subtract(?2_4, 40 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 40 : Real) :- lessthanorequal(104 : Real, 40 : Real), lessthanorequal(40 : Real, 107 : Real), subtract(?1_0, 40 : Real, 100 : Real).
"newgroup-num"(?3_0, 41 : Real) :- lessthanorequal(13 : Real, 41 : Real), lessthanorequal(41 : Real, 57 : Real), subtract(?2_4, 41 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 41 : Real) :- lessthanorequal(72 : Real, 41 : Real), lessthanorequal(41 : Real, 89 : Real), subtract(?2_4, 41 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 41 : Real) :- lessthanorequal(104 : Real, 41 : Real), lessthanorequal(41 : Real, 107 : Real), subtract(?1_0, 41 : Real, 100 : Real).
"newgroup-num"(?3_0, 42 : Real) :- lessthanorequal(13 : Real, 42 : Real), lessthanorequal(42 : Real, 57 : Real), subtract(?2_4, 42 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 42 : Real) :- lessthanorequal(72 : Real, 42 : Real), lessthanorequal(42 : Real, 89 : Real), subtract(?2_4, 42 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 42 : Real) :- lessthanorequal(104 : Real, 42 : Real), lessthanorequal(42 : Real, 107 : Real), subtract(?1_0, 42 : Real, 100 : Real).
"newgroup-num"(?3_0, 43 : Real) :- lessthanorequal(13 : Real, 43 : Real), lessthanorequal(43 : Real, 57 : Real), subtract(?2_4, 43 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 43 : Real) :- lessthanorequal(72 : Real, 43 : Real), lessthanorequal(43 : Real, 89 : Real), subtract(?2_4, 43 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 43 : Real) :- lessthanorequal(104 : Real, 43 : Real), lessthanorequal(43 : Real, 107 : Real), subtract(?1_0, 43 : Real, 100 : Real).
"newgroup-num"(?3_0, 44 : Real) :- lessthanorequal(13 : Real, 44 : Real), lessthanorequal(44 : Real, 57 : Real), subtract(?2_4, 44 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 44 : Real) :- lessthanorequal(72 : Real, 44 : Real), lessthanorequal(44 : Real, 89 : Real), subtract(?2_4, 44 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 44 : Real) :- lessthanorequal(104 : Real, 44 : Real), lessthanorequal(44 : Real, 107 : Real), subtract(?1_0, 44 : Real, 100 : Real).
"newgroup-num"(?3_0, 45 : Real) :- lessthanorequal(13 : Real, 45 : Real), lessthanorequal(45 : Real, 57 : Real), subtract(?2_4, 45 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 45 : Real) :- lessthanorequal(72 : Real, 45 : Real), lessthanorequal(45 : Real, 89 : Real), subtract(?2_4, 45 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 45 : Real) :- lessthanorequal(104 : Real, 45 : Real), lessthanorequal(45 : Real, 107 : Real), subtract(?1_0, 45 : Real, 100 : Real).
"newgroup-num"(?3_0, 46 : Real) :- lessthanorequal(13 : Real, 46 : Real), lessthanorequal(46 : Real, 57 : Real), subtract(?2_4, 46 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 46 : Real) :- lessthanorequal(72 : Real, 46 : Real), lessthanorequal(46 : Real, 89 : Real), subtract(?2_4, 46 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 46 : Real) :- lessthanorequal(104 : Real, 46 : Real), lessthanorequal(46 : Real, 107 : Real), subtract(?1_0, 46 : Real, 100 : Real).
"newgroup-num"(?3_0, 47 : Real) :- lessthanorequal(13 : Real, 47 : Real), lessthanorequal(47 : Real, 57 : Real), subtract(?2_4, 47 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 47 : Real) :- lessthanorequal(72 : Real, 47 : Real), lessthanorequal(47 : Real, 89 : Real), subtract(?2_4, 47 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 47 : Real) :- lessthanorequal(104 : Real, 47 : Real), lessthanorequal(47 : Real, 107 : Real), subtract(?1_0, 47 : Real, 100 : Real).
"newgroup-num"(?3_0, 48 : Real) :- lessthanorequal(13 : Real, 48 : Real), lessthanorequal(48 : Real, 57 : Real), subtract(?2_4, 48 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 48 : Real) :- lessthanorequal(72 : Real, 48 : Real), lessthanorequal(48 : Real, 89 : Real), subtract(?2_4, 48 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 48 : Real) :- lessthanorequal(104 : Real, 48 : Real), lessthanorequal(48 : Real, 107 : Real), subtract(?1_0, 48 : Real, 100 : Real).
"newgroup-num"(?3_0, 49 : Real) :- lessthanorequal(13 : Real, 49 : Real), lessthanorequal(49 : Real, 57 : Real), subtract(?2_4, 49 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 49 : Real) :- lessthanorequal(72 : Real, 49 : Real), lessthanorequal(49 : Real, 89 : Real), subtract(?2_4, 49 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 49 : Real) :- lessthanorequal(104 : Real, 49 : Real), lessthanorequal(49 : Real, 107 : Real), subtract(?1_0, 49 : Real, 100 : Real).
"newgroup-num"(?3_0, 50 : Real) :- lessthanorequal(13 : Real, 50 : Real), lessthanorequal(50 : Real, 57 : Real), subtract(?2_4, 50 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 50 : Real) :- lessthanorequal(72 : Real, 50 : Real), lessthanorequal(50 : Real, 89 : Real), subtract(?2_4, 50 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 50 : Real) :- lessthanorequal(104 : Real, 50 : Real), lessthanorequal(50 : Real, 107 : Real), subtract(?1_0, 50 : Real, 100 : Real).
"newgroup-num"(?3_0, 51 : Real) :- lessthanorequal(13 : Real, 51 : Real), lessthanorequal(51 : Real, 57 : Real), subtract(?2_4, 51 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 51 : Real) :- lessthanorequal(72 : Real, 51 : Real), lessthanorequal(51 : Real, 89 : Real), subtract(?2_4, 51 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 51 : Real) :- lessthanorequal(104 : Real, 51 : Real), lessthanorequal(51 : Real, 107 : Real), subtract(?1_0, 51 : Real, 100 : Real).
"newgroup-num"(?3_0, 52 : Real) :- lessthanorequal(13 : Real, 52 : Real), lessthanorequal(52 : Real, 57 : Real), subtract(?2_4, 52 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 52 : Real) :- lessthanorequal(72 : Real, 52 : Real), lessthanorequal(52 : Real, 89 : Real), subtract(?2_4, 52 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 52 : Real) :- lessthanorequal(104 : Real, 52 : Real), lessthanorequal(52 : Real, 107 : Real), subtract(?1_0, 52 : Real, 100 : Real).
"newgroup-num"(?3_0, 53 : Real) :- lessthanorequal(13 : Real, 53 : Real), lessthanorequal(53 : Real, 57 : Real), subtract(?2_4, 53 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 53 : Real) :- lessthanorequal(72 : Real, 53 : Real), lessthanorequal(53 : Real, 89 : Real), subtract(?2_4, 53 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 53 : Real) :- lessthanorequal(104 : Real, 53 : Real), lessthanorequal(53 : Real, 107 : Real), subtract(?1_0, 53 : Real, 100 : Real).
"newgroup-num"(?3_0, 54 : Real) :- lessthanorequal(13 : Real, 54 : Real), lessthanorequal(54 : Real, 57 : Real), subtract(?2_4, 54 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 54 : Real) :- lessthanorequal(72 : Real, 54 : Real), lessthanorequal(54 : Real, 89 : Real), subtract(?2_4, 54 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 54 : Real) :- lessthanorequal(104 : Real, 54 : Real), lessthanorequal(54 : Real, 107 : Real), subtract(?1_0, 54 : Real, 100 : Real).
"newgroup-num"(?3_0, 55 : Real) :- lessthanorequal(13 : Real, 55 : Real), lessthanorequal(55 : Real, 57 : Real), subtract(?2_4, 55 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 55 : Real) :- lessthanorequal(72 : Real, 55 : Real), lessthanorequal(55 : Real, 89 : Real), subtract(?2_4, 55 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 55 : Real) :- lessthanorequal(104 : Real, 55 : Real), lessthanorequal(55 : Real, 107 : Real), subtract(?1_0, 55 : Real, 100 : Real).
"newgroup-num"(?3_0, 56 : Real) :- lessthanorequal(13 : Real, 56 : Real), lessthanorequal(56 : Real, 57 : Real), subtract(?2_4, 56 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 56 : Real) :- lessthanorequal(72 : Real, 56 : Real), lessthanorequal(56 : Real, 89 : Real), subtract(?2_4, 56 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 56 : Real) :- lessthanorequal(104 : Real, 56 : Real), lessthanorequal(56 : Real, 107 : Real), subtract(?1_0, 56 : Real, 100 : Real).
"newgroup-num"(?3_0, 57 : Real) :- lessthanorequal(13 : Real, 57 : Real), lessthanorequal(57 : Real, 57 : Real), subtract(?2_4, 57 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 57 : Real) :- lessthanorequal(72 : Real, 57 : Real), lessthanorequal(57 : Real, 89 : Real), subtract(?2_4, 57 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 57 : Real) :- lessthanorequal(104 : Real, 57 : Real), lessthanorequal(57 : Real, 107 : Real), subtract(?1_0, 57 : Real, 100 : Real).
"newgroup-num"(?3_0, 58 : Real) :- lessthanorequal(13 : Real, 58 : Real), lessthanorequal(58 : Real, 57 : Real), subtract(?2_4, 58 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 58 : Real) :- lessthanorequal(72 : Real, 58 : Real), lessthanorequal(58 : Real, 89 : Real), subtract(?2_4, 58 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 58 : Real) :- lessthanorequal(104 : Real, 58 : Real), lessthanorequal(58 : Real, 107 : Real), subtract(?1_0, 58 : Real, 100 : Real).
"newgroup-num"(?3_0, 59 : Real) :- lessthanorequal(13 : Real, 59 : Real), lessthanorequal(59 : Real, 57 : Real), subtract(?2_4, 59 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 59 : Real) :- lessthanorequal(72 : Real, 59 : Real), lessthanorequal(59 : Real, 89 : Real), subtract(?2_4, 59 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 59 : Real) :- lessthanorequal(104 : Real, 59 : Real), lessthanorequal(59 : Real, 107 : Real), subtract(?1_0, 59 : Real, 100 : Real).
"newgroup-num"(?3_0, 60 : Real) :- lessthanorequal(13 : Real, 60 : Real), lessthanorequal(60 : Real, 57 : Real), subtract(?2_4, 60 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 60 : Real) :- lessthanorequal(72 : Real, 60 : Real), lessthanorequal(60 : Real, 89 : Real), subtract(?2_4, 60 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 60 : Real) :- lessthanorequal(104 : Real, 60 : Real), lessthanorequal(60 : Real, 107 : Real), subtract(?1_0, 60 : Real, 100 : Real).
"newgroup-num"(?3_0, 61 : Real) :- lessthanorequal(13 : Real, 61 : Real), lessthanorequal(61 : Real, 57 : Real), subtract(?2_4, 61 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 61 : Real) :- lessthanorequal(72 : Real, 61 : Real), lessthanorequal(61 : Real, 89 : Real), subtract(?2_4, 61 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 61 : Real) :- lessthanorequal(104 : Real, 61 : Real), lessthanorequal(61 : Real, 107 : Real), subtract(?1_0, 61 : Real, 100 : Real).
"newgroup-num"(?3_0, 62 : Real) :- lessthanorequal(13 : Real, 62 : Real), lessthanorequal(62 : Real, 57 : Real), subtract(?2_4, 62 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 62 : Real) :- lessthanorequal(72 : Real, 62 : Real), lessthanorequal(62 : Real, 89 : Real), subtract(?2_4, 62 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 62 : Real) :- lessthanorequal(104 : Real, 62 : Real), lessthanorequal(62 : Real, 107 : Real), subtract(?1_0, 62 : Real, 100 : Real).
"newgroup-num"(?3_0, 63 : Real) :- lessthanorequal(13 : Real, 63 : Real), lessthanorequal(63 : Real, 57 : Real), subtract(?2_4, 63 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 63 : Real) :- lessthanorequal(72 : Real, 63 : Real), lessthanorequal(63 : Real, 89 : Real), subtract(?2_4, 63 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 63 : Real) :- lessthanorequal(104 : Real, 63 : Real), lessthanorequal(63 : Real, 107 : Real), subtract(?1_0, 63 : Real, 100 : Real).
"newgroup-num"(?3_0, 64 : Real) :- lessthanorequal(13 : Real, 64 : Real), lessthanorequal(64 : Real, 57 : Real), subtract(?2_4, 64 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 64 : Real) :- lessthanorequal(72 : Real, 64 : Real), lessthanorequal(64 : Real, 89 : Real), subtract(?2_4, 64 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 64 : Real) :- lessthanorequal(104 : Real, 64 : Real), lessthanorequal(64 : Real, 107 : Real), subtract(?1_0, 64 : Real, 100 : Real).
"newgroup-num"(?3_0, 65 : Real) :- lessthanorequal(13 : Real, 65 : Real), lessthanorequal(65 : Real, 57 : Real), subtract(?2_4, 65 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 65 : Real) :- lessthanorequal(72 : Real, 65 : Real), lessthanorequal(65 : Real, 89 : Real), subtract(?2_4, 65 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 65 : Real) :- lessthanorequal(104 : Real, 65 : Real), lessthanorequal(65 : Real, 107 : Real), subtract(?1_0, 65 : Real, 100 : Real).
"newgroup-num"(?3_0, 66 : Real) :- lessthanorequal(13 : Real, 66 : Real), lessthanorequal(66 : Real, 57 : Real), subtract(?2_4, 66 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 66 : Real) :- lessthanorequal(72 : Real, 66 : Real), lessthanorequal(66 : Real, 89 : Real), subtract(?2_4, 66 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 66 : Real) :- lessthanorequal(104 : Real, 66 : Real), lessthanorequal(66 : Real, 107 : Real), subtract(?1_0, 66 : Real, 100 : Real).
"newgroup-num"(?3_0, 67 : Real) :- lessthanorequal(13 : Real, 67 : Real), lessthanorequal(67 : Real, 57 : Real), subtract(?2_4, 67 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 67 : Real) :- lessthanorequal(72 : Real, 67 : Real), lessthanorequal(67 : Real, 89 : Real), subtract(?2_4, 67 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 67 : Real) :- lessthanorequal(104 : Real, 67 : Real), lessthanorequal(67 : Real, 107 : Real), subtract(?1_0, 67 : Real, 100 : Real).
"newgroup-num"(?3_0, 68 : Real) :- lessthanorequal(13 : Real, 68 : Real), lessthanorequal(68 : Real, 57 : Real), subtract(?2_4, 68 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 68 : Real) :- lessthanorequal(72 : Real, 68 : Real), lessthanorequal(68 : Real, 89 : Real), subtract(?2_4, 68 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 68 : Real) :- lessthanorequal(104 : Real, 68 : Real), lessthanorequal(68 : Real, 107 : Real), subtract(?1_0, 68 : Real, 100 : Real).
"newgroup-num"(?3_0, 69 : Real) :- lessthanorequal(13 : Real, 69 : Real), lessthanorequal(69 : Real, 57 : Real), subtract(?2_4, 69 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 69 : Real) :- lessthanorequal(72 : Real, 69 : Real), lessthanorequal(69 : Real, 89 : Real), subtract(?2_4, 69 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 69 : Real) :- lessthanorequal(104 : Real, 69 : Real), lessthanorequal(69 : Real, 107 : Real), subtract(?1_0, 69 : Real, 100 : Real).
"newgroup-num"(?3_0, 70 : Real) :- lessthanorequal(13 : Real, 70 : Real), lessthanorequal(70 : Real, 57 : Real), subtract(?2_4, 70 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 70 : Real) :- lessthanorequal(72 : Real, 70 : Real), lessthanorequal(70 : Real, 89 : Real), subtract(?2_4, 70 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 70 : Real) :- lessthanorequal(104 : Real, 70 : Real), lessthanorequal(70 : Real, 107 : Real), subtract(?1_0, 70 : Real, 100 : Real).
"newgroup-num"(?3_0, 71 : Real) :- lessthanorequal(13 : Real, 71 : Real), lessthanorequal(71 : Real, 57 : Real), subtract(?2_4, 71 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 71 : Real) :- lessthanorequal(72 : Real, 71 : Real), lessthanorequal(71 : Real, 89 : Real), subtract(?2_4, 71 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 71 : Real) :- lessthanorequal(104 : Real, 71 : Real), lessthanorequal(71 : Real, 107 : Real), subtract(?1_0, 71 : Real, 100 : Real).
"newgroup-num"(?3_0, 72 : Real) :- lessthanorequal(13 : Real, 72 : Real), lessthanorequal(72 : Real, 57 : Real), subtract(?2_4, 72 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 72 : Real) :- lessthanorequal(72 : Real, 72 : Real), lessthanorequal(72 : Real, 89 : Real), subtract(?2_4, 72 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 72 : Real) :- lessthanorequal(104 : Real, 72 : Real), lessthanorequal(72 : Real, 107 : Real), subtract(?1_0, 72 : Real, 100 : Real).
"newgroup-num"(?3_0, 73 : Real) :- lessthanorequal(13 : Real, 73 : Real), lessthanorequal(73 : Real, 57 : Real), subtract(?2_4, 73 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 73 : Real) :- lessthanorequal(72 : Real, 73 : Real), lessthanorequal(73 : Real, 89 : Real), subtract(?2_4, 73 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 73 : Real) :- lessthanorequal(104 : Real, 73 : Real), lessthanorequal(73 : Real, 107 : Real), subtract(?1_0, 73 : Real, 100 : Real).
"newgroup-num"(?3_0, 74 : Real) :- lessthanorequal(13 : Real, 74 : Real), lessthanorequal(74 : Real, 57 : Real), subtract(?2_4, 74 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 74 : Real) :- lessthanorequal(72 : Real, 74 : Real), lessthanorequal(74 : Real, 89 : Real), subtract(?2_4, 74 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 74 : Real) :- lessthanorequal(104 : Real, 74 : Real), lessthanorequal(74 : Real, 107 : Real), subtract(?1_0, 74 : Real, 100 : Real).
"newgroup-num"(?3_0, 75 : Real) :- lessthanorequal(13 : Real, 75 : Real), lessthanorequal(75 : Real, 57 : Real), subtract(?2_4, 75 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 75 : Real) :- lessthanorequal(72 : Real, 75 : Real), lessthanorequal(75 : Real, 89 : Real), subtract(?2_4, 75 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 75 : Real) :- lessthanorequal(104 : Real, 75 : Real), lessthanorequal(75 : Real, 107 : Real), subtract(?1_0, 75 : Real, 100 : Real).
"newgroup-num"(?3_0, 76 : Real) :- lessthanorequal(13 : Real, 76 : Real), lessthanorequal(76 : Real, 57 : Real), subtract(?2_4, 76 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 76 : Real) :- lessthanorequal(72 : Real, 76 : Real), lessthanorequal(76 : Real, 89 : Real), subtract(?2_4, 76 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 76 : Real) :- lessthanorequal(104 : Real, 76 : Real), lessthanorequal(76 : Real, 107 : Real), subtract(?1_0, 76 : Real, 100 : Real).
"newgroup-num"(?3_0, 77 : Real) :- lessthanorequal(13 : Real, 77 : Real), lessthanorequal(77 : Real, 57 : Real), subtract(?2_4, 77 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 77 : Real) :- lessthanorequal(72 : Real, 77 : Real), lessthanorequal(77 : Real, 89 : Real), subtract(?2_4, 77 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 77 : Real) :- lessthanorequal(104 : Real, 77 : Real), lessthanorequal(77 : Real, 107 : Real), subtract(?1_0, 77 : Real, 100 : Real).
"newgroup-num"(?3_0, 78 : Real) :- lessthanorequal(13 : Real, 78 : Real), lessthanorequal(78 : Real, 57 : Real), subtract(?2_4, 78 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 78 : Real) :- lessthanorequal(72 : Real, 78 : Real), lessthanorequal(78 : Real, 89 : Real), subtract(?2_4, 78 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 78 : Real) :- lessthanorequal(104 : Real, 78 : Real), lessthanorequal(78 : Real, 107 : Real), subtract(?1_0, 78 : Real, 100 : Real).
"newgroup-num"(?3_0, 79 : Real) :- lessthanorequal(13 : Real, 79 : Real), lessthanorequal(79 : Real, 57 : Real), subtract(?2_4, 79 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 79 : Real) :- lessthanorequal(72 : Real, 79 : Real), lessthanorequal(79 : Real, 89 : Real), subtract(?2_4, 79 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 79 : Real) :- lessthanorequal(104 : Real, 79 : Real), lessthanorequal(79 : Real, 107 : Real), subtract(?1_0, 79 : Real, 100 : Real).
"newgroup-num"(?3_0, 80 : Real) :- lessthanorequal(13 : Real, 80 : Real), lessthanorequal(80 : Real, 57 : Real), subtract(?2_4, 80 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 80 : Real) :- lessthanorequal(72 : Real, 80 : Real), lessthanorequal(80 : Real, 89 : Real), subtract(?2_4, 80 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 80 : Real) :- lessthanorequal(104 : Real, 80 : Real), lessthanorequal(80 : Real, 107 : Real), subtract(?1_0, 80 : Real, 100 : Real).
"newgroup-num"(?3_0, 81 : Real) :- lessthanorequal(13 : Real, 81 : Real), lessthanorequal(81 : Real, 57 : Real), subtract(?2_4, 81 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 81 : Real) :- lessthanorequal(72 : Real, 81 : Real), lessthanorequal(81 : Real, 89 : Real), subtract(?2_4, 81 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 81 : Real) :- lessthanorequal(104 : Real, 81 : Real), lessthanorequal(81 : Real, 107 : Real), subtract(?1_0, 81 : Real, 100 : Real).
"newgroup-num"(?3_0, 82 : Real) :- lessthanorequal(13 : Real, 82 : Real), lessthanorequal(82 : Real, 57 : Real), subtract(?2_4, 82 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 82 : Real) :- lessthanorequal(72 : Real, 82 : Real), lessthanorequal(82 : Real, 89 : Real), subtract(?2_4, 82 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 82 : Real) :- lessthanorequal(104 : Real, 82 : Real), lessthanorequal(82 : Real, 107 : Real), subtract(?1_0, 82 : Real, 100 : Real).
"newgroup-num"(?3_0, 83 : Real) :- lessthanorequal(13 : Real, 83 : Real), lessthanorequal(83 : Real, 57 : Real), subtract(?2_4, 83 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 83 : Real) :- lessthanorequal(72 : Real, 83 : Real), lessthanorequal(83 : Real, 89 : Real), subtract(?2_4, 83 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 83 : Real) :- lessthanorequal(104 : Real, 83 : Real), lessthanorequal(83 : Real, 107 : Real), subtract(?1_0, 83 : Real, 100 : Real).
"newgroup-num"(?3_0, 84 : Real) :- lessthanorequal(13 : Real, 84 : Real), lessthanorequal(84 : Real, 57 : Real), subtract(?2_4, 84 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 84 : Real) :- lessthanorequal(72 : Real, 84 : Real), lessthanorequal(84 : Real, 89 : Real), subtract(?2_4, 84 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 84 : Real) :- lessthanorequal(104 : Real, 84 : Real), lessthanorequal(84 : Real, 107 : Real), subtract(?1_0, 84 : Real, 100 : Real).
"newgroup-num"(?3_0, 85 : Real) :- lessthanorequal(13 : Real, 85 : Real), lessthanorequal(85 : Real, 57 : Real), subtract(?2_4, 85 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 85 : Real) :- lessthanorequal(72 : Real, 85 : Real), lessthanorequal(85 : Real, 89 : Real), subtract(?2_4, 85 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 85 : Real) :- lessthanorequal(104 : Real, 85 : Real), lessthanorequal(85 : Real, 107 : Real), subtract(?1_0, 85 : Real, 100 : Real).
"newgroup-num"(?3_0, 86 : Real) :- lessthanorequal(13 : Real, 86 : Real), lessthanorequal(86 : Real, 57 : Real), subtract(?2_4, 86 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 86 : Real) :- lessthanorequal(72 : Real, 86 : Real), lessthanorequal(86 : Real, 89 : Real), subtract(?2_4, 86 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 86 : Real) :- lessthanorequal(104 : Real, 86 : Real), lessthanorequal(86 : Real, 107 : Real), subtract(?1_0, 86 : Real, 100 : Real).
"newgroup-num"(?3_0, 87 : Real) :- lessthanorequal(13 : Real, 87 : Real), lessthanorequal(87 : Real, 57 : Real), subtract(?2_4, 87 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 87 : Real) :- lessthanorequal(72 : Real, 87 : Real), lessthanorequal(87 : Real, 89 : Real), subtract(?2_4, 87 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 87 : Real) :- lessthanorequal(104 : Real, 87 : Real), lessthanorequal(87 : Real, 107 : Real), subtract(?1_0, 87 : Real, 100 : Real).
"newgroup-num"(?3_0, 88 : Real) :- lessthanorequal(13 : Real, 88 : Real), lessthanorequal(88 : Real, 57 : Real), subtract(?2_4, 88 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 88 : Real) :- lessthanorequal(72 : Real, 88 : Real), lessthanorequal(88 : Real, 89 : Real), subtract(?2_4, 88 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 88 : Real) :- lessthanorequal(104 : Real, 88 : Real), lessthanorequal(88 : Real, 107 : Real), subtract(?1_0, 88 : Real, 100 : Real).
"newgroup-num"(?3_0, 89 : Real) :- lessthanorequal(13 : Real, 89 : Real), lessthanorequal(89 : Real, 57 : Real), subtract(?2_4, 89 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 89 : Real) :- lessthanorequal(72 : Real, 89 : Real), lessthanorequal(89 : Real, 89 : Real), subtract(?2_4, 89 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 89 : Real) :- lessthanorequal(104 : Real, 89 : Real), lessthanorequal(89 : Real, 107 : Real), subtract(?1_0, 89 : Real, 100 : Real).
"newgroup-num"(?3_0, 90 : Real) :- lessthanorequal(13 : Real, 90 : Real), lessthanorequal(90 : Real, 57 : Real), subtract(?2_4, 90 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 90 : Real) :- lessthanorequal(72 : Real, 90 : Real), lessthanorequal(90 : Real, 89 : Real), subtract(?2_4, 90 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 90 : Real) :- lessthanorequal(104 : Real, 90 : Real), lessthanorequal(90 : Real, 107 : Real), subtract(?1_0, 90 : Real, 100 : Real).
"newgroup-num"(?3_0, 91 : Real) :- lessthanorequal(13 : Real, 91 : Real), lessthanorequal(91 : Real, 57 : Real), subtract(?2_4, 91 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 91 : Real) :- lessthanorequal(72 : Real, 91 : Real), lessthanorequal(91 : Real, 89 : Real), subtract(?2_4, 91 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 91 : Real) :- lessthanorequal(104 : Real, 91 : Real), lessthanorequal(91 : Real, 107 : Real), subtract(?1_0, 91 : Real, 100 : Real).
"newgroup-num"(?3_0, 92 : Real) :- lessthanorequal(13 : Real, 92 : Real), lessthanorequal(92 : Real, 57 : Real), subtract(?2_4, 92 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 92 : Real) :- lessthanorequal(72 : Real, 92 : Real), lessthanorequal(92 : Real, 89 : Real), subtract(?2_4, 92 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 92 : Real) :- lessthanorequal(104 : Real, 92 : Real), lessthanorequal(92 : Real, 107 : Real), subtract(?1_0, 92 : Real, 100 : Real).
"newgroup-num"(?3_0, 93 : Real) :- lessthanorequal(13 : Real, 93 : Real), lessthanorequal(93 : Real, 57 : Real), subtract(?2_4, 93 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 93 : Real) :- lessthanorequal(72 : Real, 93 : Real), lessthanorequal(93 : Real, 89 : Real), subtract(?2_4, 93 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 93 : Real) :- lessthanorequal(104 : Real, 93 : Real), lessthanorequal(93 : Real, 107 : Real), subtract(?1_0, 93 : Real, 100 : Real).
"newgroup-num"(?3_0, 94 : Real) :- lessthanorequal(13 : Real, 94 : Real), lessthanorequal(94 : Real, 57 : Real), subtract(?2_4, 94 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 94 : Real) :- lessthanorequal(72 : Real, 94 : Real), lessthanorequal(94 : Real, 89 : Real), subtract(?2_4, 94 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 94 : Real) :- lessthanorequal(104 : Real, 94 : Real), lessthanorequal(94 : Real, 107 : Real), subtract(?1_0, 94 : Real, 100 : Real).
"newgroup-num"(?3_0, 95 : Real) :- lessthanorequal(13 : Real, 95 : Real), lessthanorequal(95 : Real, 57 : Real), subtract(?2_4, 95 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 95 : Real) :- lessthanorequal(72 : Real, 95 : Real), lessthanorequal(95 : Real, 89 : Real), subtract(?2_4, 95 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 95 : Real) :- lessthanorequal(104 : Real, 95 : Real), lessthanorequal(95 : Real, 107 : Real), subtract(?1_0, 95 : Real, 100 : Real).
"newgroup-num"(?3_0, 96 : Real) :- lessthanorequal(13 : Real, 96 : Real), lessthanorequal(96 : Real, 57 : Real), subtract(?2_4, 96 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 96 : Real) :- lessthanorequal(72 : Real, 96 : Real), lessthanorequal(96 : Real, 89 : Real), subtract(?2_4, 96 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 96 : Real) :- lessthanorequal(104 : Real, 96 : Real), lessthanorequal(96 : Real, 107 : Real), subtract(?1_0, 96 : Real, 100 : Real).
"newgroup-num"(?3_0, 97 : Real) :- lessthanorequal(13 : Real, 97 : Real), lessthanorequal(97 : Real, 57 : Real), subtract(?2_4, 97 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 97 : Real) :- lessthanorequal(72 : Real, 97 : Real), lessthanorequal(97 : Real, 89 : Real), subtract(?2_4, 97 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 97 : Real) :- lessthanorequal(104 : Real, 97 : Real), lessthanorequal(97 : Real, 107 : Real), subtract(?1_0, 97 : Real, 100 : Real).
"newgroup-num"(?3_0, 98 : Real) :- lessthanorequal(13 : Real, 98 : Real), lessthanorequal(98 : Real, 57 : Real), subtract(?2_4, 98 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 98 : Real) :- lessthanorequal(72 : Real, 98 : Real), lessthanorequal(98 : Real, 89 : Real), subtract(?2_4, 98 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 98 : Real) :- lessthanorequal(104 : Real, 98 : Real), lessthanorequal(98 : Real, 107 : Real), subtract(?1_0, 98 : Real, 100 : Real).
"newgroup-num"(?3_0, 99 : Real) :- lessthanorequal(13 : Real, 99 : Real), lessthanorequal(99 : Real, 57 : Real), subtract(?2_4, 99 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 99 : Real) :- lessthanorequal(72 : Real, 99 : Real), lessthanorequal(99 : Real, 89 : Real), subtract(?2_4, 99 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 99 : Real) :- lessthanorequal(104 : Real, 99 : Real), lessthanorequal(99 : Real, 107 : Real), subtract(?1_0, 99 : Real, 100 : Real).
"newgroup-num"(?3_0, 100 : Real) :- lessthanorequal(13 : Real, 100 : Real), lessthanorequal(100 : Real, 57 : Real), subtract(?2_4, 100 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 100 : Real) :- lessthanorequal(72 : Real, 100 : Real), lessthanorequal(100 : Real, 89 : Real), subtract(?2_4, 100 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 100 : Real) :- lessthanorequal(104 : Real, 100 : Real), lessthanorequal(100 : Real, 107 : Real), subtract(?1_0, 100 : Real, 100 : Real).
"newgroup-num"(?3_0, 101 : Real) :- lessthanorequal(13 : Real, 101 : Real), lessthanorequal(101 : Real, 57 : Real), subtract(?2_4, 101 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 101 : Real) :- lessthanorequal(72 : Real, 101 : Real), lessthanorequal(101 : Real, 89 : Real), subtract(?2_4, 101 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 101 : Real) :- lessthanorequal(104 : Real, 101 : Real), lessthanorequal(101 : Real, 107 : Real), subtract(?1_0, 101 : Real, 100 : Real).
"newgroup-num"(?3_0, 102 : Real) :- lessthanorequal(13 : Real, 102 : Real), lessthanorequal(102 : Real, 57 : Real), subtract(?2_4, 102 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 102 : Real) :- lessthanorequal(72 : Real, 102 : Real), lessthanorequal(102 : Real, 89 : Real), subtract(?2_4, 102 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 102 : Real) :- lessthanorequal(104 : Real, 102 : Real), lessthanorequal(102 : Real, 107 : Real), subtract(?1_0, 102 : Real, 100 : Real).
"newgroup-num"(?3_0, 103 : Real) :- lessthanorequal(13 : Real, 103 : Real), lessthanorequal(103 : Real, 57 : Real), subtract(?2_4, 103 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 103 : Real) :- lessthanorequal(72 : Real, 103 : Real), lessthanorequal(103 : Real, 89 : Real), subtract(?2_4, 103 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 103 : Real) :- lessthanorequal(104 : Real, 103 : Real), lessthanorequal(103 : Real, 107 : Real), subtract(?1_0, 103 : Real, 100 : Real).
"newgroup-num"(?3_0, 104 : Real) :- lessthanorequal(13 : Real, 104 : Real), lessthanorequal(104 : Real, 57 : Real), subtract(?2_4, 104 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 104 : Real) :- lessthanorequal(72 : Real, 104 : Real), lessthanorequal(104 : Real, 89 : Real), subtract(?2_4, 104 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 104 : Real) :- lessthanorequal(104 : Real, 104 : Real), lessthanorequal(104 : Real, 107 : Real), subtract(?1_0, 104 : Real, 100 : Real).
"newgroup-num"(?3_0, 105 : Real) :- lessthanorequal(13 : Real, 105 : Real), lessthanorequal(105 : Real, 57 : Real), subtract(?2_4, 105 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 105 : Real) :- lessthanorequal(72 : Real, 105 : Real), lessthanorequal(105 : Real, 89 : Real), subtract(?2_4, 105 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 105 : Real) :- lessthanorequal(104 : Real, 105 : Real), lessthanorequal(105 : Real, 107 : Real), subtract(?1_0, 105 : Real, 100 : Real).
"newgroup-num"(?3_0, 106 : Real) :- lessthanorequal(13 : Real, 106 : Real), lessthanorequal(106 : Real, 57 : Real), subtract(?2_4, 106 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 106 : Real) :- lessthanorequal(72 : Real, 106 : Real), lessthanorequal(106 : Real, 89 : Real), subtract(?2_4, 106 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 106 : Real) :- lessthanorequal(104 : Real, 106 : Real), lessthanorequal(106 : Real, 107 : Real), subtract(?1_0, 106 : Real, 100 : Real).
"newgroup-num"(?3_0, 107 : Real) :- lessthanorequal(13 : Real, 107 : Real), lessthanorequal(107 : Real, 57 : Real), subtract(?2_4, 107 : Real, 1 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?3_0, 107 : Real) :- lessthanorequal(72 : Real, 107 : Real), lessthanorequal(107 : Real, 89 : Real), subtract(?2_4, 107 : Real, 69 : Real), modulo(?1_6, ?2_4, 18 : Real), add(?3_0, 1 : Real, ?1_6).
"newgroup-num"(?1_0, 107 : Real) :- lessthanorequal(104 : Real, 107 : Real), lessthanorequal(107 : Real, 107 : Real), subtract(?1_0, 107 : Real, 100 : Real).
"light-metal"(?eno_0) :- notequal(?eno_0, 1 : Real), "newgroup-num"(1 : Real, ?eno_0).
"light-metal"(?eno_0) :- notequal(?eno_0, 88 : Real), "newgroup-num"(2 : Real, ?eno_0).
"inner-shell-fill"(?4_0, ?l_1, ?s_2) :- lessthan(0 : Real, ?s_2), maxelec(?3_4, ?s_2), plex(?1_6, ?3_4, ?l_1), subtract(?2_8, ?s_2, 1 : Real), "inner-shell-fill"(?4_0, ?1_6, ?2_8).
modulo(?x_0, ?x_0, ?y_1) :- lessthan(?x_0, ?y_1).
element(?eno_0) :- atm(?eno_0, ?, ?).
metal([?eno_0, ?abbr_1, ?full_2]) :- atm(?eno_0, name[?abbr_1, ?full_2], prop[m : String, ?eco_3, ?weight_4, ?oxi_5]).
englno(?n_0, ?engl_1) :- atm(?n_0, name[?, ?engl_1], ?).
symbno(?eno_0, ?symb_1) :- atm(?eno_0, name[?symb_1, ?], ?).
nosymb(?symb_0, ?eno_1) :- atm(?eno_1, name[?symb_0, ?], ?).
"eleconf-sym"(?2_0, ?symb_1) :- atm(?eno_2, name[?symb_1, ?], prop[?, eco[?l1_5, ?l2_6, ?l3_7], ?, ?]), "inner-shells"(?1_11, ?eno_2), "inner-shell-fill"(?2_0, [?l1_5, ?l2_6, ?l3_7], ?1_11).
"eleconf-num"(?2_0, ?eno_1) :- atm(?eno_1, ?, prop[?, eco[?l1_4, ?l2_5, ?l3_6], ?, ?]), "inner-shells"(?1_10, ?eno_1), "inner-shell-fill"(?2_0, [?l1_4, ?l2_5, ?l3_6], ?1_10).
"eleconf-sym"(?2_0, h : String) :- "inner-shells"(?1_2, 1 : Real), "inner-shell-fill"(?2_0, [1 : Real, 0 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 1 : Real) :- "inner-shells"(?1_2, 1 : Real), "inner-shell-fill"(?2_0, [1 : Real, 0 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, he : String) :- "inner-shells"(?1_2, 2 : Real), "inner-shell-fill"(?2_0, [2 : Real, 0 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 2 : Real) :- "inner-shells"(?1_2, 2 : Real), "inner-shell-fill"(?2_0, [2 : Real, 0 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, li : String) :- "inner-shells"(?1_2, 3 : Real), "inner-shell-fill"(?2_0, [2 : Real, 1 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 3 : Real) :- "inner-shells"(?1_2, 3 : Real), "inner-shell-fill"(?2_0, [2 : Real, 1 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, be : String) :- "inner-shells"(?1_2, 4 : Real), "inner-shell-fill"(?2_0, [2 : Real, 2 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 4 : Real) :- "inner-shells"(?1_2, 4 : Real), "inner-shell-fill"(?2_0, [2 : Real, 2 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, b : String) :- "inner-shells"(?1_2, 5 : Real), "inner-shell-fill"(?2_0, [2 : Real, 3 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 5 : Real) :- "inner-shells"(?1_2, 5 : Real), "inner-shell-fill"(?2_0, [2 : Real, 3 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, c : String) :- "inner-shells"(?1_2, 6 : Real), "inner-shell-fill"(?2_0, [2 : Real, 4 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 6 : Real) :- "inner-shells"(?1_2, 6 : Real), "inner-shell-fill"(?2_0, [2 : Real, 4 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, n : String) :- "inner-shells"(?1_2, 7 : Real), "inner-shell-fill"(?2_0, [2 : Real, 5 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 7 : Real) :- "inner-shells"(?1_2, 7 : Real), "inner-shell-fill"(?2_0, [2 : Real, 5 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, o : String) :- "inner-shells"(?1_2, 8 : Real), "inner-shell-fill"(?2_0, [2 : Real, 6 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 8 : Real) :- "inner-shells"(?1_2, 8 : Real), "inner-shell-fill"(?2_0, [2 : Real, 6 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, f : String) :- "inner-shells"(?1_2, 9 : Real), "inner-shell-fill"(?2_0, [2 : Real, 7 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 9 : Real) :- "inner-shells"(?1_2, 9 : Real), "inner-shell-fill"(?2_0, [2 : Real, 7 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, ne : String) :- "inner-shells"(?1_2, 10 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 10 : Real) :- "inner-shells"(?1_2, 10 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, na : String) :- "inner-shells"(?1_2, 11 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 11 : Real) :- "inner-shells"(?1_2, 11 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, mg : String) :- "inner-shells"(?1_2, 12 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 12 : Real) :- "inner-shells"(?1_2, 12 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, al : String) :- "inner-shells"(?1_2, 13 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 3 : Real], ?1_2).
"eleconf-num"(?2_0, 13 : Real) :- "inner-shells"(?1_2, 13 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 3 : Real], ?1_2).
"eleconf-sym"(?2_0, si : String) :- "inner-shells"(?1_2, 14 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 4 : Real], ?1_2).
"eleconf-num"(?2_0, 14 : Real) :- "inner-shells"(?1_2, 14 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 4 : Real], ?1_2).
"eleconf-sym"(?2_0, p : String) :- "inner-shells"(?1_2, 15 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 5 : Real], ?1_2).
"eleconf-num"(?2_0, 15 : Real) :- "inner-shells"(?1_2, 15 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 5 : Real], ?1_2).
"eleconf-sym"(?2_0, s : String) :- "inner-shells"(?1_2, 16 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 6 : Real], ?1_2).
"eleconf-num"(?2_0, 16 : Real) :- "inner-shells"(?1_2, 16 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 6 : Real], ?1_2).
"eleconf-sym"(?2_0, cl : String) :- "inner-shells"(?1_2, 17 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 7 : Real], ?1_2).
"eleconf-num"(?2_0, 17 : Real) :- "inner-shells"(?1_2, 17 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 7 : Real], ?1_2).
"eleconf-sym"(?2_0, ar : String) :- "inner-shells"(?1_2, 18 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 8 : Real], ?1_2).
"eleconf-num"(?2_0, 18 : Real) :- "inner-shells"(?1_2, 18 : Real), "inner-shell-fill"(?2_0, [2 : Real, 8 : Real, 8 : Real], ?1_2).
"eleconf-sym"(?2_0, k : String) :- "inner-shells"(?1_2, 19 : Real), "inner-shell-fill"(?2_0, [8 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 19 : Real) :- "inner-shells"(?1_2, 19 : Real), "inner-shell-fill"(?2_0, [8 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, ca : String) :- "inner-shells"(?1_2, 20 : Real), "inner-shell-fill"(?2_0, [8 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 20 : Real) :- "inner-shells"(?1_2, 20 : Real), "inner-shell-fill"(?2_0, [8 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, sc : String) :- "inner-shells"(?1_2, 21 : Real), "inner-shell-fill"(?2_0, [8 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 21 : Real) :- "inner-shells"(?1_2, 21 : Real), "inner-shell-fill"(?2_0, [8 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ti : String) :- "inner-shells"(?1_2, 22 : Real), "inner-shell-fill"(?2_0, [8 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 22 : Real) :- "inner-shells"(?1_2, 22 : Real), "inner-shell-fill"(?2_0, [8 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, v : String) :- "inner-shells"(?1_2, 23 : Real), "inner-shell-fill"(?2_0, [8 : Real, 11 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 23 : Real) :- "inner-shells"(?1_2, 23 : Real), "inner-shell-fill"(?2_0, [8 : Real, 11 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, cr : String) :- "inner-shells"(?1_2, 24 : Real), "inner-shell-fill"(?2_0, [8 : Real, 13 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 24 : Real) :- "inner-shells"(?1_2, 24 : Real), "inner-shell-fill"(?2_0, [8 : Real, 13 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, mn : String) :- "inner-shells"(?1_2, 25 : Real), "inner-shell-fill"(?2_0, [8 : Real, 13 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 25 : Real) :- "inner-shells"(?1_2, 25 : Real), "inner-shell-fill"(?2_0, [8 : Real, 13 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, fe : String) :- "inner-shells"(?1_2, 26 : Real), "inner-shell-fill"(?2_0, [8 : Real, 14 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 26 : Real) :- "inner-shells"(?1_2, 26 : Real), "inner-shell-fill"(?2_0, [8 : Real, 14 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, co : String) :- "inner-shells"(?1_2, 27 : Real), "inner-shell-fill"(?2_0, [8 : Real, 15 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 27 : Real) :- "inner-shells"(?1_2, 27 : Real), "inner-shell-fill"(?2_0, [8 : Real, 15 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ni : String) :- "inner-shells"(?1_2, 28 : Real), "inner-shell-fill"(?2_0, [8 : Real, 16 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 28 : Real) :- "inner-shells"(?1_2, 28 : Real), "inner-shell-fill"(?2_0, [8 : Real, 16 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, cu : String) :- "inner-shells"(?1_2, 29 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 29 : Real) :- "inner-shells"(?1_2, 29 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, zn : String) :- "inner-shells"(?1_2, 30 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 30 : Real) :- "inner-shells"(?1_2, 30 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ga : String) :- "inner-shells"(?1_2, 31 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 3 : Real], ?1_2).
"eleconf-num"(?2_0, 31 : Real) :- "inner-shells"(?1_2, 31 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 3 : Real], ?1_2).
"eleconf-sym"(?2_0, ge : String) :- "inner-shells"(?1_2, 32 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 4 : Real], ?1_2).
"eleconf-num"(?2_0, 32 : Real) :- "inner-shells"(?1_2, 32 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 4 : Real], ?1_2).
"eleconf-sym"(?2_0, as : String) :- "inner-shells"(?1_2, 33 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 5 : Real], ?1_2).
"eleconf-num"(?2_0, 33 : Real) :- "inner-shells"(?1_2, 33 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 5 : Real], ?1_2).
"eleconf-sym"(?2_0, se : String) :- "inner-shells"(?1_2, 34 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 6 : Real], ?1_2).
"eleconf-num"(?2_0, 34 : Real) :- "inner-shells"(?1_2, 34 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 6 : Real], ?1_2).
"eleconf-sym"(?2_0, br : String) :- "inner-shells"(?1_2, 35 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 7 : Real], ?1_2).
"eleconf-num"(?2_0, 35 : Real) :- "inner-shells"(?1_2, 35 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 7 : Real], ?1_2).
"eleconf-sym"(?2_0, kr : String) :- "inner-shells"(?1_2, 36 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 8 : Real], ?1_2).
"eleconf-num"(?2_0, 36 : Real) :- "inner-shells"(?1_2, 36 : Real), "inner-shell-fill"(?2_0, [8 : Real, 18 : Real, 8 : Real], ?1_2).
"eleconf-sym"(?2_0, rb : String) :- "inner-shells"(?1_2, 37 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 37 : Real) :- "inner-shells"(?1_2, 37 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, sr : String) :- "inner-shells"(?1_2, 38 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 38 : Real) :- "inner-shells"(?1_2, 38 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, y : String) :- "inner-shells"(?1_2, 39 : Real), "inner-shell-fill"(?2_0, [18 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 39 : Real) :- "inner-shells"(?1_2, 39 : Real), "inner-shell-fill"(?2_0, [18 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, zr : String) :- "inner-shells"(?1_2, 40 : Real), "inner-shell-fill"(?2_0, [18 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 40 : Real) :- "inner-shells"(?1_2, 40 : Real), "inner-shell-fill"(?2_0, [18 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, nb : String) :- "inner-shells"(?1_2, 41 : Real), "inner-shell-fill"(?2_0, [18 : Real, 12 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 41 : Real) :- "inner-shells"(?1_2, 41 : Real), "inner-shell-fill"(?2_0, [18 : Real, 12 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, mo : String) :- "inner-shells"(?1_2, 42 : Real), "inner-shell-fill"(?2_0, [18 : Real, 13 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 42 : Real) :- "inner-shells"(?1_2, 42 : Real), "inner-shell-fill"(?2_0, [18 : Real, 13 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, tc : String) :- "inner-shells"(?1_2, 43 : Real), "inner-shell-fill"(?2_0, [18 : Real, 13 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 43 : Real) :- "inner-shells"(?1_2, 43 : Real), "inner-shell-fill"(?2_0, [18 : Real, 13 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ru : String) :- "inner-shells"(?1_2, 44 : Real), "inner-shell-fill"(?2_0, [18 : Real, 15 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 44 : Real) :- "inner-shells"(?1_2, 44 : Real), "inner-shell-fill"(?2_0, [18 : Real, 15 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, rh : String) :- "inner-shells"(?1_2, 45 : Real), "inner-shell-fill"(?2_0, [18 : Real, 16 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 45 : Real) :- "inner-shells"(?1_2, 45 : Real), "inner-shell-fill"(?2_0, [18 : Real, 16 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, pd : String) :- "inner-shells"(?1_2, 46 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 0 : Real], ?1_2).
"eleconf-num"(?2_0, 46 : Real) :- "inner-shells"(?1_2, 46 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 0 : Real], ?1_2).
"eleconf-sym"(?2_0, ag : String) :- "inner-shells"(?1_2, 47 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 47 : Real) :- "inner-shells"(?1_2, 47 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, cd : String) :- "inner-shells"(?1_2, 48 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 48 : Real) :- "inner-shells"(?1_2, 48 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, in : String) :- "inner-shells"(?1_2, 49 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 3 : Real], ?1_2).
"eleconf-num"(?2_0, 49 : Real) :- "inner-shells"(?1_2, 49 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 3 : Real], ?1_2).
"eleconf-sym"(?2_0, sn : String) :- "inner-shells"(?1_2, 50 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 4 : Real], ?1_2).
"eleconf-num"(?2_0, 50 : Real) :- "inner-shells"(?1_2, 50 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 4 : Real], ?1_2).
"eleconf-sym"(?2_0, sb : String) :- "inner-shells"(?1_2, 51 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 5 : Real], ?1_2).
"eleconf-num"(?2_0, 51 : Real) :- "inner-shells"(?1_2, 51 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 5 : Real], ?1_2).
"eleconf-sym"(?2_0, te : String) :- "inner-shells"(?1_2, 52 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 6 : Real], ?1_2).
"eleconf-num"(?2_0, 52 : Real) :- "inner-shells"(?1_2, 52 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 6 : Real], ?1_2).
"eleconf-sym"(?2_0, i : String) :- "inner-shells"(?1_2, 53 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 7 : Real], ?1_2).
"eleconf-num"(?2_0, 53 : Real) :- "inner-shells"(?1_2, 53 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 7 : Real], ?1_2).
"eleconf-sym"(?2_0, xe : String) :- "inner-shells"(?1_2, 54 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 8 : Real], ?1_2).
"eleconf-num"(?2_0, 54 : Real) :- "inner-shells"(?1_2, 54 : Real), "inner-shell-fill"(?2_0, [18 : Real, 18 : Real, 8 : Real], ?1_2).
"eleconf-sym"(?2_0, cs : String) :- "inner-shells"(?1_2, 55 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 55 : Real) :- "inner-shells"(?1_2, 55 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, ba : String) :- "inner-shells"(?1_2, 56 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 56 : Real) :- "inner-shells"(?1_2, 56 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, la : String) :- "inner-shells"(?1_2, 57 : Real), "inner-shell-fill"(?2_0, [18 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 57 : Real) :- "inner-shells"(?1_2, 57 : Real), "inner-shell-fill"(?2_0, [18 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ce : String) :- "inner-shells"(?1_2, 58 : Real), "inner-shell-fill"(?2_0, [20 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 58 : Real) :- "inner-shells"(?1_2, 58 : Real), "inner-shell-fill"(?2_0, [20 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, pr : String) :- "inner-shells"(?1_2, 59 : Real), "inner-shell-fill"(?2_0, [21 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 59 : Real) :- "inner-shells"(?1_2, 59 : Real), "inner-shell-fill"(?2_0, [21 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, nd : String) :- "inner-shells"(?1_2, 60 : Real), "inner-shell-fill"(?2_0, [22 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 60 : Real) :- "inner-shells"(?1_2, 60 : Real), "inner-shell-fill"(?2_0, [22 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, pm : String) :- "inner-shells"(?1_2, 61 : Real), "inner-shell-fill"(?2_0, [23 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 61 : Real) :- "inner-shells"(?1_2, 61 : Real), "inner-shell-fill"(?2_0, [23 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, sm : String) :- "inner-shells"(?1_2, 62 : Real), "inner-shell-fill"(?2_0, [24 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 62 : Real) :- "inner-shells"(?1_2, 62 : Real), "inner-shell-fill"(?2_0, [24 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, eu : String) :- "inner-shells"(?1_2, 63 : Real), "inner-shell-fill"(?2_0, [25 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 63 : Real) :- "inner-shells"(?1_2, 63 : Real), "inner-shell-fill"(?2_0, [25 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, gd : String) :- "inner-shells"(?1_2, 64 : Real), "inner-shell-fill"(?2_0, [25 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 64 : Real) :- "inner-shells"(?1_2, 64 : Real), "inner-shell-fill"(?2_0, [25 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, tb : String) :- "inner-shells"(?1_2, 65 : Real), "inner-shell-fill"(?2_0, [27 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 65 : Real) :- "inner-shells"(?1_2, 65 : Real), "inner-shell-fill"(?2_0, [27 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, dy : String) :- "inner-shells"(?1_2, 66 : Real), "inner-shell-fill"(?2_0, [28 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 66 : Real) :- "inner-shells"(?1_2, 66 : Real), "inner-shell-fill"(?2_0, [28 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ho : String) :- "inner-shells"(?1_2, 67 : Real), "inner-shell-fill"(?2_0, [29 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 67 : Real) :- "inner-shells"(?1_2, 67 : Real), "inner-shell-fill"(?2_0, [29 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, er : String) :- "inner-shells"(?1_2, 68 : Real), "inner-shell-fill"(?2_0, [30 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 68 : Real) :- "inner-shells"(?1_2, 68 : Real), "inner-shell-fill"(?2_0, [30 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, tm : String) :- "inner-shells"(?1_2, 69 : Real), "inner-shell-fill"(?2_0, [31 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 69 : Real) :- "inner-shells"(?1_2, 69 : Real), "inner-shell-fill"(?2_0, [31 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, yb : String) :- "inner-shells"(?1_2, 70 : Real), "inner-shell-fill"(?2_0, [32 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 70 : Real) :- "inner-shells"(?1_2, 70 : Real), "inner-shell-fill"(?2_0, [32 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, lu : String) :- "inner-shells"(?1_2, 71 : Real), "inner-shell-fill"(?2_0, [32 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 71 : Real) :- "inner-shells"(?1_2, 71 : Real), "inner-shell-fill"(?2_0, [32 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, hf : String) :- "inner-shells"(?1_2, 72 : Real), "inner-shell-fill"(?2_0, [32 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 72 : Real) :- "inner-shells"(?1_2, 72 : Real), "inner-shell-fill"(?2_0, [32 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ta : String) :- "inner-shells"(?1_2, 73 : Real), "inner-shell-fill"(?2_0, [32 : Real, 11 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 73 : Real) :- "inner-shells"(?1_2, 73 : Real), "inner-shell-fill"(?2_0, [32 : Real, 11 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, w : String) :- "inner-shells"(?1_2, 74 : Real), "inner-shell-fill"(?2_0, [32 : Real, 12 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 74 : Real) :- "inner-shells"(?1_2, 74 : Real), "inner-shell-fill"(?2_0, [32 : Real, 12 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, re : String) :- "inner-shells"(?1_2, 75 : Real), "inner-shell-fill"(?2_0, [32 : Real, 13 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 75 : Real) :- "inner-shells"(?1_2, 75 : Real), "inner-shell-fill"(?2_0, [32 : Real, 13 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, os : String) :- "inner-shells"(?1_2, 76 : Real), "inner-shell-fill"(?2_0, [32 : Real, 14 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 76 : Real) :- "inner-shells"(?1_2, 76 : Real), "inner-shell-fill"(?2_0, [32 : Real, 14 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ir : String) :- "inner-shells"(?1_2, 77 : Real), "inner-shell-fill"(?2_0, [32 : Real, 15 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 77 : Real) :- "inner-shells"(?1_2, 77 : Real), "inner-shell-fill"(?2_0, [32 : Real, 15 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, pt : String) :- "inner-shells"(?1_2, 78 : Real), "inner-shell-fill"(?2_0, [32 : Real, 16 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 78 : Real) :- "inner-shells"(?1_2, 78 : Real), "inner-shell-fill"(?2_0, [32 : Real, 16 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, au : String) :- "inner-shells"(?1_2, 79 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 79 : Real) :- "inner-shells"(?1_2, 79 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, hg : String) :- "inner-shells"(?1_2, 80 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 80 : Real) :- "inner-shells"(?1_2, 80 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, tl : String) :- "inner-shells"(?1_2, 81 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 3 : Real], ?1_2).
"eleconf-num"(?2_0, 81 : Real) :- "inner-shells"(?1_2, 81 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 3 : Real], ?1_2).
"eleconf-sym"(?2_0, pb : String) :- "inner-shells"(?1_2, 82 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 4 : Real], ?1_2).
"eleconf-num"(?2_0, 82 : Real) :- "inner-shells"(?1_2, 82 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 4 : Real], ?1_2).
"eleconf-sym"(?2_0, bi : String) :- "inner-shells"(?1_2, 83 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 5 : Real], ?1_2).
"eleconf-num"(?2_0, 83 : Real) :- "inner-shells"(?1_2, 83 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 5 : Real], ?1_2).
"eleconf-sym"(?2_0, po : String) :- "inner-shells"(?1_2, 84 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 6 : Real], ?1_2).
"eleconf-num"(?2_0, 84 : Real) :- "inner-shells"(?1_2, 84 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 6 : Real], ?1_2).
"eleconf-sym"(?2_0, at : String) :- "inner-shells"(?1_2, 85 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 7 : Real], ?1_2).
"eleconf-num"(?2_0, 85 : Real) :- "inner-shells"(?1_2, 85 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 7 : Real], ?1_2).
"eleconf-sym"(?2_0, rn : String) :- "inner-shells"(?1_2, 86 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 8 : Real], ?1_2).
"eleconf-num"(?2_0, 86 : Real) :- "inner-shells"(?1_2, 86 : Real), "inner-shell-fill"(?2_0, [32 : Real, 18 : Real, 8 : Real], ?1_2).
"eleconf-sym"(?2_0, fr : String) :- "inner-shells"(?1_2, 87 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-num"(?2_0, 87 : Real) :- "inner-shells"(?1_2, 87 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 1 : Real], ?1_2).
"eleconf-sym"(?2_0, ra : String) :- "inner-shells"(?1_2, 88 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 88 : Real) :- "inner-shells"(?1_2, 88 : Real), "inner-shell-fill"(?2_0, [18 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, ac : String) :- "inner-shells"(?1_2, 89 : Real), "inner-shell-fill"(?2_0, [18 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 89 : Real) :- "inner-shells"(?1_2, 89 : Real), "inner-shell-fill"(?2_0, [18 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, th : String) :- "inner-shells"(?1_2, 90 : Real), "inner-shell-fill"(?2_0, [18 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 90 : Real) :- "inner-shells"(?1_2, 90 : Real), "inner-shell-fill"(?2_0, [18 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, pa : String) :- "inner-shells"(?1_2, 91 : Real), "inner-shell-fill"(?2_0, [20 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 91 : Real) :- "inner-shells"(?1_2, 91 : Real), "inner-shell-fill"(?2_0, [20 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, u : String) :- "inner-shells"(?1_2, 92 : Real), "inner-shell-fill"(?2_0, [21 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 92 : Real) :- "inner-shells"(?1_2, 92 : Real), "inner-shell-fill"(?2_0, [21 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, np : String) :- "inner-shells"(?1_2, 93 : Real), "inner-shell-fill"(?2_0, [22 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 93 : Real) :- "inner-shells"(?1_2, 93 : Real), "inner-shell-fill"(?2_0, [22 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, pu : String) :- "inner-shells"(?1_2, 94 : Real), "inner-shell-fill"(?2_0, [24 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 94 : Real) :- "inner-shells"(?1_2, 94 : Real), "inner-shell-fill"(?2_0, [24 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, am : String) :- "inner-shells"(?1_2, 95 : Real), "inner-shell-fill"(?2_0, [25 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 95 : Real) :- "inner-shells"(?1_2, 95 : Real), "inner-shell-fill"(?2_0, [25 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, cm : String) :- "inner-shells"(?1_2, 96 : Real), "inner-shell-fill"(?2_0, [25 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 96 : Real) :- "inner-shells"(?1_2, 96 : Real), "inner-shell-fill"(?2_0, [25 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, bk : String) :- "inner-shells"(?1_2, 97 : Real), "inner-shell-fill"(?2_0, [27 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 97 : Real) :- "inner-shells"(?1_2, 97 : Real), "inner-shell-fill"(?2_0, [27 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, cf : String) :- "inner-shells"(?1_2, 98 : Real), "inner-shell-fill"(?2_0, [28 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 98 : Real) :- "inner-shells"(?1_2, 98 : Real), "inner-shell-fill"(?2_0, [28 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, es : String) :- "inner-shells"(?1_2, 99 : Real), "inner-shell-fill"(?2_0, [29 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 99 : Real) :- "inner-shells"(?1_2, 99 : Real), "inner-shell-fill"(?2_0, [29 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, fm : String) :- "inner-shells"(?1_2, 100 : Real), "inner-shell-fill"(?2_0, [30 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 100 : Real) :- "inner-shells"(?1_2, 100 : Real), "inner-shell-fill"(?2_0, [30 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, md : String) :- "inner-shells"(?1_2, 101 : Real), "inner-shell-fill"(?2_0, [31 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 101 : Real) :- "inner-shells"(?1_2, 101 : Real), "inner-shell-fill"(?2_0, [31 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, no : String) :- "inner-shells"(?1_2, 102 : Real), "inner-shell-fill"(?2_0, [32 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 102 : Real) :- "inner-shells"(?1_2, 102 : Real), "inner-shell-fill"(?2_0, [32 : Real, 8 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, lr : String) :- "inner-shells"(?1_2, 103 : Real), "inner-shell-fill"(?2_0, [32 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 103 : Real) :- "inner-shells"(?1_2, 103 : Real), "inner-shell-fill"(?2_0, [32 : Real, 9 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, unq : String) :- "inner-shells"(?1_2, 104 : Real), "inner-shell-fill"(?2_0, [32 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 104 : Real) :- "inner-shells"(?1_2, 104 : Real), "inner-shell-fill"(?2_0, [32 : Real, 10 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, unp : String) :- "inner-shells"(?1_2, 105 : Real), "inner-shell-fill"(?2_0, [32 : Real, 11 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 105 : Real) :- "inner-shells"(?1_2, 105 : Real), "inner-shell-fill"(?2_0, [32 : Real, 11 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, unh : String) :- "inner-shells"(?1_2, 106 : Real), "inner-shell-fill"(?2_0, [32 : Real, 12 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 106 : Real) :- "inner-shells"(?1_2, 106 : Real), "inner-shell-fill"(?2_0, [32 : Real, 12 : Real, 2 : Real], ?1_2).
"eleconf-sym"(?2_0, uns : String) :- "inner-shells"(?1_2, 107 : Real), "inner-shell-fill"(?2_0, [32 : Real, 13 : Real, 2 : Real], ?1_2).
"eleconf-num"(?2_0, 107 : Real) :- "inner-shells"(?1_2, 107 : Real), "inner-shell-fill"(?2_0, [32 : Real, 13 : Real, 2 : Real], ?1_2).
"newgroup-elements"(?e_0, ?g_1) :- "newgroup-num"(?g_1, ?n_2), englno(?n_2, ?e_0).
"newgroup-sym"(?2_0, h : String) :- "newgroup-num"(?2_0, 1 : Real).
"oldgroup-sym"(?3_0, h : String) :- "newgroup-num"(?1_2, 1 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, he : String) :- "newgroup-num"(?2_0, 2 : Real).
"oldgroup-sym"(?3_0, he : String) :- "newgroup-num"(?1_2, 2 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, li : String) :- "newgroup-num"(?2_0, 3 : Real).
"oldgroup-sym"(?3_0, li : String) :- "newgroup-num"(?1_2, 3 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, be : String) :- "newgroup-num"(?2_0, 4 : Real).
"oldgroup-sym"(?3_0, be : String) :- "newgroup-num"(?1_2, 4 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, b : String) :- "newgroup-num"(?2_0, 5 : Real).
"oldgroup-sym"(?3_0, b : String) :- "newgroup-num"(?1_2, 5 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, c : String) :- "newgroup-num"(?2_0, 6 : Real).
"oldgroup-sym"(?3_0, c : String) :- "newgroup-num"(?1_2, 6 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, n : String) :- "newgroup-num"(?2_0, 7 : Real).
"oldgroup-sym"(?3_0, n : String) :- "newgroup-num"(?1_2, 7 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, o : String) :- "newgroup-num"(?2_0, 8 : Real).
"oldgroup-sym"(?3_0, o : String) :- "newgroup-num"(?1_2, 8 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, f : String) :- "newgroup-num"(?2_0, 9 : Real).
"oldgroup-sym"(?3_0, f : String) :- "newgroup-num"(?1_2, 9 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ne : String) :- "newgroup-num"(?2_0, 10 : Real).
"oldgroup-sym"(?3_0, ne : String) :- "newgroup-num"(?1_2, 10 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, na : String) :- "newgroup-num"(?2_0, 11 : Real).
"oldgroup-sym"(?3_0, na : String) :- "newgroup-num"(?1_2, 11 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, mg : String) :- "newgroup-num"(?2_0, 12 : Real).
"oldgroup-sym"(?3_0, mg : String) :- "newgroup-num"(?1_2, 12 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, al : String) :- "newgroup-num"(?2_0, 13 : Real).
"oldgroup-sym"(?3_0, al : String) :- "newgroup-num"(?1_2, 13 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, si : String) :- "newgroup-num"(?2_0, 14 : Real).
"oldgroup-sym"(?3_0, si : String) :- "newgroup-num"(?1_2, 14 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, p : String) :- "newgroup-num"(?2_0, 15 : Real).
"oldgroup-sym"(?3_0, p : String) :- "newgroup-num"(?1_2, 15 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, s : String) :- "newgroup-num"(?2_0, 16 : Real).
"oldgroup-sym"(?3_0, s : String) :- "newgroup-num"(?1_2, 16 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, cl : String) :- "newgroup-num"(?2_0, 17 : Real).
"oldgroup-sym"(?3_0, cl : String) :- "newgroup-num"(?1_2, 17 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ar : String) :- "newgroup-num"(?2_0, 18 : Real).
"oldgroup-sym"(?3_0, ar : String) :- "newgroup-num"(?1_2, 18 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, k : String) :- "newgroup-num"(?2_0, 19 : Real).
"oldgroup-sym"(?3_0, k : String) :- "newgroup-num"(?1_2, 19 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ca : String) :- "newgroup-num"(?2_0, 20 : Real).
"oldgroup-sym"(?3_0, ca : String) :- "newgroup-num"(?1_2, 20 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, sc : String) :- "newgroup-num"(?2_0, 21 : Real).
"oldgroup-sym"(?3_0, sc : String) :- "newgroup-num"(?1_2, 21 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ti : String) :- "newgroup-num"(?2_0, 22 : Real).
"oldgroup-sym"(?3_0, ti : String) :- "newgroup-num"(?1_2, 22 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, v : String) :- "newgroup-num"(?2_0, 23 : Real).
"oldgroup-sym"(?3_0, v : String) :- "newgroup-num"(?1_2, 23 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, cr : String) :- "newgroup-num"(?2_0, 24 : Real).
"oldgroup-sym"(?3_0, cr : String) :- "newgroup-num"(?1_2, 24 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, mn : String) :- "newgroup-num"(?2_0, 25 : Real).
"oldgroup-sym"(?3_0, mn : String) :- "newgroup-num"(?1_2, 25 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, fe : String) :- "newgroup-num"(?2_0, 26 : Real).
"oldgroup-sym"(?3_0, fe : String) :- "newgroup-num"(?1_2, 26 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, co : String) :- "newgroup-num"(?2_0, 27 : Real).
"oldgroup-sym"(?3_0, co : String) :- "newgroup-num"(?1_2, 27 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ni : String) :- "newgroup-num"(?2_0, 28 : Real).
"oldgroup-sym"(?3_0, ni : String) :- "newgroup-num"(?1_2, 28 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, cu : String) :- "newgroup-num"(?2_0, 29 : Real).
"oldgroup-sym"(?3_0, cu : String) :- "newgroup-num"(?1_2, 29 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, zn : String) :- "newgroup-num"(?2_0, 30 : Real).
"oldgroup-sym"(?3_0, zn : String) :- "newgroup-num"(?1_2, 30 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ga : String) :- "newgroup-num"(?2_0, 31 : Real).
"oldgroup-sym"(?3_0, ga : String) :- "newgroup-num"(?1_2, 31 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ge : String) :- "newgroup-num"(?2_0, 32 : Real).
"oldgroup-sym"(?3_0, ge : String) :- "newgroup-num"(?1_2, 32 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, as : String) :- "newgroup-num"(?2_0, 33 : Real).
"oldgroup-sym"(?3_0, as : String) :- "newgroup-num"(?1_2, 33 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, se : String) :- "newgroup-num"(?2_0, 34 : Real).
"oldgroup-sym"(?3_0, se : String) :- "newgroup-num"(?1_2, 34 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, br : String) :- "newgroup-num"(?2_0, 35 : Real).
"oldgroup-sym"(?3_0, br : String) :- "newgroup-num"(?1_2, 35 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, kr : String) :- "newgroup-num"(?2_0, 36 : Real).
"oldgroup-sym"(?3_0, kr : String) :- "newgroup-num"(?1_2, 36 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, rb : String) :- "newgroup-num"(?2_0, 37 : Real).
"oldgroup-sym"(?3_0, rb : String) :- "newgroup-num"(?1_2, 37 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, sr : String) :- "newgroup-num"(?2_0, 38 : Real).
"oldgroup-sym"(?3_0, sr : String) :- "newgroup-num"(?1_2, 38 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, y : String) :- "newgroup-num"(?2_0, 39 : Real).
"oldgroup-sym"(?3_0, y : String) :- "newgroup-num"(?1_2, 39 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, zr : String) :- "newgroup-num"(?2_0, 40 : Real).
"oldgroup-sym"(?3_0, zr : String) :- "newgroup-num"(?1_2, 40 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, nb : String) :- "newgroup-num"(?2_0, 41 : Real).
"oldgroup-sym"(?3_0, nb : String) :- "newgroup-num"(?1_2, 41 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, mo : String) :- "newgroup-num"(?2_0, 42 : Real).
"oldgroup-sym"(?3_0, mo : String) :- "newgroup-num"(?1_2, 42 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, tc : String) :- "newgroup-num"(?2_0, 43 : Real).
"oldgroup-sym"(?3_0, tc : String) :- "newgroup-num"(?1_2, 43 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ru : String) :- "newgroup-num"(?2_0, 44 : Real).
"oldgroup-sym"(?3_0, ru : String) :- "newgroup-num"(?1_2, 44 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, rh : String) :- "newgroup-num"(?2_0, 45 : Real).
"oldgroup-sym"(?3_0, rh : String) :- "newgroup-num"(?1_2, 45 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, pd : String) :- "newgroup-num"(?2_0, 46 : Real).
"oldgroup-sym"(?3_0, pd : String) :- "newgroup-num"(?1_2, 46 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ag : String) :- "newgroup-num"(?2_0, 47 : Real).
"oldgroup-sym"(?3_0, ag : String) :- "newgroup-num"(?1_2, 47 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, cd : String) :- "newgroup-num"(?2_0, 48 : Real).
"oldgroup-sym"(?3_0, cd : String) :- "newgroup-num"(?1_2, 48 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, in : String) :- "newgroup-num"(?2_0, 49 : Real).
"oldgroup-sym"(?3_0, in : String) :- "newgroup-num"(?1_2, 49 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, sn : String) :- "newgroup-num"(?2_0, 50 : Real).
"oldgroup-sym"(?3_0, sn : String) :- "newgroup-num"(?1_2, 50 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, sb : String) :- "newgroup-num"(?2_0, 51 : Real).
"oldgroup-sym"(?3_0, sb : String) :- "newgroup-num"(?1_2, 51 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, te : String) :- "newgroup-num"(?2_0, 52 : Real).
"oldgroup-sym"(?3_0, te : String) :- "newgroup-num"(?1_2, 52 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, i : String) :- "newgroup-num"(?2_0, 53 : Real).
"oldgroup-sym"(?3_0, i : String) :- "newgroup-num"(?1_2, 53 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, xe : String) :- "newgroup-num"(?2_0, 54 : Real).
"oldgroup-sym"(?3_0, xe : String) :- "newgroup-num"(?1_2, 54 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, cs : String) :- "newgroup-num"(?2_0, 55 : Real).
"oldgroup-sym"(?3_0, cs : String) :- "newgroup-num"(?1_2, 55 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ba : String) :- "newgroup-num"(?2_0, 56 : Real).
"oldgroup-sym"(?3_0, ba : String) :- "newgroup-num"(?1_2, 56 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, la : String) :- "newgroup-num"(?2_0, 57 : Real).
"oldgroup-sym"(?3_0, la : String) :- "newgroup-num"(?1_2, 57 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ce : String) :- "newgroup-num"(?2_0, 58 : Real).
"oldgroup-sym"(?3_0, ce : String) :- "newgroup-num"(?1_2, 58 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, pr : String) :- "newgroup-num"(?2_0, 59 : Real).
"oldgroup-sym"(?3_0, pr : String) :- "newgroup-num"(?1_2, 59 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, nd : String) :- "newgroup-num"(?2_0, 60 : Real).
"oldgroup-sym"(?3_0, nd : String) :- "newgroup-num"(?1_2, 60 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, pm : String) :- "newgroup-num"(?2_0, 61 : Real).
"oldgroup-sym"(?3_0, pm : String) :- "newgroup-num"(?1_2, 61 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, sm : String) :- "newgroup-num"(?2_0, 62 : Real).
"oldgroup-sym"(?3_0, sm : String) :- "newgroup-num"(?1_2, 62 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, eu : String) :- "newgroup-num"(?2_0, 63 : Real).
"oldgroup-sym"(?3_0, eu : String) :- "newgroup-num"(?1_2, 63 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, gd : String) :- "newgroup-num"(?2_0, 64 : Real).
"oldgroup-sym"(?3_0, gd : String) :- "newgroup-num"(?1_2, 64 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, tb : String) :- "newgroup-num"(?2_0, 65 : Real).
"oldgroup-sym"(?3_0, tb : String) :- "newgroup-num"(?1_2, 65 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, dy : String) :- "newgroup-num"(?2_0, 66 : Real).
"oldgroup-sym"(?3_0, dy : String) :- "newgroup-num"(?1_2, 66 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ho : String) :- "newgroup-num"(?2_0, 67 : Real).
"oldgroup-sym"(?3_0, ho : String) :- "newgroup-num"(?1_2, 67 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, er : String) :- "newgroup-num"(?2_0, 68 : Real).
"oldgroup-sym"(?3_0, er : String) :- "newgroup-num"(?1_2, 68 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, tm : String) :- "newgroup-num"(?2_0, 69 : Real).
"oldgroup-sym"(?3_0, tm : String) :- "newgroup-num"(?1_2, 69 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, yb : String) :- "newgroup-num"(?2_0, 70 : Real).
"oldgroup-sym"(?3_0, yb : String) :- "newgroup-num"(?1_2, 70 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, lu : String) :- "newgroup-num"(?2_0, 71 : Real).
"oldgroup-sym"(?3_0, lu : String) :- "newgroup-num"(?1_2, 71 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, hf : String) :- "newgroup-num"(?2_0, 72 : Real).
"oldgroup-sym"(?3_0, hf : String) :- "newgroup-num"(?1_2, 72 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ta : String) :- "newgroup-num"(?2_0, 73 : Real).
"oldgroup-sym"(?3_0, ta : String) :- "newgroup-num"(?1_2, 73 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, w : String) :- "newgroup-num"(?2_0, 74 : Real).
"oldgroup-sym"(?3_0, w : String) :- "newgroup-num"(?1_2, 74 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, re : String) :- "newgroup-num"(?2_0, 75 : Real).
"oldgroup-sym"(?3_0, re : String) :- "newgroup-num"(?1_2, 75 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, os : String) :- "newgroup-num"(?2_0, 76 : Real).
"oldgroup-sym"(?3_0, os : String) :- "newgroup-num"(?1_2, 76 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ir : String) :- "newgroup-num"(?2_0, 77 : Real).
"oldgroup-sym"(?3_0, ir : String) :- "newgroup-num"(?1_2, 77 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, pt : String) :- "newgroup-num"(?2_0, 78 : Real).
"oldgroup-sym"(?3_0, pt : String) :- "newgroup-num"(?1_2, 78 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, au : String) :- "newgroup-num"(?2_0, 79 : Real).
"oldgroup-sym"(?3_0, au : String) :- "newgroup-num"(?1_2, 79 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, hg : String) :- "newgroup-num"(?2_0, 80 : Real).
"oldgroup-sym"(?3_0, hg : String) :- "newgroup-num"(?1_2, 80 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, tl : String) :- "newgroup-num"(?2_0, 81 : Real).
"oldgroup-sym"(?3_0, tl : String) :- "newgroup-num"(?1_2, 81 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, pb : String) :- "newgroup-num"(?2_0, 82 : Real).
"oldgroup-sym"(?3_0, pb : String) :- "newgroup-num"(?1_2, 82 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, bi : String) :- "newgroup-num"(?2_0, 83 : Real).
"oldgroup-sym"(?3_0, bi : String) :- "newgroup-num"(?1_2, 83 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, po : String) :- "newgroup-num"(?2_0, 84 : Real).
"oldgroup-sym"(?3_0, po : String) :- "newgroup-num"(?1_2, 84 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, at : String) :- "newgroup-num"(?2_0, 85 : Real).
"oldgroup-sym"(?3_0, at : String) :- "newgroup-num"(?1_2, 85 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, rn : String) :- "newgroup-num"(?2_0, 86 : Real).
"oldgroup-sym"(?3_0, rn : String) :- "newgroup-num"(?1_2, 86 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, fr : String) :- "newgroup-num"(?2_0, 87 : Real).
"oldgroup-sym"(?3_0, fr : String) :- "newgroup-num"(?1_2, 87 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ra : String) :- "newgroup-num"(?2_0, 88 : Real).
"oldgroup-sym"(?3_0, ra : String) :- "newgroup-num"(?1_2, 88 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, ac : String) :- "newgroup-num"(?2_0, 89 : Real).
"oldgroup-sym"(?3_0, ac : String) :- "newgroup-num"(?1_2, 89 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, th : String) :- "newgroup-num"(?2_0, 90 : Real).
"oldgroup-sym"(?3_0, th : String) :- "newgroup-num"(?1_2, 90 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, pa : String) :- "newgroup-num"(?2_0, 91 : Real).
"oldgroup-sym"(?3_0, pa : String) :- "newgroup-num"(?1_2, 91 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, u : String) :- "newgroup-num"(?2_0, 92 : Real).
"oldgroup-sym"(?3_0, u : String) :- "newgroup-num"(?1_2, 92 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, np : String) :- "newgroup-num"(?2_0, 93 : Real).
"oldgroup-sym"(?3_0, np : String) :- "newgroup-num"(?1_2, 93 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, pu : String) :- "newgroup-num"(?2_0, 94 : Real).
"oldgroup-sym"(?3_0, pu : String) :- "newgroup-num"(?1_2, 94 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, am : String) :- "newgroup-num"(?2_0, 95 : Real).
"oldgroup-sym"(?3_0, am : String) :- "newgroup-num"(?1_2, 95 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, cm : String) :- "newgroup-num"(?2_0, 96 : Real).
"oldgroup-sym"(?3_0, cm : String) :- "newgroup-num"(?1_2, 96 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, bk : String) :- "newgroup-num"(?2_0, 97 : Real).
"oldgroup-sym"(?3_0, bk : String) :- "newgroup-num"(?1_2, 97 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, cf : String) :- "newgroup-num"(?2_0, 98 : Real).
"oldgroup-sym"(?3_0, cf : String) :- "newgroup-num"(?1_2, 98 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, es : String) :- "newgroup-num"(?2_0, 99 : Real).
"oldgroup-sym"(?3_0, es : String) :- "newgroup-num"(?1_2, 99 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, fm : String) :- "newgroup-num"(?2_0, 100 : Real).
"oldgroup-sym"(?3_0, fm : String) :- "newgroup-num"(?1_2, 100 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, md : String) :- "newgroup-num"(?2_0, 101 : Real).
"oldgroup-sym"(?3_0, md : String) :- "newgroup-num"(?1_2, 101 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, no : String) :- "newgroup-num"(?2_0, 102 : Real).
"oldgroup-sym"(?3_0, no : String) :- "newgroup-num"(?1_2, 102 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, lr : String) :- "newgroup-num"(?2_0, 103 : Real).
"oldgroup-sym"(?3_0, lr : String) :- "newgroup-num"(?1_2, 103 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, unq : String) :- "newgroup-num"(?2_0, 104 : Real).
"oldgroup-sym"(?3_0, unq : String) :- "newgroup-num"(?1_2, 104 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, unp : String) :- "newgroup-num"(?2_0, 105 : Real).
"oldgroup-sym"(?3_0, unp : String) :- "newgroup-num"(?1_2, 105 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, unh : String) :- "newgroup-num"(?2_0, 106 : Real).
"oldgroup-sym"(?3_0, unh : String) :- "newgroup-num"(?1_2, 106 : Real), new2old(?3_0, ?1_2).
"newgroup-sym"(?2_0, uns : String) :- "newgroup-num"(?2_0, 107 : Real).
"oldgroup-sym"(?3_0, uns : String) :- "newgroup-num"(?1_2, 107 : Real), new2old(?3_0, ?1_2).
"check-all-eleconfs"(inconsistent[1 : Real]) :- "corrupt-eleconf"(1 : Real).
"check-all-eleconfs"(inconsistent[2 : Real]) :- "corrupt-eleconf"(2 : Real).
"check-all-eleconfs"(inconsistent[3 : Real]) :- "corrupt-eleconf"(3 : Real).
"check-all-eleconfs"(inconsistent[4 : Real]) :- "corrupt-eleconf"(4 : Real).
"check-all-eleconfs"(inconsistent[5 : Real]) :- "corrupt-eleconf"(5 : Real).
"check-all-eleconfs"(inconsistent[6 : Real]) :- "corrupt-eleconf"(6 : Real).
"check-all-eleconfs"(inconsistent[7 : Real]) :- "corrupt-eleconf"(7 : Real).
"check-all-eleconfs"(inconsistent[8 : Real]) :- "corrupt-eleconf"(8 : Real).
"check-all-eleconfs"(inconsistent[9 : Real]) :- "corrupt-eleconf"(9 : Real).
"check-all-eleconfs"(inconsistent[10 : Real]) :- "corrupt-eleconf"(10 : Real).
"check-all-eleconfs"(inconsistent[11 : Real]) :- "corrupt-eleconf"(11 : Real).
"check-all-eleconfs"(inconsistent[12 : Real]) :- "corrupt-eleconf"(12 : Real).
"check-all-eleconfs"(inconsistent[13 : Real]) :- "corrupt-eleconf"(13 : Real).
"check-all-eleconfs"(inconsistent[14 : Real]) :- "corrupt-eleconf"(14 : Real).
"check-all-eleconfs"(inconsistent[15 : Real]) :- "corrupt-eleconf"(15 : Real).
"check-all-eleconfs"(inconsistent[16 : Real]) :- "corrupt-eleconf"(16 : Real).
"check-all-eleconfs"(inconsistent[17 : Real]) :- "corrupt-eleconf"(17 : Real).
"check-all-eleconfs"(inconsistent[18 : Real]) :- "corrupt-eleconf"(18 : Real).
"check-all-eleconfs"(inconsistent[19 : Real]) :- "corrupt-eleconf"(19 : Real).
"check-all-eleconfs"(inconsistent[20 : Real]) :- "corrupt-eleconf"(20 : Real).
"check-all-eleconfs"(inconsistent[21 : Real]) :- "corrupt-eleconf"(21 : Real).
"check-all-eleconfs"(inconsistent[22 : Real]) :- "corrupt-eleconf"(22 : Real).
"check-all-eleconfs"(inconsistent[23 : Real]) :- "corrupt-eleconf"(23 : Real).
"check-all-eleconfs"(inconsistent[24 : Real]) :- "corrupt-eleconf"(24 : Real).
"check-all-eleconfs"(inconsistent[25 : Real]) :- "corrupt-eleconf"(25 : Real).
"check-all-eleconfs"(inconsistent[26 : Real]) :- "corrupt-eleconf"(26 : Real).
"check-all-eleconfs"(inconsistent[27 : Real]) :- "corrupt-eleconf"(27 : Real).
"check-all-eleconfs"(inconsistent[28 : Real]) :- "corrupt-eleconf"(28 : Real).
"check-all-eleconfs"(inconsistent[29 : Real]) :- "corrupt-eleconf"(29 : Real).
"check-all-eleconfs"(inconsistent[30 : Real]) :- "corrupt-eleconf"(30 : Real).
"check-all-eleconfs"(inconsistent[31 : Real]) :- "corrupt-eleconf"(31 : Real).
"check-all-eleconfs"(inconsistent[32 : Real]) :- "corrupt-eleconf"(32 : Real).
"check-all-eleconfs"(inconsistent[33 : Real]) :- "corrupt-eleconf"(33 : Real).
"check-all-eleconfs"(inconsistent[34 : Real]) :- "corrupt-eleconf"(34 : Real).
"check-all-eleconfs"(inconsistent[35 : Real]) :- "corrupt-eleconf"(35 : Real).
"check-all-eleconfs"(inconsistent[36 : Real]) :- "corrupt-eleconf"(36 : Real).
"check-all-eleconfs"(inconsistent[37 : Real]) :- "corrupt-eleconf"(37 : Real).
"check-all-eleconfs"(inconsistent[38 : Real]) :- "corrupt-eleconf"(38 : Real).
"check-all-eleconfs"(inconsistent[39 : Real]) :- "corrupt-eleconf"(39 : Real).
"check-all-eleconfs"(inconsistent[40 : Real]) :- "corrupt-eleconf"(40 : Real).
"check-all-eleconfs"(inconsistent[41 : Real]) :- "corrupt-eleconf"(41 : Real).
"check-all-eleconfs"(inconsistent[42 : Real]) :- "corrupt-eleconf"(42 : Real).
"check-all-eleconfs"(inconsistent[43 : Real]) :- "corrupt-eleconf"(43 : Real).
"check-all-eleconfs"(inconsistent[44 : Real]) :- "corrupt-eleconf"(44 : Real).
"check-all-eleconfs"(inconsistent[45 : Real]) :- "corrupt-eleconf"(45 : Real).
"check-all-eleconfs"(inconsistent[46 : Real]) :- "corrupt-eleconf"(46 : Real).
"check-all-eleconfs"(inconsistent[47 : Real]) :- "corrupt-eleconf"(47 : Real).
"check-all-eleconfs"(inconsistent[48 : Real]) :- "corrupt-eleconf"(48 : Real).
"check-all-eleconfs"(inconsistent[49 : Real]) :- "corrupt-eleconf"(49 : Real).
"check-all-eleconfs"(inconsistent[50 : Real]) :- "corrupt-eleconf"(50 : Real).
"check-all-eleconfs"(inconsistent[51 : Real]) :- "corrupt-eleconf"(51 : Real).
"check-all-eleconfs"(inconsistent[52 : Real]) :- "corrupt-eleconf"(52 : Real).
"check-all-eleconfs"(inconsistent[53 : Real]) :- "corrupt-eleconf"(53 : Real).
"check-all-eleconfs"(inconsistent[54 : Real]) :- "corrupt-eleconf"(54 : Real).
"check-all-eleconfs"(inconsistent[55 : Real]) :- "corrupt-eleconf"(55 : Real).
"check-all-eleconfs"(inconsistent[56 : Real]) :- "corrupt-eleconf"(56 : Real).
"check-all-eleconfs"(inconsistent[57 : Real]) :- "corrupt-eleconf"(57 : Real).
"check-all-eleconfs"(inconsistent[58 : Real]) :- "corrupt-eleconf"(58 : Real).
"check-all-eleconfs"(inconsistent[59 : Real]) :- "corrupt-eleconf"(59 : Real).
"check-all-eleconfs"(inconsistent[60 : Real]) :- "corrupt-eleconf"(60 : Real).
"check-all-eleconfs"(inconsistent[61 : Real]) :- "corrupt-eleconf"(61 : Real).
"check-all-eleconfs"(inconsistent[62 : Real]) :- "corrupt-eleconf"(62 : Real).
"check-all-eleconfs"(inconsistent[63 : Real]) :- "corrupt-eleconf"(63 : Real).
"check-all-eleconfs"(inconsistent[64 : Real]) :- "corrupt-eleconf"(64 : Real).
"check-all-eleconfs"(inconsistent[65 : Real]) :- "corrupt-eleconf"(65 : Real).
"check-all-eleconfs"(inconsistent[66 : Real]) :- "corrupt-eleconf"(66 : Real).
"check-all-eleconfs"(inconsistent[67 : Real]) :- "corrupt-eleconf"(67 : Real).
"check-all-eleconfs"(inconsistent[68 : Real]) :- "corrupt-eleconf"(68 : Real).
"check-all-eleconfs"(inconsistent[69 : Real]) :- "corrupt-eleconf"(69 : Real).
"check-all-eleconfs"(inconsistent[70 : Real]) :- "corrupt-eleconf"(70 : Real).
"check-all-eleconfs"(inconsistent[71 : Real]) :- "corrupt-eleconf"(71 : Real).
"check-all-eleconfs"(inconsistent[72 : Real]) :- "corrupt-eleconf"(72 : Real).
"check-all-eleconfs"(inconsistent[73 : Real]) :- "corrupt-eleconf"(73 : Real).
"check-all-eleconfs"(inconsistent[74 : Real]) :- "corrupt-eleconf"(74 : Real).
"check-all-eleconfs"(inconsistent[75 : Real]) :- "corrupt-eleconf"(75 : Real).
"check-all-eleconfs"(inconsistent[76 : Real]) :- "corrupt-eleconf"(76 : Real).
"check-all-eleconfs"(inconsistent[77 : Real]) :- "corrupt-eleconf"(77 : Real).
"check-all-eleconfs"(inconsistent[78 : Real]) :- "corrupt-eleconf"(78 : Real).
"check-all-eleconfs"(inconsistent[79 : Real]) :- "corrupt-eleconf"(79 : Real).
"check-all-eleconfs"(inconsistent[80 : Real]) :- "corrupt-eleconf"(80 : Real).
"check-all-eleconfs"(inconsistent[81 : Real]) :- "corrupt-eleconf"(81 : Real).
"check-all-eleconfs"(inconsistent[82 : Real]) :- "corrupt-eleconf"(82 : Real).
"check-all-eleconfs"(inconsistent[83 : Real]) :- "corrupt-eleconf"(83 : Real).
"check-all-eleconfs"(inconsistent[84 : Real]) :- "corrupt-eleconf"(84 : Real).
"check-all-eleconfs"(inconsistent[85 : Real]) :- "corrupt-eleconf"(85 : Real).
"check-all-eleconfs"(inconsistent[86 : Real]) :- "corrupt-eleconf"(86 : Real).
"check-all-eleconfs"(inconsistent[87 : Real]) :- "corrupt-eleconf"(87 : Real).
"check-all-eleconfs"(inconsistent[88 : Real]) :- "corrupt-eleconf"(88 : Real).
"check-all-eleconfs"(inconsistent[89 : Real]) :- "corrupt-eleconf"(89 : Real).
"check-all-eleconfs"(inconsistent[90 : Real]) :- "corrupt-eleconf"(90 : Real).
"check-all-eleconfs"(inconsistent[91 : Real]) :- "corrupt-eleconf"(91 : Real).
"check-all-eleconfs"(inconsistent[92 : Real]) :- "corrupt-eleconf"(92 : Real).
"check-all-eleconfs"(inconsistent[93 : Real]) :- "corrupt-eleconf"(93 : Real).
"check-all-eleconfs"(inconsistent[94 : Real]) :- "corrupt-eleconf"(94 : Real).
"check-all-eleconfs"(inconsistent[95 : Real]) :- "corrupt-eleconf"(95 : Real).
"check-all-eleconfs"(inconsistent[96 : Real]) :- "corrupt-eleconf"(96 : Real).
"check-all-eleconfs"(inconsistent[97 : Real]) :- "corrupt-eleconf"(97 : Real).
"check-all-eleconfs"(inconsistent[98 : Real]) :- "corrupt-eleconf"(98 : Real).
"check-all-eleconfs"(inconsistent[99 : Real]) :- "corrupt-eleconf"(99 : Real).
"check-all-eleconfs"(inconsistent[100 : Real]) :- "corrupt-eleconf"(100 : Real).
"check-all-eleconfs"(inconsistent[101 : Real]) :- "corrupt-eleconf"(101 : Real).
"check-all-eleconfs"(inconsistent[102 : Real]) :- "corrupt-eleconf"(102 : Real).
"check-all-eleconfs"(inconsistent[103 : Real]) :- "corrupt-eleconf"(103 : Real).
"check-all-eleconfs"(inconsistent[104 : Real]) :- "corrupt-eleconf"(104 : Real).
"check-all-eleconfs"(inconsistent[105 : Real]) :- "corrupt-eleconf"(105 : Real).
"check-all-eleconfs"(inconsistent[106 : Real]) :- "corrupt-eleconf"(106 : Real).
"check-all-eleconfs"(inconsistent[107 : Real]) :- "corrupt-eleconf"(107 : Real).
"newgroup-sym"(?2_0, ?symb_1) :- symbno(?1_2, ?symb_1), "newgroup-num"(?2_0, ?1_2).
"oldgroup-sym"(?3_0, ?symb_1) :- symbno(?2_2, ?symb_1), "newgroup-num"(?1_4, ?2_2), new2old(?3_0, ?1_4).
"oldgroup-sym"(lanthanide : String, ?symb_0) :- symbno(?eno_1, ?symb_0), greaterthanorequal(?eno_1, 58 : Real), lessthanorequal(?eno_1, 71 : Real).
"oldgroup-sym"(actinide : String, ?symb_0) :- symbno(?eno_1, ?symb_0), greaterthanorequal(?eno_1, 90 : Real), lessthanorequal(?eno_1, 103 : Real).
"oldgroup-num"(?1_0, ?eno_1) :- symbno(?eno_1, ?symb_2), "oldgroup-sym"(?1_0, ?symb_2).
"check-eleconf-sym"(?symb_0) :- symbno(?1_1, ?symb_0), "check-eleconf-num"(?1_1).
sum(?2_0, [?h_1|?t_2]) :- sum(?1_3, ?t_2), add(?2_0, ?h_1, ?1_3).
"newgroup-elements"(?e_0, 1 : Real) :- englno(1 : Real, ?e_0).
"newgroup-elements"(?e_0, 1 : Real) :- englno(3 : Real, ?e_0).
"newgroup-elements"(?e_0, 1 : Real) :- englno(11 : Real, ?e_0).
"newgroup-elements"(?e_0, 18 : Real) :- englno(2 : Real, ?e_0).
"newgroup-elements"(?e_0, 2 : Real) :- englno(4 : Real, ?e_0).
"newgroup-elements"(?e_0, 2 : Real) :- englno(12 : Real, ?e_0).
"newgroup-elements"(?e_0, 13 : Real) :- englno(5 : Real, ?e_0).
"newgroup-elements"(?e_0, 14 : Real) :- englno(6 : Real, ?e_0).
"newgroup-elements"(?e_0, 15 : Real) :- englno(7 : Real, ?e_0).
"newgroup-elements"(?e_0, 16 : Real) :- englno(8 : Real, ?e_0).
"newgroup-elements"(?e_0, 17 : Real) :- englno(9 : Real, ?e_0).
"newgroup-elements"(?e_0, 18 : Real) :- englno(10 : Real, ?e_0).
"check-eleconf-num"(?eno_0) :- "eleconf-num"(?1_1, ?eno_0), sum(?eno_0, ?1_1).
"corrupt-eleconf"(?eno_0) :- "eleconf-num"(?2_1, ?eno_0), sum(?1_3, ?2_1), notequal(?eno_0, ?1_3).
"check-eleconf-sym"(h : String) :- "check-eleconf-num"(1 : Real).
"check-eleconf-sym"(he : String) :- "check-eleconf-num"(2 : Real).
"check-eleconf-sym"(li : String) :- "check-eleconf-num"(3 : Real).
"check-eleconf-sym"(be : String) :- "check-eleconf-num"(4 : Real).
"check-eleconf-sym"(b : String) :- "check-eleconf-num"(5 : Real).
"check-eleconf-sym"(c : String) :- "check-eleconf-num"(6 : Real).
"check-eleconf-sym"(n : String) :- "check-eleconf-num"(7 : Real).
"check-eleconf-sym"(o : String) :- "check-eleconf-num"(8 : Real).
"check-eleconf-sym"(f : String) :- "check-eleconf-num"(9 : Real).
"check-eleconf-sym"(ne : String) :- "check-eleconf-num"(10 : Real).
"check-eleconf-sym"(na : String) :- "check-eleconf-num"(11 : Real).
"check-eleconf-sym"(mg : String) :- "check-eleconf-num"(12 : Real).
"check-eleconf-sym"(al : String) :- "check-eleconf-num"(13 : Real).
"check-eleconf-sym"(si : String) :- "check-eleconf-num"(14 : Real).
"check-eleconf-sym"(p : String) :- "check-eleconf-num"(15 : Real).
"check-eleconf-sym"(s : String) :- "check-eleconf-num"(16 : Real).
"check-eleconf-sym"(cl : String) :- "check-eleconf-num"(17 : Real).
"check-eleconf-sym"(ar : String) :- "check-eleconf-num"(18 : Real).
"check-eleconf-sym"(k : String) :- "check-eleconf-num"(19 : Real).
"check-eleconf-sym"(ca : String) :- "check-eleconf-num"(20 : Real).
"check-eleconf-sym"(sc : String) :- "check-eleconf-num"(21 : Real).
"check-eleconf-sym"(ti : String) :- "check-eleconf-num"(22 : Real).
"check-eleconf-sym"(v : String) :- "check-eleconf-num"(23 : Real).
"check-eleconf-sym"(cr : String) :- "check-eleconf-num"(24 : Real).
"check-eleconf-sym"(mn : String) :- "check-eleconf-num"(25 : Real).
"check-eleconf-sym"(fe : String) :- "check-eleconf-num"(26 : Real).
"check-eleconf-sym"(co : String) :- "check-eleconf-num"(27 : Real).
"check-eleconf-sym"(ni : String) :- "check-eleconf-num"(28 : Real).
"check-eleconf-sym"(cu : String) :- "check-eleconf-num"(29 : Real).
"check-eleconf-sym"(zn : String) :- "check-eleconf-num"(30 : Real).
"check-eleconf-sym"(ga : String) :- "check-eleconf-num"(31 : Real).
"check-eleconf-sym"(ge : String) :- "check-eleconf-num"(32 : Real).
"check-eleconf-sym"(as : String) :- "check-eleconf-num"(33 : Real).
"check-eleconf-sym"(se : String) :- "check-eleconf-num"(34 : Real).
"check-eleconf-sym"(br : String) :- "check-eleconf-num"(35 : Real).
"check-eleconf-sym"(kr : String) :- "check-eleconf-num"(36 : Real).
"check-eleconf-sym"(rb : String) :- "check-eleconf-num"(37 : Real).
"check-eleconf-sym"(sr : String) :- "check-eleconf-num"(38 : Real).
"check-eleconf-sym"(y : String) :- "check-eleconf-num"(39 : Real).
"check-eleconf-sym"(zr : String) :- "check-eleconf-num"(40 : Real).
"check-eleconf-sym"(nb : String) :- "check-eleconf-num"(41 : Real).
"check-eleconf-sym"(mo : String) :- "check-eleconf-num"(42 : Real).
"check-eleconf-sym"(tc : String) :- "check-eleconf-num"(43 : Real).
"check-eleconf-sym"(ru : String) :- "check-eleconf-num"(44 : Real).
"check-eleconf-sym"(rh : String) :- "check-eleconf-num"(45 : Real).
"check-eleconf-sym"(pd : String) :- "check-eleconf-num"(46 : Real).
"check-eleconf-sym"(ag : String) :- "check-eleconf-num"(47 : Real).
"check-eleconf-sym"(cd : String) :- "check-eleconf-num"(48 : Real).
"check-eleconf-sym"(in : String) :- "check-eleconf-num"(49 : Real).
"check-eleconf-sym"(sn : String) :- "check-eleconf-num"(50 : Real).
"check-eleconf-sym"(sb : String) :- "check-eleconf-num"(51 : Real).
"check-eleconf-sym"(te : String) :- "check-eleconf-num"(52 : Real).
"check-eleconf-sym"(i : String) :- "check-eleconf-num"(53 : Real).
"check-eleconf-sym"(xe : String) :- "check-eleconf-num"(54 : Real).
"check-eleconf-sym"(cs : String) :- "check-eleconf-num"(55 : Real).
"check-eleconf-sym"(ba : String) :- "check-eleconf-num"(56 : Real).
"check-eleconf-sym"(la : String) :- "check-eleconf-num"(57 : Real).
"check-eleconf-sym"(ce : String) :- "check-eleconf-num"(58 : Real).
"check-eleconf-sym"(pr : String) :- "check-eleconf-num"(59 : Real).
"check-eleconf-sym"(nd : String) :- "check-eleconf-num"(60 : Real).
"check-eleconf-sym"(pm : String) :- "check-eleconf-num"(61 : Real).
"check-eleconf-sym"(sm : String) :- "check-eleconf-num"(62 : Real).
"check-eleconf-sym"(eu : String) :- "check-eleconf-num"(63 : Real).
"check-eleconf-sym"(gd : String) :- "check-eleconf-num"(64 : Real).
"check-eleconf-sym"(tb : String) :- "check-eleconf-num"(65 : Real).
"check-eleconf-sym"(dy : String) :- "check-eleconf-num"(66 : Real).
"check-eleconf-sym"(ho : String) :- "check-eleconf-num"(67 : Real).
"check-eleconf-sym"(er : String) :- "check-eleconf-num"(68 : Real).
"check-eleconf-sym"(tm : String) :- "check-eleconf-num"(69 : Real).
"check-eleconf-sym"(yb : String) :- "check-eleconf-num"(70 : Real).
"check-eleconf-sym"(lu : String) :- "check-eleconf-num"(71 : Real).
"check-eleconf-sym"(hf : String) :- "check-eleconf-num"(72 : Real).
"check-eleconf-sym"(ta : String) :- "check-eleconf-num"(73 : Real).
"check-eleconf-sym"(w : String) :- "check-eleconf-num"(74 : Real).
"check-eleconf-sym"(re : String) :- "check-eleconf-num"(75 : Real).
"check-eleconf-sym"(os : String) :- "check-eleconf-num"(76 : Real).
"check-eleconf-sym"(ir : String) :- "check-eleconf-num"(77 : Real).
"check-eleconf-sym"(pt : String) :- "check-eleconf-num"(78 : Real).
"check-eleconf-sym"(au : String) :- "check-eleconf-num"(79 : Real).
"check-eleconf-sym"(hg : String) :- "check-eleconf-num"(80 : Real).
"check-eleconf-sym"(tl : String) :- "check-eleconf-num"(81 : Real).
"check-eleconf-sym"(pb : String) :- "check-eleconf-num"(82 : Real).
"check-eleconf-sym"(bi : String) :- "check-eleconf-num"(83 : Real).
"check-eleconf-sym"(po : String) :- "check-eleconf-num"(84 : Real).
"check-eleconf-sym"(at : String) :- "check-eleconf-num"(85 : Real).
"check-eleconf-sym"(rn : String) :- "check-eleconf-num"(86 : Real).
"check-eleconf-sym"(fr : String) :- "check-eleconf-num"(87 : Real).
"check-eleconf-sym"(ra : String) :- "check-eleconf-num"(88 : Real).
"check-eleconf-sym"(ac : String) :- "check-eleconf-num"(89 : Real).
"check-eleconf-sym"(th : String) :- "check-eleconf-num"(90 : Real).
"check-eleconf-sym"(pa : String) :- "check-eleconf-num"(91 : Real).
"check-eleconf-sym"(u : String) :- "check-eleconf-num"(92 : Real).
"check-eleconf-sym"(np : String) :- "check-eleconf-num"(93 : Real).
"check-eleconf-sym"(pu : String) :- "check-eleconf-num"(94 : Real).
"check-eleconf-sym"(am : String) :- "check-eleconf-num"(95 : Real).
"check-eleconf-sym"(cm : String) :- "check-eleconf-num"(96 : Real).
"check-eleconf-sym"(bk : String) :- "check-eleconf-num"(97 : Real).
"check-eleconf-sym"(cf : String) :- "check-eleconf-num"(98 : Real).
"check-eleconf-sym"(es : String) :- "check-eleconf-num"(99 : Real).
"check-eleconf-sym"(fm : String) :- "check-eleconf-num"(100 : Real).
"check-eleconf-sym"(md : String) :- "check-eleconf-num"(101 : Real).
"check-eleconf-sym"(no : String) :- "check-eleconf-num"(102 : Real).
"check-eleconf-sym"(lr : String) :- "check-eleconf-num"(103 : Real).
"check-eleconf-sym"(unq : String) :- "check-eleconf-num"(104 : Real).
"check-eleconf-sym"(unp : String) :- "check-eleconf-num"(105 : Real).
"check-eleconf-sym"(unh : String) :- "check-eleconf-num"(106 : Real).
"check-eleconf-sym"(uns : String) :- "check-eleconf-num"(107 : Real).
lessthanorequal(X, Y) :- lessThanOrEqual(X, Y).
lessthan(X, Y) :- lessThan(X, Y).
"newgroup-num"(?3_0, ?eno_1) :- element(?eno_1), lessthanorequal(13 : Real, ?eno_1), lessthanorequal(?eno_1, 57 : Real), subtract(?2_5, ?eno_1, 1 : Real), modulo(?1_7, ?2_5, 18 : Real), add(?3_0, 1 : Real, ?1_7).
"newgroup-num"(?3_0, ?eno_1) :- element(?eno_1), lessthanorequal(72 : Real, ?eno_1), lessthanorequal(?eno_1, 89 : Real), subtract(?2_5, ?eno_1, 69 : Real), modulo(?1_7, ?2_5, 18 : Real), add(?3_0, 1 : Real, ?1_7).
"newgroup-num"(?1_0, ?eno_1) :- element(?eno_1), lessthanorequal(104 : Real, ?eno_1), lessthanorequal(?eno_1, 107 : Real), subtract(?1_0, ?eno_1, 100 : Real).
"check-all-eleconfs"(inconsistent[?eno_0]) :- element(?eno_0), "corrupt-eleconf"(?eno_0).
greaterthanorequal(X, Y) :- greaterThanOrEqual(X, Y).
greaterthan(X, Y) :- greaterThan(X, Y).
"old-greaterthan"(main[?oldnof_0], main[?oldnos_1]) :- "string-greaterthan"(?oldnof_0, ?oldnos_1).
"old-greaterthan"(main[?oldnof_0], auxiliary[?oldnos_1]) :- "string-greaterthan"(?oldnof_0, ?oldnos_1).
"old-greaterthan"(auxiliary[?oldnof_0], main[?oldnos_1]) :- "string-greaterthan"(?oldnof_0, ?oldnos_1).
"old-greaterthan"(auxiliary[?oldnof_0], auxiliary[?oldnos_1]) :- "string-greaterthan"(?oldnof_0, ?oldnos_1).
appfun(?2_0, [?h_1|?r_2], ?l_3) :- appfun(?1_4, ?r_2, ?l_3), plex(?2_0, ?h_1, ?1_4).
"insert-old"(?2_0, ?group_1, ?name_2, [group[?gr_3, ?elmts_4]|?r_5]) :- "old-greaterthan"(?group_1, ?gr_3), "insert-old"(?1_7, ?group_1, ?name_2, ?r_5), plex(?2_0, group[?gr_3, ?elmts_4], ?1_7).
"insert-old"(?2_0, auxiliary[?oldno_1], ?name_2, [group[main[?oldno_1], ?elmts_3]|?r_4]) :- "insert-old"(?1_6, auxiliary[?oldno_1], ?name_2, ?r_4), plex(?2_0, group[main[?oldno_1], ?elmts_3], ?1_6).
modulo(?2_0, ?x_1, ?y_2) :- greaterthanorequal(?x_1, ?y_2), subtract(?1_4, ?x_1, ?y_2), modulo(?2_0, ?1_4, ?y_2).
"oldgroup-sym"(lanthanide : String, h : String) :- greaterthanorequal(1 : Real, 58 : Real), lessthanorequal(1 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, h : String) :- greaterthanorequal(1 : Real, 90 : Real), lessthanorequal(1 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, he : String) :- greaterthanorequal(2 : Real, 58 : Real), lessthanorequal(2 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, he : String) :- greaterthanorequal(2 : Real, 90 : Real), lessthanorequal(2 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, li : String) :- greaterthanorequal(3 : Real, 58 : Real), lessthanorequal(3 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, li : String) :- greaterthanorequal(3 : Real, 90 : Real), lessthanorequal(3 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, be : String) :- greaterthanorequal(4 : Real, 58 : Real), lessthanorequal(4 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, be : String) :- greaterthanorequal(4 : Real, 90 : Real), lessthanorequal(4 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, b : String) :- greaterthanorequal(5 : Real, 58 : Real), lessthanorequal(5 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, b : String) :- greaterthanorequal(5 : Real, 90 : Real), lessthanorequal(5 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, c : String) :- greaterthanorequal(6 : Real, 58 : Real), lessthanorequal(6 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, c : String) :- greaterthanorequal(6 : Real, 90 : Real), lessthanorequal(6 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, n : String) :- greaterthanorequal(7 : Real, 58 : Real), lessthanorequal(7 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, n : String) :- greaterthanorequal(7 : Real, 90 : Real), lessthanorequal(7 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, o : String) :- greaterthanorequal(8 : Real, 58 : Real), lessthanorequal(8 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, o : String) :- greaterthanorequal(8 : Real, 90 : Real), lessthanorequal(8 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, f : String) :- greaterthanorequal(9 : Real, 58 : Real), lessthanorequal(9 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, f : String) :- greaterthanorequal(9 : Real, 90 : Real), lessthanorequal(9 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ne : String) :- greaterthanorequal(10 : Real, 58 : Real), lessthanorequal(10 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ne : String) :- greaterthanorequal(10 : Real, 90 : Real), lessthanorequal(10 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, na : String) :- greaterthanorequal(11 : Real, 58 : Real), lessthanorequal(11 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, na : String) :- greaterthanorequal(11 : Real, 90 : Real), lessthanorequal(11 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, mg : String) :- greaterthanorequal(12 : Real, 58 : Real), lessthanorequal(12 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, mg : String) :- greaterthanorequal(12 : Real, 90 : Real), lessthanorequal(12 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, al : String) :- greaterthanorequal(13 : Real, 58 : Real), lessthanorequal(13 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, al : String) :- greaterthanorequal(13 : Real, 90 : Real), lessthanorequal(13 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, si : String) :- greaterthanorequal(14 : Real, 58 : Real), lessthanorequal(14 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, si : String) :- greaterthanorequal(14 : Real, 90 : Real), lessthanorequal(14 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, p : String) :- greaterthanorequal(15 : Real, 58 : Real), lessthanorequal(15 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, p : String) :- greaterthanorequal(15 : Real, 90 : Real), lessthanorequal(15 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, s : String) :- greaterthanorequal(16 : Real, 58 : Real), lessthanorequal(16 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, s : String) :- greaterthanorequal(16 : Real, 90 : Real), lessthanorequal(16 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, cl : String) :- greaterthanorequal(17 : Real, 58 : Real), lessthanorequal(17 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, cl : String) :- greaterthanorequal(17 : Real, 90 : Real), lessthanorequal(17 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ar : String) :- greaterthanorequal(18 : Real, 58 : Real), lessthanorequal(18 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ar : String) :- greaterthanorequal(18 : Real, 90 : Real), lessthanorequal(18 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, k : String) :- greaterthanorequal(19 : Real, 58 : Real), lessthanorequal(19 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, k : String) :- greaterthanorequal(19 : Real, 90 : Real), lessthanorequal(19 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ca : String) :- greaterthanorequal(20 : Real, 58 : Real), lessthanorequal(20 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ca : String) :- greaterthanorequal(20 : Real, 90 : Real), lessthanorequal(20 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, sc : String) :- greaterthanorequal(21 : Real, 58 : Real), lessthanorequal(21 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, sc : String) :- greaterthanorequal(21 : Real, 90 : Real), lessthanorequal(21 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ti : String) :- greaterthanorequal(22 : Real, 58 : Real), lessthanorequal(22 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ti : String) :- greaterthanorequal(22 : Real, 90 : Real), lessthanorequal(22 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, v : String) :- greaterthanorequal(23 : Real, 58 : Real), lessthanorequal(23 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, v : String) :- greaterthanorequal(23 : Real, 90 : Real), lessthanorequal(23 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, cr : String) :- greaterthanorequal(24 : Real, 58 : Real), lessthanorequal(24 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, cr : String) :- greaterthanorequal(24 : Real, 90 : Real), lessthanorequal(24 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, mn : String) :- greaterthanorequal(25 : Real, 58 : Real), lessthanorequal(25 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, mn : String) :- greaterthanorequal(25 : Real, 90 : Real), lessthanorequal(25 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, fe : String) :- greaterthanorequal(26 : Real, 58 : Real), lessthanorequal(26 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, fe : String) :- greaterthanorequal(26 : Real, 90 : Real), lessthanorequal(26 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, co : String) :- greaterthanorequal(27 : Real, 58 : Real), lessthanorequal(27 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, co : String) :- greaterthanorequal(27 : Real, 90 : Real), lessthanorequal(27 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ni : String) :- greaterthanorequal(28 : Real, 58 : Real), lessthanorequal(28 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ni : String) :- greaterthanorequal(28 : Real, 90 : Real), lessthanorequal(28 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, cu : String) :- greaterthanorequal(29 : Real, 58 : Real), lessthanorequal(29 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, cu : String) :- greaterthanorequal(29 : Real, 90 : Real), lessthanorequal(29 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, zn : String) :- greaterthanorequal(30 : Real, 58 : Real), lessthanorequal(30 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, zn : String) :- greaterthanorequal(30 : Real, 90 : Real), lessthanorequal(30 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ga : String) :- greaterthanorequal(31 : Real, 58 : Real), lessthanorequal(31 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ga : String) :- greaterthanorequal(31 : Real, 90 : Real), lessthanorequal(31 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ge : String) :- greaterthanorequal(32 : Real, 58 : Real), lessthanorequal(32 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ge : String) :- greaterthanorequal(32 : Real, 90 : Real), lessthanorequal(32 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, as : String) :- greaterthanorequal(33 : Real, 58 : Real), lessthanorequal(33 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, as : String) :- greaterthanorequal(33 : Real, 90 : Real), lessthanorequal(33 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, se : String) :- greaterthanorequal(34 : Real, 58 : Real), lessthanorequal(34 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, se : String) :- greaterthanorequal(34 : Real, 90 : Real), lessthanorequal(34 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, br : String) :- greaterthanorequal(35 : Real, 58 : Real), lessthanorequal(35 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, br : String) :- greaterthanorequal(35 : Real, 90 : Real), lessthanorequal(35 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, kr : String) :- greaterthanorequal(36 : Real, 58 : Real), lessthanorequal(36 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, kr : String) :- greaterthanorequal(36 : Real, 90 : Real), lessthanorequal(36 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, rb : String) :- greaterthanorequal(37 : Real, 58 : Real), lessthanorequal(37 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, rb : String) :- greaterthanorequal(37 : Real, 90 : Real), lessthanorequal(37 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, sr : String) :- greaterthanorequal(38 : Real, 58 : Real), lessthanorequal(38 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, sr : String) :- greaterthanorequal(38 : Real, 90 : Real), lessthanorequal(38 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, y : String) :- greaterthanorequal(39 : Real, 58 : Real), lessthanorequal(39 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, y : String) :- greaterthanorequal(39 : Real, 90 : Real), lessthanorequal(39 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, zr : String) :- greaterthanorequal(40 : Real, 58 : Real), lessthanorequal(40 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, zr : String) :- greaterthanorequal(40 : Real, 90 : Real), lessthanorequal(40 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, nb : String) :- greaterthanorequal(41 : Real, 58 : Real), lessthanorequal(41 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, nb : String) :- greaterthanorequal(41 : Real, 90 : Real), lessthanorequal(41 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, mo : String) :- greaterthanorequal(42 : Real, 58 : Real), lessthanorequal(42 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, mo : String) :- greaterthanorequal(42 : Real, 90 : Real), lessthanorequal(42 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, tc : String) :- greaterthanorequal(43 : Real, 58 : Real), lessthanorequal(43 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, tc : String) :- greaterthanorequal(43 : Real, 90 : Real), lessthanorequal(43 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ru : String) :- greaterthanorequal(44 : Real, 58 : Real), lessthanorequal(44 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ru : String) :- greaterthanorequal(44 : Real, 90 : Real), lessthanorequal(44 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, rh : String) :- greaterthanorequal(45 : Real, 58 : Real), lessthanorequal(45 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, rh : String) :- greaterthanorequal(45 : Real, 90 : Real), lessthanorequal(45 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, pd : String) :- greaterthanorequal(46 : Real, 58 : Real), lessthanorequal(46 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, pd : String) :- greaterthanorequal(46 : Real, 90 : Real), lessthanorequal(46 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ag : String) :- greaterthanorequal(47 : Real, 58 : Real), lessthanorequal(47 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ag : String) :- greaterthanorequal(47 : Real, 90 : Real), lessthanorequal(47 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, cd : String) :- greaterthanorequal(48 : Real, 58 : Real), lessthanorequal(48 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, cd : String) :- greaterthanorequal(48 : Real, 90 : Real), lessthanorequal(48 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, in : String) :- greaterthanorequal(49 : Real, 58 : Real), lessthanorequal(49 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, in : String) :- greaterthanorequal(49 : Real, 90 : Real), lessthanorequal(49 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, sn : String) :- greaterthanorequal(50 : Real, 58 : Real), lessthanorequal(50 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, sn : String) :- greaterthanorequal(50 : Real, 90 : Real), lessthanorequal(50 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, sb : String) :- greaterthanorequal(51 : Real, 58 : Real), lessthanorequal(51 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, sb : String) :- greaterthanorequal(51 : Real, 90 : Real), lessthanorequal(51 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, te : String) :- greaterthanorequal(52 : Real, 58 : Real), lessthanorequal(52 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, te : String) :- greaterthanorequal(52 : Real, 90 : Real), lessthanorequal(52 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, i : String) :- greaterthanorequal(53 : Real, 58 : Real), lessthanorequal(53 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, i : String) :- greaterthanorequal(53 : Real, 90 : Real), lessthanorequal(53 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, xe : String) :- greaterthanorequal(54 : Real, 58 : Real), lessthanorequal(54 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, xe : String) :- greaterthanorequal(54 : Real, 90 : Real), lessthanorequal(54 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, cs : String) :- greaterthanorequal(55 : Real, 58 : Real), lessthanorequal(55 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, cs : String) :- greaterthanorequal(55 : Real, 90 : Real), lessthanorequal(55 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ba : String) :- greaterthanorequal(56 : Real, 58 : Real), lessthanorequal(56 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ba : String) :- greaterthanorequal(56 : Real, 90 : Real), lessthanorequal(56 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, la : String) :- greaterthanorequal(57 : Real, 58 : Real), lessthanorequal(57 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, la : String) :- greaterthanorequal(57 : Real, 90 : Real), lessthanorequal(57 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ce : String) :- greaterthanorequal(58 : Real, 58 : Real), lessthanorequal(58 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ce : String) :- greaterthanorequal(58 : Real, 90 : Real), lessthanorequal(58 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, pr : String) :- greaterthanorequal(59 : Real, 58 : Real), lessthanorequal(59 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, pr : String) :- greaterthanorequal(59 : Real, 90 : Real), lessthanorequal(59 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, nd : String) :- greaterthanorequal(60 : Real, 58 : Real), lessthanorequal(60 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, nd : String) :- greaterthanorequal(60 : Real, 90 : Real), lessthanorequal(60 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, pm : String) :- greaterthanorequal(61 : Real, 58 : Real), lessthanorequal(61 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, pm : String) :- greaterthanorequal(61 : Real, 90 : Real), lessthanorequal(61 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, sm : String) :- greaterthanorequal(62 : Real, 58 : Real), lessthanorequal(62 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, sm : String) :- greaterthanorequal(62 : Real, 90 : Real), lessthanorequal(62 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, eu : String) :- greaterthanorequal(63 : Real, 58 : Real), lessthanorequal(63 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, eu : String) :- greaterthanorequal(63 : Real, 90 : Real), lessthanorequal(63 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, gd : String) :- greaterthanorequal(64 : Real, 58 : Real), lessthanorequal(64 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, gd : String) :- greaterthanorequal(64 : Real, 90 : Real), lessthanorequal(64 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, tb : String) :- greaterthanorequal(65 : Real, 58 : Real), lessthanorequal(65 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, tb : String) :- greaterthanorequal(65 : Real, 90 : Real), lessthanorequal(65 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, dy : String) :- greaterthanorequal(66 : Real, 58 : Real), lessthanorequal(66 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, dy : String) :- greaterthanorequal(66 : Real, 90 : Real), lessthanorequal(66 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ho : String) :- greaterthanorequal(67 : Real, 58 : Real), lessthanorequal(67 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ho : String) :- greaterthanorequal(67 : Real, 90 : Real), lessthanorequal(67 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, er : String) :- greaterthanorequal(68 : Real, 58 : Real), lessthanorequal(68 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, er : String) :- greaterthanorequal(68 : Real, 90 : Real), lessthanorequal(68 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, tm : String) :- greaterthanorequal(69 : Real, 58 : Real), lessthanorequal(69 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, tm : String) :- greaterthanorequal(69 : Real, 90 : Real), lessthanorequal(69 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, yb : String) :- greaterthanorequal(70 : Real, 58 : Real), lessthanorequal(70 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, yb : String) :- greaterthanorequal(70 : Real, 90 : Real), lessthanorequal(70 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, lu : String) :- greaterthanorequal(71 : Real, 58 : Real), lessthanorequal(71 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, lu : String) :- greaterthanorequal(71 : Real, 90 : Real), lessthanorequal(71 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, hf : String) :- greaterthanorequal(72 : Real, 58 : Real), lessthanorequal(72 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, hf : String) :- greaterthanorequal(72 : Real, 90 : Real), lessthanorequal(72 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ta : String) :- greaterthanorequal(73 : Real, 58 : Real), lessthanorequal(73 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ta : String) :- greaterthanorequal(73 : Real, 90 : Real), lessthanorequal(73 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, w : String) :- greaterthanorequal(74 : Real, 58 : Real), lessthanorequal(74 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, w : String) :- greaterthanorequal(74 : Real, 90 : Real), lessthanorequal(74 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, re : String) :- greaterthanorequal(75 : Real, 58 : Real), lessthanorequal(75 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, re : String) :- greaterthanorequal(75 : Real, 90 : Real), lessthanorequal(75 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, os : String) :- greaterthanorequal(76 : Real, 58 : Real), lessthanorequal(76 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, os : String) :- greaterthanorequal(76 : Real, 90 : Real), lessthanorequal(76 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ir : String) :- greaterthanorequal(77 : Real, 58 : Real), lessthanorequal(77 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ir : String) :- greaterthanorequal(77 : Real, 90 : Real), lessthanorequal(77 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, pt : String) :- greaterthanorequal(78 : Real, 58 : Real), lessthanorequal(78 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, pt : String) :- greaterthanorequal(78 : Real, 90 : Real), lessthanorequal(78 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, au : String) :- greaterthanorequal(79 : Real, 58 : Real), lessthanorequal(79 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, au : String) :- greaterthanorequal(79 : Real, 90 : Real), lessthanorequal(79 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, hg : String) :- greaterthanorequal(80 : Real, 58 : Real), lessthanorequal(80 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, hg : String) :- greaterthanorequal(80 : Real, 90 : Real), lessthanorequal(80 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, tl : String) :- greaterthanorequal(81 : Real, 58 : Real), lessthanorequal(81 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, tl : String) :- greaterthanorequal(81 : Real, 90 : Real), lessthanorequal(81 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, pb : String) :- greaterthanorequal(82 : Real, 58 : Real), lessthanorequal(82 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, pb : String) :- greaterthanorequal(82 : Real, 90 : Real), lessthanorequal(82 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, bi : String) :- greaterthanorequal(83 : Real, 58 : Real), lessthanorequal(83 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, bi : String) :- greaterthanorequal(83 : Real, 90 : Real), lessthanorequal(83 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, po : String) :- greaterthanorequal(84 : Real, 58 : Real), lessthanorequal(84 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, po : String) :- greaterthanorequal(84 : Real, 90 : Real), lessthanorequal(84 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, at : String) :- greaterthanorequal(85 : Real, 58 : Real), lessthanorequal(85 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, at : String) :- greaterthanorequal(85 : Real, 90 : Real), lessthanorequal(85 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, rn : String) :- greaterthanorequal(86 : Real, 58 : Real), lessthanorequal(86 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, rn : String) :- greaterthanorequal(86 : Real, 90 : Real), lessthanorequal(86 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, fr : String) :- greaterthanorequal(87 : Real, 58 : Real), lessthanorequal(87 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, fr : String) :- greaterthanorequal(87 : Real, 90 : Real), lessthanorequal(87 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ra : String) :- greaterthanorequal(88 : Real, 58 : Real), lessthanorequal(88 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ra : String) :- greaterthanorequal(88 : Real, 90 : Real), lessthanorequal(88 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, ac : String) :- greaterthanorequal(89 : Real, 58 : Real), lessthanorequal(89 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, ac : String) :- greaterthanorequal(89 : Real, 90 : Real), lessthanorequal(89 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, th : String) :- greaterthanorequal(90 : Real, 58 : Real), lessthanorequal(90 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, th : String) :- greaterthanorequal(90 : Real, 90 : Real), lessthanorequal(90 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, pa : String) :- greaterthanorequal(91 : Real, 58 : Real), lessthanorequal(91 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, pa : String) :- greaterthanorequal(91 : Real, 90 : Real), lessthanorequal(91 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, u : String) :- greaterthanorequal(92 : Real, 58 : Real), lessthanorequal(92 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, u : String) :- greaterthanorequal(92 : Real, 90 : Real), lessthanorequal(92 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, np : String) :- greaterthanorequal(93 : Real, 58 : Real), lessthanorequal(93 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, np : String) :- greaterthanorequal(93 : Real, 90 : Real), lessthanorequal(93 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, pu : String) :- greaterthanorequal(94 : Real, 58 : Real), lessthanorequal(94 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, pu : String) :- greaterthanorequal(94 : Real, 90 : Real), lessthanorequal(94 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, am : String) :- greaterthanorequal(95 : Real, 58 : Real), lessthanorequal(95 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, am : String) :- greaterthanorequal(95 : Real, 90 : Real), lessthanorequal(95 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, cm : String) :- greaterthanorequal(96 : Real, 58 : Real), lessthanorequal(96 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, cm : String) :- greaterthanorequal(96 : Real, 90 : Real), lessthanorequal(96 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, bk : String) :- greaterthanorequal(97 : Real, 58 : Real), lessthanorequal(97 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, bk : String) :- greaterthanorequal(97 : Real, 90 : Real), lessthanorequal(97 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, cf : String) :- greaterthanorequal(98 : Real, 58 : Real), lessthanorequal(98 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, cf : String) :- greaterthanorequal(98 : Real, 90 : Real), lessthanorequal(98 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, es : String) :- greaterthanorequal(99 : Real, 58 : Real), lessthanorequal(99 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, es : String) :- greaterthanorequal(99 : Real, 90 : Real), lessthanorequal(99 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, fm : String) :- greaterthanorequal(100 : Real, 58 : Real), lessthanorequal(100 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, fm : String) :- greaterthanorequal(100 : Real, 90 : Real), lessthanorequal(100 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, md : String) :- greaterthanorequal(101 : Real, 58 : Real), lessthanorequal(101 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, md : String) :- greaterthanorequal(101 : Real, 90 : Real), lessthanorequal(101 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, no : String) :- greaterthanorequal(102 : Real, 58 : Real), lessthanorequal(102 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, no : String) :- greaterthanorequal(102 : Real, 90 : Real), lessthanorequal(102 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, lr : String) :- greaterthanorequal(103 : Real, 58 : Real), lessthanorequal(103 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, lr : String) :- greaterthanorequal(103 : Real, 90 : Real), lessthanorequal(103 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, unq : String) :- greaterthanorequal(104 : Real, 58 : Real), lessthanorequal(104 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, unq : String) :- greaterthanorequal(104 : Real, 90 : Real), lessthanorequal(104 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, unp : String) :- greaterthanorequal(105 : Real, 58 : Real), lessthanorequal(105 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, unp : String) :- greaterthanorequal(105 : Real, 90 : Real), lessthanorequal(105 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, unh : String) :- greaterthanorequal(106 : Real, 58 : Real), lessthanorequal(106 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, unh : String) :- greaterthanorequal(106 : Real, 90 : Real), lessthanorequal(106 : Real, 103 : Real).
"oldgroup-sym"(lanthanide : String, uns : String) :- greaterthanorequal(107 : Real, 58 : Real), lessthanorequal(107 : Real, 71 : Real).
"oldgroup-sym"(actinide : String, uns : String) :- greaterthanorequal(107 : Real, 90 : Real), lessthanorequal(107 : Real, 103 : Real).
missint(?1_0, [?f_1, ?s_2|?r_3]) :- add(?s_2, ?f_1, 1 : Real), missint(?1_0, [?s_2|?r_3]).
missint(?5_0, [?f_1, ?s_2|?r_3]) :- add(?1_4, ?f_1, 1 : Real), add(?4_6, ?f_1, 1 : Real), plex(?3_8, ?4_6, ?s_2, ?r_3), missint(?2_10, ?3_8), plex(?5_0, ?1_4, ?2_10).
sum(?2_0, [?h_1|[]]) :- add(?2_0, ?h_1, 0 : Real).
"insert-old"(?2_0, auxiliary[?oldno_1], ?name_2, [group[main[?oldno_1], ?elmts_3]|[]]) :- plex(?2_0, group[main[?oldno_1], ?elmts_3], [group[auxiliary[?oldno_1], [?name_2]]]).
"insert-old"(?2_0, auxiliary[?oldno_1], ?name_2, [group[main[?oldno_1], ?elmts_3]|[group[auxiliary[?oldno_1], ?elmts_4]|?r_5]]) :- plex(?2_0, group[main[?oldno_1], ?elmts_3], [group[auxiliary[?oldno_1], [?name_2|?elmts_4]]|?r_5]).
"insert-old"(?2_0, auxiliary[?oldno_1], ?name_2, [group[main[?oldno_1], ?elmts_3]|[group[?gr_4, ?elmts_5]|?r_6]]) :- plex(?2_0, group[main[?oldno_1], ?elmts_3], [group[auxiliary[?oldno_1], [?name_2]], group[?gr_4, ?elmts_5]|?r_6]).
appfun(?2_0, [?h_1|[]], ?l_2) :- plex(?2_0, ?h_1, ?l_2).
"oldgroup-sym"(?3_0, h : String) :- new2old(?3_0, 1 : Real).
"oldgroup-sym"(?3_0, he : String) :- new2old(?3_0, 18 : Real).
"oldgroup-sym"(?3_0, li : String) :- new2old(?3_0, 1 : Real).
"oldgroup-sym"(?3_0, be : String) :- new2old(?3_0, 2 : Real).
"oldgroup-sym"(?3_0, b : String) :- new2old(?3_0, 13 : Real).
"oldgroup-sym"(?3_0, c : String) :- new2old(?3_0, 14 : Real).
"oldgroup-sym"(?3_0, n : String) :- new2old(?3_0, 15 : Real).
"oldgroup-sym"(?3_0, o : String) :- new2old(?3_0, 16 : Real).
"oldgroup-sym"(?3_0, f : String) :- new2old(?3_0, 17 : Real).
"oldgroup-sym"(?3_0, ne : String) :- new2old(?3_0, 18 : Real).
"oldgroup-sym"(?3_0, na : String) :- new2old(?3_0, 1 : Real).
"oldgroup-sym"(?3_0, mg : String) :- new2old(?3_0, 2 : Real).
"insert-new"(?2_0, ?group_1, ?name_2, [group[?gr_3, ?elmts_4]|?r_5]) :- greaterthan(?group_1, ?gr_3), "insert-new"(?1_7, ?group_1, ?name_2, ?r_5), plex(?2_0, group[?gr_3, ?elmts_4], ?1_7).
"oldgroup-num"(?1_0, 1 : Real) :- "oldgroup-sym"(?1_0, h : String).
"oldgroup-num"(?1_0, 2 : Real) :- "oldgroup-sym"(?1_0, he : String).
"oldgroup-num"(?1_0, 3 : Real) :- "oldgroup-sym"(?1_0, li : String).
"oldgroup-num"(?1_0, 4 : Real) :- "oldgroup-sym"(?1_0, be : String).
"oldgroup-num"(?1_0, 5 : Real) :- "oldgroup-sym"(?1_0, b : String).
"oldgroup-num"(?1_0, 6 : Real) :- "oldgroup-sym"(?1_0, c : String).
"oldgroup-num"(?1_0, 7 : Real) :- "oldgroup-sym"(?1_0, n : String).
"oldgroup-num"(?1_0, 8 : Real) :- "oldgroup-sym"(?1_0, o : String).
"oldgroup-num"(?1_0, 9 : Real) :- "oldgroup-sym"(?1_0, f : String).
"oldgroup-num"(?1_0, 10 : Real) :- "oldgroup-sym"(?1_0, ne : String).
"oldgroup-num"(?1_0, 11 : Real) :- "oldgroup-sym"(?1_0, na : String).
"oldgroup-num"(?1_0, 12 : Real) :- "oldgroup-sym"(?1_0, mg : String).
"oldgroup-num"(?1_0, 13 : Real) :- "oldgroup-sym"(?1_0, al : String).
"oldgroup-num"(?1_0, 14 : Real) :- "oldgroup-sym"(?1_0, si : String).
"oldgroup-num"(?1_0, 15 : Real) :- "oldgroup-sym"(?1_0, p : String).
"oldgroup-num"(?1_0, 16 : Real) :- "oldgroup-sym"(?1_0, s : String).
"oldgroup-num"(?1_0, 17 : Real) :- "oldgroup-sym"(?1_0, cl : String).
"oldgroup-num"(?1_0, 18 : Real) :- "oldgroup-sym"(?1_0, ar : String).
"oldgroup-num"(?1_0, 19 : Real) :- "oldgroup-sym"(?1_0, k : String).
"oldgroup-num"(?1_0, 20 : Real) :- "oldgroup-sym"(?1_0, ca : String).
"oldgroup-num"(?1_0, 21 : Real) :- "oldgroup-sym"(?1_0, sc : String).
"oldgroup-num"(?1_0, 22 : Real) :- "oldgroup-sym"(?1_0, ti : String).
"oldgroup-num"(?1_0, 23 : Real) :- "oldgroup-sym"(?1_0, v : String).
"oldgroup-num"(?1_0, 24 : Real) :- "oldgroup-sym"(?1_0, cr : String).
"oldgroup-num"(?1_0, 25 : Real) :- "oldgroup-sym"(?1_0, mn : String).
"oldgroup-num"(?1_0, 26 : Real) :- "oldgroup-sym"(?1_0, fe : String).
"oldgroup-num"(?1_0, 27 : Real) :- "oldgroup-sym"(?1_0, co : String).
"oldgroup-num"(?1_0, 28 : Real) :- "oldgroup-sym"(?1_0, ni : String).
"oldgroup-num"(?1_0, 29 : Real) :- "oldgroup-sym"(?1_0, cu : String).
"oldgroup-num"(?1_0, 30 : Real) :- "oldgroup-sym"(?1_0, zn : String).
"oldgroup-num"(?1_0, 31 : Real) :- "oldgroup-sym"(?1_0, ga : String).
"oldgroup-num"(?1_0, 32 : Real) :- "oldgroup-sym"(?1_0, ge : String).
"oldgroup-num"(?1_0, 33 : Real) :- "oldgroup-sym"(?1_0, as : String).
"oldgroup-num"(?1_0, 34 : Real) :- "oldgroup-sym"(?1_0, se : String).
"oldgroup-num"(?1_0, 35 : Real) :- "oldgroup-sym"(?1_0, br : String).
"oldgroup-num"(?1_0, 36 : Real) :- "oldgroup-sym"(?1_0, kr : String).
"oldgroup-num"(?1_0, 37 : Real) :- "oldgroup-sym"(?1_0, rb : String).
"oldgroup-num"(?1_0, 38 : Real) :- "oldgroup-sym"(?1_0, sr : String).
"oldgroup-num"(?1_0, 39 : Real) :- "oldgroup-sym"(?1_0, y : String).
"oldgroup-num"(?1_0, 40 : Real) :- "oldgroup-sym"(?1_0, zr : String).
"oldgroup-num"(?1_0, 41 : Real) :- "oldgroup-sym"(?1_0, nb : String).
"oldgroup-num"(?1_0, 42 : Real) :- "oldgroup-sym"(?1_0, mo : String).
"oldgroup-num"(?1_0, 43 : Real) :- "oldgroup-sym"(?1_0, tc : String).
"oldgroup-num"(?1_0, 44 : Real) :- "oldgroup-sym"(?1_0, ru : String).
"oldgroup-num"(?1_0, 45 : Real) :- "oldgroup-sym"(?1_0, rh : String).
"oldgroup-num"(?1_0, 46 : Real) :- "oldgroup-sym"(?1_0, pd : String).
"oldgroup-num"(?1_0, 47 : Real) :- "oldgroup-sym"(?1_0, ag : String).
"oldgroup-num"(?1_0, 48 : Real) :- "oldgroup-sym"(?1_0, cd : String).
"oldgroup-num"(?1_0, 49 : Real) :- "oldgroup-sym"(?1_0, in : String).
"oldgroup-num"(?1_0, 50 : Real) :- "oldgroup-sym"(?1_0, sn : String).
"oldgroup-num"(?1_0, 51 : Real) :- "oldgroup-sym"(?1_0, sb : String).
"oldgroup-num"(?1_0, 52 : Real) :- "oldgroup-sym"(?1_0, te : String).
"oldgroup-num"(?1_0, 53 : Real) :- "oldgroup-sym"(?1_0, i : String).
"oldgroup-num"(?1_0, 54 : Real) :- "oldgroup-sym"(?1_0, xe : String).
"oldgroup-num"(?1_0, 55 : Real) :- "oldgroup-sym"(?1_0, cs : String).
"oldgroup-num"(?1_0, 56 : Real) :- "oldgroup-sym"(?1_0, ba : String).
"oldgroup-num"(?1_0, 57 : Real) :- "oldgroup-sym"(?1_0, la : String).
"oldgroup-num"(?1_0, 58 : Real) :- "oldgroup-sym"(?1_0, ce : String).
"oldgroup-num"(?1_0, 59 : Real) :- "oldgroup-sym"(?1_0, pr : String).
"oldgroup-num"(?1_0, 60 : Real) :- "oldgroup-sym"(?1_0, nd : String).
"oldgroup-num"(?1_0, 61 : Real) :- "oldgroup-sym"(?1_0, pm : String).
"oldgroup-num"(?1_0, 62 : Real) :- "oldgroup-sym"(?1_0, sm : String).
"oldgroup-num"(?1_0, 63 : Real) :- "oldgroup-sym"(?1_0, eu : String).
"oldgroup-num"(?1_0, 64 : Real) :- "oldgroup-sym"(?1_0, gd : String).
"oldgroup-num"(?1_0, 65 : Real) :- "oldgroup-sym"(?1_0, tb : String).
"oldgroup-num"(?1_0, 66 : Real) :- "oldgroup-sym"(?1_0, dy : String).
"oldgroup-num"(?1_0, 67 : Real) :- "oldgroup-sym"(?1_0, ho : String).
"oldgroup-num"(?1_0, 68 : Real) :- "oldgroup-sym"(?1_0, er : String).
"oldgroup-num"(?1_0, 69 : Real) :- "oldgroup-sym"(?1_0, tm : String).
"oldgroup-num"(?1_0, 70 : Real) :- "oldgroup-sym"(?1_0, yb : String).
"oldgroup-num"(?1_0, 71 : Real) :- "oldgroup-sym"(?1_0, lu : String).
"oldgroup-num"(?1_0, 72 : Real) :- "oldgroup-sym"(?1_0, hf : String).
"oldgroup-num"(?1_0, 73 : Real) :- "oldgroup-sym"(?1_0, ta : String).
"oldgroup-num"(?1_0, 74 : Real) :- "oldgroup-sym"(?1_0, w : String).
"oldgroup-num"(?1_0, 75 : Real) :- "oldgroup-sym"(?1_0, re : String).
"oldgroup-num"(?1_0, 76 : Real) :- "oldgroup-sym"(?1_0, os : String).
"oldgroup-num"(?1_0, 77 : Real) :- "oldgroup-sym"(?1_0, ir : String).
"oldgroup-num"(?1_0, 78 : Real) :- "oldgroup-sym"(?1_0, pt : String).
"oldgroup-num"(?1_0, 79 : Real) :- "oldgroup-sym"(?1_0, au : String).
"oldgroup-num"(?1_0, 80 : Real) :- "oldgroup-sym"(?1_0, hg : String).
"oldgroup-num"(?1_0, 81 : Real) :- "oldgroup-sym"(?1_0, tl : String).
"oldgroup-num"(?1_0, 82 : Real) :- "oldgroup-sym"(?1_0, pb : String).
"oldgroup-num"(?1_0, 83 : Real) :- "oldgroup-sym"(?1_0, bi : String).
"oldgroup-num"(?1_0, 84 : Real) :- "oldgroup-sym"(?1_0, po : String).
"oldgroup-num"(?1_0, 85 : Real) :- "oldgroup-sym"(?1_0, at : String).
"oldgroup-num"(?1_0, 86 : Real) :- "oldgroup-sym"(?1_0, rn : String).
"oldgroup-num"(?1_0, 87 : Real) :- "oldgroup-sym"(?1_0, fr : String).
"oldgroup-num"(?1_0, 88 : Real) :- "oldgroup-sym"(?1_0, ra : String).
"oldgroup-num"(?1_0, 89 : Real) :- "oldgroup-sym"(?1_0, ac : String).
"oldgroup-num"(?1_0, 90 : Real) :- "oldgroup-sym"(?1_0, th : String).
"oldgroup-num"(?1_0, 91 : Real) :- "oldgroup-sym"(?1_0, pa : String).
"oldgroup-num"(?1_0, 92 : Real) :- "oldgroup-sym"(?1_0, u : String).
"oldgroup-num"(?1_0, 93 : Real) :- "oldgroup-sym"(?1_0, np : String).
"oldgroup-num"(?1_0, 94 : Real) :- "oldgroup-sym"(?1_0, pu : String).
"oldgroup-num"(?1_0, 95 : Real) :- "oldgroup-sym"(?1_0, am : String).
"oldgroup-num"(?1_0, 96 : Real) :- "oldgroup-sym"(?1_0, cm : String).
"oldgroup-num"(?1_0, 97 : Real) :- "oldgroup-sym"(?1_0, bk : String).
"oldgroup-num"(?1_0, 98 : Real) :- "oldgroup-sym"(?1_0, cf : String).
"oldgroup-num"(?1_0, 99 : Real) :- "oldgroup-sym"(?1_0, es : String).
"oldgroup-num"(?1_0, 100 : Real) :- "oldgroup-sym"(?1_0, fm : String).
"oldgroup-num"(?1_0, 101 : Real) :- "oldgroup-sym"(?1_0, md : String).
"oldgroup-num"(?1_0, 102 : Real) :- "oldgroup-sym"(?1_0, no : String).
"oldgroup-num"(?1_0, 103 : Real) :- "oldgroup-sym"(?1_0, lr : String).
"oldgroup-num"(?1_0, 104 : Real) :- "oldgroup-sym"(?1_0, unq : String).
"oldgroup-num"(?1_0, 105 : Real) :- "oldgroup-sym"(?1_0, unp : String).
"oldgroup-num"(?1_0, 106 : Real) :- "oldgroup-sym"(?1_0, unh : String).
"oldgroup-num"(?1_0, 107 : Real) :- "oldgroup-sym"(?1_0, uns : String).