FOIL 6.4   [January 1996]
--------

    Options:
	verbosity level 0

Relation above50K
    (warning: contains duplicate positive tuples)
    (warning: contains duplicate negative tuples)
    (warning: contains tuples that are both positive and negative)

----------
above50K:

***  Warning: the following definition
***  matches 118 tuples not in the relation
***  does not cover 3312 tuples in the relation

above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K>6849, A<=62.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>42, E>14, E<=15, C<=216402, A>36, A<=58, C>171841.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>42, E>14, C<=159179, A>43, C>99361.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>43, E>13, A>39, A<=55, C<=456236, C>355978.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>43, E>12, L>1876, L<=1977.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>10, L>2377.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>43, E>14, C>180686, A<=37, C<=320194.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>43, E>14, C<=331651, C>306440.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>42, E>13, A<=54, A>50, C<=160703, C>114758.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>42, E>12, M<=55, A>44, C<=311350, A<=61, C>288548.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>42, A<=41, E>14, A>39, C<=130126.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>10, M<=55, M>50, A<=55, A>45, C>216342.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>42, E>13, A<=39, C>44464, C<=104280, A>34.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>10, M<=50, M>49, C>218916, C<=270842, A>44, A<=49.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M<=57, C>203067, C<=205643, M>45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M<=57, C>107762, M>48, E>13, C<=135606, A<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M<=52, A>36, C>109421, M>49, C<=174373, A<=39, L<=1564.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A>43, E>15, M<=43, A<=54, C>176867.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>42, C>114844, M<=57, A<=52, C<=178319, A>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>43, C>95329, E>15, C<=106143.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>41, L>1876, L<=1977, A<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>42, C>143046, A>48, M<=44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, C>143046, M<=45, A>44, C<=160724.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, M<=52, C>179641, C<=214503, E<=13, A>55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>13, M<=50, M>48, A>39, C>182128, C<=246820, A<=47.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>43, E>13, A<=54, A>48, M<=56, C<=254211, C>194514.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C>115792, M>46, A>42, A<=46, C<=123053.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, A<=50, C<=186934, A>47, C>148549, M<=47.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>39, E>14, K>4064.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, A>40, M<=45, C<=329793, C>278322.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>14, A<=41, C>356838.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A>43, E>13, K<=0, C<=109089, C>106538.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C>115585, A>49, C<=119565.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, C>119199, M>49, A<=50, C<=120781.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, C>121966, M>49, M<=54, C<=166662, A<=35.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>49, C>124076, C<=125417.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, K<=0, A>47, M<=43, E>15, C>95165, A<=61.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, A<=42, C<=219591, C>208174, A>40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, M<=61, A>36, A<=38, C>67317, C<=99146.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M<=61, M>49, C>179524, C<=180572.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C>121622, A<=50, A>49, C<=129673.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C>138497, C<=141511, A>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, M<=63, C>182128, A>45, C<=186117.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>14, C<=66504, A>44, E<=15.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>39, K<=0, C>316582, C<=355865, E>14, M<=50, A<=44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>43, C<=167265, C>166502.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, M<=63, A>35, A<=46, C>265275, C<=271767, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>43, C>204584, A<=49, C<=210648, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>13, A>51, C<=50164, A<=54.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>44, M>46, C<=341797, C>331482.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>31, C>121966, C<=140011, M>50, E>13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>31, E>12, C>203039, M>48, A<=33, C<=209538.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>13, K<=0, A<=64, C>198774, C<=203628, M>40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A<=46, C>133969, C<=159869, A>45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, C<=55854, A>44, M<=50, A<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=248895, A<=41, M>48, C>216129, E<=13, A>38.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>41, A<=42, C>191385, C<=197886, A>39, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>41, A<=38, A>36, C>187411, C<=194630.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>31, E>12, M>43, K<=0, C<=49249, C>46401.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>47, C>319122, C<=324791.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>45, C<=435503, A<=48, C>365516.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>14, A<=33, A>32, E<=15.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, M<=40, E>13, A>45, C>235683, C<=254291.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>35, E>13, M<=38, C<=167794, A<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, C<=160662, E>13, A>60, A<=61, M<=60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>41, C<=37353, M>57, M<=60, K<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=144778, C>140988, A<=48, A>44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>42, A<=57, C>171199, C<=171841.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>42, A<=57, C<=304955, M>45, M<=60, C>288548.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M>39, L>1762, M<=42, C>105540, L<=1977, A<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=57, M<=45, A>51, M>40, C<=115284.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=40, C>198186, C<=208451, A>46, A<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>41, C<=100793, C>99385.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>39, C>202692, C<=242391, L>1485.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>41, A<=57, C>102025, C<=102343.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>31, E>12, M>43, L>1741, A<=33, C<=236396.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C<=160662, A>49, M<=48, E<=13, A<=55, C>145271.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M>43, M<=55, C<=175935, C>174503.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M>43, C>203039, C<=218558, A<=34.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>13, A<=64, C<=147428, C>145522.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=55, A>36, C<=242082, C>229364, A<=38.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C>202692, A<=62, M<=45, A>53, C<=216851.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, A<=49, C<=355320, C>349341, M>45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, M<=55, A<=46, C<=153066, C>144995, A>36.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=46, A>44, C>233511, C<=248895, M>40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>39, A<=63, C>192776, C<=193720.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, M>59, C<=383365, C>361888.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, L<=0, E>13, K<=0, C<=190895, A<=51, A>49, C>173224.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>13, K<=0, C>97277, C<=99527, A<=39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>43, C>90693, K>4064, E<=12, E>10.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>39, A<=46, M>48, C<=222884, C>218309.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>49, M<=45, C>381965, A<=55, C<=416059.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A>39, M<=46, C>267652, C<=282023, E>13, E<=15, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M>43, C<=131681, E<=13, C>127651.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, C<=125933, C>121966, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, M>39, E>13, A<=38, E<=14, C>172538, M<=45, C<=193260.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=57, C<=240698, C>238360, A>44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, E<=10, A>47, M<=45, C<=343242, C>243361, A<=52.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>39, C<=190290, C>188436, A<=50, M<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>31, E>12, A<=33, M>50, C<=155232, C>120508, M<=60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, E<=10, C>243361, C<=255364, M>56.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A>40, A<=49, C<=106900, E>13, C>102628.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>40, C<=183390, C>109762, M<=38, M>35, A<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, C>159008, M<=45, A<=61, A>58.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C<=72338, C>67725, A>53, E<=14.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, E<=13, A>36, C<=312446, C>296999, A<=42, M<=55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, M<=56, E<=12, C<=102359, A<=48, M>48, C>98061.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>40, A<=49, C<=112262, C>110669.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=186934, C>185497, L>0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, M<=57, A<=42, C<=116960, C>115792.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, L<=0, C>498216, M>50, A<=44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>41, M<=40, E<=13, C<=176227, C>175057.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, C>159008, E<=10, L>1844, L<=1977.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, A<=38, M>50, C<=115496, C>113481.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, C>32627, C<=32801.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, E<=13, C>283320, A>41, A<=52, C<=294991.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, A<=34, E<=13, C<=227146, C>198660, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>40, C>128736, C<=132125, A<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, M>43, C>182609, C<=182771.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>30, A>42, A<=48, C>119721, M<=38, C<=126701.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, C>155472, A<=50, C<=160785, A>49.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, E<=10, A>40, C>349502, A<=44, M>48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M<=53, M>45, A<=40, C>36385, C<=51290.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C<=98361, A>50, C>97847.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, L<=0, E>13, C>41793, A>54, C<=51744.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>53, M<=50, C>345339, C<=355865.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, L<=0, A>37, C<=81654, C>80445.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, M>42, M<=45, C>280570, A<=32.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, C>159008, C<=160662, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- C<=244974, C>164733, E>13, A<=38, M>50, A>36.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>39, C<=55854, C>53506, M<=55, M>40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=40, L>1741, L<=2246, A>51.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M<=51, M>49, C<=191277, C>187411, A>47.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, K<=0, C>308489, M<=50, M>48, A<=34, C<=348038.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>37, C<=203761, C>202692, M<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, M<=51, M>47, E<=12, C>109015, C<=115023, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, A>39, A<=40, C>215596, C<=224658.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=40, A<=48, C<=180010, A>43, C>175625.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, C>121352, E<=12, K>6497.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C>158926, M>48, C<=167728, A<=45, A>42.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>12, M>30, C>35309, C<=36228, A<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, L<=0, C>352628, A<=38, A>36, M<=42, C<=809585.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, C>121352, M>47, C<=136986, L>0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>30, A>40, M<=40, C>148576, E>14, C<=163985.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, C>173296, M<=51, C<=174373, A<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, M<=51, M>47, E<=12, C<=255667, C>245724.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=40, C>167889, C<=170411, E<=14, A>55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=40, C>148549, E<=13, A>44, C<=152711.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>35, C<=81654, M>50, C>79036.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>40, M<=40, C<=248895, A<=46, E<=13, C>239876.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, A<=38, C>102936, C<=112271, M>55, E>13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, L<=0, A>40, M<=40, E>13, C<=33331, C>23780, E<=14.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, M>43, C>121352, L>2339.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, E>9, C>121352, M<=51, M>48, A<=44, K>3137.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=54, A>40, C>148576, C<=153414, M<=36.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>31, E>12, K<=0, M>43, M<=50, C>104842, C<=105838.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>31, E>12, M>43, M<=50, C>254202, C<=259785, A<=51.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, M>41, A<=30, C<=122889, C>96287.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- L<=0, E>13, M<=38, A>50, A<=53.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, K<=0, M>43, A<=38, C>361888, C<=400943, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>10, A>46, E<=11, A<=48, C<=104521, C>81154.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, M>39, C<=230568, C>204590, K>3411.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, M>39, C<=214627, C>212027, A<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A<=34, C>177216, C<=179186, A>32.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, C>118686, A>42, M>55, A<=53, C<=125892.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, E<=12, A>42, C>174575, C<=175958.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>10, C<=164966, C>148549, E<=12, A>52, M<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M<=44, A<=44, A>41, C>57600, C<=68729.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, M>43, A<=36, C>121966, E>13, C<=143123.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>40, A<=57, C<=126754, C>125833, M<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, E<=12, A<=51, A>49, M<=45, C<=238959, C>199688.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>33, K>5013.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, M>43, A<=33, C>132601, C<=171216, M<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, M>44, L>1741, A<=31, M<=55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=3103, K>2977, M<=47.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, M<=46, C<=235646, A>43, A<=47, C>222374.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, M>44, C<=30381, C>23778, A<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M<=46, A<=44, E>14, C>130760, C<=185145, A>39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>44, E<=13, C>184306, A<=43, A>41, C<=201466.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, M>39, A>37, C<=103063, C>92288, A<=39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>53, C>110871, C<=112840.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=57, E<=13, C>35969, A>47, C<=38563.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>13, C<=94754, A>48, C>89681.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, K<=0, M>39, L<=0, C<=135840, A<=43, C>133692.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C>204584, M>43, A<=50, A>42, C<=212760.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>37, M<=46, A<=60, C>315971, C<=317360.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>13, A<=36, C>370990, C<=446358, M<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>9, M>47, C>184948, M<=48, C<=187581.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>35, E<=12, M>47, M<=50, C<=132879, C>129573.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>30, A>45, C>211319, C<=233312, M<=35.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>45, C>243929, E<=13, M>45, C<=255711.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=230568, C>230165, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, E<=12, C<=236111, A<=50, C>218490, A>43, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>35, E<=12, M>47, M<=50, C<=235786, A<=50, C>224566, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, C>180881, C<=181485, M>45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, L<=0, C>52963, C<=55938, A<=33.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>40, C<=183390, C>180609, A<=43.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, A>35, E<=12, C>306183, C<=314092.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>35, E<=12, M>48, C<=431245, C>403550.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, A>35, E<=12, C>176949, C<=180985, M<=50, A<=39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>43, E<=12, C<=221947, E>10, A<=38, A>36, M<=50, C>183345, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A<=57, M<=46, C>320451, A>53, C<=370045.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, A<=31, M>55, C>154120, C<=159888.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, C>196328, C<=197184, E>13, A<=37.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A<=49, C>118853, C<=125933, E>13, A>48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>37, A<=48, C<=169383, C>168796.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>49, E<=11, L>1740, C<=144361, A<=55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A<=61, C>138845, C<=141326, A>51.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>49, C>386397, C<=392694.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, C<=183801, A<=48, A>46, C>171968.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, M>39, A>37, M<=42, A<=38, C>108293, C<=125933, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, M>39, C>338320, A<=42, C<=384508, A>39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>49, C<=137314, C>135162, A<=50, A>36.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A<=61, A>49, C>169785, C<=172666, E<=10, M<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, L<=1977, L>1876, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, L<=1977, L>1876, A<=36.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, M>39, L<=0, A<=43, C<=211654, C>210525, M<=44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C<=110457, C>109684, A>45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C>41793, A>45, C<=44434.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C>61298, C<=63526, A<=51, A>35.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, M>39, C<=108435, A>53, A<=55, C>98436.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, C>204163, M>52, C<=205424.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, C<=168730, A<=49, A>44, C>162924, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, M>39, C>76344, C<=108320, A>66, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C>191295, C<=193961, A>33, A<=37.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A>40, M<=40, C>198186, C<=201560, A<=45, E>13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=63, A>43, E<=13, M>48, C<=265086, C>258752.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, C>420917, A>54, M<=40, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, M>39, C>144125, A>33, A<=34, C<=157747.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, M>43, C<=288154, C>286675, A<=39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, A<=38, M>40, C>216129, C<=224531, A>34.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=63, A>40, C<=37353, C>35969.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>39, A>43, C<=327886, C>320277.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, M>39, A<=32, C<=127875, C>120461.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, A>35, C>152810, E<=11, C<=154076, A<=41.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, M>30, C<=242968, A<=30, C>231620.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A<=61, A>49, E<=11, C<=128143, C>124852.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A<=61, A>49, E<=11, C<=48102, C>31577, E>10.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>49, C>184007, E<=12, M>48, C<=187355.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>10, M>37, A>39, A<=56, M<=40, C>119751, C<=125421, E<=12.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>14, M>23, M<=32, C>225780.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, C>189664, C<=191318, A>55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A<=61, A>49, E<=10, C>209438, C<=213296.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A<=56, A>49, C<=168107, C>167410.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, E<=12, C>201393, A<=49, A>42, C<=203761, M<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>37, E>13, C>161334, M<=40, M>35, C<=165346.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>50, A<=56, M<=40, C>156842, C<=163678, E<=10.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>11, M>43, E<=13, C<=34007, C>33331.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>30, E>12, C>89636, C<=91959, A<=46, E<=13, M<=55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>39, C>277144, C<=277647, E>10.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, L<=0, C<=108320, A<=37, E<=13, C>105021, A>32.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, C<=278557, C>275845, M>48, L<=1902, M<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>32, L<=0, C<=242968, C>225544, E>13, A>49, M<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>43, C<=467108, C>454508, A>31.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E>8, C>143368, A>42, A<=53, C<=144778, M<=65.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E<=9, A>43, A<=48, C<=449354, C>337825, M<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E>8, A>35, C<=159755, C>159008.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A<=56, K<=0, A>50, C>117847, M<=45, E<=12, C<=124137, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>45, A<=51, C>337050, C<=340755.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>43, A<=36, C<=320451, C>308691, A>33.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=48, A>40, C<=28497, C>27661.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>12, K<=0, A<=33, C<=295589, C>253814, M>48, M<=60, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>10, A>34, C>152744, A<=42, E<=12, L>1740.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>43, C<=193882, C>191357, A<=44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, E<=13, C>100079, C<=173854, A>38, M<=45, A<=39, M>42.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, C>218835, C<=219276.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, C<=245193, A<=48, C>238397, M<=30.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A<=56, A>50, C<=143822, C>142717.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, C<=372682, E<=10, A<=51, C>363875, A>44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=48, E<=13, A>43, C>119199, C<=122026.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- C<=107845, C>75867, M>48, E<=12, M<=58, E>11, A>41.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, C>240170, A<=35, C<=241126.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, A<=41, C>57233, C<=97688, M>55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, K<=0, A<=61, E<=12, C>204057, C<=204322.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, C<=221740, C>221167, M>35.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C>196504, C<=196674.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, C>266119, C<=267546, A>46.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, M>39, C>233059, C<=233312.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>14, C>177271, C<=179574.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, C<=240504, C>240170, A<=43.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A<=61, A>53, C>95763, C<=98051.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, C>185497, C<=186035.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E<=9, A>44, C>289707, C<=368561, M>54, A<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E>8, A>35, C>145166, L>1740, L<=1977, M<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>35, E<=12, M>48, A<=37, E>10, C>218490, C<=251396.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=185027, M<=40, A<=51, A>41, L>1876.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>39, C>272182, C<=274363, E<=12.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=209768, C>200689, A>37, A<=38, M>8.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, A<=59, C<=107762, C>78374, L>1876.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>44, E<=9, C>102904, M>48, M<=50, C<=121124, A<=47.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, A>49, E<=9, A<=54, C<=154785, C>152652.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, A>49, E<=9, C<=113959, M<=42, C>35520.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E>8, A>49, E<=9, C<=97741, C>86373, A<=51.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>12, A<=32, M>44, C>78261, E<=13, C<=90934.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, E<=10, C>327474, C<=358199, A>48, A<=56, M>45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, C<=288353, C>284086, A>50, A<=54.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>39, C>343609, C<=346532, A<=44, M<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, A<=61, C>352448, M>40, C<=355320.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, M>47, M<=61, C>324173, C<=329144, E<=11.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, C<=185027, L<=1564, L>1380.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, M>32, M<=40, C>171852, C<=172281.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A>39, A<=61, C<=84587, C>83064, E>12, M<=55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A<=61, A>46, C>198542, C<=199058.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, M>48, C>163237, C<=164197, A<=37.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>35, A<=36, M<=60, M>55, E<=10, C>35429, C<=137314.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, M>41, C<=149218, C>148443, A<=39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>10, E<=12, C>208358, A>35, C<=211408, A<=62.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A>38, A<=39, C<=146091, C>138192.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>11, A<=42, C<=173628, A>35, E<=12, C>168071.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, M>39, E>12, A<=31, C<=137290, C>133937.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E>8, C>204397, E<=9, C<=205852, A>38, M<=60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, M<=40, A>47, C<=134854, C>128736, E>11.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=33, C>118500, C<=118941, A>31.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, K<=3103, K>2977, E<=12, C>118081.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=102771, C>102597.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>32, A<=48, A>41, M<=39, C>162506, C<=178686, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, L<=0, C>356067, C<=358585, A<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, C<=124692, C>124137.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, M>48, A<=41, C<=188503, C>188041, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>44, C<=26502, M>65.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>39, L<=0, A<=43, E<=12, C<=178780, C>175686.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=187322, M<=40, C>173224, A<=37, A>36.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>39, C>104280, C<=104501, A<=52.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>39, K<=0, C>96102, C<=96586, A<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, L<=0, A<=36, C>201117, E<=13, C<=202397.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, M>39, E>12, K<=0, L<=0, A<=29, C>161478, C<=175738.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, C<=197683, A>46, C>194514, E<=12, M<=50, A<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, A<=36, C>165686, C<=167990, A>33.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C>46814, C<=72338, A<=47, A>45, M>35.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, K<=0, A>50, C<=101110, C>98350, A<=52.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A<=61, A>54, E<=11, C>216690, C<=221884.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, M>32, A<=42, C<=595000, A>36, C>523910.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, M>39, C<=206964, C>206775, M<=50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M<=61, C>144995, E>12, C<=155659, A<=45, M>58, A>31.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, C<=187089, A<=35, M>47, E<=11, C>180284, L<=0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, K<=0, A<=61, M<=40, C>234657, C<=260052, A>57.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- C<=118447, A>55, M<=24, E>15.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>12, C<=117963, A<=32, C>111423, A>31.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>39, A<=56, M<=58, C<=238582, E<=10, C>236021.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>35, L>1740, C<=30916.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>12, C<=103860, A>33, C>87209, M<=40, A<=34.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, A>39, L<=0, M<=58, C>78765, A<=46, C<=81853.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, C<=187089, C>186272, E<=12, M>40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>12, A<=33, C>180303, C<=181485.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A>43, E<=9, M>44, C>127921, L>2206.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, C<=24342, C>24139.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A>43, E<=9, M>44, C<=193720, A<=47, C>188610.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E>8, E<=9, C<=76371, C>68830, A>60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, A>43, L>1762, L<=1977, C>165953, M<=40, A<=57.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A>49, E<=9, A<=64, M>49, M<=57, C<=119558, C>108765.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, E>8, E<=9, A>50, C<=175942, C>172281.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>41, A>35, E<=9, C>206951, A<=39, M<=48, C<=215503.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, A>43, E<=9, C>145290, A<=53, C<=146378.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A<=59, A>52, C<=48358, L>0.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>33, E>13, C>457237, C<=595000, E<=14, A<=34.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A<=59, E<=9, M<=57, M>52, C>176917, C<=223660, A>49.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A>49, M>48, C>54947, C<=63000, L<=1485.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- L<=0, E>13, C<=81973, C>71417, A<=42, A>38.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>12, C<=214627, M>50, C>208534.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, K<=0, M<=50, M>49, C<=216160, C>119986, A>60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, A<=54, E<=9, A>52, C<=99434, C>91911.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, E<=9, M>44, A<=54, C<=53833, A>53.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A<=59, C>168195, C<=168539, E<=10, A>47.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>9, M>49, A<=31, L>0, C>190539, C<=302422.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, M>39, C<=192039, M<=45, C>191930.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>44, A<=41, E<=10, A>31, C<=561334, C>410034, M<=60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A>35, L<=0, C>241153, M>42, C<=242082.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, C<=408788, A>44, C>402975.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- K<=0, A<=64, A>51, C<=103948, E>13, C>74660, M<=38.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, A<=59, A>58, C<=144071, E<=9, C>121865.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>38, C<=148995, C>148884, A<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>39, K<=0, A>40, M<=58, A<=41, E<=10, C>26669, C<=40151.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A<=60, C>26756, C<=28151, E<=9, A>51.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, C<=165953, A<=56, M>43, C>165001, A>45, E<=13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>29, E>9, M>39, C<=205950, M<=40, C>205153, A<=52, E<=14.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=64, C>333270, A>61, C<=379940.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A<=59, A>52, C>179641, C<=180920.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>27, E>12, M>44, A<=29, C>419740.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A<=54, C>211531, C<=212120, A>44.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A>36, M>43, E<=11, A<=39, C<=220585, C>212512.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, K<=0, C<=156566, C>155233, A>41, E<=12, A<=45.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, K<=0, A<=54, C>119565, E<=9, M>70, C<=204402, A>49.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>11, M<=50, M>48, A<=46, C>336367, E<=12, C<=397280.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, M>39, E>12, L<=0, A<=45, E<=13, C<=173704, C>172571.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, K<=0, A>56, A<=64, C<=32537, C>29828, E<=9, M<=60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>12, C>225548, M>40, C<=226902, M<=60.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A<=35, E>15, A>32, M<=50, C>276221.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=63, C<=101996, A>62, M<=40.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=62, M>33, M<=42, C>152307, C<=154950, A>38.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A<=54, E<=10, C<=296849, C>290290, A>47, M<=52.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A<=54, C<=69328, A>49, M>44, C>64667.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A<=59, C>306183, A>51, C<=334273, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A<=41, M>44, C<=238912, C>229364, E>13.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, A<=62, C>409842, A>59.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, A<=59, M<=40, A>58, C>303176, C<=361494.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, E>8, A>43, A<=54, C<=170850, E<=9, M<=50, C>169699.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>27, E>12, M>44, A<=29, M<=50, C>209109, C<=227890.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A>45, A<=59, M<=40, C>349151, K>1471.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- L<=0, E>12, M<=42, A>37, C<=194231, A<=40, C>188069, M>35.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>12, C<=119432, M>55, C>116632, A<=39.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>34, A>40, C<=280798, C>278522, A<=52, E<=12.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- L<=0, E>10, C>114537, C<=116520, A<=41, A>35.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, K<=0, A>43, C<=122206, E<=10, M>37, C>121441.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>10, C<=104509, C>100079, M>45, A<=32.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A<=62, E>12, M<=50, C<=89226, C>88904.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>10, K>4101, K<=4386, C>144995.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A<=60, C<=107665, A>52, C>98350, M>55.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, K<=0, E>12, A<=36, C<=68330, C>66278.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>34, C<=178353, A<=35, C>177651, A>32.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, M>34, C>182543, C<=187087, E>15.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, C>182543, C<=182971, A>30, E<=11.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>34, A>36, E<=11, A<=48, C>183384, C<=183765.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>34, C<=260938, C>257175, A>50, A<=54, E<=10.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>45, M<=49, C<=110747, L>1762, L<=1887.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=44, C>109762, C<=113324, A>41.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>9, M>34, C<=209808, C>206470, M<=38, A>37, A<=65.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>27, E>12, M>41, A<=29, C<=100829, M<=45, C>60772.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A>28, E>12, A<=62, C>203126, M<=36, C<=204501.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>12, A<=62, M<=46, C<=270859, A>44, C>267652.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, A>45, C>349795, C<=354024, E<=10, A<=48.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- M>39, A<=54, M<=40, C<=229376, C>228057, A>49.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- A<=47, A>43, C>374580, M>50.
above50K(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :- E>8, E<=9, M>44, C<=148953, C>146929, A>47.

Time 1507.2 secs

Test relation above50K
Summary: 3039 errors in 16281 trials