Player	Rank	Position	Offers	Status

Team	Rank	Top Recruit	Score
	1
	2
	3
	4
	5

school(alabama)
  school(arizona)
  school(arizona_state)
  school(arkansas)
  school(auburn)
  school(baylor)
  school(california)
  school(cincinnati)
  school(clemson)
  school(colorado)
  school(columbia)
  school(connecticut)
  school(creighton)
  school(depaul)
  school(duke)
  school(eastern_washington)
  school(florida)
  school(florida_state)
  school(fresno_state)
  school(georgetown)
  school(georgia)
  school(georgia_tech)
  school(gonzaga)
  school(houston)
  school(illinois)
  school(indiana)
  school(iowa)
  school(iowa_state)
  school(kansas)
  school(kansas_state)
  school(kentucky)
  school(louisville)
  school(lsu)
  school(marquette)
  school(maryland)
  school(memphis)
  school(miami)
  school(michigan)
  school(michigan_state)
  school(minnesota)
  school(mississippi_state)
  school(missouri)
  school(nebraska)
  school(new_mexico)
  school(north_carolina)
  school(north_carolina_state)
  school(northwestern)
  school(ohio_state)
  school(oklahoma)
  school(oklahoma_state)
  school(ole_miss)
  school(oregon)
  school(oregon_state)
  school(pittsburgh)
  school(purdue)
  school(rutgers)
  school(saint_louis)
  school(san_diego_state)
  school(seton_hall)
  school(smu)
  school(south_florida)
  school(southern_miss)
  school(st_johns)
  school(stanford)
  school(syracuse)
  school(tcu)
  school(tennessee)
  school(texas)
  school(texas_am)
  school(texas_tech)
  school(ucf)
  school(ucla)
  school(unlv)
  school(usc)
  school(utep)
  school(vanderbilt)
  school(villanova)
  school(virginia)
  school(virginia_tech)
  school(wake_forest)
  school(washington)
  school(west_virginia)
  school(western_kentucky)
  school(wisconsin)

player(jonathan_kuminga)
  playername(jonathan_kuminga, "Jonathan Kuminga")
  rank(jonathan_kuminga, 59)
  position(jonathan_kuminga, sf)

player(chet_holmgren)
  playername(chet_holmgren, "Chet Holmgren")
  rank(chet_holmgren, 58)
  position(chet_holmgren, pf)
  commit(chet_holmgren, gonzaga)

player(patrick_baldwin_jr)
  playername(patrick_baldwin_jr, "Patrick Baldwin Jr.")
  rank(patrick_baldwin_jr, 57)
  position(patrick_baldwin_jr, pf)

player(paolo_banchero)
  playername(paolo_banchero, "Paolo Banchero")
  rank(paolo_banchero, 56)
  position(paolo_banchero, pf)
  commit(paolo_banchero, kentucky)

player(jaden_hardy)
  playername(jaden_hardy, "Jaden Hardy")
  rank(jaden_hardy, 55)
  position(jaden_hardy, sg)

player(jabari_smith)
  playername(jabari_smith, "Jabari Smith")
  rank(jabari_smith, 54)
  position(jabari_smith, pf)
  commit(jabari_smith, lsu)

player(michael_foster)
  playername(michael_foster, "Michael Foster")
  rank(michael_foster, 53)
  position(michael_foster, pf)

player(moussa_diabate)
  playername(moussa_diabate, "Moussa Diabate")
  rank(moussa_diabate, 52)
  position(moussa_diabate, pf)

player(nate_bittle)
  playername(nate_bittle, "Nate Bittle")
  rank(nate_bittle, 51)
  position(nate_bittle, c)
  commit(nate_bittle, duke)

player(aj_griffin)
  playername(aj_griffin, "A.J. Griffin")
  rank(aj_griffin, 50)
  commit(aj_griffin, duke)
  position(aj_griffin, sf)

player(aminu_mohammed)
  playername(aminu_mohammed, "Aminu Mohammed")
  rank(aminu_mohammed, 49)
  position(aminu_mohammed, sg)

player(kennedy_chandler)
  playername(kennedy_chandler, "Kennedy Chandler")
  rank(kennedy_chandler, 48)
  position(kennedy_chandler, pg)
  commit(kennedy_chandler, arizona)

player(max_christie)
  playername(max_christie, "Max Christie")
  rank(max_christie, 47)
  position(max_christie, sg)
  commit(max_christie, duke)

player(jd_davison)
  playername(jd_davison, "J.D. Davison")
  rank(jd_davison, 46)
  position(jd_davison, pg)
  commit(jd_davison, seton_hall)

