nba.pl

?- induce_lift([f1,f2,f3,f4],P),test_lift(P,[f5],LL,AUCROC,ROC,AUCPR,PR). % learn the structure and the parameters and test the result ?- induce_lift([f1,f2,f3,f4,f5],P). */

10%% 11 12:-use_module(library(liftcover)). 13 14%:- if(current_predicate(use_rendering/1)). 15%:- use_rendering(c3). 16%:- use_rendering(lpad). 17%:- endif. 18 19:-lift. 20 21:- set_lift(neg_ex,given). 22:- set_lift(megaex_bottom,4). 23:- set_lift(max_iter,10). 24:- set_lift(beamsize,5). 25:- set_lift(max_body_length,6). 26:- set_lift(maxdepth_var,20). %da inserire nel tutorial 27:- set_lift(verbosity,5). 28%:- set_lift(seed,rand(44,32,4550)). 29%:- set_lift(max_var,4). 30%:- set_lift(seed,rand(2,32,1212)). 31 32 33%:- initialization(main,main). 34main:- 35 induce_lift([f1,f2,f3,f4],P),tell('theory.pl'),write_canonical(out(P)),writeln('.'),told. 36 37maintest:- 38 induce_lift([f1,f2,f3,f4],P),tell('theory.pl'),write_canonical(out(P)),writeln('.'),told, 39 test_lift(P,[f5],LL,AUCROC,_,AUCPR,_), 40 writeln(ll(LL)),writeln(aucroc(AUCROC)),writeln(aucpr(AUCPR)). 41 42 43fold(f1,[1,2,3,4,5,6]). 44fold(f2,[7,8,9,10,11,12]). 45fold(f3,[15,13,14,16,17,18]). 46fold(f4,[19,20,21,22,23,24]). 47fold(f5,[27,28,29,30,25,26]). 48 49 50output(game/2). % game(GameId,Team1Id,Team2Id,ResultOfTeam1,URL,Date). 51% input(actions/21). % actions(GameId,TeamId,PlayerId,... 52input(greater_than_or_equal_minutes/3). 53input(greater_than_or_equal_fieldGoalsMade/3). 54input(greater_than_or_equal_fieldGoalAttempts/3). 55input(greater_than_or_equal_threePointsMade/3). 56input(greater_than_or_equal_threePointAttempts/3). 57input(greater_than_or_equal_freeThrowsMade/3). 58input(greater_than_or_equal_freeThrowAttempts/3). 59input(greater_than_or_equal_plusMinus/3). 60input(greater_than_or_equal_offensiveRebounds/3). 61input(greater_than_or_equal_defensiveRebounds/3). 62input(greater_than_or_equal_totalRebounds/3). 63input(greater_than_or_equal_assists/3). 64input(greater_than_or_equal_personalFouls/3). 65input(greater_than_or_equal_steals/3). 66input(greater_than_or_equal_turnovers/3). 67input(greater_than_or_equal_blockedShots/3). 68input(greater_than_or_equal_blocksAgainst/3). 69input(greater_than_or_equal_points/3). 70input(greater_than_or_equal_starter/3). 71input(smaller_than_or_equal_minutes/3). 72input(smaller_than_or_equal_fieldGoalsMade/3). 73input(smaller_than_or_equal_fieldGoalAttempts/3). 74input(smaller_than_or_equal_threePointsMade/3). 75input(smaller_than_or_equal_threePointAttempts/3). 76input(smaller_than_or_equal_freeThrowsMade/3). 77input(smaller_than_or_equal_freeThrowAttempts/3). 78input(smaller_than_or_equal_plusMinus/3). 79input(smaller_than_or_equal_offensiveRebounds/3). 80input(smaller_than_or_equal_defensiveRebounds/3). 81input(smaller_than_or_equal_totalRebounds/3). 82input(smaller_than_or_equal_assists/3). 83input(smaller_than_or_equal_personalFouls/3). 84input(smaller_than_or_equal_steals/3). 85input(smaller_than_or_equal_turnovers/3). 86input(smaller_than_or_equal_blockedShots/3). 87input(smaller_than_or_equal_blocksAgainst/3). 88input(smaller_than_or_equal_points/3). 89input(smaller_than_or_equal_starter/3). 90 91input(team_greater_than_or_equal_minutes/4). 92input(team_greater_than_or_equal_fieldGoalsMade/4). 93input(team_greater_than_or_equal_fieldGoalAttempts/4). 94input(team_greater_than_or_equal_threePointsMade/4). 95input(team_greater_than_or_equal_threePointAttempts/4). 96input(team_greater_than_or_equal_freeThrowsMade/4). 97input(team_greater_than_or_equal_freeThrowAttempts/4). 98input(team_greater_than_or_equal_plusMinus/4). 99input(team_greater_than_or_equal_offensiveRebounds/4). 100input(team_greater_than_or_equal_defensiveRebounds/4). 101input(team_greater_than_or_equal_totalRebounds/4). 102input(team_greater_than_or_equal_assists/4). 103input(team_greater_than_or_equal_personalFouls/4). 104input(team_greater_than_or_equal_steals/4). 105input(team_greater_than_or_equal_turnovers/4). 106input(team_greater_than_or_equal_blockedShots/4). 107input(team_greater_than_or_equal_blocksAgainst/4). 108input(team_greater_than_or_equal_points/4). 109input(team_greater_than_or_equal_starter/4). 110 111 112 113%modeh(1,win1). 114 115 116modeh(1,game(+teamId,+teamId)). 117 118 119% modeb(3,actions(+teamId,-#playerId,-minutes,-fieldGoalsMade,-fieldGoalAttempts,-threePointsMade,-threePointAttempts,-freeThrowsMade, -freeThrowAttempts, 120% -plusMinus,-offensiveRebounds,-defensiveRebounds,-totalRebounds,-assists,-personalFouls,-steals,-turnovers,-blockedShots,-blocksAgainst,-points,-starter)). 121 122 123modeb(3,player(+playerId,-#pname)). 124modeb(3,team(+teamId,-#tname)). 125/* 126modeb(3,minutes(+teamId, -playerId, -minutes)). 127modeb(3,fieldGoalsMade(+teamId, -playerId, -fieldGoalsMade)). 128modeb(3,fieldGoalAttempts(+teamId, -playerId, -fieldGoalAttempts)). 129modeb(3,threePointsMade(+teamId, -playerId, -threePointsMade)). 130modeb(3,threePointAttempts(+teamId, -playerId, -threePointAttempts)). 131modeb(3,freeThrowsMade(+teamId, -playerId, -freeThrowsMade)). 132modeb(3,freeThrowAttempts(+teamId, -playerId, -freeThrowAttempts)). 133modeb(3,plusMinus(+teamId, -playerId, -plusMinus)). 134modeb(3,offensiveRebounds(+teamId, -playerId, -offensiveRebounds)). 135modeb(3,defensiveRebounds(+teamId, -playerId, -defensiveRebounds)). 136modeb(3,totalRebounds(+teamId, -playerId, -totalRebounds)). 137modeb(3,assists(+teamId, -playerId, -assists)). 138modeb(3,personalFouls(+teamId, -playerId, -personalFouls)). 139modeb(3,steals(+teamId, -playerId, -steals)). 140modeb(3,turnovers(+teamId, -playerId, -turnovers)). 141modeb(3,blockedShots(+teamId, -playerId, -blockedShots)). 142modeb(3,blocksAgainst(+teamId, -playerId, -blocksAgainst)). 143modeb(3,points(+teamId, -playerId, -points)). 144modeb(3,starter(+teamId, -playerId, -starter)). 145*/ 146modeb(4,greater_than_or_equal_minutes(+teamId,-playerId, -#minutes)). 147modeb(4,greater_than_or_equal_fieldGoalsMade(+teamId,-playerId, -#fieldGoalsMade)). 148modeb(4,greater_than_or_equal_fieldGoalAttempts(+teamId,-playerId, -#fieldGoalAttempts)). 149modeb(4,greater_than_or_equal_threePointsMade(+teamId,-playerId, -#threePointsMade)). 150modeb(4,greater_than_or_equal_threePointAttempts(+teamId,-playerId, -#threePointAttempts)). 151modeb(4,greater_than_or_equal_freeThrowsMade(+teamId,-playerId, -#freeThrowsMade)). 152modeb(4,greater_than_or_equal_freeThrowAttempts(+teamId,-playerId, -#freeThrowAttempts)). 153modeb(4,greater_than_or_equal_plusMinus(+teamId,-playerId, -#plusMinus)). 154modeb(4,greater_than_or_equal_offensiveRebounds(+teamId,-playerId, -#offensiveRebounds)). 155modeb(4,greater_than_or_equal_defensiveRebounds(+teamId,-playerId, -#defensiveRebounds)). 156modeb(4,greater_than_or_equal_totalRebounds(+teamId,-playerId, -#totalRebounds)). 157modeb(4,greater_than_or_equal_assists(+teamId,-playerId, -#assists)). 158modeb(4,greater_than_or_equal_personalFouls(+teamId,-playerId, -#personalFouls)). 159modeb(4,greater_than_or_equal_steals(+teamId,-playerId, -#steals)). 160modeb(4,greater_than_or_equal_turnovers(+teamId,-playerId, -#turnovers)). 161modeb(4,greater_than_or_equal_blockedShots(+teamId,-playerId, -#blockedShots)). 162modeb(4,greater_than_or_equal_blocksAgainst(+teamId,-playerId, -#blocksAgainst)). 163modeb(4,greater_than_or_equal_points(+teamId,-playerId, -#points)). 164modeb(4,greater_than_or_equal_starter(+teamId,-playerId, -#starter)). 165 166modeb(4,smaller_than_or_equal_minutes(+teamId,-playerId, -#minutes)). 167modeb(4,smaller_than_or_equal_fieldGoalsMade(+teamId,-playerId, -#fieldGoalsMade)). 168modeb(4,smaller_than_or_equal_fieldGoalAttempts(+teamId,-playerId, -#fieldGoalAttempts)). 169modeb(4,smaller_than_or_equal_threePointsMade(+teamId,-playerId, -#threePointsMade)). 170modeb(4,smaller_than_or_equal_threePointAttempts(+teamId,-playerId, -#threePointAttempts)). 171modeb(4,smaller_than_or_equal_freeThrowsMade(+teamId,-playerId, -#freeThrowsMade)). 172modeb(4,smaller_than_or_equal_freeThrowAttempts(+teamId,-playerId, -#freeThrowAttempts)). 173modeb(4,smaller_than_or_equal_plusMinus(+teamId,-playerId, -#plusMinus)). 174modeb(4,smaller_than_or_equal_offensiveRebounds(+teamId,-playerId, -#offensiveRebounds)). 175modeb(4,smaller_than_or_equal_defensiveRebounds(+teamId,-playerId, -#defensiveRebounds)). 176modeb(4,smaller_than_or_equal_totalRebounds(+teamId,-playerId, -#totalRebounds)). 177modeb(4,smaller_than_or_equal_assists(+teamId,-playerId, -#assists)). 178modeb(4,smaller_than_or_equal_personalFouls(+teamId,-playerId, -#personalFouls)). 179modeb(4,smaller_than_or_equal_steals(+teamId,-playerId, -#steals)). 180modeb(4,smaller_than_or_equal_turnovers(+teamId,-playerId, -#turnovers)). 181modeb(4,smaller_than_or_equal_blockedShots(+teamId,-playerId, -#blockedShots)). 182modeb(4,smaller_than_or_equal_blocksAgainst(+teamId,-playerId, -#blocksAgainst)). 183modeb(4,smaller_than_or_equal_points(+teamId,-playerId, -#points)). 184modeb(4,smaller_than_or_equal_starter(+teamId,-playerId, -#starter)). 185 186modeb(1,team_greater_than_or_equal_minutes(+teamId,+teamId,-playerId,-playerId)). 187modeb(1,team_greater_than_or_equal_fieldGoalsMade(+teamId,+teamId,-playerId,-playerId)). 188modeb(1,team_greater_than_or_equal_fieldGoalAttempts(+teamId,+teamId,-playerId,-playerId)). 189modeb(1,team_greater_than_or_equal_threePointsMade(+teamId,+teamId,-playerId,-playerId)). 190modeb(1,team_greater_than_or_equal_threePointAttempts(+teamId,+teamId,-playerId,-playerId)). 191modeb(1,team_greater_than_or_equal_freeThrowsMade(+teamId,+teamId,-playerId,-playerId)). 192modeb(1,team_greater_than_or_equal_freeThrowAttempts(+teamId,+teamId,-playerId,-playerId)). 193modeb(1,team_greater_than_or_equal_plusMinus(+teamId,+teamId,-playerId,-playerId)). 194modeb(1,team_greater_than_or_equal_offensiveRebounds(+teamId,+teamId,-playerId,-playerId)). 195modeb(1,team_greater_than_or_equal_defensiveRebounds(+teamId,+teamId,-playerId,-playerId)). 196modeb(1,team_greater_than_or_equal_totalRebounds(+teamId,+teamId,-playerId,-playerId)). 197modeb(1,team_greater_than_or_equal_assists(+teamId,+teamId,-playerId,-playerId)). 198modeb(1,team_greater_than_or_equal_personalFouls(+teamId,+teamId,-playerId,-playerId)). 199modeb(1,team_greater_than_or_equal_steals(+teamId,+teamId,-playerId,-playerId)). 200modeb(1,team_greater_than_or_equal_turnovers(+teamId,+teamId,-playerId,-playerId)). 201modeb(1,team_greater_than_or_equal_blockedShots(+teamId,+teamId,-playerId,-playerId)). 202modeb(1,team_greater_than_or_equal_blocksAgainst(+teamId,+teamId,-playerId,-playerId)). 203modeb(1,team_greater_than_or_equal_points(+teamId,+teamId,-playerId,-playerId)). 204modeb(1,team_greater_than_or_equal_starter(+teamId,+teamId,-playerId,-playerId)). 205/* 206modeb(3,smaller_than_or_equal_minutes(-playerId,-playerId)). 207modeb(3,smaller_than_or_equal_fieldGoalsMade(-playerId,-playerId)). 208modeb(3,smaller_than_or_equal_fieldGoalAttempts(-playerId,-playerId)). 209modeb(3,smaller_than_or_equal_threePointsMade(-playerId,-playerId)). 210modeb(3,smaller_than_or_equal_threePointAttempts(-playerId,-playerId)). 211modeb(3,smaller_than_or_equal_freeThrowsMade(-playerId,-playerId)). 212modeb(3,smaller_than_or_equal_freeThrowAttempts(-playerId,-playerId)). 213modeb(3,smaller_than_or_equal_plusMinus(-playerId,-playerId)). 214modeb(3,smaller_than_or_equal_offensiveRebounds(-playerId,-playerId)). 215modeb(3,smaller_than_or_equal_defensiveRebounds(-playerId,-playerId)). 216modeb(3,smaller_than_or_equal_totalRebounds(-playerId,-playerId)). 217modeb(3,smaller_than_or_equal_assists(-playerId,-playerId)). 218modeb(3,smaller_than_or_equal_personalFouls(-playerId,-playerId)). 219modeb(3,smaller_than_or_equal_steals(-playerId,-playerId)). 220modeb(3,smaller_than_or_equal_turnovers(-playerId,-playerId)). 221modeb(3,smaller_than_or_equal_blockedShots(-playerId,-playerId)). 222modeb(3,smaller_than_or_equal_blocksAgainst(-playerId,-playerId)). 223modeb(3,smaller_than_or_equal_points(-playerId,-playerId)). 224modeb(3,smaller_than_or_equal_starter(-playerId,-playerId)). 225modeb(3,greater_than_or_equal_minutes(+teamId, +minutes)). 226modeb(3,greater_than_or_equal_fieldGoalsMade(+teamId, +fieldGoalsMade)). 227modeb(3,greater_than_or_equal_fieldGoalAttempts(+teamId, +fieldGoalAttempts)). 228modeb(3,greater_than_or_equal_threePointsMade(+teamId, +threePointsMade)). 229modeb(3,greater_than_or_equal_threePointAttempts(+teamId, +threePointAttempts)). 230modeb(3,greater_than_or_equal_freeThrowsMade(+teamId, +freeThrowsMade)). 231modeb(3,greater_than_or_equal_freeThrowAttempts(+teamId, +freeThrowAttempts)). 232modeb(3,greater_than_or_equal_plusMinus(+teamId, +plusMinus)). 233modeb(3,greater_than_or_equal_offensiveRebounds(+teamId, +offensiveRebounds)). 234modeb(3,greater_than_or_equal_defensiveRebounds(+teamId, +defensiveRebounds)). 235modeb(3,greater_than_or_equal_totalRebounds(+teamId, +totalRebounds)). 236modeb(3,greater_than_or_equal_assists(+teamId, +assists)). 237modeb(3,greater_than_or_equal_personalFouls(+teamId, +personalFouls)). 238modeb(3,greater_than_or_equal_steals(+teamId, +steals)). 239modeb(3,greater_than_or_equal_turnovers(+teamId, +turnovers)). 240modeb(3,greater_than_or_equal_blockedShots(+teamId, +blockedShots)). 241modeb(3,greater_than_or_equal_blocksAgainst(+teamId, +blocksAgainst)). 242modeb(3,greater_than_or_equal_points(+teamId, +points)). 243modeb(3,greater_than_or_equal_starter(+teamId, +starter)). 244 245*/ 246/* 247% minutes 248 249modeb(1,(+minutes) >= (#minutes)). 250modeb(1,(+minutes) =< (#minutes)). 251modeb(1,(+minutes) = (#minutes)). 252 253modeb(1,(+minutes) >= (+minutes)). 254 255% fieldGoalsMade 256modeb(1,(+fieldGoalsMade) >= (+fieldGoalsMade)). 257modeb(1,(+fieldGoalsMade) >= (#fieldGoalsMade)). 258modeb(1,(+fieldGoalsMade) =< (#fieldGoalsMade)). 259modeb(1,(+fieldGoalsMade) = (#fieldGoalsMade)). 260 261% fieldGoalAttempts 262modeb(1,(+fieldGoalAttempts) >= (+fieldGoalAttempts)). 263modeb(1,(+fieldGoalAttempts) >= (#fieldGoalAttempts)). 264modeb(1,(+fieldGoalAttempts) =< (#fieldGoalAttempts)). 265modeb(1,(+fieldGoalAttempts) = (#fieldGoalAttempts)). 266 267% threePointsMade 268modeb(1,(+threePointsMade) >= (+threePointsMade)). 269modeb(1,(+threePointsMade) >= (#threePointsMade)). 270modeb(1,(+threePointsMade) =< (#threePointsMade)). 271modeb(1,(+threePointsMade) = (#threePointsMade)). 272 273% threePointAttempts 274modeb(1,(+threePointAttempts) >= (+threePointAttempts)). 275modeb(1,(+threePointAttempts) >= (#threePointAttempts)). 276modeb(1,(+threePointAttempts) =< (#threePointAttempts)). 277modeb(1,(+threePointAttempts) = (#threePointAttempts)). 278 279% freeThrowsMade 280modeb(1,(+freeThrowsMade) >= (+freeThrowsMade)). 281modeb(1,(+freeThrowsMade) >= (#freeThrowsMade)). 282modeb(1,(+freeThrowsMade) =< (#freeThrowsMade)). 283modeb(1,(+freeThrowsMade) = (#freeThrowsMade)). 284 285% freeThrowAttempts 286modeb(1,(+freeThrowAttempts) >= (+freeThrowAttempts)). 287modeb(1,(+freeThrowAttempts) >= (#freeThrowAttempts)). 288modeb(1,(+freeThrowAttempts) =< (#freeThrowAttempts)). 289modeb(1,(+freeThrowAttempts) = (#freeThrowAttempts)). 290 291% plusMinus 292modeb(1,(+plusMinus) >= (+plusMinus)). 293modeb(1,(+plusMinus) >= (#plusMinus)). 294modeb(1,(+plusMinus) =< (#plusMinus)). 295modeb(1,(+plusMinus) = (#plusMinus)). 296 297% offensiveRebounds 298modeb(1,(+offensiveRebounds) >= (+offensiveRebounds)). 299modeb(1,(+offensiveRebounds) >= (#offensiveRebounds)). 300modeb(1,(+offensiveRebounds) =< (#offensiveRebounds)). 301modeb(1,(+offensiveRebounds) = (#offensiveRebounds)). 302 303% defensiveRebounds 304modeb(1,(+defensiveRebounds) >= (+defensiveRebounds)). 305modeb(1,(+defensiveRebounds) >= (#defensiveRebounds)). 306modeb(1,(+defensiveRebounds) =< (#defensiveRebounds)). 307modeb(1,(+defensiveRebounds) = (#defensiveRebounds)). 308 309% totalRebounds 310modeb(1,(+totalRebounds) >= (+totalRebounds)). 311modeb(1,(+totalRebounds) >= (#totalRebounds)). 312modeb(1,(+totalRebounds) =< (#totalRebounds)). 313modeb(1,(+totalRebounds) = (#totalRebounds)). 314 315 316% assists 317modeb(1,(+assists) >= (+assists)). 318modeb(1,(+assists) >= (#assists)). 319modeb(1,(+assists) =< (#assists)). 320modeb(1,(+assists) = (#assists)). 321 322% personalFouls 323modeb(1,(+personalFouls) >= (+personalFouls)). 324modeb(1,(+personalFouls) >= (#personalFouls)). 325modeb(1,(+personalFouls) =< (#personalFouls)). 326modeb(1,(+personalFouls) = (#personalFouls)). 327 328% steals 329modeb(1,(+steals) >= (+steals)). 330modeb(1,(+steals) >= (#steals)). 331modeb(1,(+steals) =< (#steals)). 332modeb(1,(+steals) = (#steals)). 333 334% turnovers 335modeb(1,(+turnovers) >= (+turnovers)). 336modeb(1,(+turnovers) >= (#turnovers)). 337modeb(1,(+turnovers) =< (#turnovers)). 338modeb(1,(+turnovers) = (#turnovers)). 339 340% blockedShots 341modeb(1,(+blockedShots) >= (+blockedShots)). 342modeb(1,(+blockedShots) >= (#blockedShots)). 343modeb(1,(+blockedShots) =< (#blockedShots)). 344modeb(1,(+blockedShots) = (#blockedShots)). 345 346% blocksAgainst 347modeb(1,(+blocksAgainst) >= (+blocksAgainst)). 348modeb(1,(+blocksAgainst) >= (#blocksAgainst)). 349modeb(1,(+blocksAgainst) =< (#blocksAgainst)). 350modeb(1,(+blocksAgainst) = (#blocksAgainst)). 351 352% points 353modeb(1,(+points) >= (+points)). 354modeb(1,(+points) >= (#points)). 355modeb(1,(+points) =< (#points)). 356modeb(1,(+points) = (#points)). 357 358% starter 359modeb(1,(+starter) >= (+starter)). 360modeb(1,(+starter) >= (#starter)). 361modeb(1,(+starter) =< (#starter)). 362modeb(1,(+starter) = (#starter)). 363 364 365*/ 366 367 368% determination(game/3,actions/21). 369%determination(game/3,player/2). 370%determination(game/3,team/2). 371/* 372determination(game/2,minutes/3). 373determination(game/2,fieldGoalsMade/3). 374determination(game/2,fieldGoalAttempts/3). 375determination(game/2,threePointsMade/3). 376determination(game/2,threePointAttempts/3). 377determination(game/2,freeThrowsMade/3). 378determination(game/2,freeThrowAttempts/3). 379determination(game/2,plusMinus/3). 380determination(game/2,offensiveRebounds/3). 381determination(game/2,defensiveRebounds/3). 382determination(game/2,totalRebounds/3). 383determination(game/2,assists/3). 384determination(game/2,personalFouls/3). 385determination(game/2,steals/3). 386determination(game/2,turnovers/3). 387determination(game/2,blockedShots/3). 388determination(game/2,blocksAgainst/3). 389determination(game/2,points/3). 390determination(game/2,starter/3). 391 392determination(game/2,'=<'/2). 393determination(game/2,'>='/2). 394determination(game/2,'='/2). 395*/ 396determination(game/2,greater_than_or_equal_minutes/3). 397determination(game/2,greater_than_or_equal_fieldGoalsMade/3). 398determination(game/2,greater_than_or_equal_fieldGoalAttempts/3). 399determination(game/2,greater_than_or_equal_threePointsMade/3). 400determination(game/2,greater_than_or_equal_threePointAttempts/3). 401determination(game/2,greater_than_or_equal_freeThrowsMade/3). 402determination(game/2,greater_than_or_equal_freeThrowAttempts/3). 403determination(game/2,greater_than_or_equal_plusMinus/3). 404determination(game/2,greater_than_or_equal_offensiveRebounds/3). 405determination(game/2,greater_than_or_equal_defensiveRebounds/3). 406determination(game/2,greater_than_or_equal_totalRebounds/3). 407determination(game/2,greater_than_or_equal_assists/3). 408determination(game/2,greater_than_or_equal_personalFouls/3). 409determination(game/2,greater_than_or_equal_steals/3). 410determination(game/2,greater_than_or_equal_turnovers/3). 411determination(game/2,greater_than_or_equal_blockedShots/3). 412determination(game/2,greater_than_or_equal_blocksAgainst/3). 413determination(game/2,greater_than_or_equal_points/3). 414determination(game/2,greater_than_or_equal_starter/3). 415 416determination(game/2,smaller_than_or_equal_minutes/3). 417determination(game/2,smaller_than_or_equal_fieldGoalsMade/3). 418determination(game/2,smaller_than_or_equal_fieldGoalAttempts/3). 419determination(game/2,smaller_than_or_equal_threePointsMade/3). 420determination(game/2,smaller_than_or_equal_threePointAttempts/3). 421determination(game/2,smaller_than_or_equal_freeThrowsMade/3). 422determination(game/2,smaller_than_or_equal_freeThrowAttempts/3). 423determination(game/2,smaller_than_or_equal_plusMinus/3). 424determination(game/2,smaller_than_or_equal_offensiveRebounds/3). 425determination(game/2,smaller_than_or_equal_defensiveRebounds/3). 426determination(game/2,smaller_than_or_equal_totalRebounds/3). 427determination(game/2,smaller_than_or_equal_assists/3). 428determination(game/2,smaller_than_or_equal_personalFouls/3). 429determination(game/2,smaller_than_or_equal_steals/3). 430determination(game/2,smaller_than_or_equal_turnovers/3). 431determination(game/2,smaller_than_or_equal_blockedShots/3). 432determination(game/2,smaller_than_or_equal_blocksAgainst/3). 433determination(game/2,smaller_than_or_equal_points/3). 434determination(game/2,smaller_than_or_equal_starter/3). 435 436determination(game/2,team_greater_than_or_equal_minutes/4). 437determination(game/2,team_greater_than_or_equal_fieldGoalsMade/4). 438determination(game/2,team_greater_than_or_equal_fieldGoalAttempts/4). 439determination(game/2,team_greater_than_or_equal_threePointsMade/4). 440determination(game/2,team_greater_than_or_equal_threePointAttempts/4). 441determination(game/2,team_greater_than_or_equal_freeThrowsMade/4). 442determination(game/2,team_greater_than_or_equal_freeThrowAttempts/4). 443determination(game/2,team_greater_than_or_equal_plusMinus/4). 444determination(game/2,team_greater_than_or_equal_offensiveRebounds/4). 445determination(game/2,team_greater_than_or_equal_defensiveRebounds/4). 446determination(game/2,team_greater_than_or_equal_totalRebounds/4). 447determination(game/2,team_greater_than_or_equal_assists/4). 448determination(game/2,team_greater_than_or_equal_personalFouls/4). 449determination(game/2,team_greater_than_or_equal_steals/4). 450determination(game/2,team_greater_than_or_equal_turnovers/4). 451determination(game/2,team_greater_than_or_equal_blockedShots/4). 452determination(game/2,team_greater_than_or_equal_blocksAgainst/4). 453determination(game/2,team_greater_than_or_equal_points/4). 454determination(game/2,team_greater_than_or_equal_starter/4). 455 456 457greater_than_or_equal_minutes(M,TeamId,PlayerID,Y):- 458 minutes(M,TeamId,PlayerID,X), 459 minutes(M,_,_,Y), 460 X >= Y. 461 462greater_than_or_equal_fieldGoalsMade(M,TeamId,PlayerID,Y):- 463 fieldGoalsMade(M,TeamId,PlayerID,X), 464 fieldGoalsMade(M,_,_,Y), 465 X >= Y. 466 467greater_than_or_equal_fieldGoalAttempts(M,TeamId,PlayerID,Y):- 468 fieldGoalAttempts(M,TeamId,PlayerID,X), 469 fieldGoalAttempts(M,_,_,Y), 470 X >= Y. 471 472greater_than_or_equal_threePointsMade(M,TeamId,PlayerID,Y):- 473 threePointsMade(M,TeamId,PlayerID,X), 474 threePointsMade(M,_,_,Y), 475 X >= Y. 476 477greater_than_or_equal_threePointAttempts(M,TeamId,PlayerID,Y):- 478 threePointAttempts(M,TeamId,PlayerID,X), 479 threePointAttempts(M,_,_,Y), 480 X >= Y. 481 482greater_than_or_equal_freeThrowsMade(M,TeamId,PlayerID,Y):- 483 freeThrowsMade(M,TeamId,PlayerID,X), 484 freeThrowsMade(M,_,_,Y), 485 X >= Y. 486 487greater_than_or_equal_freeThrowAttempts(M,TeamId,PlayerID,Y):- 488 freeThrowAttempts(M,TeamId,PlayerID,X), 489 freeThrowAttempts(M,_,_,Y), 490 X >= Y. 491 492greater_than_or_equal_plusMinus(M,TeamId,PlayerID,Y):- 493 plusMinus(M,TeamId,PlayerID,X), 494 plusMinus(M,_,_,Y), 495 X >= Y. 496 497greater_than_or_equal_offensiveRebounds(M,TeamId,PlayerID,Y):- 498 offensiveRebounds(M,TeamId,PlayerID,X), 499 offensiveRebounds(M,_,_,Y), 500 X >= Y. 501 502greater_than_or_equal_defensiveRebounds(M,TeamId,PlayerID,Y):- 503 defensiveRebounds(M,TeamId,PlayerID,X), 504 defensiveRebounds(M,_,_,Y), 505 X >= Y. 506 507greater_than_or_equal_totalRebounds(M,TeamId,PlayerID,Y):- 508 totalRebounds(M,TeamId,PlayerID,X), 509 totalRebounds(M,_,_,Y), 510 X >= Y. 511 512greater_than_or_equal_assists(M,TeamId,PlayerID,Y):- 513 assists(M,TeamId,PlayerID,X), 514 assists(M,_,_,Y), 515 X >= Y. 516 517greater_than_or_equal_personalFouls(M,TeamId,PlayerID,Y):- 518 personalFouls(M,TeamId,PlayerID,X), 519 personalFouls(M,_,_,Y), 520 X >= Y. 521 522greater_than_or_equal_steals(M,TeamId,PlayerID,Y):- 523 steals(M,TeamId,PlayerID,X), 524 steals(M,_,_,Y), 525 X >= Y. 526 527greater_than_or_equal_turnovers(M,TeamId,PlayerID,Y):- 528 turnovers(M,TeamId,PlayerID,X), 529 turnovers(M,_,_,Y), 530 X >= Y. 531 532greater_than_or_equal_blockedShots(M,TeamId,PlayerID,Y):- 533 blockedShots(M,TeamId,PlayerID,X), 534 blockedShots(M,_,_,Y), 535 X >= Y. 536 537greater_than_or_equal_blocksAgainst(M,TeamId,PlayerID,Y):- 538 blocksAgainst(M,TeamId,PlayerID,X), 539 blocksAgainst(M,_,_,Y), 540 X >= Y. 541 542greater_than_or_equal_points(M,TeamId,PlayerID,Y):- 543 points(M,TeamId,PlayerID,X), 544 points(M,_,_,Y), 545 X >= Y. 546 547greater_than_or_equal_starter(M,TeamId,PlayerID,Y):- 548 starter(M,TeamId,PlayerID,X), 549 starter(M,_,_,Y), 550 X >= Y. 551 552 553smaller_than_or_equal_minutes(M,TeamId,PlayerID,Y):- 554 minutes(M,TeamId,PlayerID,X), 555 minutes(M,_,_,Y), 556 X =< Y. 557 558smaller_than_or_equal_fieldGoalsMade(M,TeamId,PlayerID,Y):- 559 fieldGoalsMade(M,TeamId,PlayerID,X), 560 fieldGoalsMade(M,_,_,Y), 561 X =< Y. 562 563smaller_than_or_equal_fieldGoalAttempts(M,TeamId,PlayerID,Y):- 564 fieldGoalAttempts(M,TeamId,PlayerID,X), 565 fieldGoalAttempts(M,_,_,Y), 566 X =< Y. 567 568smaller_than_or_equal_threePointsMade(M,TeamId,PlayerID,Y):- 569 threePointsMade(M,TeamId,PlayerID,X), 570 threePointsMade(M,_,_,Y), 571 X =< Y. 572 573smaller_than_or_equal_threePointAttempts(M,TeamId,PlayerID,Y):- 574 threePointAttempts(M,TeamId,PlayerID,X), 575 threePointAttempts(M,_,_,Y), 576 X =< Y. 577 578smaller_than_or_equal_freeThrowsMade(M,TeamId,PlayerID,Y):- 579 freeThrowsMade(M,TeamId,PlayerID,X), 580 freeThrowsMade(M,_,_,Y), 581 X =< Y. 582 583smaller_than_or_equal_freeThrowAttempts(M,TeamId,PlayerID,Y):- 584 freeThrowAttempts(M,TeamId,PlayerID,X), 585 freeThrowAttempts(M,_,_,Y), 586 X =< Y. 587 588smaller_than_or_equal_plusMinus(M,TeamId,PlayerID,Y):- 589 plusMinus(M,TeamId,PlayerID,X), 590 plusMinus(M,_,_,Y), 591 X =< Y. 592 593smaller_than_or_equal_offensiveRebounds(M,TeamId,PlayerID,Y):- 594 offensiveRebounds(M,TeamId,PlayerID,X), 595 offensiveRebounds(M,_,_,Y), 596 X =< Y. 597 598smaller_than_or_equal_defensiveRebounds(M,TeamId,PlayerID,Y):- 599 defensiveRebounds(M,TeamId,PlayerID,X), 600 defensiveRebounds(M,_,_,Y), 601 X =< Y. 602 603smaller_than_or_equal_totalRebounds(M,TeamId,PlayerID,Y):- 604 totalRebounds(M,TeamId,PlayerID,X), 605 totalRebounds(M,_,_,Y), 606 X =< Y. 607 608smaller_than_or_equal_assists(M,TeamId,PlayerID,Y):- 609 assists(M,TeamId,PlayerID,X), 610 assists(M,_,_,Y), 611 X =< Y. 612 613smaller_than_or_equal_personalFouls(M,TeamId,PlayerID,Y):- 614 personalFouls(M,TeamId,PlayerID,X), 615 personalFouls(M,_,_,Y), 616 X =< Y. 617 618smaller_than_or_equal_steals(M,TeamId,PlayerID,Y):- 619 steals(M,TeamId,PlayerID,X), 620 steals(M,_,_,Y), 621 X =< Y. 622 623smaller_than_or_equal_turnovers(M,TeamId,PlayerID,Y):- 624 turnovers(M,TeamId,PlayerID,X), 625 turnovers(M,_,_,Y), 626 X =< Y. 627 628smaller_than_or_equal_blockedShots(M,TeamId,PlayerID,Y):- 629 blockedShots(M,TeamId,PlayerID,X), 630 blockedShots(M,_,_,Y), 631 X =< Y. 632 633smaller_than_or_equal_blocksAgainst(M,TeamId,PlayerID,Y):- 634 blocksAgainst(M,TeamId,PlayerID,X), 635 blocksAgainst(M,_,_,Y), 636 X =< Y. 637 638smaller_than_or_equal_points(M,TeamId,PlayerID,Y):- 639 points(M,TeamId,PlayerID,X), 640 points(M,_,_,Y), 641 X =< Y. 642 643smaller_than_or_equal_starter(M,TeamId,PlayerID,Y):- 644 starter(M,TeamId,PlayerID,X), 645 starter(M,_,_,Y), 646 X =< Y. 647 648team_greater_than_or_equal_minutes(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 649 TeamId1 \= TeamId2, 650 minutes(M,TeamId1,PlayerID1,X), 651 minutes(M,TeamId2,PlayerID2,Y), 652 X >= Y. 653 654team_greater_than_or_equal_fieldGoalsMade(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 655 TeamId1 \= TeamId2, 656 fieldGoalsMade(M,TeamId1,PlayerID1,X), 657 fieldGoalsMade(M,TeamId2,PlayerID2,Y), 658 X >= Y. 659 660team_greater_than_or_equal_fieldGoalAttempts(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 661 TeamId1 \= TeamId2, 662 fieldGoalAttempts(M,TeamId1,PlayerID1,X), 663 fieldGoalAttempts(M,TeamId2,PlayerID2,Y), 664 X >= Y. 665 666team_greater_than_or_equal_threePointsMade(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 667 TeamId1 \= TeamId2, 668 threePointsMade(M,TeamId1,PlayerID1,X), 669 threePointsMade(M,TeamId2,PlayerID2,Y), 670 X >= Y. 671 672team_greater_than_or_equal_threePointAttempts(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 673 TeamId1 \= TeamId2, 674 threePointAttempts(M,TeamId1,PlayerID1,X), 675 threePointAttempts(M,TeamId2,PlayerID2,Y), 676 X >= Y. 677 678team_greater_than_or_equal_freeThrowsMade(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 679 TeamId1 \= TeamId2, 680 freeThrowsMade(M,TeamId1,PlayerID1,X), 681 freeThrowsMade(M,TeamId2,PlayerID2,Y), 682 X >= Y. 683 684team_greater_than_or_equal_freeThrowAttempts(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 685 TeamId1 \= TeamId2, 686 freeThrowAttempts(M,TeamId1,PlayerID1,X), 687 freeThrowAttempts(M,TeamId2,PlayerID2,Y), 688 X >= Y. 689 690team_greater_than_or_equal_plusMinus(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 691 TeamId1 \= TeamId2, 692 plusMinus(M,TeamId1,PlayerID1,X), 693 plusMinus(M,TeamId2,PlayerID2,Y), 694 X >= Y. 695 696team_greater_than_or_equal_offensiveRebounds(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 697 TeamId1 \= TeamId2, 698 offensiveRebounds(M,TeamId1,PlayerID1,X), 699 offensiveRebounds(M,TeamId2,PlayerID2,Y), 700 X >= Y. 701 702team_greater_than_or_equal_defensiveRebounds(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 703 TeamId1 \= TeamId2, 704 defensiveRebounds(M,TeamId1,PlayerID1,X), 705 defensiveRebounds(M,TeamId2,PlayerID2,Y), 706 X >= Y. 707 708team_greater_than_or_equal_totalRebounds(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 709 TeamId1 \= TeamId2, 710 totalRebounds(M,TeamId1,PlayerID1,X), 711 totalRebounds(M,TeamId2,PlayerID2,Y), 712 X >= Y. 713 714team_greater_than_or_equal_assists(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 715 TeamId1 \= TeamId2, 716 assists(M,TeamId1,PlayerID1,X), 717 assists(M,TeamId2,PlayerID2,Y), 718 X >= Y. 719 720team_greater_than_or_equal_personalFouls(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 721 TeamId1 \= TeamId2, 722 personalFouls(M,TeamId1,PlayerID1,X), 723 personalFouls(M,TeamId2,PlayerID2,Y), 724 X >= Y. 725 726team_greater_than_or_equal_steals(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 727 TeamId1 \= TeamId2, 728 steals(M,TeamId1,PlayerID1,X), 729 steals(M,TeamId2,PlayerID2,Y), 730 X >= Y. 731 732team_greater_than_or_equal_turnovers(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 733 TeamId1 \= TeamId2, 734 turnovers(M,TeamId1,PlayerID1,X), 735 turnovers(M,TeamId2,PlayerID2,Y), 736 X >= Y. 737 738team_greater_than_or_equal_blockedShots(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 739 TeamId1 \= TeamId2, 740 blockedShots(M,TeamId1,PlayerID1,X), 741 blockedShots(M,TeamId2,PlayerID2,Y), 742 X >= Y. 743 744team_greater_than_or_equal_blocksAgainst(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 745 TeamId1 \= TeamId2, 746 blocksAgainst(M,TeamId1,PlayerID1,X), 747 blocksAgainst(M,TeamId2,PlayerID2,Y), 748 X >= Y. 749 750team_greater_than_or_equal_points(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 751 TeamId1 \= TeamId2, 752 points(M,TeamId1,PlayerID1,X), 753 points(M,TeamId2,PlayerID2,Y), 754 X >= Y. 755 756team_greater_than_or_equal_starter(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 757 TeamId1 \= TeamId2, 758 starter(M,TeamId1,PlayerID1,X), 759 starter(M,TeamId2,PlayerID2,Y), 760 X >= Y. 761 762 763smaller_than_or_equal_minutes(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 764 TeamId1 \= TeamId2, 765 minutes(M,TeamId1,PlayerID1,X), 766 minutes(M,TeamId2,PlayerID2,Y), 767 X =< Y. 768 769smaller_than_or_equal_fieldGoalsMade(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 770 TeamId1 \= TeamId2, 771 fieldGoalsMade(M,TeamId1,PlayerID1,X), 772 fieldGoalsMade(M,TeamId2,PlayerID2,Y), 773 X =< Y. 774 775smaller_than_or_equal_fieldGoalAttempts(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 776 TeamId1 \= TeamId2, 777 fieldGoalAttempts(M,TeamId1,PlayerID1,X), 778 fieldGoalAttempts(M,TeamId2,PlayerID2,Y), 779 X =< Y. 780 781smaller_than_or_equal_threePointsMade(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 782 TeamId1 \= TeamId2, 783 threePointsMade(M,TeamId1,PlayerID1,X), 784 threePointsMade(M,TeamId2,PlayerID2,Y), 785 X =< Y. 786 787smaller_than_or_equal_threePointAttempts(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 788 TeamId1 \= TeamId2, 789 threePointAttempts(M,TeamId1,PlayerID1,X), 790 threePointAttempts(M,TeamId2,PlayerID2,Y), 791 X =< Y. 792 793smaller_than_or_equal_freeThrowsMade(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 794 TeamId1 \= TeamId2, 795 freeThrowsMade(M,TeamId1,PlayerID1,X), 796 freeThrowsMade(M,TeamId2,PlayerID2,Y), 797 X =< Y. 798 799smaller_than_or_equal_freeThrowAttempts(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 800 TeamId1 \= TeamId2, 801 freeThrowAttempts(M,TeamId1,PlayerID1,X), 802 freeThrowAttempts(M,TeamId2,PlayerID2,Y), 803 X =< Y. 804 805smaller_than_or_equal_plusMinus(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 806 TeamId1 \= TeamId2, 807 plusMinus(M,TeamId1,PlayerID1,X), 808 plusMinus(M,TeamId2,PlayerID2,Y), 809 X =< Y. 810 811smaller_than_or_equal_offensiveRebounds(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 812 TeamId1 \= TeamId2, 813 offensiveRebounds(M,TeamId1,PlayerID1,X), 814 offensiveRebounds(M,TeamId2,PlayerID2,Y), 815 X =< Y. 816 817smaller_than_or_equal_defensiveRebounds(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 818 TeamId1 \= TeamId2, 819 defensiveRebounds(M,TeamId1,PlayerID1,X), 820 defensiveRebounds(M,TeamId2,PlayerID2,Y), 821 X =< Y. 822 823smaller_than_or_equal_totalRebounds(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 824 TeamId1 \= TeamId2, 825 totalRebounds(M,TeamId1,PlayerID1,X), 826 totalRebounds(M,TeamId2,PlayerID2,Y), 827 X =< Y. 828 829smaller_than_or_equal_assists(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 830 TeamId1 \= TeamId2, 831 assists(M,TeamId1,PlayerID1,X), 832 assists(M,TeamId2,PlayerID2,Y), 833 X =< Y. 834 835smaller_than_or_equal_personalFouls(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 836 TeamId1 \= TeamId2, 837 personalFouls(M,TeamId1,PlayerID1,X), 838 personalFouls(M,TeamId2,PlayerID2,Y), 839 X =< Y. 840 841smaller_than_or_equal_steals(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 842 TeamId1 \= TeamId2, 843 steals(M,TeamId1,PlayerID1,X), 844 steals(M,TeamId2,PlayerID2,Y), 845 X =< Y. 846 847smaller_than_or_equal_turnovers(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 848 TeamId1 \= TeamId2, 849 turnovers(M,TeamId1,PlayerID1,X), 850 turnovers(M,TeamId2,PlayerID2,Y), 851 X =< Y. 852 853smaller_than_or_equal_blockedShots(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 854 TeamId1 \= TeamId2, 855 blockedShots(M,TeamId1,PlayerID1,X), 856 blockedShots(M,TeamId2,PlayerID2,Y), 857 X =< Y. 858 859smaller_than_or_equal_blocksAgainst(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 860 TeamId1 \= TeamId2, 861 blocksAgainst(M,TeamId1,PlayerID1,X), 862 blocksAgainst(M,TeamId2,PlayerID2,Y), 863 X =< Y. 864 865smaller_than_or_equal_points(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 866 TeamId1 \= TeamId2, 867 points(M,TeamId1,PlayerID1,X), 868 points(M,TeamId2,PlayerID2,Y), 869 X =< Y. 870 871smaller_than_or_equal_starter(M,TeamId1,TeamId2,PlayerID1,PlayerID2):- 872 TeamId1 \= TeamId2, 873 starter(M,TeamId1,PlayerID1,X), 874 starter(M,TeamId2,PlayerID2,Y), 875 X =< Y. 876 877% Each predicate for each action argument 878minutes(M,TeamId, PlayerId,Minutes):- 879 actions(M,TeamId, PlayerId,Minutes,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_). 880 881fieldGoalsMade(M, TeamId, PlayerId, FieldGoalsMade):- 882 actions(M, TeamId, PlayerId, _, FieldGoalsMade, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _). 883 884fieldGoalAttempts(M, TeamId, PlayerId, FieldGoalAttempts):- 885 actions(M, TeamId, PlayerId, _, _, FieldGoalAttempts, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _). 886 887threePointsMade(M, TeamId, PlayerId, ThreePointsMade):- 888 actions(M, TeamId, PlayerId, _, _, _, ThreePointsMade, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _). 889 890threePointAttempts(M, TeamId, PlayerId, ThreePointAttempts):- 891 actions(M, TeamId, PlayerId, _, _, _, _, ThreePointAttempts, _, _, _, _, _, _, _, _, _, _, _, _, _, _). 892 893freeThrowsMade(M, TeamId, PlayerId, FreeThrowsMade):- 894 actions(M, TeamId, PlayerId, _, _, _, _, _, FreeThrowsMade, _, _, _, _, _, _, _, _, _, _, _, _, _). 895 896freeThrowAttempts(M, TeamId, PlayerId, FreeThrowAttempts):- 897 actions(M, TeamId, PlayerId, _, _, _, _, _, _, FreeThrowAttempts, _, _, _, _, _, _, _, _, _, _, _, _). 898 899plusMinus(M, TeamId, PlayerId, PlusMinus):- 900 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, PlusMinus, _, _, _, _, _, _, _, _, _, _, _). 901 902offensiveRebounds(M, TeamId, PlayerId, OffensiveRebounds):- 903 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, OffensiveRebounds, _, _, _, _, _, _, _, _, _, _). 904 905defensiveRebounds(M, TeamId, PlayerId, DefensiveRebounds):- 906 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, DefensiveRebounds, _, _, _, _, _, _, _, _, _). 907 908totalRebounds(M, TeamId, PlayerId, TotalRebounds):- 909 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, TotalRebounds, _, _, _, _, _, _, _, _). 910 911assists(M, TeamId, PlayerId, Assists):- 912 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, Assists, _, _, _, _, _, _, _). 913 914personalFouls(M, TeamId, PlayerId, PersonalFouls):- 915 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, _, PersonalFouls, _, _, _, _, _, _). 916 917steals(M, TeamId, PlayerId, Steals):- 918 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, _, _, Steals, _, _, _, _, _). 919 920turnovers(M, TeamId, PlayerId, Turnovers):- 921 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, _, _, _, Turnovers, _, _, _, _). 922 923blockedShots(M, TeamId, PlayerId, BlockedShots):- 924 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, BlockedShots, _, _, _). 925 926blocksAgainst(M, TeamId, PlayerId, BlocksAgainst):- 927 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, BlocksAgainst, _, _). 928 929points(M, TeamId, PlayerId, Points):- 930 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, Points, _). 931 932starter(M, TeamId, PlayerId, Starter):- 933 actions(M, TeamId, PlayerId, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, Starter). 934 935 936 937 938%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 939% Game information 940%% 941% predicate: game(GameId,Team1Id,Team2Id,ResultOfTeam1,URL,Date). 942game(M,T1,T2):- 943 game(M,T1,T2,1,_,_). 944 945neg(game(M,T1,T2)):- 946 nega(game(M,T1,T2,-1,_,_)). 947 948 949game(1,7,8,1,"http://www.nba.com/games/20140331/NYKUTA/gameinfo.html","2014-03-31 00:00:00"). 950game(2,9,10,1,"http://www.nba.com/games/20140331/MEMDEN/gameinfo.html","2014-03-31 00:00:00"). 951game(3,11,12,1,"http://www.nba.com/games/20140331/SACNOP/gameinfo.html","2014-03-31 00:00:00"). 952game(4,13,14,1,"http://www.nba.com/games/20140331/LACMIN/gameinfo.html","2014-03-31 00:00:00"). 953nega(game(5,15,16,-1,"http://www.nba.com/games/20140331/BOSCHI/gameinfo.html","2014-03-31 00:00:00")). 954nega(game(6,17,18,-1,"http://www.nba.com/games/20140331/TORMIA/gameinfo.html","2014-03-31 00:00:00")). 955nega(game(7,19,20,-1,"http://www.nba.com/games/20140331/MILDET/gameinfo.html","2014-03-31 00:00:00")). 956nega(game(8,21,22,-1,"http://www.nba.com/games/20140331/PHIATL/gameinfo.html","2014-03-31 00:00:00")). 957nega(game(9,23,24,-1,"http://www.nba.com/games/20140331/WASCHA/gameinfo.html","2014-03-31 00:00:00")). 958game(10,1,2,1,"http://www.nba.com/games/20140401/PORLAL/gameinfo.html?ls=slt","2014-04-01 00:00:00"). 959game(11,3,4,1,"http://www.nba.com/games/20140401/GSWDAL/gameinfo.html?ls=slt","2014-04-01 00:00:00"). 960nega(game(12,5,6,-1,"http://www.nba.com/games/20140401/HOUBKN/gameinfo.html?ls=slt","2014-04-01 00:00:00")). 961nega(game(13,20,25,-1,"http://www.nba.com/games/20140402/DETIND/gameinfo.html","2014-04-02 00:00:00")). 962nega(game(14,6,7,-1,"http://www.nba.com/games/20140402/BKNNYK/gameinfo.html","2014-04-02 00:00:00")). 963game(15,26,27,1,"http://www.nba.com/games/20140402/CLEORL/gameinfo.html","2014-04-02 00:00:00"). 964nega(game(16,21,24,-1,"http://www.nba.com/games/20140402/CHAPHI/gameinfo.html","2014-04-02 00:00:00")). 965nega(game(17,5,17,-1,"http://www.nba.com/games/20140402/HOUTOR/gameinfo.html","2014-04-02 00:00:00")). 966nega(game(18,15,23,-1,"http://www.nba.com/games/20140402/BOSWAS/gameinfo.html","2014-04-02 00:00:00")). 967game(19,16,22,1,"http://www.nba.com/games/20140402/CHIATL/gameinfo.html","2014-04-02 00:00:00"). 968game(20,18,19,1,"http://www.nba.com/games/20140402/MILMIA/gameinfo.html","2014-04-02 00:00:00"). 969nega(game(21,9,14,-1,"http://www.nba.com/games/20140402/MEMMIN/gameinfo.html","2014-04-02 00:00:00")). 970nega(game(22,3,28,-1,"http://www.nba.com/games/20140402/GSWSAS/gameinfo.html","2014-04-02 00:00:00")). 971game(23,10,12,1,"http://www.nba.com/games/20140402/NOPDEN/gameinfo.html","2014-04-02 00:00:00"). 972game(24,13,29,1,"http://www.nba.com/games/20140402/LACPHX/gameinfo.html","2014-04-02 00:00:00"). 973nega(game(25,2,11,-1,"http://www.nba.com/games/20140402/LALSAC/gameinfo.html","2014-04-02 00:00:00")). 974nega(game(26,28,30,-1,"http://www.nba.com/games/20140403/SASOKC/gameinfo.html","2014-04-03 00:00:00")). 975game(27,4,13,1,"http://www.nba.com/games/20140403/DALLAC/gameinfo.html","2014-04-03 00:00:00"). 976game(28,9,10,1,"http://www.nba.com/games/20140404/DENMEM/gameinfo.html","2014-04-04 00:00:00"). 977game(29,24,27,1,"http://www.nba.com/games/20140404/ORLCHA/gameinfo.html","2014-04-04 00:00:00"). 978game(30,17,25,1,"http://www.nba.com/games/20140404/INDTOR/gameinfo.html","2014-04-04 00:00:00"). 979%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 980 981%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 982% Actions type information 983%% 984% predicate: actions(GameId,TeamId,PlayerId,Minutes,FieldGoalsMade,FieldGoalAttempts,3PointsMade,3PointAttempts,FreeThrowsMade, 985% FreeThrowAttempts,PlusMinus,OffensiveRebounds,DefensiveRebounds,TotalRebounds,Assists,PersonalFouls,Steals, 986% Turnovers,BlockedShots,BlocksAgainst,Points,Starter). 987 988actions(1,7,78,2605,5,14,3,3,0,0,12,0,3,3,4,2,1,1,0,0,13,1). 989actions(1,7,79,2359,11,19,3,3,8,8,13,0,8,8,3,2,3,3,1,0,34,1). 990actions(1,7,80,2104,6,7,3,3,3,8,18,2,7,9,1,3,1,1,2,0,15,1). 991actions(1,7,81,1392,1,5,3,3,0,0,3,0,2,2,0,4,1,0,0,0,2,1). 992actions(1,7,82,2124,5,8,3,3,1,2,5,0,3,3,6,1,1,4,0,0,12,1). 993actions(1,7,83,1880,3,9,3,3,3,4,5,0,2,2,2,3,0,0,0,0,10,0). 994actions(1,7,84,1009,0,3,3,3,0,0,5,1,3,4,2,0,1,0,0,0,0,0). 995actions(1,7,85,773,2,4,3,3,2,2,-12,0,6,6,0,3,0,0,3,0,6,0). 996actions(1,7,86,77,0,1,3,3,0,0,-2,0,0,0,0,0,0,0,0,0,0,0). 997actions(1,7,87,77,0,0,3,3,0,0,-2,0,1,1,0,0,0,0,0,0,0,0). 998actions(1,7,88,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 999actions(1,7,89,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1000actions(1,8,90,1680,5,9,3,3,0,0,-5,0,2,2,3,2,0,0,0,0,11,1). 1001actions(1,8,91,1874,2,5,3,3,0,0,-13,2,8,10,2,4,2,0,0,0,5,1). 1002actions(1,8,92,1294,6,14,3,3,1,3,-4,8,5,13,0,4,0,0,0,3,13,1). 1003actions(1,8,93,2362,5,14,3,3,5,8,-7,0,2,2,1,1,1,2,0,0,18,1). 1004actions(1,8,94,1876,2,8,3,3,0,0,-8,1,3,4,3,3,0,3,0,1,5,1). 1005actions(1,8,95,1506,5,11,3,3,2,2,-4,2,4,6,0,3,0,0,0,1,12,0). 1006actions(1,8,96,2052,7,12,3,3,1,2,-4,1,6,7,4,3,1,5,0,0,17,0). 1007actions(1,8,97,1084,0,8,3,3,0,0,-2,0,3,3,1,1,0,0,0,0,0,0). 1008actions(1,8,98,518,0,3,3,3,0,0,-2,0,1,1,1,2,1,1,0,1,0,0). 1009actions(1,8,99,77,1,1,3,3,0,0,2,2,0,2,0,0,0,0,0,0,2,0). 1010actions(1,8,100,77,0,0,3,3,0,0,2,0,0,0,0,0,0,0,0,0,0,0). 1011actions(1,8,101,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1012actions(1,8,102,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1013actions(2,9,103,1742,0,4,3,3,1,2,-6,2,2,4,1,3,0,1,1,0,1,1). 1014actions(2,9,104,2049,8,15,3,3,4,8,1,2,9,11,3,4,1,2,0,2,20,1). 1015actions(2,9,105,1991,6,19,3,3,1,3,-6,4,4,8,2,2,0,2,1,1,13,1). 1016actions(2,9,106,2048,6,12,3,3,4,6,2,2,5,7,3,2,0,0,0,0,19,1). 1017actions(2,9,107,1823,9,15,3,3,0,0,-7,2,0,2,2,1,1,2,0,0,19,1). 1018actions(2,9,108,1057,4,7,3,3,0,0,7,1,1,2,3,2,1,3,0,0,9,0). 1019actions(2,9,109,580,1,1,3,3,1,1,3,0,1,1,1,2,0,0,0,0,3,0). 1020actions(2,9,110,1029,1,2,3,3,0,0,6,0,2,2,0,0,0,1,0,0,2,0). 1021actions(2,9,111,1140,2,7,3,3,2,3,2,4,2,6,0,2,1,0,1,0,6,0). 1022actions(2,9,112,941,1,3,3,3,0,0,-2,0,0,0,2,1,3,0,0,0,2,0). 1023actions(2,9,113,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1024actions(2,9,114,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1025actions(2,9,115,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1026actions(2,10,116,1059,1,2,3,3,0,0,-8,0,3,3,0,1,0,1,0,0,3,1). 1027actions(2,10,117,1908,6,14,3,3,5,9,8,5,3,8,2,2,3,2,1,2,17,1). 1028actions(2,10,118,1895,9,15,3,3,5,7,0,2,8,10,1,5,0,2,1,1,23,1). 1029actions(2,10,119,2414,6,13,3,3,0,0,11,2,7,9,4,2,2,2,0,0,13,1). 1030actions(2,10,120,2371,3,9,3,3,2,4,-1,0,5,5,6,2,0,2,0,0,8,1). 1031actions(2,10,121,973,2,5,3,3,0,0,-8,1,1,2,0,2,0,1,0,0,5,0). 1032actions(2,10,122,1029,2,3,3,3,0,0,-6,0,3,3,1,2,0,1,0,0,5,0). 1033actions(2,10,123,1766,4,8,3,3,0,0,4,0,0,0,6,1,1,2,0,0,10,0). 1034actions(2,10,124,984,3,4,3,3,2,4,0,1,2,3,0,6,1,1,1,0,8,0). 1035actions(2,10,125,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1036actions(2,10,126,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1037actions(2,10,127,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1038actions(2,10,128,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1039actions(3,11,129,2388,7,18,3,3,7,8,13,3,2,5,5,2,0,3,0,1,22,1). 1040actions(3,11,130,1388,1,1,3,3,1,2,13,2,10,12,0,5,1,3,0,0,3,1). 1041actions(3,11,131,2246,13,18,3,3,9,12,23,3,11,14,3,3,1,3,2,3,35,1). 1042actions(3,11,132,2302,5,11,3,3,3,4,15,2,3,5,1,1,0,4,1,0,14,1). 1043actions(3,11,133,2636,9,19,3,3,3,5,12,0,2,2,10,3,2,1,0,2,22,1). 1044actions(3,11,134,1017,1,6,3,3,0,0,-15,0,1,1,1,1,2,0,0,0,2,0). 1045actions(3,11,135,538,1,2,3,3,0,0,-15,0,0,0,0,0,0,1,0,1,2,0). 1046actions(3,11,136,253,1,3,3,3,0,0,-9,1,0,1,0,1,0,0,0,1,2,0). 1047actions(3,11,137,554,0,2,3,3,0,0,-10,0,2,2,0,2,0,2,0,2,0,0). 1048actions(3,11,138,1080,0,0,3,3,0,0,-2,4,1,5,0,1,1,1,0,0,0,0). 1049actions(3,11,139,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1050actions(3,11,140,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1051actions(3,12,141,1149,1,1,3,3,2,2,-14,0,2,2,0,2,3,0,0,0,4,1). 1052actions(3,12,142,2261,5,13,3,3,12,14,-20,2,6,8,4,3,2,1,4,0,22,1). 1053actions(3,12,143,829,1,1,3,3,2,3,-14,0,0,0,0,4,0,0,0,0,4,1). 1054actions(3,12,144,1535,7,15,3,3,1,2,-16,0,2,2,4,3,2,4,0,1,15,1). 1055actions(3,12,145,1313,4,12,3,3,0,0,-15,0,1,1,2,1,0,1,0,1,9,1). 1056actions(3,12,146,1730,3,4,3,3,0,0,12,0,3,3,1,2,1,1,1,0,6,0). 1057actions(3,12,147,500,0,3,3,3,0,0,-7,1,0,1,0,4,0,1,0,0,0,0). 1058actions(3,12,148,1430,2,5,3,3,2,4,9,0,1,1,9,3,0,3,0,1,6,0). 1059actions(3,12,149,1695,9,13,3,3,1,1,14,0,3,3,1,1,2,0,0,0,23,0). 1060actions(3,12,150,1686,4,4,3,3,0,0,19,0,7,7,1,3,1,2,5,0,8,0). 1061actions(3,12,151,272,0,2,3,3,0,0,7,0,2,2,0,0,0,0,0,0,0,0). 1062actions(3,12,152,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1063actions(3,12,153,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1064actions(4,13,154,2056,7,14,3,3,2,2,16,1,5,6,3,3,2,1,0,2,19,1). 1065actions(4,13,155,2129,6,10,3,3,2,2,17,0,4,4,3,4,0,1,0,0,16,1). 1066actions(4,13,156,2408,4,6,3,3,3,8,14,10,14,24,0,2,0,5,4,0,11,1). 1067actions(4,13,157,2602,9,17,3,3,8,8,15,1,2,3,7,1,1,6,0,1,28,1). 1068actions(4,13,158,2281,6,16,3,3,8,8,16,1,6,7,9,4,3,3,0,1,22,1). 1069actions(4,13,159,691,2,5,3,3,0,0,-4,0,2,2,0,0,0,0,0,0,6,0). 1070actions(4,13,160,877,3,9,3,3,0,0,-11,0,0,0,1,3,0,1,0,0,6,0). 1071actions(4,13,161,824,1,5,3,3,0,0,-6,0,2,2,0,1,1,1,0,0,3,0). 1072actions(4,13,162,318,0,0,3,3,1,2,-2,0,1,1,0,0,1,0,0,0,1,0). 1073actions(4,13,163,214,0,0,3,3,2,2,-5,0,0,0,0,0,0,0,0,0,2,0). 1074actions(4,13,164,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1075actions(4,13,165,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1076actions(4,13,166,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1077actions(4,14,167,1246,4,8,3,3,0,0,-22,0,1,1,1,1,1,1,2,0,9,1). 1078actions(4,14,168,1762,8,21,3,3,2,3,-30,5,8,13,4,1,1,4,0,0,20,1). 1079actions(4,14,170,1816,4,14,3,3,2,2,-21,0,2,2,0,2,0,0,0,0,12,1). 1080actions(4,14,171,1659,1,6,3,3,0,0,-32,1,1,2,7,1,1,5,0,0,3,1). 1081actions(4,14,172,1162,4,4,3,3,6,6,-4,3,1,4,3,4,3,1,1,0,14,0). 1082actions(4,14,173,1462,2,10,3,3,0,0,19,0,3,3,8,5,0,2,0,1,4,0). 1083actions(4,14,174,1144,4,8,3,3,0,0,5,3,3,6,2,1,0,2,0,0,8,0). 1084actions(4,14,175,1634,5,8,3,3,1,1,12,0,5,5,1,2,2,1,1,1,12,0). 1085actions(4,14,176,1382,4,8,3,3,0,0,16,0,2,2,3,3,1,1,0,1,11,0). 1086actions(4,14,177,720,5,6,3,3,1,2,12,0,3,3,1,2,0,0,0,0,11,0). 1087actions(4,14,178,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1088actions(4,14,179,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1089actions(4,14,392,413,0,3,3,3,0,0,-5,0,1,1,0,1,0,0,0,1,0,1). 1090actions(5,15,180,2380,4,13,3,3,0,0,-12,0,2,2,1,4,2,4,0,0,9,1). 1091actions(5,15,181,1888,7,10,3,3,4,4,-6,3,6,9,3,1,0,2,4,0,18,1). 1092actions(5,15,182,1523,5,7,3,3,1,2,-29,1,2,3,1,2,1,2,0,1,11,1). 1093actions(5,15,183,824,0,5,3,3,1,1,-6,0,2,2,3,0,0,0,0,1,1,1). 1094actions(5,15,184,1980,6,14,3,3,2,2,-20,0,2,2,5,1,1,1,0,0,18,1). 1095actions(5,15,185,1194,1,6,3,3,0,0,-3,1,5,6,1,2,0,1,0,0,2,0). 1096actions(5,15,186,2105,1,7,3,3,3,4,0,1,1,2,0,1,2,0,0,0,5,0). 1097actions(5,15,187,1132,4,8,3,3,0,2,-2,1,1,2,3,2,4,2,0,0,9,0). 1098actions(5,15,188,1098,3,6,3,3,0,0,10,4,3,7,0,2,0,4,0,1,7,0). 1099actions(5,15,189,276,0,1,3,3,0,0,-2,1,1,2,0,0,0,0,0,0,0,0). 1100actions(5,15,190,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1101actions(5,15,191,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1102actions(5,16,192,2329,7,12,3,3,5,5,11,0,3,3,3,2,0,3,0,0,22,1). 1103actions(5,16,193,1440,7,12,3,3,2,2,4,3,4,7,1,3,0,1,0,0,16,1). 1104actions(5,16,194,2339,9,19,3,3,1,1,26,4,7,11,5,2,2,3,2,3,19,1). 1105actions(5,16,195,2547,8,13,3,3,2,2,9,1,3,4,4,1,1,0,0,1,18,1). 1106actions(5,16,196,1641,0,6,3,3,1,2,11,0,3,3,3,1,4,1,1,0,1,1). 1107actions(5,16,197,1833,1,9,3,3,2,2,11,0,1,1,11,2,0,1,0,0,4,0). 1108actions(5,16,198,1705,6,9,3,3,2,2,5,3,8,11,0,4,1,3,0,0,14,0). 1109actions(5,16,199,276,0,0,3,3,0,0,-7,0,0,0,0,0,0,0,0,0,0,0). 1110actions(5,16,200,290,0,0,3,3,0,0,0,0,0,0,1,1,1,1,0,0,0,0). 1111actions(5,16,201,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1112actions(5,16,202,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1113actions(5,16,203,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1114actions(6,17,204,1443,1,6,3,3,0,0,-12,0,6,6,0,1,0,0,0,0,2,1). 1115actions(6,17,205,1430,2,3,3,3,0,2,-10,1,5,6,1,4,0,1,0,0,4,1). 1116actions(6,17,206,1949,7,9,3,3,0,0,-13,2,8,10,0,4,1,2,0,0,14,1). 1117actions(6,17,207,2357,8,14,3,3,0,1,-8,0,2,2,7,3,2,2,0,0,16,1). 1118actions(6,17,208,1553,4,11,3,3,2,3,-19,1,0,1,4,2,0,5,0,0,11,1). 1119actions(6,17,209,488,1,4,3,3,0,0,-3,1,0,1,0,3,0,0,0,0,2,0). 1120actions(6,17,210,1544,4,6,3,3,1,1,3,0,2,2,0,3,2,0,0,0,13,0). 1121actions(6,17,211,1129,1,3,3,3,0,0,6,0,0,0,3,2,1,0,0,0,2,0). 1122actions(6,17,212,1388,6,11,3,3,2,3,6,0,0,0,1,3,0,4,0,2,17,0). 1123actions(6,17,213,349,0,0,3,3,0,0,3,0,1,1,0,0,0,0,0,0,0,0). 1124actions(6,17,214,633,1,3,3,3,0,0,2,0,1,1,1,0,1,0,1,0,2,0). 1125actions(6,17,215,137,0,0,3,3,0,0,-5,0,0,0,0,0,0,0,0,0,0,0). 1126actions(6,17,216,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1127actions(6,18,217,2333,11,20,3,3,9,11,22,0,7,7,8,2,1,6,0,0,32,1). 1128actions(6,18,218,997,1,3,3,3,0,0,2,1,4,5,1,0,1,0,0,0,2,1). 1129actions(6,18,219,2057,8,16,3,3,2,3,27,1,3,4,2,0,1,1,0,0,18,1). 1130actions(6,18,220,1448,2,4,3,3,0,0,10,0,3,3,0,4,0,1,0,0,5,1). 1131actions(6,18,221,2190,4,8,3,3,1,1,9,0,3,3,4,1,0,0,0,0,12,1). 1132actions(6,18,222,1170,1,4,3,3,0,0,-5,1,2,3,2,2,1,1,0,0,2,0). 1133actions(6,18,223,1211,0,1,3,3,1,2,-6,0,0,0,2,1,1,3,0,0,1,0). 1134actions(6,18,224,1482,2,5,3,3,2,2,-5,0,4,4,0,1,0,2,0,1,8,0). 1135actions(6,18,225,1512,5,5,3,3,3,3,-4,3,4,7,0,3,0,1,2,0,13,0). 1136actions(6,18,226,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1137actions(6,18,227,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1138actions(6,18,228,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1139actions(6,18,229,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1140actions(7,19,230,1906,6,16,3,3,0,0,-15,0,1,1,1,3,2,2,1,0,14,1). 1141actions(7,19,231,1612,7,13,3,3,2,2,-10,4,4,8,1,2,0,1,0,3,16,1). 1142actions(7,19,232,2094,6,13,3,3,0,0,-3,7,6,13,6,2,0,3,3,1,12,1). 1143actions(7,19,233,2620,5,10,3,3,9,11,-6,2,3,5,11,3,1,3,0,0,20,1). 1144actions(7,19,234,2286,7,21,3,3,11,14,-9,3,6,9,7,3,0,0,0,1,25,1). 1145actions(7,19,235,1828,4,6,3,3,4,5,15,0,5,5,2,0,1,1,1,0,14,0). 1146actions(7,19,236,1043,3,8,3,3,1,2,1,1,4,5,0,4,1,2,0,0,7,0). 1147actions(7,19,237,1011,1,1,3,3,1,2,2,1,3,4,0,3,0,1,0,0,3,0). 1148actions(7,19,238,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1149actions(7,19,239,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1150actions(7,19,240,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1151actions(7,19,241,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1152actions(7,19,242,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1153actions(7,20,243,1775,11,19,3,3,2,3,-1,0,1,1,3,4,1,3,1,0,26,1). 1154actions(7,20,244,2370,12,21,3,3,4,6,19,4,10,14,1,1,0,1,2,0,28,1). 1155actions(7,20,245,1692,5,9,3,3,0,0,23,8,8,16,0,4,2,2,0,2,10,1). 1156actions(7,20,246,1704,5,10,3,3,2,2,2,3,2,5,2,3,0,2,1,1,14,1). 1157actions(7,20,247,2306,7,17,3,3,1,3,6,1,2,3,13,5,1,1,0,1,20,1). 1158actions(7,20,248,1215,2,5,3,3,0,1,3,0,0,0,0,1,0,2,0,0,4,0). 1159actions(7,20,249,681,0,4,3,3,0,0,-3,3,4,7,1,3,0,0,0,0,0,0). 1160actions(7,20,250,807,1,4,3,3,0,0,-12,0,1,1,0,1,0,0,0,1,2,0). 1161actions(7,20,251,1397,3,6,3,3,6,6,-1,0,2,2,8,3,1,0,0,0,12,0). 1162actions(7,20,252,452,0,2,3,3,0,0,-11,0,1,1,0,1,0,0,1,0,0,0). 1163actions(7,20,253,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1164actions(7,20,254,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1165actions(7,20,255,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1166actions(8,21,256,1493,2,3,3,3,0,1,-4,0,3,3,2,3,0,1,0,0,5,1). 1167actions(8,21,257,2130,7,10,3,3,4,4,-11,0,3,3,4,5,4,3,3,0,23,1). 1168actions(8,21,258,1617,3,8,3,3,2,3,11,2,3,5,2,3,1,1,0,0,8,1). 1169actions(8,21,259,2074,8,16,3,3,0,0,-3,0,3,3,4,2,0,3,0,0,19,1). 1170actions(8,21,260,2028,7,14,3,3,2,2,1,1,8,9,9,3,3,3,0,0,16,1). 1171actions(8,21,261,1078,3,8,3,3,0,0,-7,0,1,1,3,4,0,5,0,0,6,0). 1172actions(8,21,262,1239,2,3,3,3,1,7,-16,1,8,9,0,1,0,2,3,0,5,0). 1173actions(8,21,263,1148,3,8,3,3,3,3,-5,2,2,4,1,2,1,0,0,0,10,0). 1174actions(8,21,264,852,0,5,3,3,0,0,-9,0,0,0,0,2,1,1,0,0,0,0). 1175actions(8,21,265,742,1,2,3,3,0,0,3,0,3,3,0,2,1,1,0,0,3,0). 1176actions(8,21,266,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1177actions(8,21,267,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1178actions(8,22,268,1727,4,9,3,3,0,0,9,2,3,5,4,2,2,1,0,0,9,1). 1179actions(8,22,269,2156,9,15,3,3,9,13,9,5,12,17,4,1,3,3,0,1,28,1). 1180actions(8,22,270,1270,1,8,3,3,0,0,-10,2,2,4,2,4,0,1,0,2,2,1). 1181actions(8,22,271,1611,3,10,3,3,4,5,-11,0,2,2,2,2,0,3,0,0,11,1). 1182actions(8,22,272,2006,4,11,3,3,3,3,15,1,2,3,5,0,1,4,0,2,12,1). 1183actions(8,22,273,1494,7,12,3,3,6,6,23,1,4,5,5,1,1,1,0,0,22,0). 1184actions(8,22,274,1313,2,5,3,3,0,0,19,1,3,4,1,4,0,0,0,0,4,0). 1185actions(8,22,275,855,2,6,3,3,2,3,4,0,4,4,0,1,1,1,0,1,6,0). 1186actions(8,22,276,874,2,5,3,3,0,0,-7,0,1,1,2,0,2,1,0,0,4,0). 1187actions(8,22,277,265,1,2,3,3,0,0,-3,0,2,2,0,1,0,1,0,0,2,0). 1188actions(8,22,278,828,1,1,3,3,0,0,-8,1,1,2,0,1,0,0,0,0,3,0). 1189actions(8,22,279,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1190actions(9,23,280,1795,4,9,3,3,0,0,-22,0,2,2,1,1,0,1,0,0,11,1). 1191actions(9,23,281,1188,2,5,3,3,0,0,-11,1,1,2,1,1,2,0,1,1,4,1). 1192actions(9,23,282,1616,3,7,3,3,0,0,-21,2,9,11,1,3,0,1,1,1,6,1). 1193actions(9,23,283,2392,8,12,3,3,2,3,0,0,2,2,5,3,0,4,1,0,20,1). 1194actions(9,23,284,1756,4,16,3,3,2,3,-24,0,1,1,6,2,0,5,0,2,10,1). 1195actions(9,23,285,1633,5,12,3,3,2,2,0,4,4,8,2,5,2,0,0,1,12,0). 1196actions(9,23,286,1600,5,7,3,3,2,2,10,0,2,2,1,2,0,1,0,0,14,0). 1197actions(9,23,287,1238,4,5,3,3,1,3,15,0,5,5,0,3,1,1,0,0,11,0). 1198actions(9,23,288,1124,2,5,3,3,0,0,18,1,2,3,9,1,1,1,0,0,4,0). 1199actions(9,23,289,59,1,1,3,3,0,0,5,1,0,1,0,0,0,0,0,0,2,0). 1200actions(9,23,290,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1201actions(9,23,291,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1202actions(9,23,292,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1203actions(9,24,293,1250,0,5,3,3,3,4,2,3,3,6,0,2,1,1,0,1,3,1). 1204actions(9,24,294,1633,1,2,3,3,0,0,-3,3,2,5,1,1,0,0,1,0,2,1). 1205actions(9,24,295,2403,8,19,3,3,3,3,-2,3,8,11,0,3,0,0,2,1,19,1). 1206actions(9,24,296,1625,3,7,3,3,3,4,-1,0,3,3,2,2,1,1,0,0,9,1). 1207actions(9,24,297,2292,6,22,3,3,9,10,16,1,4,5,10,2,1,1,1,1,21,1). 1208actions(9,24,298,1220,4,4,3,3,7,8,9,3,5,8,2,1,1,1,0,0,15,0). 1209actions(9,24,299,477,2,2,3,3,0,0,8,0,0,0,0,0,1,0,1,0,4,0). 1210actions(9,24,300,1255,3,6,3,3,2,2,7,1,5,6,1,2,1,3,0,0,9,0). 1211actions(9,24,301,588,0,2,3,3,0,0,-10,0,1,1,1,1,0,2,0,0,0,0). 1212actions(9,24,302,1657,7,9,3,3,2,3,4,1,2,3,0,1,0,1,0,0,18,0). 1213actions(9,24,303,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1214actions(9,24,304,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1215actions(9,24,305,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1216actions(10,1,1,2134,6,13,3,3,0,0,18,2,3,5,7,2,2,1,0,0,16,1). 1217actions(10,1,2,1952,12,20,3,3,7,8,27,1,14,15,6,2,1,2,2,1,31,1). 1218actions(10,1,3,2043,4,5,3,3,2,2,21,3,7,10,1,2,0,0,2,0,10,1). 1219actions(10,1,4,1952,4,12,3,3,0,0,17,0,4,4,6,1,0,1,1,0,10,1). 1220actions(10,1,5,2130,10,22,3,3,9,9,24,0,2,2,8,3,3,2,0,3,34,1). 1221actions(10,1,6,1077,3,7,3,3,1,2,-13,3,3,6,0,2,3,1,0,3,7,0). 1222actions(10,1,7,1490,3,11,3,3,0,0,2,0,1,1,3,4,1,0,0,1,8,0). 1223actions(10,1,8,676,4,7,3,3,0,0,-13,2,3,5,1,1,0,2,0,1,8,0). 1224actions(10,1,9,559,0,0,3,3,0,0,-5,0,1,1,0,0,0,0,0,0,0,0). 1225actions(10,1,10,129,0,0,3,3,0,0,-6,0,1,1,0,0,0,1,0,0,0,0). 1226actions(10,1,11,129,0,2,3,3,0,0,-6,0,0,0,0,0,0,0,0,1,0,0). 1227actions(10,1,12,92,0,0,3,3,0,0,-4,0,0,0,0,1,0,0,0,0,0,0). 1228actions(10,1,13,37,0,0,3,3,0,0,-2,0,0,0,0,0,0,0,0,0,0,0). 1229actions(10,2,14,1821,6,10,3,3,3,4,-20,0,4,4,1,2,2,1,0,0,17,1). 1230actions(10,2,15,1700,4,9,3,3,1,1,-18,1,3,4,7,4,1,3,2,2,9,1). 1231actions(10,2,16,1744,6,16,3,3,0,0,-19,1,5,6,2,2,1,2,3,0,12,1). 1232actions(10,2,17,1597,2,7,3,3,0,0,-20,0,2,2,2,0,0,1,0,0,4,1). 1233actions(10,2,18,1155,2,4,3,3,2,2,-14,0,6,6,5,3,1,1,0,0,8,1). 1234actions(10,2,19,1308,2,5,3,3,6,6,8,0,4,4,10,1,0,1,1,1,10,0). 1235actions(10,2,20,788,0,4,3,3,0,0,7,0,0,0,0,1,0,0,0,1,0,0). 1236actions(10,2,21,1108,1,3,3,3,1,2,5,1,5,6,1,0,0,0,2,0,3,0). 1237actions(10,2,22,1208,3,8,3,3,2,2,8,4,5,9,2,3,0,1,2,0,9,0). 1238actions(10,2,23,1971,15,26,3,3,4,5,3,2,2,4,1,0,2,1,0,1,40,0). 1239actions(10,2,24,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1240actions(10,2,25,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1241actions(10,2,26,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1242actions(11,3,27,2437,7,9,3,3,0,1,5,2,6,8,7,0,1,0,0,0,16,1). 1243actions(11,3,28,2525,4,9,3,3,0,0,12,1,6,7,6,3,2,2,1,1,9,1). 1244actions(11,3,29,1994,9,12,3,3,2,4,-2,4,4,8,0,1,0,1,1,1,20,1). 1245actions(11,3,30,2830,11,24,3,3,1,1,6,0,5,5,5,3,1,2,0,2,27,1). 1246actions(11,3,31,2587,10,17,3,3,0,0,8,0,5,5,5,3,1,2,0,2,27,1). 1247actions(11,3,32,1026,4,7,3,3,0,0,6,2,7,9,1,3,0,4,0,1,8,0). 1248actions(11,3,33,785,0,0,3,3,0,0,-5,0,0,0,1,1,0,1,1,0,0,0). 1249actions(11,3,34,783,0,3,3,3,0,0,-9,0,0,0,3,1,0,1,0,0,0,0). 1250actions(11,3,35,933,7,10,3,3,0,0,-11,0,4,4,0,2,0,0,0,0,19,0). 1251actions(11,3,36,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1252actions(11,3,37,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1253actions(11,3,38,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1254actions(11,4,39,2154,4,8,3,3,0,0,-8,4,6,10,2,1,0,1,1,0,8,1). 1255actions(11,4,40,2380,13,21,3,3,1,3,-1,1,10,11,3,0,2,0,1,1,33,1). 1256actions(11,4,41,424,1,2,3,3,0,0,-15,2,1,3,0,1,0,0,0,0,2,1). 1257actions(11,4,42,2561,11,23,3,3,3,4,-9,1,1,2,6,0,2,2,1,1,27,1). 1258actions(11,4,43,2198,3,9,3,3,1,1,-8,0,2,2,6,2,0,3,0,0,8,1). 1259actions(11,4,44,1858,4,13,3,3,1,2,9,2,2,4,4,2,2,0,1,0,12,0). 1260actions(11,4,45,1523,5,6,3,3,4,4,-3,4,1,5,0,0,0,1,1,0,14,0). 1261actions(11,4,46,982,3,7,3,3,2,2,6,0,1,1,4,3,0,0,0,1,10,0). 1262actions(11,4,47,1141,0,3,3,3,0,0,15,0,2,2,2,0,0,0,0,0,0,0). 1263actions(11,4,48,679,3,4,3,3,0,0,4,1,2,3,0,3,1,1,0,0,6,0). 1264actions(11,4,49,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1265actions(11,4,50,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1266actions(11,4,51,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1267actions(12,5,52,2477,7,15,3,3,0,2,-9,0,8,8,4,2,1,2,0,2,16,1). 1268actions(12,5,53,506,0,2,3,3,0,0,-6,1,1,2,0,4,0,0,0,0,0,1). 1269actions(12,5,54,2142,5,8,3,3,2,6,-8,6,17,23,0,1,1,3,2,1,12,1). 1270actions(12,5,55,2166,4,10,3,3,16,16,-17,6,17,23,0,1,1,3,2,1,12,1). 1271actions(12,5,56,1975,6,14,3,3,2,2,-14,1,3,4,2,0,1,2,0,1,16,1). 1272actions(12,5,57,1335,3,10,3,3,0,0,-5,1,1,2,0,2,0,0,0,0,7,0). 1273actions(12,5,58,1532,4,9,3,3,0,0,9,0,2,2,3,2,0,0,1,1,10,0). 1274actions(12,5,59,1390,1,8,3,3,0,0,-1,0,1,1,1,1,0,2,0,0,2,0). 1275actions(12,5,60,877,2,8,3,3,2,2,6,0,1,1,3,2,1,2,0,0,7,0). 1276actions(12,5,61,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1277actions(12,5,62,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1278actions(12,5,63,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1279actions(12,5,64,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1280actions(12,6,65,2034,13,21,3,3,2,2,17,0,4,4,3,2,1,1,0,0,32,1). 1281actions(12,6,66,1406,2,4,3,3,0,0,11,0,6,6,1,1,1,2,0,0,4,1). 1282actions(12,6,67,1658,5,6,3,3,1,3,8,3,3,6,4,2,1,2,2,1,11,1). 1283actions(12,6,68,1751,6,12,3,3,5,6,4,0,6,6,2,2,2,1,1,1,17,1). 1284actions(12,6,69,2129,6,14,3,3,0,0,7,0,3,3,6,4,2,1,0,0,12,1). 1285actions(12,6,70,1643,1,3,3,3,2,4,4,0,2,2,2,5,1,1,0,0,4,0). 1286actions(12,6,71,1194,6,12,3,3,1,2,1,2,2,4,2,4,0,4,2,0,13,0). 1287actions(12,6,72,1474,4,7,3,3,0,0,-2,1,6,7,1,2,1,1,0,1,10,0). 1288actions(12,6,73,1039,1,3,3,3,0,0,-3,0,4,4,2,4,0,0,0,0,2,0). 1289actions(12,6,74,44,0,1,3,3,0,0,-2,0,0,0,0,0,0,0,0,0,0,0). 1290actions(12,6,75,28,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1291actions(12,6,76,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1292actions(12,6,77,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1293actions(13,20,243,2240,9,20,3,3,3,7,-11,0,5,5,1,4,2,1,1,1,24,1). 1294actions(13,20,244,1867,6,21,3,3,5,6,6,7,9,16,2,4,3,0,1,2,17,1). 1295actions(13,20,245,1880,5,9,3,3,3,6,-5,6,8,14,0,2,0,1,1,1,13,1). 1296actions(13,20,246,2368,3,11,3,3,3,3,3,3,2,5,3,1,0,1,0,1,10,1). 1297actions(13,20,247,2107,4,11,3,3,2,3,2,0,2,2,9,2,1,1,0,0,12,1). 1298actions(13,20,248,1936,6,12,3,3,3,3,-16,0,1,1,0,0,0,0,1,0,16,0). 1299actions(13,20,249,529,0,1,3,3,0,0,6,1,1,2,0,0,0,0,0,0,0,0). 1300actions(13,20,250,360,0,1,3,3,0,0,-5,0,1,1,1,1,0,0,0,1,0,0). 1301actions(13,20,251,773,1,5,3,3,0,0,-9,0,1,1,0,2,1,1,0,1,2,0). 1302actions(13,20,252,340,0,2,3,3,0,0,-6,0,0,0,0,2,0,0,0,0,0,0). 1303actions(13,20,253,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1304actions(13,20,254,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1305actions(13,20,255,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1306actions(13,25,306,2263,9,19,3,3,5,6,9,1,12,13,7,2,2,2,0,1,27,1). 1307actions(13,25,307,1990,7,10,3,3,1,1,1,2,6,8,3,3,0,0,2,0,15,1). 1308actions(13,25,308,1742,4,10,3,3,3,4,-4,1,2,3,3,5,0,2,2,0,11,1). 1309actions(13,25,309,2040,5,10,3,3,0,0,10,0,5,5,4,2,0,3,0,1,11,1). 1310actions(13,25,310,2323,4,9,3,3,4,5,15,0,1,1,2,3,1,0,0,1,12,1). 1311actions(13,25,311,890,3,7,3,3,3,4,6,4,3,7,2,4,0,2,0,1,9,0). 1312actions(13,25,312,1044,2,5,3,3,0,0,1,0,3,3,1,1,0,0,0,0,4,0). 1313actions(13,25,313,1138,4,5,3,3,2,4,11,2,3,5,1,0,1,0,3,0,10,0). 1314actions(13,25,314,413,1,2,3,3,0,0,-6,0,1,1,0,0,0,0,0,0,2,0). 1315actions(13,25,315,557,0,2,3,3,0,0,-8,0,1,1,1,1,0,1,0,0,0,0). 1316actions(13,25,316,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1317actions(13,25,317,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1318actions(13,25,318,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1319actions(14,6,65,1341,5,13,3,3,4,5,-3,0,1,1,1,1,2,2,0,1,16,1). 1320actions(14,6,66,1604,2,7,3,3,4,4,-7,0,4,4,1,3,1,1,0,2,8,1). 1321actions(14,6,67,1367,1,1,3,3,3,3,-6,2,2,4,2,4,1,1,0,0,5,1). 1322actions(14,6,68,1499,1,4,3,3,2,4,0,1,2,3,3,1,2,1,0,0,4,1). 1323actions(14,6,69,1654,5,11,3,3,0,0,-9,0,1,1,0,1,1,2,0,1,12,1). 1324actions(14,6,70,1539,2,5,3,3,6,8,-25,1,2,3,0,2,1,3,0,0,11,0). 1325actions(14,6,71,1067,1,3,3,3,0,2,-20,1,1,2,1,1,0,2,0,0,3,0). 1326actions(14,6,72,1282,3,8,3,3,0,0,-21,1,0,1,1,0,0,1,0,0,6,0). 1327actions(14,6,73,930,2,3,3,3,2,2,-13,0,0,0,0,1,1,1,0,0,6,0). 1328actions(14,6,74,440,1,2,3,3,0,0,-2,0,0,0,2,0,0,1,0,0,2,0). 1329actions(14,6,75,440,0,0,3,3,0,0,-2,0,1,1,0,0,0,0,0,0,0,0). 1330actions(14,6,76,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1331actions(14,6,77,1237,3,8,3,3,0,0,-32,1,2,3,0,2,0,1,0,1,8,0). 1332actions(14,7,78,2121,9,16,3,3,0,0,17,0,8,8,6,3,1,1,0,0,24,1). 1333actions(14,7,79,2241,8,16,3,3,7,8,21,1,9,10,3,3,2,3,1,0,23,1). 1334actions(14,7,80,1780,2,2,3,3,0,2,13,1,4,5,1,4,1,2,2,0,4,1). 1335actions(14,7,81,1446,4,6,3,3,2,3,29,1,2,3,2,5,5,2,0,0,10,0). 1336actions(14,7,82,1223,2,5,3,3,0,0,4,2,1,3,3,0,0,1,0,0,5,1). 1337actions(14,7,83,1653,7,10,3,3,0,0,33,1,0,1,0,1,0,0,0,0,17,0). 1338actions(14,7,84,1230,2,2,3,3,1,1,17,1,1,2,3,2,0,2,0,0,6,0). 1339actions(14,7,85,363,0,0,3,3,0,0,2,0,0,0,0,1,0,0,0,0,0,0). 1340actions(14,7,86,363,3,5,3,3,0,0,2,1,1,2,0,1,0,0,0,0,6,0). 1341actions(14,7,87,363,0,1,3,3,0,0,2,0,0,0,0,0,2,0,0,0,0,0). 1342actions(14,7,88,363,1,1,3,3,0,0,2,0,1,1,1,1,0,2,0,0,2,0). 1343actions(14,7,89,1254,4,6,3,3,5,6,-2,1,5,6,2,4,0,2,2,0,13,1). 1344actions(15,26,319,1262,4,7,3,3,0,0,28,0,2,2,2,0,0,0,0,1,8,1). 1345actions(15,26,320,1948,6,10,3,3,8,8,18,5,6,11,0,4,2,0,1,2,20,1). 1346actions(15,26,321,2010,7,16,3,3,2,2,17,0,8,8,5,1,0,1,0,1,20,1). 1347actions(15,26,322,2011,10,15,3,3,3,4,10,0,0,0,3,3,1,3,0,0,26,1). 1348actions(15,26,323,1707,7,8,3,3,3,4,20,0,6,6,8,1,1,4,0,0,17,1). 1349actions(15,26,324,1814,5,9,3,3,2,2,-2,0,4,4,4,2,1,3,0,0,13,0). 1350actions(15,26,325,1325,1,5,3,3,0,0,8,0,2,2,5,0,0,0,0,0,3,0). 1351actions(15,26,326,1119,2,3,3,3,0,0,9,1,2,3,0,1,0,1,2,0,4,0). 1352actions(15,26,327,939,1,3,3,3,1,2,-7,0,1,1,0,2,1,0,1,0,3,0). 1353actions(15,26,328,156,2,2,3,3,0,0,2,0,0,0,1,1,0,0,0,0,4,0). 1354actions(15,26,329,109,0,0,3,3,1,2,2,0,0,0,0,0,1,0,0,0,1,0). 1355actions(15,26,330,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1356actions(15,27,331,1271,4,7,3,3,0,0,-12,0,2,2,0,2,1,3,0,0,10,1). 1357actions(15,27,332,1083,3,5,3,3,2,2,-7,1,4,5,2,4,0,2,3,0,8,1). 1358actions(15,27,333,1637,3,11,3,3,1,2,-15,4,3,7,2,1,3,3,0,0,7,1). 1359actions(15,27,334,1725,3,10,3,3,0,0,-18,0,4,4,5,0,0,0,1,0,7,1). 1360actions(15,27,335,1375,3,8,3,3,2,3,-17,0,2,2,4,1,0,1,0,1,9,1). 1361actions(15,27,336,750,2,6,3,3,0,0,-20,0,1,1,1,3,0,0,0,0,4,0). 1362actions(15,27,337,1644,4,10,3,3,6,6,-9,0,0,0,4,4,2,2,0,2,16,0). 1363actions(15,27,338,1155,4,7,3,3,0,0,-3,0,0,0,0,3,0,0,0,0,10,0). 1364actions(15,27,339,1259,5,8,3,3,1,2,7,2,5,7,1,1,0,1,0,1,11,0). 1365actions(15,27,340,1470,3,5,3,3,5,5,-4,0,1,1,1,1,0,4,0,0,14,0). 1366actions(15,27,341,1031,1,2,3,3,0,0,-7,2,3,5,1,1,0,1,0,0,2,0). 1367actions(15,27,342,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1368actions(15,27,343,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1369actions(16,21,256,1578,3,5,3,3,2,2,-22,1,1,2,0,4,0,1,0,0,9,1). 1370actions(16,21,257,2048,4,13,3,3,3,3,-21,0,5,5,4,2,2,4,0,0,11,1). 1371actions(16,21,258,1875,5,13,3,3,5,7,-28,4,2,6,2,2,1,1,0,1,15,1). 1372actions(16,21,259,1507,0,4,3,3,0,0,-16,0,3,3,2,2,0,1,0,0,0,1). 1373actions(16,21,260,1594,10,18,3,3,2,4,-18,2,5,7,3,3,0,1,1,0,22,1). 1374actions(16,21,261,1232,2,8,3,3,4,6,-17,0,0,0,4,2,0,1,0,1,8,0). 1375actions(16,21,262,948,2,5,3,3,0,0,-7,0,1,1,4,5,0,1,1,0,4,0). 1376actions(16,21,263,1241,5,8,3,3,0,0,-5,0,2,2,0,3,0,1,0,2,12,0). 1377actions(16,21,264,430,1,2,3,3,0,0,-1,0,0,0,1,0,0,0,0,0,3,0). 1378actions(16,21,265,889,2,3,3,3,2,2,-4,0,3,3,0,1,0,0,0,0,6,0). 1379actions(16,21,266,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1380actions(16,21,267,1058,1,4,3,3,1,2,-11,0,3,3,1,0,2,0,0,0,3,0). 1381actions(16,24,293,1183,1,2,3,3,5,6,10,1,5,6,2,0,0,0,0,1,7,1). 1382actions(16,24,294,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1383actions(16,24,295,1835,9,17,3,3,7,10,12,1,9,10,0,0,0,1,0,0,25,1). 1384actions(16,24,296,1589,5,8,3,3,3,4,10,0,2,2,4,1,1,0,0,0,14,1). 1385actions(16,24,297,1216,3,6,3,3,2,2,15,0,0,0,5,4,0,0,0,0,8,1). 1386actions(16,24,298,1617,3,5,3,3,3,6,13,1,7,8,3,2,0,3,1,1,9,1). 1387actions(16,24,299,1045,1,3,3,3,0,0,18,4,3,7,0,3,0,1,2,0,2,0). 1388actions(16,24,300,1130,6,10,3,3,2,2,25,0,0,0,3,1,0,0,0,0,15,0). 1389actions(16,24,301,1202,3,8,3,3,0,0,11,0,2,2,1,1,0,1,0,0,8,0). 1390actions(16,24,302,1491,4,6,3,3,3,3,17,0,2,2,4,1,0,2,1,0,14,0). 1391actions(16,24,303,462,2,5,3,3,0,0,4,1,0,1,5,1,0,0,0,0,5,0). 1392actions(16,24,304,1263,5,8,3,3,2,2,17,1,7,8,5,3,0,1,0,0,16,0). 1393actions(16,24,305,367,0,1,3,3,0,0,-2,0,1,1,0,0,0,0,0,0,0,0). 1394actions(17,5,52,2138,8,16,3,3,3,3,-10,1,6,7,3,4,2,4,0,0,20,1). 1395actions(17,5,53,1361,6,11,3,3,1,1,2,3,2,5,1,5,0,3,0,0,13,0). 1396actions(17,5,54,1913,3,5,3,3,3,6,-1,2,13,15,0,3,1,3,0,0,9,1). 1397actions(17,5,55,2377,7,17,3,3,10,12,-14,0,6,6,4,4,2,1,0,0,26,1). 1398actions(17,5,56,2332,6,18,3,3,1,2,15,1,0,1,7,4,2,2,1,1,16,1). 1399actions(17,5,57,1397,2,4,3,3,3,4,8,1,4,5,1,2,0,0,0,0,8,0). 1400actions(17,5,58,1045,2,3,3,3,0,0,-3,0,1,1,2,3,0,0,0,0,4,0). 1401actions(17,5,59,1058,2,8,3,3,1,2,-2,1,3,4,1,2,1,0,0,1,7,0). 1402actions(17,5,60,191,0,1,3,3,0,0,-8,0,0,0,0,1,0,1,0,0,0,0). 1403actions(17,5,61,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1404actions(17,5,62,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1405actions(17,5,63,588,0,4,3,3,0,0,-7,1,2,3,0,2,0,1,0,1,0,1). 1406actions(17,5,64,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1407actions(17,17,204,2079,6,12,3,3,1,2,8,0,9,9,0,3,0,4,0,0,14,1). 1408actions(17,17,205,178,0,0,3,3,0,0,-4,0,2,2,0,0,0,0,0,0,0,1). 1409actions(17,17,206,1799,4,7,3,3,7,9,12,1,5,6,1,3,1,1,1,0,15,1). 1410actions(17,17,207,2407,10,19,3,3,8,10,0,0,6,6,4,5,2,2,0,0,29,1). 1411actions(17,17,209,1540,3,7,3,3,1,3,2,0,2,2,1,1,1,1,1,0,8,0). 1412actions(17,17,210,855,1,4,3,3,0,0,6,0,0,0,0,4,1,1,0,0,3,0). 1413actions(17,17,211,1325,3,8,3,3,4,4,-6,0,3,3,2,0,0,1,0,0,12,0). 1414actions(17,17,212,2394,4,12,3,3,3,4,6,0,4,4,8,4,1,0,0,1,15,1). 1415actions(17,17,213,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1416actions(17,17,214,755,1,4,3,3,2,2,2,1,0,1,2,2,0,1,0,0,4,0). 1417actions(17,17,215,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1418actions(17,17,216,1068,2,2,3,3,3,5,-6,1,2,3,2,3,1,2,1,0,7,0). 1419actions(17,17,344,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1420actions(18,15,180,1948,3,13,3,3,7,7,-22,0,1,1,3,2,1,1,1,0,13,1). 1421actions(18,15,181,905,2,2,3,3,4,4,-23,0,1,1,0,1,0,1,0,0,8,1). 1422actions(18,15,182,644,3,5,3,3,0,0,-10,1,0,1,0,0,0,0,0,0,6,1). 1423actions(18,15,183,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1424actions(18,15,184,1264,1,6,3,3,0,0,-22,0,0,0,1,3,3,0,0,0,2,1). 1425actions(18,15,185,2183,8,15,3,3,8,10,-9,1,3,4,1,5,1,1,0,0,25,0). 1426actions(18,15,186,1971,3,10,3,3,0,0,-6,3,5,8,1,1,1,1,0,2,8,0). 1427actions(18,15,187,1156,0,3,3,3,0,0,-3,0,0,0,6,1,2,0,0,0,0,0). 1428actions(18,15,188,1252,5,10,3,3,4,6,8,3,1,4,1,5,1,2,0,1,14,0). 1429actions(18,15,189,386,0,1,3,3,0,0,1,0,1,1,1,1,0,0,0,0,0,0). 1430actions(18,15,190,776,1,3,3,3,1,2,-18,1,1,2,0,1,1,1,0,1,3,0). 1431actions(18,15,191,1915,6,13,3,3,1,1,-26,1,6,7,6,2,0,7,1,0,13,1). 1432actions(18,23,280,1718,7,13,3,3,1,1,26,1,6,7,0,2,1,0,0,0,18,1). 1433actions(18,23,281,1479,3,5,3,3,4,6,26,1,4,5,1,1,0,1,1,0,10,1). 1434actions(18,23,282,1678,10,13,3,3,2,2,26,1,7,8,4,2,3,1,1,0,22,1). 1435actions(18,23,283,1877,7,8,3,3,4,4,20,0,2,2,2,3,1,3,0,0,19,1). 1436actions(18,23,284,1668,5,10,3,3,3,3,30,0,3,3,10,3,2,4,0,2,13,1). 1437actions(18,23,285,1086,1,5,3,3,0,0,-1,0,2,2,1,3,0,2,1,0,2,0). 1438actions(18,23,286,1687,3,6,3,3,0,0,4,1,1,2,2,1,0,0,0,0,8,0). 1439actions(18,23,287,940,4,6,3,3,2,2,-3,0,2,2,1,5,1,3,0,0,12,0). 1440actions(18,23,288,1188,1,1,3,3,0,0,-7,1,3,4,8,1,0,2,0,0,2,0). 1441actions(18,23,289,355,0,1,3,3,0,0,1,0,4,4,0,2,0,2,1,0,0,0). 1442actions(18,23,290,355,3,3,3,3,2,3,1,1,0,1,0,0,0,1,0,0,9,0). 1443actions(18,23,291,222,0,0,3,3,0,0,3,0,0,0,0,1,0,2,0,0,0,0). 1444actions(18,23,292,147,1,1,3,3,0,0,4,0,1,1,0,0,0,0,0,0,3,0). 1445actions(19,16,192,1835,2,3,3,3,2,2,0,0,2,2,3,3,2,1,0,0,8,1). 1446actions(19,16,193,1440,5,8,3,3,2,3,-2,1,5,6,2,1,0,4,0,0,12,1). 1447actions(19,16,194,2277,5,10,3,3,0,0,5,2,8,10,6,4,2,1,0,1,10,1). 1448actions(19,16,195,2453,6,16,3,3,2,2,11,1,1,2,2,2,3,0,0,1,17,1). 1449actions(19,16,196,1851,7,13,3,3,2,2,0,1,2,3,6,1,2,2,0,0,17,1). 1450actions(19,16,197,1696,8,15,3,3,3,4,18,0,1,1,5,3,2,3,0,0,23,0). 1451actions(19,16,198,1692,4,9,3,3,2,2,22,2,5,7,2,2,2,2,2,1,10,0). 1452actions(19,16,199,351,1,1,3,3,0,0,1,0,3,3,0,1,0,0,1,0,2,0). 1453actions(19,16,200,805,2,3,3,3,0,0,10,0,3,3,1,2,0,0,0,0,6,0). 1454actions(19,16,201,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1455actions(19,16,202,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1456actions(19,16,203,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1457actions(19,22,268,2186,3,8,3,3,2,3,-5,3,3,6,3,2,0,1,0,2,8,1). 1458actions(19,22,269,2239,8,17,3,3,5,7,-4,2,9,11,3,3,2,1,1,1,22,1). 1459actions(19,22,270,611,0,2,3,3,0,0,-2,0,1,1,1,2,0,0,0,0,0,1). 1460actions(19,22,271,2010,4,9,3,3,0,0,-4,0,4,4,1,0,0,4,0,0,12,1). 1461actions(19,22,272,2104,7,14,3,3,4,5,1,1,1,2,8,2,2,4,0,0,21,1). 1462actions(19,22,273,1263,1,4,3,3,4,5,-8,0,2,2,5,1,1,5,0,0,6,0). 1463actions(19,22,274,1552,4,5,3,3,0,0,-5,0,5,5,3,3,2,0,1,0,8,0). 1464actions(19,22,275,641,1,3,3,3,0,0,-9,1,2,3,0,1,0,0,1,0,2,0). 1465actions(19,22,276,776,2,5,3,3,1,2,-14,0,1,1,0,3,0,1,0,0,5,0). 1466actions(19,22,277,717,2,4,3,3,4,4,-6,2,1,3,0,0,0,0,0,0,8,0). 1467actions(19,22,278,301,0,1,3,3,0,0,-9,0,0,0,0,0,0,0,0,0,0,0). 1468actions(19,22,279,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1469actions(20,18,217,1761,7,12,3,3,2,5,18,0,4,4,8,0,1,2,1,0,17,1). 1470actions(20,18,218,1497,3,5,3,3,0,0,12,1,4,5,0,1,1,0,0,0,6,1). 1471actions(20,18,219,1575,7,13,3,3,0,0,13,0,0,0,2,1,1,2,1,0,15,1). 1472actions(20,18,220,1575,3,7,3,3,3,4,13,4,3,7,3,2,2,0,0,1,9,1). 1473actions(20,18,221,1954,6,8,3,3,0,1,8,0,4,4,3,2,2,1,0,0,14,1). 1474actions(20,18,222,974,3,6,3,3,0,0,14,1,2,3,2,3,0,2,0,1,7,0). 1475actions(20,18,223,1518,3,9,3,3,0,0,9,0,2,2,3,1,1,0,1,0,7,0). 1476actions(20,18,224,1501,3,6,3,3,0,0,17,0,2,2,0,1,1,0,0,0,9,0). 1477actions(20,18,225,1052,2,4,3,3,4,4,15,2,5,7,0,1,1,1,2,0,8,0). 1478actions(20,18,226,331,0,0,3,3,0,0,-8,0,1,1,0,0,1,1,0,0,0,0). 1479actions(20,18,227,331,1,5,3,3,0,0,-8,0,0,0,1,0,1,0,0,1,2,0). 1480actions(20,18,228,331,1,2,3,3,0,0,-8,0,0,0,0,0,0,0,0,0,2,0). 1481actions(20,19,230,1955,2,10,3,3,0,0,-15,1,3,4,2,4,1,3,0,1,4,1). 1482actions(20,19,231,2069,7,15,3,3,0,0,-1,1,6,7,2,2,0,2,1,1,14,1). 1483actions(20,19,232,1526,3,5,3,3,2,2,-14,6,10,16,4,2,0,0,0,0,8,1). 1484actions(20,19,233,2724,6,12,3,3,6,6,-13,0,3,3,6,1,1,5,0,0,19,1). 1485actions(20,19,234,2502,4,11,3,3,1,1,-27,1,4,5,2,2,1,5,1,0,11,1). 1486actions(20,19,235,1305,2,5,3,3,0,0,-6,1,1,2,1,1,0,1,1,1,5,0). 1487actions(20,19,236,901,5,9,3,3,0,0,-19,0,1,1,0,3,0,0,0,0,10,0). 1488actions(20,19,237,932,1,3,3,3,0,0,-12,0,2,2,1,1,0,0,0,2,2,0). 1489actions(20,19,238,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1490actions(20,19,239,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1491actions(20,19,240,331,1,1,3,3,0,0,8,1,0,1,0,0,0,1,0,0,2,0). 1492actions(20,19,241,154,1,2,3,3,0,0,4,0,1,1,0,0,0,0,0,0,2,0). 1493actions(20,19,242,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1494actions(20,18,345,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1495actions(21,9,103,822,3,9,3,3,0,0,-10,0,3,3,0,0,0,0,0,0,6,1). 1496actions(21,9,104,1614,1,8,3,3,2,2,-12,2,3,5,3,2,0,2,1,2,4,1). 1497actions(21,9,105,1998,9,18,3,3,0,0,-19,3,4,7,4,2,1,0,0,2,18,1). 1498actions(21,9,106,2057,6,9,3,3,0,0,-19,1,5,6,0,1,1,1,0,0,14,1). 1499actions(21,9,107,1996,3,15,3,3,0,0,-6,0,0,0,8,5,1,3,0,0,7,1). 1500actions(21,9,108,884,3,8,3,3,0,0,-8,0,3,3,3,1,0,2,0,1,6,0). 1501actions(21,9,109,1008,5,8,3,3,0,0,2,3,3,6,0,1,1,1,2,0,10,0). 1502actions(21,9,110,1703,4,8,3,3,0,0,-6,0,4,4,3,0,0,0,0,0,9,0). 1503actions(21,9,111,466,1,3,3,3,0,0,1,1,1,2,0,1,1,0,0,1,2,0). 1504actions(21,9,112,768,0,3,3,3,0,2,-6,1,0,1,1,0,1,2,0,0,0,0). 1505actions(21,9,113,880,3,4,3,3,2,2,9,0,1,1,2,2,0,0,0,0,8,0). 1506actions(21,9,114,204,2,2,3,3,0,0,4,0,0,0,0,0,0,0,0,0,4,0). 1507actions(21,9,115,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1508actions(21,14,167,2027,2,7,3,3,2,2,11,1,1,2,2,1,1,1,1,0,6,1). 1509actions(21,14,168,2167,9,15,3,3,4,5,14,4,12,16,10,2,1,2,1,0,24,1). 1510actions(21,14,170,2024,10,18,3,3,0,0,15,0,2,2,2,2,1,2,0,0,21,1). 1511actions(21,14,171,2006,5,11,3,3,3,4,15,1,2,3,7,3,3,2,0,0,14,1). 1512actions(21,14,172,1532,4,6,3,3,0,0,5,2,7,9,0,2,1,5,1,1,8,1). 1513actions(21,14,173,874,1,6,3,3,0,0,-1,1,0,1,7,1,1,1,0,1,2,0). 1514actions(21,14,174,620,2,3,3,3,1,2,2,0,3,3,1,0,0,0,0,0,5,0). 1515actions(21,14,175,903,1,5,3,3,0,0,1,0,1,1,0,0,0,0,0,1,3,0). 1516actions(21,14,176,93,0,0,3,3,0,0,-2,0,0,0,0,0,0,0,0,0,0,0). 1517actions(21,14,177,853,4,5,3,3,0,0,3,0,2,2,0,0,0,0,0,0,8,0). 1518actions(21,14,178,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1519actions(21,14,179,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1520actions(21,14,346,1301,5,5,3,3,1,3,7,3,4,7,2,2,0,1,3,0,11,0). 1521actions(22,3,27,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1522actions(22,3,28,1925,4,10,3,3,0,0,-19,0,8,8,4,3,0,1,2,2,8,1). 1523actions(22,3,29,264,0,0,3,3,0,0,-2,0,0,0,0,1,0,1,0,0,0,1). 1524actions(22,3,30,1963,5,8,3,3,2,2,-25,0,2,2,2,2,0,0,0,0,15,1). 1525actions(22,3,31,1843,5,15,3,3,0,0,-19,0,0,0,10,2,1,4,0,0,11,1). 1526actions(22,3,32,1793,10,16,3,3,2,2,4,4,5,9,0,4,1,2,0,0,22,0). 1527actions(22,3,33,2138,3,12,3,3,4,4,-13,0,2,2,0,2,1,2,0,0,11,1). 1528actions(22,3,34,1422,0,1,3,3,0,0,-9,0,1,1,3,0,1,1,0,0,0,0). 1529actions(22,3,35,2066,6,18,3,3,1,1,-19,0,2,2,2,3,1,0,0,0,16,0). 1530actions(22,3,36,986,3,5,3,3,1,1,-3,0,2,2,2,3,1,0,0,0,16,0). 1531actions(22,3,37,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1532actions(22,28,347,1765,4,9,3,3,3,3,15,0,4,4,1,0,4,1,0,0,11,1). 1533actions(22,28,348,1221,7,11,3,3,1,2,7,3,5,8,0,2,0,1,0,0,15,1). 1534actions(22,28,349,2008,3,9,3,3,2,2,12,1,2,3,5,0,0,0,0,0,8,1). 1535actions(22,28,350,1610,2,5,3,3,0,0,20,0,4,4,2,2,0,1,1,0,5,1). 1536actions(22,28,351,1695,7,13,3,3,4,4,16,0,3,3,8,1,0,4,0,1,18,1). 1537actions(22,28,352,1148,4,8,3,3,4,4,21,2,4,6,5,2,1,2,1,0,13,0). 1538actions(22,28,353,650,1,2,3,3,2,4,-1,1,6,7,2,2,1,2,0,1,4,0). 1539actions(22,28,354,1185,6,8,3,3,0,0,5,0,3,3,2,1,0,1,0,0,13,0). 1540actions(22,28,355,1665,5,10,3,3,2,2,9,0,1,1,1,0,0,0,0,0,12,0). 1541actions(22,28,356,820,4,5,3,3,1,1,5,1,4,5,2,2,0,1,0,0,9,0). 1542actions(22,28,357,632,1,3,3,3,0,0,-4,0,1,1,1,0,0,0,0,0,3,0). 1543actions(22,28,358,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1544actions(22,28,359,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1545actions(22,3,391,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1546actions(23,10,116,1341,2,6,3,3,0,2,7,1,3,4,0,3,2,0,0,0,6,1). 1547actions(23,10,117,1606,14,19,3,3,6,8,17,2,11,13,2,5,0,1,3,1,34,1). 1548actions(23,10,118,1584,5,11,3,3,4,4,14,1,1,2,0,1,1,1,2,1,15,1). 1549actions(23,10,119,1814,4,9,3,3,0,0,19,1,2,3,7,3,0,1,0,0,9,1). 1550actions(23,10,120,2007,3,7,3,3,8,10,29,0,3,3,12,4,1,3,0,0,14,1). 1551actions(23,10,121,996,3,5,3,3,0,0,18,0,2,2,0,1,0,1,3,1,8,0). 1552actions(23,10,122,1436,5,13,3,3,0,1,13,2,2,4,7,3,0,1,0,2,12,0). 1553actions(23,10,123,1784,9,12,3,3,0,0,18,0,3,3,1,3,2,1,2,1,24,0). 1554actions(23,10,124,1282,5,6,3,3,0,0,16,1,4,5,2,4,2,0,2,1,10,0). 1555actions(23,10,125,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1556actions(23,10,126,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1557actions(23,10,127,551,2,4,3,3,0,0,-1,0,1,1,3,2,0,2,0,0,5,0). 1558actions(23,10,128,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1559actions(23,12,141,1265,0,3,3,3,5,10,-7,2,5,7,1,2,0,1,0,0,5,1). 1560actions(23,12,142,630,3,4,3,3,0,0,-9,0,3,3,1,2,0,0,0,0,6,1). 1561actions(23,12,143,1210,4,9,3,3,1,2,-10,2,4,6,1,3,0,1,1,2,9,1). 1562actions(23,12,144,1962,9,17,3,3,9,9,-18,2,6,8,3,2,0,3,0,4,27,1). 1563actions(23,12,145,1209,3,7,3,3,0,0,-13,0,1,1,6,1,0,2,0,2,6,1). 1564actions(23,12,146,1235,3,5,3,3,3,4,-19,0,2,2,1,1,0,0,1,0,9,0). 1565actions(23,12,147,1182,3,6,3,3,3,4,-21,0,4,4,2,3,2,1,0,1,9,0). 1566actions(23,12,148,1652,1,4,3,3,4,6,-17,0,3,3,2,1,1,4,0,1,6,0). 1567actions(23,12,149,1748,5,12,3,3,5,5,-17,1,1,2,2,5,0,1,1,2,17,0). 1568actions(23,12,150,1795,4,5,3,3,5,5,-13,1,4,5,1,3,1,1,4,0,13,0). 1569actions(23,12,151,511,0,2,3,3,0,0,-6,0,1,1,1,2,1,2,0,0,0,0). 1570actions(23,12,152,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1571actions(23,12,153,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1572actions(24,13,154,2196,7,16,3,3,3,4,0,3,3,6,1,2,1,3,1,1,19,1). 1573actions(24,13,155,1440,2,5,3,3,6,6,19,0,3,3,0,3,1,2,1,0,12,0). 1574actions(24,13,156,1754,2,2,3,3,0,0,-20,1,10,11,0,4,0,0,1,0,4,1). 1575actions(24,13,157,2543,9,16,3,3,3,3,3,0,3,3,5,3,3,2,1,1,23,1). 1576actions(24,13,158,2116,6,17,3,3,4,5,5,0,2,2,9,3,3,2,0,1,20,1). 1577actions(24,13,160,1033,2,4,3,3,0,0,5,0,0,0,0,1,1,0,0,0,5,0). 1578actions(24,13,161,271,0,1,3,3,0,0,-4,0,0,0,0,0,0,0,0,0,0,0). 1579actions(24,13,162,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1580actions(24,13,163,612,1,1,3,3,2,2,10,2,2,4,0,2,0,1,0,0,4,0). 1581actions(24,13,164,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1582actions(24,13,165,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1583actions(24,13,166,2022,7,15,3,3,9,10,-6,4,2,6,3,3,1,3,0,1,23,1). 1584actions(24,13,169,413,1,2,3,3,0,0,8,0,1,1,0,3,0,0,0,0,2,0). 1585actions(24,29,360,2116,4,12,3,3,1,1,-7,6,5,11,1,3,1,1,0,1,10,1). 1586actions(24,29,361,1843,4,9,3,3,2,2,1,1,2,3,1,5,0,1,1,0,14,1). 1587actions(24,29,362,1564,6,7,3,3,1,1,6,3,4,7,1,2,1,1,0,0,13,1). 1588actions(24,29,363,2535,2,11,3,3,11,12,-6,0,1,1,8,3,0,4,0,1,15,1). 1589actions(24,29,364,1772,6,9,3,3,1,1,4,0,1,1,3,4,0,5,0,1,14,1). 1590actions(24,29,365,1376,5,11,3,3,3,4,-2,1,3,4,0,3,0,0,2,1,15,0). 1591actions(24,29,366,1823,3,7,3,3,5,7,-9,2,5,7,2,3,1,1,1,0,11,0). 1592actions(24,29,367,1150,6,12,3,3,4,5,-5,1,3,4,1,2,1,1,0,0,16,0). 1593actions(24,29,368,221,0,0,3,3,0,0,-2,0,0,0,0,1,0,0,0,0,0,0). 1594actions(24,29,369,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1595actions(24,29,370,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1596actions(24,29,371,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1597actions(24,29,372,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1598actions(25,2,14,1852,6,18,3,3,0,0,-4,1,6,7,6,2,2,3,0,0,14,1). 1599actions(25,2,15,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1600actions(25,2,16,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1601actions(25,2,17,2170,8,15,3,3,3,3,0,1,2,3,1,1,0,1,0,0,21,1). 1602actions(25,2,18,1951,3,9,3,3,0,0,1,0,7,7,10,4,2,3,0,1,7,1). 1603actions(25,2,19,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1604actions(25,2,20,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1605actions(25,2,21,1154,3,7,3,3,2,2,-6,1,0,1,3,1,0,0,0,0,8,0). 1606actions(25,2,22,1682,2,6,3,3,2,4,11,1,4,5,2,3,0,0,2,0,6,1). 1607actions(25,2,23,1797,6,17,3,3,1,1,-14,2,0,2,1,3,1,1,0,1,17,0). 1608actions(25,2,24,394,1,3,3,3,0,0,-5,0,0,0,0,0,1,0,0,1,3,0). 1609actions(25,2,25,1726,5,15,3,3,8,10,1,6,9,15,0,6,0,1,4,1,18,1). 1610actions(25,2,26,1674,3,6,3,3,0,0,-9,2,10,12,3,1,1,1,0,0,8,0). 1611actions(25,11,129,2562,12,24,3,3,6,7,-1,0,5,5,4,2,2,2,0,1,31,1). 1612actions(25,11,130,1026,1,3,3,3,1,2,-1,1,1,2,0,2,1,0,0,0,3,1). 1613actions(25,11,131,1287,8,14,3,3,4,5,-7,3,7,10,2,4,1,1,0,1,20,1). 1614actions(25,11,132,2707,5,11,3,3,1,1,7,2,2,4,0,2,1,1,0,2,12,1). 1615actions(25,11,133,2763,12,22,3,3,2,4,3,1,3,4,5,3,0,3,0,2,27,1). 1616actions(25,11,134,1927,3,8,3,3,3,4,9,0,7,7,2,2,0,0,0,0,11,0). 1617actions(25,11,135,603,0,2,3,3,1,2,4,0,3,3,0,0,0,1,1,0,1,0). 1618actions(25,11,136,117,0,0,3,3,0,0,2,0,0,0,0,0,0,0,0,0,0,0). 1619actions(25,11,137,1408,1,2,3,3,0,2,9,1,11,12,3,3,3,0,3,0,2,0). 1620actions(25,11,138,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1621actions(25,11,139,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1622actions(25,11,140,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1623actions(25,11,373,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1624actions(25,11,374,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1625actions(26,28,347,1721,8,15,3,3,0,0,0,0,2,2,3,4,3,2,0,1,17,1). 1626actions(26,28,348,1696,5,15,3,3,7,8,-9,2,6,8,1,2,0,0,2,1,17,1). 1627actions(26,28,349,1498,4,6,3,3,0,0,-16,1,2,3,2,3,0,4,0,0,8,0). 1628actions(26,28,350,2185,4,9,3,3,1,2,-5,1,4,5,2,2,0,1,0,0,11,1). 1629actions(26,28,351,1534,3,10,3,3,0,1,-4,2,2,4,3,2,0,3,0,1,6,1). 1630actions(26,28,352,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1631actions(26,28,353,1160,1,5,3,3,0,0,-2,3,0,3,2,0,1,2,1,2,2,1). 1632actions(26,28,354,1429,8,13,3,3,0,0,-11,2,4,6,1,1,1,2,0,0,21,0). 1633actions(26,28,355,1822,3,10,3,3,1,1,-16,0,6,6,1,1,0,4,0,0,8,0). 1634actions(26,28,356,809,1,2,3,3,0,0,-1,2,1,3,2,2,0,0,0,0,2,0). 1635actions(26,28,357,250,1,2,3,3,0,0,2,0,0,0,1,1,0,0,0,0,2,0). 1636actions(26,28,359,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1637actions(26,28,375,296,0,1,3,3,0,0,2,0,2,2,0,0,0,0,0,0,0,0). 1638actions(26,30,376,2358,11,26,3,3,6,6,13,0,7,7,3,1,0,4,1,1,28,1). 1639actions(26,30,377,2390,5,11,3,3,1,2,4,2,10,12,0,0,1,2,3,1,11,1). 1640actions(26,30,378,719,0,0,3,3,0,0,2,0,1,1,1,3,0,1,1,0,0,1). 1641actions(26,30,379,885,2,2,3,3,0,0,1,2,3,5,0,2,0,1,0,0,5,1). 1642actions(26,30,380,1838,10,20,3,3,6,6,2,0,1,1,6,1,4,2,0,0,27,1). 1643actions(26,30,381,1818,1,5,3,3,1,2,10,0,2,2,2,1,5,0,0,0,4,0). 1644actions(26,30,382,734,2,4,3,3,1,2,6,3,2,5,0,3,1,1,0,0,5,0). 1645actions(26,30,383,803,1,1,3,3,2,2,8,0,0,0,2,2,1,1,0,0,4,0). 1646actions(26,30,384,1823,6,8,3,3,0,0,13,1,3,4,4,0,1,1,0,1,14,0). 1647actions(26,30,385,924,1,3,3,3,3,3,1,0,1,1,0,3,1,0,0,0,6,0). 1648actions(26,30,386,55,1,1,3,3,0,0,0,0,1,1,0,0,0,0,0,0,2,0). 1649actions(26,30,387,52,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1650actions(26,30,388,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1651actions(27,4,39,1851,2,5,3,3,3,4,3,3,6,9,2,0,0,3,3,0,7,1). 1652actions(27,4,40,2088,10,18,3,3,2,2,2,0,11,11,1,4,2,2,1,1,26,1). 1653actions(27,4,41,1715,3,4,3,3,6,6,-7,3,3,6,1,4,0,2,2,0,12,1). 1654actions(27,4,42,2209,4,12,3,3,3,4,-4,0,4,4,9,0,0,2,1,0,12,1). 1655actions(27,4,43,1613,8,13,3,3,0,0,-15,0,2,2,1,4,0,1,0,0,19,1). 1656actions(27,4,44,1522,6,12,3,3,0,0,8,0,2,2,1,3,1,0,0,1,16,0). 1657actions(27,4,45,985,4,7,3,3,0,0,16,0,3,3,1,3,1,0,1,1,8,0). 1658actions(27,4,46,1402,2,6,3,3,0,0,17,0,3,3,7,1,0,0,0,1,6,0). 1659actions(27,4,47,835,2,3,3,3,1,2,13,1,4,5,1,2,0,1,1,0,5,0). 1660actions(27,4,48,180,0,2,3,3,2,2,-3,1,0,1,0,0,0,0,0,0,2,0). 1661actions(27,4,49,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1662actions(27,4,50,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1663actions(27,4,51,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1664actions(27,13,154,2289,2,9,3,3,1,2,-5,1,5,6,2,2,0,2,1,0,6,1). 1665actions(27,13,155,639,0,4,3,3,0,0,1,0,0,0,2,1,0,0,0,1,0,0). 1666actions(27,13,156,2317,9,12,3,3,3,8,1,5,10,15,0,3,2,0,2,1,21,1). 1667actions(27,13,157,2275,7,14,3,3,6,6,5,0,2,2,1,3,3,1,0,0,22,1). 1668actions(27,13,158,2373,7,14,3,3,2,2,-1,2,3,5,9,3,1,1,0,0,17,1). 1669actions(27,13,160,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1670actions(27,13,161,124,0,1,3,3,0,0,-1,0,0,0,0,1,0,0,0,0,0,0). 1671actions(27,13,162,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1672actions(27,13,163,588,2,4,3,3,0,0,-10,0,1,1,0,2,0,1,0,1,4,0). 1673actions(27,13,164,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1674actions(27,13,166,2379,9,23,3,3,7,7,-5,4,6,10,11,5,1,1,1,5,25,1). 1675actions(27,13,169,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1676actions(27,13,389,1416,3,10,3,3,4,4,-15,0,2,2,1,0,0,0,0,1,12,0). 1677actions(28,9,103,842,6,8,3,3,0,0,3,2,0,2,1,0,0,0,0,0,12,1). 1678actions(28,9,104,2499,7,22,3,3,6,6,17,3,12,15,4,4,2,1,3,2,20,1). 1679actions(28,9,105,2145,8,16,3,3,8,10,2,1,4,5,3,6,0,3,1,0,24,1). 1680actions(28,9,106,2324,3,7,3,3,3,3,11,0,1,1,1,1,1,2,0,0,10,1). 1681actions(28,9,107,2120,5,14,3,3,10,11,8,0,5,5,4,4,2,1,0,1,21,1). 1682actions(28,9,108,1040,1,3,3,3,2,2,5,0,1,1,2,3,2,1,0,1,4,0). 1683actions(28,9,109,374,1,4,3,3,0,0,-7,2,0,2,0,2,0,0,0,0,2,0). 1684actions(28,9,110,1056,0,4,3,3,2,2,-3,0,1,1,2,1,0,2,0,0,2,0). 1685actions(28,9,111,686,0,1,3,3,0,0,3,1,4,5,0,1,0,1,0,0,0,0). 1686actions(28,9,112,1224,1,4,3,3,3,4,-3,1,0,1,1,4,2,0,0,0,5,0). 1687actions(28,9,113,90,0,0,3,3,0,0,4,0,0,0,0,0,0,0,0,0,0,0). 1688actions(28,9,114,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1689actions(28,9,115,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1690actions(28,10,116,774,0,2,3,3,0,0,-17,0,1,1,0,1,1,1,0,0,0,1). 1691actions(28,10,117,1410,7,13,3,3,3,4,-7,5,7,12,2,2,1,5,0,0,17,1). 1692actions(28,10,118,1667,4,10,3,3,4,5,-4,1,2,3,2,5,0,1,1,1,13,1). 1693actions(28,10,119,2350,6,13,3,3,5,6,-11,2,7,9,4,5,0,2,1,1,21,1). 1694actions(28,10,120,1926,3,8,3,3,10,12,7,0,1,1,3,2,2,1,0,0,16,0). 1695actions(28,10,121,1430,1,9,3,3,3,3,7,2,5,7,1,5,2,2,2,1,6,0). 1696actions(28,10,122,1185,2,7,3,3,2,2,5,0,2,2,0,2,0,2,0,0,6,0). 1697actions(28,10,123,2421,5,13,3,3,0,0,-8,1,3,4,2,2,0,4,0,0,11,1). 1698actions(28,10,124,1237,1,5,3,3,0,0,-12,3,4,7,2,3,1,2,0,1,2,0). 1699actions(28,10,125,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1700actions(28,10,126,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1701actions(28,10,127,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1702actions(28,10,128,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1703actions(29,24,293,1006,0,3,3,3,0,0,5,0,2,2,1,0,1,0,0,1,0,1). 1704actions(29,24,294,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1705actions(29,24,295,2205,13,24,3,3,3,3,7,4,12,16,0,1,0,2,1,3,29,1). 1706actions(29,24,296,1373,2,7,3,3,3,3,15,0,3,3,2,5,1,3,2,1,7,1). 1707actions(29,24,297,2089,5,15,3,3,2,2,20,2,8,10,10,2,1,4,0,2,13,1). 1708actions(29,24,298,1487,2,4,3,3,4,6,11,1,3,4,0,2,0,2,2,0,8,1). 1709actions(29,24,299,675,1,1,3,3,0,0,4,1,1,2,1,1,0,0,0,0,13,0). 1710actions(29,24,300,1507,4,10,3,3,3,3,-4,0,3,3,2,1,0,2,0,1,12,0). 1711actions(29,24,301,791,1,2,3,3,0,0,-9,0,0,0,1,2,1,0,0,0,2,0). 1712actions(29,24,302,1874,1,5,3,3,3,4,6,0,3,3,3,1,1,1,0,2,5,0). 1713actions(29,24,303,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1714actions(29,24,304,1393,4,7,3,3,1,2,0,1,1,2,1,1,0,0,0,0,13,0). 1715actions(29,24,305,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1716actions(29,27,331,1855,1,3,3,3,0,0,-21,0,3,3,1,1,2,1,3,0,2,1). 1717actions(29,27,332,1778,5,20,3,3,0,0,-6,2,4,6,1,4,3,2,5,1,10,1). 1718actions(29,27,333,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1719actions(29,27,334,1386,2,10,3,3,4,4,-21,1,2,3,0,1,0,1,0,2,8,1). 1720actions(29,27,335,1287,5,11,3,3,0,0,-20,1,1,2,7,1,0,1,0,0,11,1). 1721actions(29,27,336,791,0,1,3,3,0,0,-18,1,2,3,0,4,0,0,0,0,0,1). 1722actions(29,27,337,1822,8,18,3,3,4,4,7,2,4,6,2,4,2,2,0,1,21,0). 1723actions(29,27,338,1236,3,7,3,3,0,0,8,0,2,2,2,1,0,2,1,1,6,0). 1724actions(29,27,339,1888,5,12,3,3,4,5,7,2,6,8,1,3,1,2,1,1,15,0). 1725actions(29,27,340,1255,0,0,3,3,0,0,14,0,2,2,1,2,0,1,0,0,0,0). 1726actions(29,27,341,1102,2,5,3,3,3,5,-5,5,3,8,0,4,0,1,0,1,7,0). 1727actions(29,27,342,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1728actions(29,27,343,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1729actions(30,17,204,1989,8,17,3,3,3,4,-2,2,3,5,1,2,1,0,0,2,24,1). 1730actions(30,17,206,2022,10,14,3,3,2,3,11,3,6,9,0,3,0,3,1,0,22,1). 1731actions(30,17,207,2375,8,19,3,3,4,5,9,0,4,4,9,3,0,3,1,1,20,1). 1732actions(30,17,209,1526,2,5,3,3,0,0,7,1,6,7,2,3,2,0,0,0,5,1). 1733actions(30,17,210,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1734actions(30,17,211,941,0,1,3,3,0,0,2,0,2,2,1,2,0,1,1,0,0,0). 1735actions(30,17,212,1963,4,12,3,3,0,0,7,0,5,5,3,3,1,2,0,0,10,1). 1736actions(30,17,213,1031,3,4,3,3,0,0,1,0,3,3,2,0,0,0,2,0,6,0). 1737actions(30,17,214,1373,3,8,3,3,2,2,10,0,2,2,5,1,2,2,0,0,10,0). 1738actions(30,17,215,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1739actions(30,17,216,1180,2,4,3,3,1,2,-5,3,2,5,0,3,0,0,0,0,5,0). 1740actions(30,25,306,2416,7,17,3,3,9,10,-4,1,5,6,3,3,0,3,0,0,26,1). 1741actions(30,25,307,2061,9,16,3,3,3,3,-5,1,6,7,4,1,2,0,0,0,21,1). 1742actions(30,25,308,1911,5,13,3,3,2,3,-2,1,1,2,0,4,1,1,1,1,12,1). 1743actions(30,25,309,1693,2,5,3,3,1,2,-13,0,3,3,1,4,1,2,0,0,6,1). 1744actions(30,25,310,2106,2,5,3,3,3,4,-3,0,4,4,5,1,1,1,0,0,8,1). 1745actions(30,25,311,819,3,7,3,3,0,2,-3,1,4,5,1,1,0,0,0,0,6,0). 1746actions(30,25,312,1188,1,8,3,3,0,0,3,3,2,5,1,2,1,1,0,4,2,0). 1747actions(30,25,313,968,1,2,3,3,2,2,-4,1,2,3,0,3,0,2,1,0,4,0). 1748actions(30,25,314,464,0,1,3,3,0,0,-4,0,3,3,1,0,0,0,1,0,0,0). 1749actions(30,25,315,774,3,4,3,3,2,2,-5,0,1,1,3,0,0,0,0,0,9,0). 1750actions(30,25,316,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1751actions(30,25,317,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1752actions(30,25,318,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1753actions(30,17,344,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1754actions(30,17,390,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0). 1755%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 1756 1757:- begin_bg. 1758%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 1759% Players information 1760%% 1761% predicate: player(PlayerId,PlayerName). 1762 1763player(1,"Nicolas Batum"). 1764player(2,"LaMarcus Aldridge"). 1765player(3,"Robin Lopez"). 1766player(4,"Wesley Matthews"). 1767player(5,"Damian Lillard"). 1768player(6,"Thomas Robinson"). 1769player(7,"Maurice Williams"). 1770player(8,"Will Barton"). 1771player(9,"Dorell Wright"). 1772player(10,"Earl Watson"). 1773player(11,"CJ McCollum"). 1774player(12,"Meyers Leonard"). 1775player(13,"Victor Claver"). 1776player(14,"Kent Bazemore"). 1777player(15,"Pau Gasol"). 1778player(16,"Chris Kaman"). 1779player(17,"Jodie Meeks"). 1780player(18,"Kendall Marshall"). 1781player(19,"Steve Nash"). 1782player(20,"Xavier Henry"). 1783player(21,"Robert Sacre"). 1784player(22,"Ryan Kelly"). 1785player(23,"Nick Young"). 1786player(24,"Marshon Brooks"). 1787player(25,"Jordan Hill"). 1788player(26,"Wesley Johnson"). 1789player(27,"Andre Iguodala"). 1790player(28,"Draymond Green"). 1791player(29,"Jermaine O'Neal"). 1792player(30,"Klay Thompson"). 1793player(31,"Stephen Curry"). 1794player(32,"Marreese Speights"). 1795player(33,"Harrison Barnes"). 1796player(34,"Steve Blake"). 1797player(35,"Jordan Crawford"). 1798player(36,"Hilton Armstrong"). 1799player(37,"Andrew Bogut"). 1800player(38,"David Lee"). 1801player(39,"Shawn Marion"). 1802player(40,"Dirk Nowitzki"). 1803player(41,"Samuel Dalembert"). 1804player(42,"Monta Ellis"). 1805player(43,"Jose Calderon"). 1806player(44,"Vince Carter"). 1807player(45,"Brandan Wright"). 1808player(46,"Devin Harris"). 1809player(47,"Jae Crowder"). 1810player(48,"DeJuan Blair"). 1811player(49,"Wayne Ellington"). 1812player(50,"Bernard James"). 1813player(51,"Shane Larkin"). 1814player(52,"Chandler Parsons"). 1815player(53,"Donatas Motiejunas"). 1816player(54,"Omer Asik"). 1817player(55,"James Harden"). 1818player(56,"Jeremy Lin"). 1819player(57,"Omri Casspi"). 1820player(58,"Francisco Garcia"). 1821player(59,"Isaiah Canaan"). 1822player(60,"Jordan Hamilton"). 1823player(61,"Patrick Beverley"). 1824player(62,"Dwight Howard"). 1825player(63,"Terrence Jones"). 1826player(64,"Greg Smith"). 1827player(65,"Joe Johnson"). 1828player(66,"Paul Pierce"). 1829player(67,"Mason Plumlee"). 1830player(68,"Shaun Livingston"). 1831player(69,"Deron Williams"). 1832player(70,"Alan Anderson"). 1833player(71,"Andray Blatche"). 1834player(72,"Mizra Teletovic"). 1835player(73,"Jorge Gutierrez"). 1836player(74,"Marquis Teague"). 1837player(75,"Jason Collins"). 1838player(76,"Andrei Kirilenko"). 1839player(77,"Marcus Thornton"). 1840player(78,"JR Smith"). 1841player(79,"Carmelo Anthony"). 1842player(80,"Tyson Chandler"). 1843player(81,"Iman Shumpert"). 1844player(82,"Raymond Felton"). 1845player(83,"Timothy Hardaway Jr."). 1846player(84,"Pablo Prigioni"). 1847player(85,"Cole Aldrich"). 1848player(86,"Jeremy Tyler"). 1849player(87,"Shannon Brown"). 1850player(88,"Toure Murry"). 1851player(89,"Amar'e Stoudemire"). 1852player(90,"Richard Jefferson"). 1853player(91,"Marvin Williams"). 1854player(92,"Derrick Favors"). 1855player(93,"Gordon Hayward"). 1856player(94,"Trey Burke"). 1857player(95,"Enes Kanter"). 1858player(96,"Alec Burks"). 1859player(97,"Diante Garrett"). 1860player(98,"Ian Clark"). 1861player(99,"Rudy Gobert"). 1862player(100,"Jeremy Evans"). 1863player(101,"John Lucas III"). 1864player(102,"Brandon Rush"). 1865player(103,"Tayshaun Prince"). 1866player(104,"Zach Randolph"). 1867player(105,"Marc Gasol"). 1868player(106,"Courtney Lee"). 1869player(107,"Mike Conley"). 1870player(108,"Nick Calathes"). 1871player(109,"Ed Davis"). 1872player(110,"Mike Miller"). 1873player(111,"Kosta Koufos"). 1874player(112,"Tony Allen"). 1875player(113,"James Johnson"). 1876player(114,"Jon Leuer"). 1877player(115,"Beno Udrih"). 1878player(116,"Quincy Miller"). 1879player(117,"Kenneth Faried"). 1880player(118,"Timofey Mozgov"). 1881player(119,"Randy Foye"). 1882player(120,"Ty Lawson"). 1883player(121,"Darrell Arthur"). 1884player(122,"Evan Fournier"). 1885player(123,"Aaron Brooks"). 1886player(124,"Jan Vesely"). 1887player(125,"Wilson Chandler"). 1888player(126,"JJ Hickson"). 1889player(127,"Anthony Randolph"). 1890player(128,"Nate Robinson"). 1891player(129,"Rudy Gay"). 1892player(130,"Reggie Evans"). 1893player(131,"DeMarcus Cousins"). 1894player(132,"Ben McLemore"). 1895player(133,"Ray McCallum"). 1896player(134,"Travis Outlaw"). 1897player(135,"Derrick Williams"). 1898player(136,"Jared Cunningham"). 1899player(137,"Jason Thompson"). 1900player(138,"Quincy Acy"). 1901player(139,"Aaron Gray"). 1902player(140,"Isaiah Thomas"). 1903player(141,"Al-Farouq Aminu"). 1904player(142,"Anthony Davis"). 1905player(143,"Greg Stiemsma"). 1906player(144,"Tyreke Evans"). 1907player(145,"Brian Roberts"). 1908player(146,"Darius Miller"). 1909player(147,"Alexis Ajinca"). 1910player(148,"Austin Rivers"). 1911player(149,"Anthony Morrow"). 1912player(150,"Jeff Withey"). 1913player(151,"Luke Babbitt"). 1914player(152,"Eric Gordon"). 1915player(153,"Jason Smith"). 1916player(154,"Matt Barnes"). 1917player(155,"Jared Dudley"). 1918player(156,"DeAndre Jordan"). 1919player(157,"Darren Collison"). 1920player(158,"Chris Paul"). 1921player(159,"Hidayet Turkoglu"). 1922player(160,"Willie Green"). 1923player(161,"Reggie Bullock"). 1924player(162,"Ryan Hollins"). 1925player(163,"Glen Davis"). 1926player(164,"Jamal Crawford"). 1927player(165,"Danny Granger"). 1928player(166,"Blake Griffin"). 1929player(167,"Corey Brewer"). 1930player(168,"Kevin Love"). 1931player(169,"Hidayet Turkoglu"). 1932player(170,"Kevin Martin"). 1933player(171,"Ricky Rubio"). 1934player(172,"Gorgui Dieng"). 1935player(173,"Jose Barea"). 1936player(174,"Dante Cunningham"). 1937player(175,"Chase Budinger"). 1938player(176,"Robbie Hummel"). 1939player(177,"Shabazz Muhammad"). 1940player(178,"Luc Mbah a Moute"). 1941player(179,"Alexey Shved"). 1942player(180,"Jeff Green"). 1943player(181,"Brandon Bass"). 1944player(182,"Kris Humphries"). 1945player(183,"Avery Bradley"). 1946player(184,"Jerryd Bayless"). 1947player(185,"Jared Sullinger"). 1948player(186,"Christapher Johnson"). 1949player(187,"Phil Pressey"). 1950player(188,"Kelly Olynyk"). 1951player(189,"Chris Babb"). 1952player(190,"Joel Anthony"). 1953player(191,"Rajon Rondo"). 1954player(192,"Mike Dunleavy"). 1955player(193,"Carlos Boozer"). 1956player(194,"Joakim Noah"). 1957player(195,"Jimmy Butler"). 1958player(196,"Kirk Hinrich"). 1959player(197,"DJ Augustin"). 1960player(198,"Taj Gibson"). 1961player(199,"Nazr Mohammed"). 1962player(200,"Tony Snell"). 1963player(201,"Jimmer Fredette"). 1964player(202,"Erik Murphy"). 1965player(203,"Tornike Shengelia"). 1966player(204,"Terrence Ross"). 1967player(205,"Amir Johnson"). 1968player(206,"Jonas Valanciunas"). 1969player(207,"Demar DeRozan"). 1970player(208,"Kyle Lowry"). 1971player(209,"Patrick Patterson"). 1972player(210,"Steve Novak"). 1973player(211,"John Salmons"). 1974player(212,"Greivis Vasquez"). 1975player(213,"Chuck Hayes"). 1976player(214,"Nando De Colo"). 1977player(215,"Landry Fields"). 1978player(216,"Tyler Hansbrough"). 1979player(217,"Lebron James"). 1980player(218,"Udonis Haslem"). 1981player(219,"Chris Bosh"). 1982player(220,"Toney Douglas"). 1983player(221,"Mario Chalmers"). 1984player(222,"Rashad Lewis"). 1985player(223,"Norris Cole"). 1986player(224,"James Jones"). 1987player(225,"Chris Andersen"). 1988player(226,"Shane Battier"). 1989player(227,"Michael Beasley"). 1990player(228,"Justin Hamilton"). 1991player(229,"Dwayne Wade"). 1992player(230,"Khris Middleton"). 1993player(231,"Jeff Adrien"). 1994player(232,"Zaza Pachulia"). 1995player(233,"Ramon Sessions"). 1996player(234,"Brandon Knight"). 1997player(235,"Giannis Antetokounmpo"). 1998player(236,"John Henson"). 1999player(237,"Ekpe Udoh"). 2000player(238,"Ersan Ilyasova"). 2001player(239,"OJ Mayo"). 2002player(240,"Miroslav Raduljica"). 2003player(241,"DJ Stephens"). 2004player(242,"Nate Wolters"). 2005player(243,"Josh Smith"). 2006player(244,"Greg Monroe"). 2007player(245,"Andre Drummond"). 2008player(246,"Kyle Singler"). 2009player(247,"Brandon Jennings"). 2010player(248,"Rodney Stuckey"). 2011player(249,"Jonas Jerebko"). 2012player(250,"Kentavious Caldwell-Pope"). 2013player(251,"Will Bynum"). 2014player(252,"Charlie Villanueva"). 2015player(253,"Luigi Datome"). 2016player(254,"Tony Mitchell"). 2017player(255,"Peyton Siva"). 2018player(256,"Hollis Thompson"). 2019player(257,"Thaddeus Young"). 2020player(258,"Henry Sims"). 2021player(259,"James Anderson"). 2022player(260,"Michael Carter-Williams"). 2023player(261,"Tony Wroten"). 2024player(262,"Jarvis Varnado"). 2025player(263,"Elliot Williams"). 2026player(264,"Casper Ware"). 2027player(265,"Brandon Davies"). 2028player(266,"Arnett Moultrie"). 2029player(267,"James Nunnally"). 2030player(268,"DeMarre Carroll"). 2031player(269,"Paul Millsap"). 2032player(270,"Pero Antic"). 2033player(271,"Kyle Korver"). 2034player(272,"Jeff Teague"). 2035player(273,"Louis Williams"). 2036player(274,"Elton Brand"). 2037player(275,"Mike Scott"). 2038player(276,"Dennis Schroder"). 2039player(277,"Mike Muscala"). 2040player(278,"Shelvin Mack"). 2041player(279,"Cartier Martin"). 2042player(280,"Trevor Ariza"). 2043player(281,"Trevor Booker"). 2044player(282,"Marcin Gortat"). 2045player(283,"Bradley Beal"). 2046player(284,"John Wall"). 2047player(285,"Drew Gooden"). 2048player(286,"Martell Webster"). 2049player(287,"Al Harrington"). 2050player(288,"Andre Miller"). 2051player(289,"Kevin Seraphin"). 2052player(290,"Otto Porter"). 2053player(291,"Chris Singleton"). 2054player(292,"Garrett Temple"). 2055player(293,"Michael Kidd-Gilchrist"). 2056player(294,"Josh McRoberts"). 2057player(295,"Al Jefferson"). 2058player(296,"Gerald Henderson"). 2059player(297,"Kemba Walker"). 2060player(298,"Cody Zeller"). 2061player(299,"Bismack Biyombo"). 2062player(300,"Gary Neal"). 2063player(301,"Luke Ridnour"). 2064player(302,"Chris Douglas-Roberts"). 2065player(303,"Jannero Pargo"). 2066player(304,"Anthony Tolliver"). 2067player(305,"DJ White"). 2068player(306,"Paul George"). 2069player(307,"David West"). 2070player(308,"Roy Hibbert"). 2071player(309,"Lance Stephenson"). 2072player(310,"George Hill"). 2073player(311,"Luis Scola"). 2074player(312,"Evan Turner"). 2075player(313,"Ian Mahinmi"). 2076player(314,"Rasual Butler"). 2077player(315,"Donald Sloan"). 2078player(316,"Lavoy Allen"). 2079player(317,"Chris Copeland"). 2080player(318,"Solomon Hill"). 2081player(319,"Luol Deng"). 2082player(320,"Tristan Thompson"). 2083player(321,"Spencer Hawes"). 2084player(322,"Dion Waiters"). 2085player(323,"Kyrie Irving"). 2086player(324,"Jarrett Jack"). 2087player(325,"Matthew Dellavedova"). 2088player(326,"Tyler Zeller"). 2089player(327,"Alonzo Gee"). 2090player(328,"Sergey Karasev"). 2091player(329,"Scotty Hopson"). 2092player(330,"Anderson Varejao"). 2093player(331,"Maurice Harkless"). 2094player(332,"Kyle O'Quinn"). 2095player(333,"Nikola Vucevic"). 2096player(334,"Arron Afflalo"). 2097player(335,"Jameer Nelson"). 2098player(336,"Andrew Nicholson"). 2099player(337,"Victor Oladipo"). 2100player(338,"Etwaun Moore"). 2101player(339,"Tobias Harris"). 2102player(340,"Doron Lamb"). 2103player(341,"Dewayne Dedmon"). 2104player(342,"Jason Maxiell"). 2105player(343,"Ronnie Price"). 2106player(344,"Julyan Stone"). 2107player(345,"Ray Allen"). 2108player(346,"Ronny Turiaf"). 2109player(347,"Kawhi Leonard"). 2110player(348,"Tim Duncan"). 2111player(349,"Boris Diaw"). 2112player(350,"Daniel Green"). 2113player(351,"Tony Parker"). 2114player(352,"Emanuel Ginobli"). 2115player(353,"Tiago Splitter"). 2116player(354,"Patrick Mills"). 2117player(355,"Marco Belinelli"). 2118player(356,"Jeff Ayres"). 2119player(357,"Cory Joseph"). 2120player(358,"Aron Baynes"). 2121player(359,"Austin Daye"). 2122player(360,"PJ Tucker"). 2123player(361,"Channing Frye"). 2124player(362,"Miles Plumlee"). 2125player(363,"Goran Dragic"). 2126player(364,"Eric Bledsoe"). 2127player(365,"Gerald Green"). 2128player(366,"Markieff Morris"). 2129player(367,"Marcus Morris"). 2130player(368,"Ish Smith"). 2131player(369,"Dionte Christmas"). 2132player(370,"Archie Goodwin"). 2133player(371,"Alex Len"). 2134player(372,"Shavlik Randolph"). 2135player(373,"Orlando Johnson"). 2136player(374,"Royce White"). 2137player(375,"Damion James"). 2138player(376,"Kevin Durant"). 2139player(377,"Serge Ibaka"). 2140player(378,"Kendrick Perkins"). 2141player(379,"Andre Roberson"). 2142player(380,"Russell Westbrook"). 2143player(381,"Caron Butler"). 2144player(382,"Steven Adams"). 2145player(383,"Nick Collison"). 2146player(384,"Reggie Jackson"). 2147player(385,"Derek Fisher"). 2148player(386,"Jeremy Lamb"). 2149player(387,"Perry Jones"). 2150player(388,"Hasheem Thabeet"). 2151player(389,"JJ Redick"). 2152player(390,"Dwight Buycks"). 2153player(391,"David Lee"). 2154player(392,"Nikola Pekovic"). 2155%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2156 2157%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2158% Teams information 2159%% 2160% predicate: team(TeamId,TeamName). 2161 2162team(1,"Portland Trail Blazers"). 2163team(2,"Los Angeles Lakers"). 2164team(3,"Golden State Warriors"). 2165team(4,"Dallas Mavericks"). 2166team(5,"Houston Rockets"). 2167team(6,"Brooklyn Nets"). 2168team(7,"New York Knicks"). 2169team(8,"Utah Jazz"). 2170team(9,"Memphis Grizzlies"). 2171team(10,"Denver Nuggets"). 2172team(11,"Sacramento Kings"). 2173team(12,"New Orleans Pelicans"). 2174team(13,"Los Angeles Clippers"). 2175team(14,"Minnesota Timberwolves"). 2176team(15,"Boston Celtics"). 2177team(16,"Chicago Bulls"). 2178team(17,"Toronto Raptors"). 2179team(18,"Miami Heat"). 2180team(19,"Milwaukee Bucks"). 2181team(20,"Detroit Pistons"). 2182team(21,"Philadelphia 76ers"). 2183team(22,"Atlanta Hawks"). 2184team(23,"Washington Wizards"). 2185team(24,"Charlotte Bobcats"). 2186team(25,"Indiana Pacers"). 2187team(26,"Cleveland Cavaliers"). 2188team(27,"Orlando Magic"). 2189team(28,"San Antonio Spurs"). 2190team(29,"Phoenix Suns"). 2191team(30,"Oklahoma City Thunder"). 2192%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2193:- end_bg.