player(trevor_keels)
  playername(trevor_keels, "Trevor Keels")
  rank(trevor_keels, 45)
  position(trevor_keels, sg)

player(harrison_ingram)
  playername(harrison_ingram, "Harrison Ingram")
  rank(harrison_ingram, 44)
  position(harrison_ingram, sf)

player(kendall_brown)
  playername(kendall_brown, "Kendall Brown")
  rank(kendall_brown, 43)
  position(kendall_brown, sf)

player(efton_reid)
  playername(efton_reid, "Efton Reid")
  rank(efton_reid, 42)
  position(efton_reid, c)
  commit(efton_reid, virginia)

player(hunter_sallis)
  playername(hunter_sallis, "Hunter Sallis")
  rank(hunter_sallis, 41)
  position(hunter_sallis, sg)
  commit(hunter_sallis, gonzaga)

player(zion_harmon)
  playername(zion_harmon, "Zion Harmon")
  rank(zion_harmon, 40)
  position(zion_harmon, pg)
  commit(zion_harmon, western_kentucky)

player(daeshun_ruffin)
  playername(daeshun_ruffin,"Daeshun Ruffin")
  rank(daeshun_ruffin, 39)
  position(daeshun_ruffin, pg)

player(frank_kepnang)
  playername(frank_kepnang, "Frank Kepnang")
  rank(frank_kepnang, 38)
  position(frank_kepnang, c)

player(langston_love)
  playername(langston_love, "Langston Love")
  rank(langston_love, 37)
  position(langston_love, sg)

player(kj_adams)
  playername(kj_adams, "K.J. Adams")
  rank(kj_adams, 36)
  position(kj_adams, pf)
  commit(kj_adams, oregon_state)

player(daimion_collins)
  playername(daimion_collins, "Daimion Adams")
  rank(daimion_collins, 35)
  position(daimion_collins, c)

player(peyton_watson)
  playername(peyton_watson, "Peyton Watson")
  rank(peyton_watson, 34)
  position(peyton_watson, sg)
  commit(peyton_watson, new_mexico)

player(charles_bediako)
  playername(charles_bediako, "Charles Bediako")
  rank(charles_bediako, 33)
  position(charles_bediako, c)

player(trey_patterson)
  playername(trey_patterson, "Trey Patterson")
  rank(trey_patterson, 32)
  position(trey_patterson, sf)

player(malaki_branham)
  playername(malaki_branham, "Malaki Branham")
  rank(malaki_branham, 31)
  position(malaki_branham, sf)

player(ben_gregg)
  playername(ben_gregg, "Ben Gregg")
  rank(ben_gregg, 30)
  position(ben_gregg, pg)
  commit(ben_gregg, michigan_state)

player(caleb_furst)
  playername(caleb_furst, "Caleb Furst")
  rank(caleb_furst, 29)
  position(caleb_furst, pf)
  commit(caleb_furst, purdue)

player(jerrell_colbert)
  playername(jerrell_colbert, "Jerrel Colbert")
  rank(jerrell_colbert, 28)
  position(jerrell_colbert, c)
  commit(jerrell_colbert, lsu)

player(bryce_hopkins)
  playername(bryce_hopkins, "Bryce Hopkins")
  rank(bryce_hopkins, 27)
  position(bryce_hopkins, sf)
  commit(bryce_hopkins, louisville)

player(bryce_mcgowens)
  playername(bryce_mcgowens, "Bryce McGowens")
  rank(bryce_mcgowens, 26)
  position(bryce_mcgowens, sg)
  commit(bryce_mcgowens, florida_state)

player(dallan_coleman)
  playername(dallan_coleman, "Dallan Coleman")
  rank(dallan_coleman, 25)
  position(dallan_coleman, sg)

player(zaon_collins)
  playername(zaon_collins, "Zaon Collins")
  rank(zaon_collins, 24)
  position(zaon_collins, pg)

player(jackson_grant)
  playername(jackson_grant, "Jackson Grant")
  position(jackson_grant, c)
  rank(jackson_grant, 23)
  commit(jackson_grant, washington)

player(jalen_warley)
  playername(jalen_warley, "Jalen Warley")
  rank(jalen_warley, 22)
  position(jalen_warley, sg)

player(arthur_kaluma)
  playername(arthur_kaluma, "Arthur Kaluma")
  rank(arthur_kaluma, 21)
  position(arthur_kaluma, sf)
  commit(arthur_kaluma, marquette)

player(trey_alexander)
  playername(trey_alexander, "Trey Alexander")
  rank(trey_alexander, 20)
  position(trey_alexander, sg)
  commit(trey_alexander, kansas)

player(jax_robinson)
  playername(jax_robinson, "Jax Robinson")
  position(jax_robinson, sg)
  rank(jax_robinson, 19)
  commit(jax_robinson, texas_am)

player(matt_cleveland)
  playername(matt_cleveland, "Matt Cleveland")
  rank(matt_cleveland, 18)
  position(matt_cleveland, sg)
  commit(matt_cleveland, houston)

player(keon_edwards)
  playername(keon_edwards, "Keon Edwards")
  position(keon_edwards, sf)
  rank(keon_edwards, 17)
  commit(keon_edwards, depaul)

player(frankie_collins)
  playername(frankie_collins, "Frankie Collins")
  position(frankie_collins, pg)
  rank(frankie_collins, 16)

player(zach_clemence)
  playername(zach_clemence, "Zach Clemence")
  position(zach_clemence, c)
  rank(zach_clemence, 15)
  commit(zach_clemence, kansas)

player(chance_moore)
  playername(chance_moore, "Chance Moore")
  rank(chance_moore, 14)
  position(chance_moore, sf)
  commit(chance_moore, fresno_state)

player(meechie_johnson)
  playername(meechie_johnson, "Meechie Johnson")
  position(meechie_johnson, pg)
  rank(meechie_johnson, 13)
  commit(meechie_johnson, ohio_state)

player(daron_holmes)
  playername(daron_holmes, "Daron Holmes")
  position(daron_holmes, pf)
  rank(daron_holmes, 12)

player(johnathan_lawson)
  playername(johnathan_lawson, "Johnathan Lawson")
  rank(johnathan_lawson, 11)
  position(johnathan_lawson, sf)
  commit(johnathan_lawson, creighton)

player(john_butler)
  playername(john_butler, "John Butler")
  rank(john_butler, 10)
  position(john_butler, c)
  commit(john_butler, clemson)

player(quincy_allen)
  playername(quincy_allen, "Quincy Allen")
  position(quincy_allen, sf)
  rank(quincy_allen, 9)

player(isa_silva)
  playername(isa_silva, "Isa Silva")
  position(isa_silva, pg)
  rank(isa_silva, 8)
  commit(isa_silva, stanford)

player(benny_williams)
  playername(benny_williams, "Benny Williams")
  position(benny_williams, pf)
  rank(benny_williams, 7)

player(manny_obaseki)
  playername(manny_obaseki, "Manny Obaseki")
  position(manny_obaseki, pg)
  rank(manny_obaseki, 6)
  commit(manny_obaseki, texas_am)

player(wilhelm_breidenbach)
  playername(wilhelm_breidenbach, "Wilhelm Breidenbach")
  rank(wilhelm_breidenbach, 5)
  position(wilhelm_breidenbach, c)
  commit(wilhelm_breidenbach, auburn)

player(dontez_styles)
  playername(dontez_styles, "Dontez Styles")
  position(dontez_styles, sf)
  rank(dontez_styles, 4)
  commit(dontez_styles, north_carolina)

player(will_mcclendon)
  playername(will_mcclendon, "Will McClendon")
  position(will_mcclendon, sg)
  rank(will_mcclendon, 3)
  commit(will_mcclendon, ucla)

player(alex_tchikou)
  playername(alex_tchikou, "Alex Tchikou")
  position(alex_tchikou, c)
  rank(alex_tchikou, 2)

player(alex_fudge)
  playername(alex_fudge, "Alex Fudge")
  position(alex_fudge, sf)
  rank(alex_fudge, 1)

player(ernest_ross)
  playername(ernest_ross, "Ernest Ross")
  position(ernest_ross, pf)
  rank(ernest_ross, 0)
  commit(ernest_ross, north_carolina_state)

teams([alabama,arizona,arizona_state,arkansas,auburn,baylor,california,cincinnati,clemson,colorado,columbia,connecticut,creighton,depaul,duke,eastern_washington,florida,florida_state,fresno_state,georgetown,georgia,georgia_tech,gonzaga,houston,illinois,indiana,iowa,iowa_state,kansas,kansas_state,kentucky,louisville,lsu,marquette,maryland,memphis,miami,michigan,michigan_state,minnesota,mississippi_state,missouri,nebraska,new_mexico,north_carolina,north_carolina_state,northwestern,ohio_state,oklahoma,oklahoma_state,ole_miss,oregon,oregon_state,pittsburgh,purdue,rutgers,saint_louis,san_diego_state,seton_hall,smu,south_florida,southern_miss,st_johns,stanford,syracuse,tcu,tennessee,texas,texas_am,texas_tech,ucf,ucla,unlv,usc,utep,vanderbilt,villanova,virginia,virginia_tech,wake_forest,washington,west_virginia,western_kentucky,wisconsin])

load :: playername(X, Y) & player(X) ==> innerhtml(name(X), Y)
  load :: rank(X, Y) & player(X) & evaluate(minus(60, Y),S) ==> innerhtml(rank(X), S)
  load :: position(X,Y) & player(X) ==> innerhtml(position(X), Y)
  load :: commit(X, Y) & player(X) & school(Y) ==> value(team(X), Y) & innerhtml(commit(X), "Committed")
  load :: player(X) & ~commit(X, Y) ==> innerhtml(commit(X), "Undecided")

load :: update_team_one
  load :: update_team_two
  load :: update_team_three
  load :: update_team_four
  load :: update_team_five

deselect(team(P), T) :: value(team(P), M) ==> ~value(team(P), M) & ~commit(P, M)
  haveposition(P, T) :- position(P, S) & player(N) & commit(N, T) & position(N, S) & mutex(P, N)
  select(team(P), T) :: value(team(P), M) & ~haveposition(P, T) ==> ~value(team(P),M) & ~commit(P,M)
  select(team(P), T) :: school(T) & ~haveposition(P, T) ==> value(team(P), T)  & commit(P,T) & innerhtml(commit(P), "Committed") & ~innerhtml(commit(P), "Undecided")
  select(team(P), T) :: ~school(T) ==> ~innerhtml(commit(P), "Committed") & innerhtml(commit(P), "Undecided")
  select(team(P), T) :: update_team_one
  select(team(P), T) :: update_team_two
  select(team(P), T) :: update_team_three
  select(team(P), T) :: update_team_four
  select(team(P), T) :: update_team_five

team_one(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),0)
  team_two(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),1)
  team_three(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),2)
  team_four(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),3)
  team_five(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),4)

update_team_one :: team_one(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_one), M) & ~team_one(M) & ~innerhtml(team_players(team_one), N) & ~innerhtml(team_score(team_one), S) & ~commitsum(M,S) & ~innerhtml(team_players(team_one), N)
  update_team_one :: team_one(X) ==> innerhtml(team_rank(team_one), X)
  update_team_one :: team_one(X) & top_recruit(X, Y)  ==> innerhtml(team_players(team_one), Y)
  update_team_one :: team_one(X) & commitsum(X, S) ==> innerhtml(team_score(team_one), S)

update_team_two :: team_two(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_two), M) & ~team_two(M) & ~innerhtml(team_score(team_two), S) & ~commitsum(M,S) & ~innerhtml(team_players(team_two), N)
  update_team_two :: team_two(X) ==> innerhtml(team_rank(team_two), X)
  update_team_two :: team_two(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_two), Y)
  update_team_two :: team_two(X) & commitsum(X, S) ==> innerhtml(team_score(team_two), S)

update_team_three :: team_three(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_three), M) & ~team_three(M) & ~innerhtml(team_score(team_three), S) & ~innerhtml(team_players(team_three), N) & ~commitsum(M,S)
  update_team_three :: team_three(X) ==> innerhtml(team_rank(team_three), X)
  update_team_three :: team_three(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_three), Y)
  update_team_three :: team_three(X) & commitsum(X, S) ==> innerhtml(team_score(team_three), S)

update_team_four :: team_four(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_four), M) & ~team_four(M) & ~innerhtml(team_score(team_four), S) & ~innerhtml(team_players(team_four), N) & ~commitsum(M,S)
  update_team_four :: team_four(X) ==> innerhtml(team_rank(team_four), X)
  update_team_four :: team_four(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_four), Y)
  update_team_four :: team_four(X) & commitsum(X, S) ==> innerhtml(team_score(team_four), S)

update_team_five :: team_five(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_five), M) & ~team_five(M) & ~innerhtml(team_score(team_five), S) & ~innerhtml(team_players(team_five), N) & ~commitsum(M,S)
  update_team_five :: team_five(X) ==> innerhtml(team_rank(team_five), X)
  update_team_five :: team_five(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_five), Y)
  update_team_five :: team_five(X) & commitsum(X, S) ==> innerhtml(team_score(team_five), S)

commitsum(T,S) :- school(T) & evaluate(sum(setofall(R,commit(X,T) & rank(X,R))),S)
  top_recruit(T, X) :- evaluate(setofall(R,commit(Y,T) & rank(Y,R)), L) & evaluate(maximum(L), Z) & rank(X, Z)