Reduceron

("main",0,[342],[FUN False 0 343],[APP True [CON 2 0,INT 7,INT 8],APP True [CON 2 0,CON 0 2,VAR False 0]])
("id",1,[],[ARG False 0],[])
("const",2,[],[ARG False 0],[])
("inc",1,[],[ARG False 0,PRI 2 "(+)",INT 1],[])
("dec",1,[],[ARG False 0,PRI 2 "(-)",INT 1],[])
("min",2,[6],[ARG True 0,PRI 2 "(<=)",ARG True 1,ARG True 1,ARG True 0],[])
("min#1",2,[],[ARG False 0],[])
("min#2",2,[],[ARG False 1],[])
("max",2,[9],[ARG True 0,PRI 2 "(<=)",ARG True 1,ARG True 0,ARG True 1],[])
("max#1",2,[],[ARG False 0],[])
("max#2",2,[],[ARG False 1],[])
("abs",1,[12],[ARG True 0,PRI 2 "swap:(<=)",INT 0,ARG True 0],[])
("abs#1",1,[],[ARG False 0,PRI 2 "swap:(-)",INT 0],[])
("abs#2",1,[],[ARG False 0],[])
("plus",2,[],[ARG False 0,PRI 2 "(+)",ARG False 1],[])
("minus",2,[],[ARG False 0,PRI 2 "(-)",ARG False 1],[])
("no",1,[17],[ARG False 0,INT 0],[])
("no#1",2,[],[CON 0 0],[])
("no#2",1,[],[CON 0 1],[])
("maybe",3,[20],[ARG False 2,ARG False 1,ARG False 0],[])
("maybe#1",3,[],[ARG False 1,ARG False 0],[])
("maybe#2",2,[],[ARG False 1],[])
("con",2,[23],[ARG False 0,ARG False 1],[])
("con#1",1,[],[CON 0 0],[])
("con#2",1,[],[ARG False 0],[])
("dis",2,[26],[ARG False 0,ARG False 1],[])
("dis#1",1,[],[ARG False 0],[])
("dis#2",1,[],[CON 0 1],[])
("fst",1,[29],[ARG False 0,INT 0],[])
("fst#1",3,[],[ARG False 0],[])
("snd",1,[31],[ARG False 0,INT 0],[])
("snd#1",3,[],[ARG False 1],[])
("cross",2,[34],[ARG False 0,ARG False 1],[])
("cross#1",0,[],[FUN False 0 377],[APP False [ARG False 2,ARG False 0],APP False [ARG False 3,ARG False 1]])
("cross#2",3,[33],[ARG False 2,ARG False 0,ARG False 1],[])
("null",1,[36],[ARG False 0,INT 0],[])
("null#1",3,[],[CON 0 0],[])
("null#2",1,[],[CON 0 1],[])
("append",2,[39],[ARG False 0,ARG False 1],[])
("append#1",3,[],[CON 2 0,ARG False 0,VAR False 0],[CASE 39 [ARG False 1,ARG False 2]])
("append#2",1,[],[ARG False 0],[])
("elemAt",2,[44],[ARG False 0,ARG False 1],[])
("elemAt#1",0,[44],[FUN False 0 378],[PRIM 0 [ARG False 1,PRI 2 "(-)",INT 1]])
("elemAt#2",3,[],[ARG False 2],[])
("elemAt#3",3,[42],[ARG True 2,PRI 2 "(==)",INT 0,ARG False 1,ARG True 2,ARG False 0],[])
("elemAt#4",1,[],[INT 0],[])
("map",2,[47],[ARG False 1,ARG False 0],[])
("map#1",0,[],[FUN False 0 379],[APP False [ARG True 2,ARG False 0],CASE 47 [ARG False 1,ARG True 2]])
("map#2",1,[],[CON 0 1],[])
("concatMap",2,[50],[ARG False 1,ARG False 0],[])
("concatMap#1",3,[39],[ARG True 2,ARG False 0,VAR False 0],[CASE 50 [ARG False 1,ARG True 2]])
("concatMap#2",1,[],[CON 0 1],[])
("any",2,[55],[ARG False 1,ARG False 0],[])
("any#1",2,[55],[ARG False 1,ARG False 0],[])
("any#2",2,[],[CON 0 1],[])
("any#3",3,[53],[ARG True 2,ARG False 0,ARG True 2,ARG False 1],[])
("any#4",1,[],[CON 0 0],[])
("foldr",3,[58],[ARG False 2,ARG False 0,ARG False 1],[])
("foldr#1",4,[],[ARG True 2,ARG False 0,VAR False 0],[CASE 58 [ARG False 1,ARG True 2,ARG False 3]])
("foldr#2",2,[],[ARG False 1],[])
("sumAcc",2,[61],[ARG False 1,ARG False 0],[])
("sumAcc#1",0,[61],[FUN False 0 380],[PRIM 0 [ARG False 2,PRI 2 "(+)",ARG False 0]])
("sumAcc#2",1,[],[ARG False 0],[])
("sum",1,[61],[ARG False 0,INT 0],[])
("unzip",1,[68],[ARG False 0,INT 0],[])
("unzip#1",3,[],[ARG False 0],[])
("unzip#2",3,[],[ARG False 1],[])
("unzip#3",0,[],[FUN False 0 381],[CASE 68 [ARG False 2,INT 0],CASE 65 [VAR True 0,INT 0]])
("unzip#4",3,[67],[ARG False 0,ARG False 1],[])
("unzip#5",1,[],[CON 2 0,CON 0 1,CON 0 1],[])
("kindToChar",1,[71],[ARG False 0,INT 0],[])
("kindToChar#1",1,[],[INT 66],[])
("kindToChar#2",1,[],[INT 75],[])
("kindToChar#3",1,[],[INT 78],[])
("kindToChar#4",1,[],[INT 80],[])
("kindToChar#5",1,[],[INT 81],[])
("kindToChar#6",1,[],[INT 82],[])
("isKing",1,[78],[ARG False 0,INT 0,PRI 2 "(==)",INT 75],[])
("isKing#1",1,[],[INT 66],[])
("isKing#2",1,[],[INT 75],[])
("isKing#3",1,[],[INT 78],[])
("isKing#4",1,[],[INT 80],[])
("isKing#5",1,[],[INT 81],[])
("isKing#6",1,[],[INT 82],[])
("pieceAt",2,[85],[ARG False 0,ARG False 1],[])
("pieceAt#1",0,[90],[FUN False 0 383],[CASE 90 [ARG False 1,ARG True 2,CON 0 0],APP False [VAR False 0,CON 0 1]])
("pieceAtWith",4,[90],[ARG False 3,ARG False 0,ARG False 1,ARG False 2],[])
("pieceAtWith#1",5,[90],[ARG False 3,ARG False 0,ARG False 1,ARG False 2],[])
("pieceAtWith#2",5,[],[CON 1 0,VAR False 0],[APP True [CON 2 0,ARG False 1,ARG False 4]])
("pieceAtWith#3",0,[87],[FUN False 0 384],[])
("pieceAtWith#4",5,[89],[ARG False 0,ARG False 2,ARG False 3,ARG False 4,ARG False 1],[])
("pieceAtWith#5",3,[],[ARG False 2],[])
("emptyAtAll",2,[93],[ARG False 0,ARG False 1],[])
("emptyAtAll#1",3,[98],[ARG False 0,ARG True 2,VAR False 0],[CASE 98 [ARG False 1,ARG True 2,CON 0 1]])
("emptyAtAllAnd",3,[98],[ARG False 2,ARG False 0,ARG False 1],[])
("emptyAtAllAnd#1",3,[98],[ARG False 2,ARG False 0,ARG False 1],[])
("emptyAtAllAnd#2",3,[],[CON 0 0],[])
("emptyAtAllAnd#3",5,[95],[ARG True 2,ARG False 1,ARG True 2,ARG False 3,ARG False 4],[])
("emptyAtAllAnd#4",4,[97],[ARG False 0,ARG False 2,ARG False 3,ARG False 1],[])
("emptyAtAllAnd#5",2,[],[ARG False 1],[])
("rmPieceAt",3,[103],[ARG False 0,ARG False 2,ARG False 1],[])
("rmPieceAt#1",3,[],[CON 2 0,ARG False 0,VAR False 0],[CASE 109 [ARG False 1,ARG False 2]])
("rmPieceAt#2",3,[],[CON 2 0,VAR False 0,ARG False 1],[CASE 109 [ARG False 0,ARG False 2]])
("rmPieceAt#3",2,[101],[ARG False 0,ARG False 1],[])
("rmPieceAt#4",2,[102],[ARG False 0,ARG False 1],[])
("rPa",2,[109],[ARG False 1,ARG False 0],[])
("rPa#1",3,[],[CON 2 0,ARG False 0,VAR False 0],[CASE 109 [ARG False 2,ARG False 1]])
("rPa#2",3,[],[ARG False 2],[])
("rPa#3",0,[106],[FUN False 0 386],[])
("rPa#4",3,[108],[ARG True 0,ARG False 2,ARG True 0,ARG False 1],[])
("rPa#5",1,[],[INT 0],[])
("putPieceAt",3,[115],[ARG False 1,ARG False 2,ARG False 0],[])
("putPieceAt#1",0,[],[FUN False 0 387],[APP True [CON 2 0,ARG False 1,ARG False 2],APP True [CON 2 0,VAR False 0,ARG False 3]])
("putPieceAt#2",0,[],[FUN False 0 388],[APP True [CON 2 0,ARG False 1,ARG False 2],APP True [CON 2 0,VAR False 0,ARG False 0]])
("putPieceAt#3",5,[112],[ARG False 2,ARG False 0,ARG False 3,ARG False 4,ARG False 1],[])
("putPieceAt#4",4,[114],[ARG False 2,ARG False 0,ARG False 1,ARG False 3],[])
("kingSquare",0,[121],[FUN False 0 389],[])
("kSq",1,[121],[ARG False 0,INT 0],[])
("kSq#1",2,[121],[ARG False 0,INT 0],[])
("kSq#2",2,[],[ARG False 1],[])
("kSq#3",3,[118],[FUN True 1 77,ARG False 0,ARG False 2,ARG False 1],[])
("kSq#4",3,[120],[ARG False 0,ARG False 1],[])
("kSq#5",1,[],[INT 0],[])
("opponent",1,[124],[ARG False 0,INT 0],[])
("opponent#1",1,[],[CON 0 1],[])
("opponent#2",1,[],[CON 0 0],[])
("colourOf",1,[127],[ARG False 0,INT 0],[])
("colourOf#1",3,[],[ARG False 0],[])
("kindOf",1,[129],[ARG False 0,INT 0],[])
("kindOf#1",3,[],[ARG False 1],[])
("sameColour",2,[135],[ARG False 0,ARG False 1],[])
("sameColour#1",1,[],[CON 0 1],[])
("sameColour#2",1,[],[CON 0 0],[])
("sameColour#3",1,[],[CON 0 0],[])
("sameColour#4",1,[],[CON 0 1],[])
("sameColour#5",1,[131],[ARG False 0,INT 0],[])
("sameColour#6",1,[133],[ARG False 0,INT 0],[])
("rank",1,[138],[ARG False 0,INT 0],[])
("rank#1",3,[],[ARG False 1],[])
("file",1,[140],[ARG False 0,INT 0],[])
("file#1",3,[],[ARG False 0],[])
("sameSquare",2,[145],[ARG False 0,ARG False 1],[])
("sameSquare#1",2,[],[CON 0 0],[])
("sameSquare#2",2,[],[ARG False 0,PRI 2 "(==)",ARG False 1],[])
("sameSquare#3",4,[142],[ARG False 2,PRI 2 "(==)",ARG False 0,ARG False 3,ARG False 1],[])
("sameSquare#4",3,[144],[ARG False 2,ARG False 0,ARG False 1],[])
("onboard",1,[153],[ARG False 0,INT 0],[])
("onboard#1",1,[],[CON 0 0],[])
("onboard#2",1,[],[ARG False 0,PRI 2 "(<=)",INT 8],[])
("onboard#3",1,[],[CON 0 0],[])
("onboard#4",1,[],[ARG False 0,PRI 2 "(<=)",INT 8],[])
("onboard#5",1,[],[CON 0 0],[])
("onboard#6",1,[149],[ARG True 0,PRI 2 "swap:(<=)",INT 1,ARG True 0],[])
("onboard#7",0,[151],[FUN False 0 390],[])
("forcesColoured",2,[157],[ARG False 0,ARG False 1],[])
("forcesColoured#1",3,[],[ARG False 1],[])
("forcesColoured#2",3,[],[ARG False 0],[])
("forcesColoured#3",1,[155],[ARG False 0,INT 0],[])
("forcesColoured#4",1,[156],[ARG False 0,INT 0],[])
("moveDetailsFor",0,[50],[FUN False 0 391],[])
("movesForPiece",0,[50],[FUN False 0 392],[])
("tryMove",4,[167],[ARG False 2,ARG False 3,ARG False 0,ARG False 1],[])
("tryMove#1",1,[],[CON 0 1],[])
("tryMove#2",1,[],[CON 0 0],[])
("tryMove#3",0,[],[FUN False 0 393],[APP True [CON 3 0,ARG False 2,ARG False 3,ARG False 4],APP False [CON 0 66,ARG False 0,ARG False 1,VAR False 0]])
("tryMove#4",6,[],[CON 0 1],[])
("tryMove#5",0,[164],[FUN False 0 394],[CASE 162 [ARG True 3,INT 0],APP False [FUN True 2 231,ARG True 3,VAR True 9,VAR True 6]])
("tryMove#6",5,[166],[ARG False 2,ARG False 3,ARG False 1,ARG False 0,ARG False 4],[])
("rawmoves",3,[175],[ARG False 1,ARG False 0,ARG False 2],[])
("rawmoves#1",1,[],[FUN True 3 176],[])
("rawmoves#2",1,[],[FUN True 3 186],[])
("rawmoves#3",1,[],[FUN True 3 188],[])
("rawmoves#4",1,[],[FUN True 3 200],[])
("rawmoves#5",1,[],[FUN True 3 230],[])
("rawmoves#6",1,[],[FUN True 3 177],[])
("rawmoves#7",4,[169],[ARG False 0,INT 0,ARG False 2,ARG False 1,ARG False 3],[])
("bishopmoves",0,[39],[FUN False 0 399],[APP True [FUN True 4 178,ARG True 2,ARG True 0,ARG True 1],APP True [FUN True 4 178,ARG True 2,ARG True 0,ARG True 1]])
("rookmoves",0,[39],[FUN False 0 406],[APP True [FUN True 4 178,ARG True 2,ARG True 0,ARG True 1],APP True [FUN True 4 178,ARG True 2,ARG True 0,ARG True 1]])
("moveLine",0,[184],[FUN False 0 413],[])
("moveLine#1",3,[],[ARG False 0],[])
("moveLine#2",0,[],[FUN False 0 415],[APP True [CON 1 0,ARG False 1],APP True [CON 3 0,ARG False 0,VAR False 0,CON 0 1]])
("moveLine#3",2,[],[CON 0 1],[])
("moveLine#4",0,[180],[FUN False 0 416],[])
("moveLine#5",0,[],[FUN False 0 418],[APP True [FUN True 4 178,ARG False 2,ARG False 0,ARG True 1],APP True [CON 3 0,ARG True 1,CON 0 1,CON 0 1]])
("moveLine#6",4,[],[CON 0 1],[])
("moveLine#7",0,[182],[FUN False 0 419],[])
("kingmoves",3,[187],[ARG False 1,ARG False 0,ARG False 2],[])
("kingmoves#1",0,[198],[FUN False 0 420],[PRIM 0 [ARG True 0,PRI 2 "(+)",INT 1],PRIM 1 [ARG True 0,PRI 2 "(-)",INT 1]])
("knightmoves",3,[189],[ARG False 1,ARG False 0,ARG False 2],[])
("knightmoves#1",0,[198],[FUN False 0 429],[PRIM 0 [ARG True 0,PRI 2 "(+)",INT 1],PRIM 1 [ARG True 0,PRI 2 "(-)",INT 1]])
("sift",4,[198],[ARG False 3,ARG False 0,ARG False 1,ARG False 2],[])
("sift#1",3,[],[ARG False 0],[])
("sift#2",0,[198],[FUN False 0 440],[APP True [CON 1 0,ARG False 3],APP True [CON 3 0,ARG False 2,VAR False 0,CON 0 1]])
("sift#3",6,[198],[ARG False 5,ARG False 0,ARG False 1,ARG False 4],[])
("sift#4",0,[192],[FUN False 0 441],[])
("sift#5",0,[198],[FUN False 0 444],[APP True [CON 3 0,ARG False 2,CON 0 1,CON 0 1],APP True [CON 2 0,VAR False 0,ARG False 3]])
("sift#6",5,[198],[ARG False 3,ARG False 0,ARG False 1,ARG False 2],[])
("sift#7",0,[194],[FUN False 0 445],[])
("sift#8",0,[196],[FUN False 0 447],[])
("sift#9",3,[],[ARG False 2],[])
("pawnmoves",3,[213],[ARG False 1,ARG False 2,ARG False 0],[])
("pawnmoves#1",1,[],[INT 1,PRI 2 "swap:(-)",INT 0],[])
("pawnmoves#2",1,[],[INT 1],[])
("pawnmoves#3",2,[],[CON 0 0],[])
("pawnmoves#4",1,[],[CON 0 1],[])
("pawnmoves#5",2,[],[CON 0 0],[])
("pawnmoves#6",1,[],[CON 0 1],[])
("pawnmoves#7",2,[],[CON 0 0],[])
("pawnmoves#8",0,[205],[FUN False 0 449],[])
("pawnmoves#9",1,[],[CON 0 1],[])
("pawnmoves#10",1,[],[CON 2 0,VAR False 0,CON 0 1],[APP True [CON 3 0,ARG False 0,CON 0 1,CON 0 1]])
("pawnmoves#11",5,[],[CON 0 1],[])
("pawnmoves#12",0,[39],[FUN False 0 450],[CASE 225 [ARG True 0,ARG False 2],CASE 207 [VAR False 0,ARG False 3,ARG True 4]])
("pawnmoves#13",0,[39],[FUN False 0 451],[PRIM 0 [ARG True 0,PRI 2 "(+)",INT 1],PRIM 1 [ARG True 0,PRI 2 "(-)",INT 1]])
("promoteCap",0,[218],[FUN False 0 459],[CASE 85 [ARG False 2,ARG True 1]])
("promoteCap#1",3,[],[ARG False 0],[])
("promoteCap#2",3,[],[FUN True 3 220,ARG False 0,ARG False 1,ARG False 2],[])
("promoteCap#3",3,[],[CON 0 1],[])
("promoteCap#4",0,[216],[FUN False 0 460],[])
("promoteCap#5",3,[],[CON 0 1],[])
("promote",0,[222],[FUN False 0 462],[])
("promote#1",3,[],[ARG False 1],[])
("promote#2",3,[],[CON 2 0,VAR False 0,CON 0 1],[APP True [CON 3 0,ARG False 0,ARG False 1,CON 0 1]])
("promote#3",0,[47],[FUN False 0 463],[APP True [CON 2 0,ARG True 2,CON 0 4],APP True [CON 1 0,VAR False 0]])
("secondRank",2,[225],[ARG False 0,ARG False 1],[])
("secondRank#1",1,[],[ARG False 0,PRI 2 "(==)",INT 7],[])
("secondRank#2",1,[],[ARG False 0,PRI 2 "(==)",INT 2],[])
("lastRank",2,[228],[ARG False 0,ARG False 1],[])
("lastRank#1",1,[],[ARG False 0,PRI 2 "(==)",INT 1],[])
("lastRank#2",1,[],[ARG False 0,PRI 2 "(==)",INT 8],[])
("queenmoves",3,[39],[FUN True 3 176,ARG True 0,ARG True 1,ARG True 2,VAR False 0],[APP False [FUN True 3 177,ARG True 0,ARG True 1,ARG True 2]])
("kingincheck",0,[55],[FUN False 0 469],[])
("kingincheck#1",1,[],[CON 0 1],[])
("kingincheck#2",1,[],[CON 0 0],[])
("kingInCheckFrom",3,[269],[ARG False 2,ARG False 0,ARG False 1],[])
("kingInCheckFrom#1",4,[],[CON 0 0],[])
("kingInCheckFrom#2",0,[93],[FUN False 0 471],[PRIM 0 [ARG True 1,PRI 2 "(-)",ARG False 2]])
("kingInCheckFrom#3",4,[],[CON 0 0],[])
("kingInCheckFrom#4",0,[93],[FUN False 0 473],[PRIM 0 [ARG True 1,PRI 2 "(+)",ARG False 2]])
("kingInCheckFrom#5",0,[237],[FUN False 0 475],[PRIM 0 [ARG True 0,PRI 2 "(+)",ARG False 1],PRIM 1 [ARG True 2,PRI 2 "(+)",ARG True 3]])
("kingInCheckFrom#6",5,[],[CON 0 1],[])
("kingInCheckFrom#7",2,[],[CON 0 0],[])
("kingInCheckFrom#8",0,[],[FUN False 0 477],[PRIM 0 [ARG False 0,PRI 2 "(-)",ARG False 1]])
("kingInCheckFrom#9",2,[],[CON 0 0],[])
("kingInCheckFrom#10",0,[],[FUN False 0 478],[PRIM 0 [ARG False 0,PRI 2 "(-)",ARG False 1]])
("kingInCheckFrom#11",2,[],[CON 0 0],[])
("kingInCheckFrom#12",0,[],[FUN False 0 479],[PRIM 0 [ARG False 0,PRI 2 "(-)",ARG False 1]])
("kingInCheckFrom#13",0,[245],[FUN False 0 480],[PRIM 0 [ARG False 0,PRI 2 "(-)",ARG False 1]])
("kingInCheckFrom#14",4,[],[CON 0 1],[])
("kingInCheckFrom#15",1,[],[FUN True 1 3],[])
("kingInCheckFrom#16",1,[],[FUN True 1 4],[])
("kingInCheckFrom#17",3,[],[CON 0 0],[])
("kingInCheckFrom#18",3,[],[ARG False 0,PRI 2 "(==)",VAR False 0],[CASE 249 [ARG False 1,INT 0,ARG False 2]])
("kingInCheckFrom#19",4,[269],[CON 2 0,CON 0 0,VAR False 0,ARG False 0,ARG False 1],[APP True [CON 2 0,ARG False 2,ARG False 3]])
("kingInCheckFrom#20",4,[],[CON 0 1],[])
("kingInCheckFrom#21",4,[],[CON 0 0],[])
("kingInCheckFrom#22",4,[93],[ARG False 0,VAR False 0],[APP True [FUN True 4 273,ARG False 1,ARG False 2,ARG False 3]])
("kingInCheckFrom#23",4,[],[CON 0 0],[])
("kingInCheckFrom#24",4,[93],[ARG False 0,VAR False 0],[APP True [FUN True 4 283,ARG False 1,ARG False 2,ARG False 3]])
("kingInCheckFrom#25",0,[257],[FUN False 0 481],[APP False [ARG False 0,PRI 2 "(==)"]])
("kingInCheckFrom#26",5,[],[CON 0 1],[])
("kingInCheckFrom#27",0,[239],[FUN False 0 482],[PRIM 0 [ARG True 0,PRI 2 "(-)",ARG True 1],PRIM 1 [ARG True 2,PRI 2 "(-)",ARG True 3]])
("kingInCheckFrom#28",0,[241],[FUN False 0 485],[PRIM 0 [ARG False 0,PRI 2 "(-)",ARG False 2]])
("kingInCheckFrom#29",0,[247],[FUN False 0 486],[PRIM 0 [ARG True 0,PRI 2 "(-)",ARG True 2]])
("kingInCheckFrom#30",0,[251],[FUN False 0 488],[PRIM 0 [ARG False 0,PRI 2 "(-)",ARG False 2]])
("kingInCheckFrom#31",0,[253],[FUN False 0 490],[APP False [CON 2 0,CON 0 5,VAR False 1,ARG True 5],APP True [CON 2 0,ARG True 0,ARG True 1]])
("kingInCheckFrom#32",0,[259],[FUN False 0 491],[APP False [ARG True 0,PRI 2 "(==)",ARG True 2,ARG True 4],APP False [VAR False 0,ARG True 2,ARG True 1,ARG True 3]])
("kingInCheckFrom#33",0,[261],[FUN False 0 492],[APP False [ARG False 2,ARG False 3]])
("kingInCheckFrom#34",0,[267],[FUN False 0 493],[APP False [FUN True 2 116,ARG True 2,ARG True 3]])
("kingInCheckFrom#35",4,[268],[ARG False 1,ARG False 2,ARG False 3,ARG False 0],[])
("onFor",1,[271],[ARG False 0,INT 0],[])
("onFor#1",1,[],[FUN True 1 3],[])
("onFor#2",1,[],[FUN True 1 4],[])
("filePath",4,[282],[ARG False 3,ARG False 0,ARG False 1,ARG False 2],[])
("filePath#1",2,[],[ARG False 0],[])
("filePath#2",2,[],[ARG False 1],[])
("filePath#3",2,[],[ARG False 0],[])
("filePath#4",2,[],[ARG False 1],[])
("filePath#5",3,[],[CON 0 0],[])
("filePath#6",0,[],[FUN False 0 494],[PRIM 0 [ARG True 1,PRI 2 "(<=)",ARG True 2]])
("filePath#7",3,[],[CON 0 0],[])
("filePath#8",0,[278],[FUN False 0 496],[PRIM 0 [ARG True 0,PRI 2 "(<=)",ARG True 1]])
("filePath#9",5,[280],[ARG False 0,PRI 2 "(==)",ARG False 2,ARG False 3,ARG False 4,ARG False 1],[])
("rankPath",4,[292],[ARG False 3,ARG False 0,ARG False 1,ARG False 2],[])
("rankPath#1",2,[],[ARG False 0],[])
("rankPath#2",2,[],[ARG False 1],[])
("rankPath#3",2,[],[ARG False 0],[])
("rankPath#4",2,[],[ARG False 1],[])
("rankPath#5",3,[],[CON 0 0],[])
("rankPath#6",0,[],[FUN False 0 498],[PRIM 0 [ARG True 1,PRI 2 "(<=)",ARG True 2]])
("rankPath#7",3,[],[CON 0 0],[])
("rankPath#8",0,[288],[FUN False 0 500],[PRIM 0 [ARG True 0,PRI 2 "(<=)",ARG True 1]])
("rankPath#9",5,[290],[ARG False 1,PRI 2 "(==)",ARG False 2,ARG False 3,ARG False 4,ARG False 0],[])
("diagPath",5,[302],[ARG False 4,ARG False 0,ARG False 1,ARG False 2,ARG False 3],[])
("diagPath#1",2,[],[ARG False 0],[])
("diagPath#2",2,[],[ARG False 1],[])
("diagPath#3",2,[],[ARG False 0],[])
("diagPath#4",2,[],[ARG False 1],[])
("diagPath#5",3,[],[CON 0 0],[])
("diagPath#6",0,[],[FUN False 0 502],[PRIM 0 [ARG True 1,PRI 2 "(<=)",ARG True 2]])
("diagPath#7",3,[],[CON 0 0],[])
("diagPath#8",0,[298],[FUN False 0 504],[PRIM 0 [ARG True 0,PRI 2 "(<=)",ARG True 1]])
("diagPath#9",0,[300],[FUN False 0 506],[APP False [ARG False 2,ARG True 0,ARG False 1]])
("solve",0,[335],[FUN False 0 507],[PRIM 0 [ARG True 2,PRI 2 "(+)",ARG True 2]])
("solution",3,[58],[FUN True 2 159,ARG True 1,ARG False 0,VAR False 0,CON 0 1],[APP True [FUN True 4 305,ARG True 1,ARG False 2]])
("solnOr",4,[318],[ARG False 2,ARG False 0,ARG False 1,ARG False 3],[])
("solnOr#1",1,[],[CON 0 1],[])
("solnOr#2",1,[],[CON 0 0],[])
("solnOr#3",3,[],[CON 0 0],[])
("solnOr#4",1,[],[CON 0 1],[])
("solnOr#5",1,[],[CON 0 1],[])
("solnOr#6",1,[],[CON 0 0],[])
("solnOr#7",2,[],[ARG False 0],[])
("solnOr#8",2,[],[CON 1 0,VAR False 0],[APP True [CON 2 0,ARG False 1,CON 0 1]])
("solnOr#9",5,[],[CON 1 0,VAR False 0],[APP True [CON 2 0,ARG False 0,ARG False 1]])
("solnOr#10",5,[312],[FUN True 2 231,VAR False 0,ARG False 3,ARG False 4,ARG False 0],[CASE 310 [ARG False 2,INT 0]])
("solnOr#11",0,[314],[FUN False 0 509],[])
("solnOr#12",4,[],[ARG False 3],[])
("solnOr#13",0,[316],[FUN False 0 511],[PRIM 0 [ARG False 3,PRI 2 "(-)",INT 1]])
("replies",0,[324],[FUN False 0 513],[PRIM 0 [ARG True 2,PRI 2 "(==)",INT 0]])
("replies#1",3,[],[CON 0 0],[])
("replies#2",1,[],[CON 0 1],[])
("replies#3",1,[],[CON 0 1],[])
("replies#4",1,[],[CON 1 0,CON 0 1],[])
("replies#5",0,[58],[FUN False 0 514],[APP True [FUN True 4 326,ARG False 0,ARG False 1],APP True [CON 1 0,CON 0 1]])
("replies#6",0,[322],[FUN False 0 515],[])
("solnAnd",4,[333],[ARG False 2,ARG False 0,ARG False 1,ARG False 3],[])
("solnAnd#1",1,[],[CON 0 1],[])
("solnAnd#2",1,[],[CON 0 0],[])
("solnAnd#3",0,[],[FUN False 0 516],[APP True [CON 2 0,ARG False 1,ARG False 2],APP True [CON 2 0,VAR False 0,ARG False 0]])
("solnAnd#4",2,[],[CON 0 1],[])
("solnAnd#5",3,[329],[ARG False 1,ARG False 2,ARG False 0],[])
("solnAnd#6",2,[],[CON 0 1],[])
("solnAnd#7",0,[331],[FUN False 0 517],[PRIM 0 [ARG False 3,PRI 2 "(-)",INT 1]])
("showResult",1,[335],[ARG False 0,INT 0],[])
("showResult#1",2,[339],[ARG False 0,INT 0],[])
("showResult#2",1,[],[INT 0],[])
("size",1,[339],[ARG False 0,INT 0],[])
("size#1",3,[],[ARG False 1],[])
("size#2",0,[61],[FUN False 0 518],[])
("solveProblem",1,[342],[ARG False 0,INT 0],[])
("solveProblem#1",3,[],[FUN True 3 303,ARG False 2,ARG False 0,ARG False 1],[])
("solveProblem#2",3,[341],[ARG False 1,ARG False 0],[])
("main",0,[],[FUN False 0 344],[APP True [CON 2 0,INT 5,INT 7],APP True [CON 2 0,CON 0 5,VAR False 0]])
("main",0,[],[FUN False 0 345],[APP True [CON 2 0,INT 8,INT 7],APP True [CON 2 0,CON 0 1,VAR False 0]])
("main",0,[],[FUN False 0 346],[APP True [CON 2 0,INT 4,INT 5],APP True [CON 2 0,CON 0 0,VAR False 0]])
("main",0,[],[FUN False 0 347],[APP True [CON 2 0,INT 8,INT 4],APP True [CON 2 0,CON 0 3,VAR False 0]])
("main",0,[],[FUN False 0 348],[APP True [CON 2 0,INT 7,INT 3],APP True [CON 2 0,CON 0 3,VAR False 0]])
("main",0,[],[FUN False 0 349],[APP True [CON 2 0,INT 5,INT 2],APP True [CON 2 0,CON 0 3,VAR False 0]])
("main",0,[],[FUN False 0 350],[APP True [CON 2 0,INT 6,INT 2],APP True [CON 2 0,CON 0 3,VAR False 0]])
("main",0,[],[FUN False 0 351],[APP True [CON 2 0,INT 5,INT 1],APP True [CON 2 0,CON 0 4,VAR False 0]])
("main",0,[],[FUN False 0 352],[APP True [CON 2 0,VAR False (-1),CON 0 1],APP True [CON 2 0,VAR False (-3),VAR False 0]])
("main",0,[],[FUN False 0 353],[APP True [CON 2 0,VAR False (-7),VAR False (-1)],APP True [CON 2 0,VAR False (-9),VAR False 0]])
("main",0,[],[FUN False 0 354],[APP True [CON 2 0,VAR False (-13),VAR False (-1)],APP True [CON 2 0,VAR False (-15),VAR False 0]])
("main",0,[],[FUN False 0 355],[APP True [CON 2 0,VAR False (-19),VAR False (-1)],APP True [CON 2 0,VAR False (-21),VAR False 0]])
("main",0,[],[FUN False 0 356],[APP True [CON 2 0,VAR False (-25),VAR False (-1)],APP True [CON 2 0,INT 2,INT 8]])
("main",0,[],[FUN False 0 357],[APP True [CON 2 0,CON 0 2,VAR False (-1)],APP True [CON 2 0,INT 7,INT 7]])
("main",0,[],[FUN False 0 358],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 4,INT 6]])
("main",0,[],[FUN False 0 359],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 3,INT 5]])
("main",0,[],[FUN False 0 360],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 6,INT 5]])
("main",0,[],[FUN False 0 361],[APP True [CON 2 0,CON 0 1,VAR False (-1)],APP True [CON 2 0,INT 8,INT 5]])
("main",0,[],[FUN False 0 362],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 4,INT 4]])
("main",0,[],[FUN False 0 363],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 2,INT 3]])
("main",0,[],[FUN False 0 364],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 5,INT 3]])
("main",0,[],[FUN False 0 365],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 7,INT 2]])
("main",0,[],[FUN False 0 366],[APP True [CON 2 0,CON 0 3,VAR False (-1)],APP True [CON 2 0,INT 1,INT 1]])
("main",0,[],[FUN False 0 367],[APP True [CON 2 0,CON 0 4,VAR False (-1)],APP True [CON 2 0,INT 2,INT 1]])
("main",0,[],[FUN False 0 368],[APP True [CON 2 0,CON 0 2,VAR False (-1)],APP True [CON 2 0,INT 8,INT 1]])
("main",0,[],[FUN False 0 369],[APP True [CON 2 0,CON 0 0,VAR False (-1)],APP True [CON 2 0,VAR False 0,CON 0 1]])
("main",0,[],[FUN False 0 370],[APP True [CON 2 0,VAR False (-4),VAR False (-1)],APP True [CON 2 0,VAR False (-6),VAR False 0]])
("main",0,[],[FUN False 0 371],[APP True [CON 2 0,VAR False (-10),VAR False (-1)],APP True [CON 2 0,VAR False (-12),VAR False 0]])
("main",0,[],[FUN False 0 372],[APP True [CON 2 0,VAR False (-16),VAR False (-1)],APP True [CON 2 0,VAR False (-18),VAR False 0]])
("main",0,[],[FUN False 0 373],[APP True [CON 2 0,VAR False (-22),VAR False (-1)],APP True [CON 2 0,VAR False (-24),VAR False 0]])
("main",0,[],[FUN False 0 374],[APP True [CON 2 0,VAR False (-28),VAR False (-1)],APP True [CON 2 0,VAR False (-30),VAR False 0]])
("main",0,[],[FUN False 0 375],[APP True [CON 2 0,VAR False (-34),VAR False (-1)],APP True [CON 2 0,VAR False (-36),VAR False 0]])
("main",0,[],[FUN False 0 376],[APP True [CON 2 0,VAR False (-40),VAR False (-1)],APP True [CON 2 0,CON 0 1,INT 3]])
("main",0,[],[CON 2 0,VAR False (-2),VAR False (-1),INT 0],[])
("cross#1",4,[],[CON 2 0,VAR False (-2),VAR False (-1)],[])
("elemAt#1",3,[],[ARG False 0,REG False 0],[])
("map#1",3,[],[CON 2 0,VAR False (-2),VAR False (-1)],[])
("sumAcc#1",3,[],[ARG False 1,REG False 0],[])
("unzip#3",0,[],[FUN False 0 382],[APP True [CON 2 0,ARG False 0,VAR False (-1)],CASE 66 [VAR True (-2),INT 0]])
("unzip#3",3,[],[CON 2 0,VAR False (-2),VAR False 0],[APP True [CON 2 0,ARG False 1,VAR False (-1)]])
("pieceAt#1",3,[],[ARG False 0,ARG True 2,CON 0 1,VAR False (-1)],[])
("pieceAtWith#3",0,[145],[FUN False 0 385],[APP False [ARG False 1,ARG True 2]])
("pieceAtWith#3",6,[],[VAR False (-1),ARG True 2,ARG False 3,ARG False 4,ARG False 5,ARG False 0],[])
("rPa#3",5,[145],[ARG False 1,ARG True 2,ARG False 3,ARG True 2,ARG False 4],[])
("putPieceAt#1",4,[],[CON 2 0,ARG False 0,VAR False (-1)],[])
("putPieceAt#2",4,[],[CON 2 0,VAR False (-1),ARG False 3],[])
("kingSquare",2,[157],[ARG False 0,ARG False 1,INT 0],[])
("onboard#7",3,[147],[ARG True 0,PRI 2 "swap:(<=)",INT 1,ARG True 0,ARG False 1],[])
("moveDetailsFor",2,[157],[ARG True 0,ARG True 1,VAR False 0],[APP True [FUN True 3 160,ARG True 0,ARG True 1]])
("movesForPiece",3,[175],[ARG True 2,ARG True 0,ARG True 1,VAR False 0],[APP True [FUN True 4 161,ARG True 0,ARG True 1,ARG True 2]])
("tryMove#3",6,[],[CON 2 0,VAR False 0,CON 0 1],[APP True [CON 2 0,VAR False (-1),ARG False 5]])
("tryMove#5",0,[],[FUN False 0 395],[CASE 103 [VAR False (-2),VAR True 5,ARG True 0],CASE 115 [VAR True 6,VAR False 0,ARG True 0]])
("tryMove#5",0,[],[FUN False 0 396],[APP True [FUN True 2 2,VAR False (-1)],CASE 115 [VAR True 4,VAR True 3,ARG True 0]])
("tryMove#5",0,[],[FUN False 0 397],[APP True [CON 2 0,ARG True 3,ARG False 5],CASE 103 [ARG True 3,ARG False 6,ARG True 4]])
("tryMove#5",0,[],[FUN False 0 398],[CASE 20 [ARG True 2,FUN True 1 1,VAR True (-2)],CASE 20 [ARG True 1,VAR False (-4),VAR False (-3)]])
("tryMove#5",7,[],[VAR False (-9),ARG True 4,ARG True 0,ARG True 1,ARG True 2,VAR True (-1)],[])
("bishopmoves",0,[],[FUN False 0 400],[APP True [FUN True 4 178,ARG True 2,ARG True 0,ARG True 1],APP True [CON 2 0,FUN True 1 4,FUN True 1 3]])
("bishopmoves",0,[],[FUN False 0 401],[APP True [FUN True 2 32,VAR False (-1)],APP True [CON 2 0,FUN True 1 3,FUN True 1 3]])
("bishopmoves",0,[],[FUN False 0 402],[APP True [FUN True 2 32,VAR False (-1)],APP True [CON 2 0,FUN True 1 4,FUN True 1 4]])
("bishopmoves",0,[],[FUN False 0 403],[APP True [FUN True 2 32,VAR False (-1)],APP True [CON 2 0,FUN True 1 3,FUN True 1 4]])
("bishopmoves",0,[],[FUN False 0 404],[APP True [FUN True 2 32,VAR False (-1)],APP False [VAR False (-10),VAR False 0]])
("bishopmoves",0,[],[FUN False 0 405],[CASE 39 [VAR False (-11),VAR False (-4),VAR False (-1)],CASE 39 [VAR False (-10),VAR False (-6),VAR False 0]])
("bishopmoves",3,[],[FUN True 4 178,ARG True 2,ARG True 0,ARG True 1,VAR False (-10),VAR False (-1)],[])
("rookmoves",0,[],[FUN False 0 407],[APP True [FUN True 4 178,ARG True 2,ARG True 0,ARG True 1],APP True [CON 2 0,FUN True 1 4,FUN True 1 1]])
("rookmoves",0,[],[FUN False 0 408],[APP True [FUN True 2 32,VAR False (-1)],APP True [CON 2 0,FUN True 1 3,FUN True 1 1]])
("rookmoves",0,[],[FUN False 0 409],[APP True [FUN True 2 32,VAR False (-1)],APP True [CON 2 0,FUN True 1 1,FUN True 1 4]])
("rookmoves",0,[],[FUN False 0 410],[APP True [FUN True 2 32,VAR False (-1)],APP True [CON 2 0,FUN True 1 1,FUN True 1 3]])
("rookmoves",0,[],[FUN False 0 411],[APP True [FUN True 2 32,VAR False (-1)],APP False [VAR False (-10),VAR False 0]])
("rookmoves",0,[],[FUN False 0 412],[CASE 39 [VAR False (-11),VAR False (-4),VAR False (-1)],CASE 39 [VAR False (-10),VAR False (-6),VAR False 0]])
("rookmoves",3,[],[FUN True 4 178,ARG True 2,ARG True 0,ARG True 1,VAR False (-10),VAR False (-1)],[])
("moveLine",0,[153],[FUN False 0 414],[APP False [ARG True 3,ARG False 2]])
("moveLine",4,[],[VAR True (-1),INT 0,ARG False 0,VAR True (-1),ARG False 1,ARG True 3],[])
("moveLine#2",2,[],[CON 2 0,VAR False (-1),CON 0 1],[])
("moveLine#4",0,[135],[FUN False 0 417],[])
("moveLine#4",5,[179],[ARG True 0,INT 0,ARG False 1,ARG False 2,ARG True 0],[])
("moveLine#5",4,[],[CON 2 0,VAR False (-1),VAR False 0],[APP False [VAR False (-2),ARG False 3]])
("moveLine#7",4,[85],[ARG True 0,ARG True 1,ARG False 2,ARG True 1,ARG True 0,ARG False 3],[])
("kingmoves#1",0,[],[FUN False 0 421],[PRIM 2 [ARG True 1,PRI 2 "(+)",INT 1],PRIM 3 [ARG True 1,PRI 2 "(-)",INT 1]])
("kingmoves#1",0,[],[FUN False 0 422],[APP True [CON 2 0,REG True 1,REG True 2],APP True [CON 2 0,ARG True 0,REG True 2]])
("kingmoves#1",0,[],[FUN False 0 423],[APP True [CON 2 0,REG True 0,REG True 2],APP True [CON 2 0,REG True 1,ARG True 1]])
("kingmoves#1",0,[],[FUN False 0 424],[APP True [CON 2 0,REG True 0,ARG True 1],APP True [CON 2 0,REG True 1,REG True 3]])
("kingmoves#1",0,[],[FUN False 0 425],[APP True [CON 2 0,ARG True 0,REG True 3],APP True [CON 2 0,REG True 0,REG True 3]])
("kingmoves#1",0,[],[FUN False 0 426],[APP True [CON 2 0,VAR False (-1),CON 0 1],APP True [CON 2 0,VAR False (-2),VAR False 0]])
("kingmoves#1",0,[],[FUN False 0 427],[APP True [CON 2 0,VAR False (-5),VAR False (-1)],APP True [CON 2 0,VAR False (-6),VAR False 0]])
("kingmoves#1",0,[],[FUN False 0 428],[APP True [CON 2 0,VAR False (-9),VAR False (-1)],APP True [CON 2 0,VAR False (-10),VAR False 0]])
("kingmoves#1",4,[],[CON 2 0,VAR False (-14),VAR False 0,ARG False 2,ARG False 3,CON 0 1],[APP True [CON 2 0,VAR False (-13),VAR False (-1)]])
("knightmoves#1",0,[],[FUN False 0 430],[PRIM 2 [ARG True 1,PRI 2 "(+)",INT 1],PRIM 3 [ARG True 1,PRI 2 "(-)",INT 1]])
("knightmoves#1",0,[],[FUN False 0 431],[PRIM 4 [ARG True 0,PRI 2 "(+)",INT 2],PRIM 5 [ARG True 0,PRI 2 "(-)",INT 2]])
("knightmoves#1",0,[],[FUN False 0 432],[PRIM 6 [ARG True 1,PRI 2 "(+)",INT 2],PRIM 7 [ARG True 1,PRI 2 "(-)",INT 2]])
("knightmoves#1",0,[],[FUN False 0 433],[APP True [CON 2 0,REG True 1,REG True 6],APP True [CON 2 0,REG True 0,REG True 6]])
("knightmoves#1",0,[],[FUN False 0 434],[APP True [CON 2 0,REG True 5,REG True 2],APP True [CON 2 0,REG True 4,REG True 2]])
("knightmoves#1",0,[],[FUN False 0 435],[APP True [CON 2 0,REG True 5,REG True 3],APP True [CON 2 0,REG True 4,REG True 3]])
("knightmoves#1",0,[],[FUN False 0 436],[APP True [CON 2 0,REG True 1,REG True 7],APP True [CON 2 0,REG True 0,REG True 7]])
("knightmoves#1",0,[],[FUN False 0 437],[APP True [CON 2 0,VAR False (-1),CON 0 1],APP True [CON 2 0,VAR False (-2),VAR False 0]])
("knightmoves#1",0,[],[FUN False 0 438],[APP True [CON 2 0,VAR False (-5),VAR False (-1)],APP True [CON 2 0,VAR False (-6),VAR False 0]])
("knightmoves#1",0,[],[FUN False 0 439],[APP True [CON 2 0,VAR False (-9),VAR False (-1)],APP True [CON 2 0,VAR False (-10),VAR False 0]])
("knightmoves#1",4,[],[CON 2 0,VAR False (-14),VAR False 0,ARG False 2,ARG False 3,CON 0 1],[APP True [CON 2 0,VAR False (-13),VAR False (-1)]])
("sift#2",6,[],[ARG False 5,ARG False 0,ARG False 1,VAR False 0],[APP True [CON 2 0,VAR False (-1),ARG False 4]])
("sift#4",0,[135],[FUN False 0 442],[])
("sift#4",0,[191],[FUN False 0 443],[APP False [ARG True 0,INT 0,ARG True 1,ARG True 1]])
("sift#4",6,[],[VAR False (-1),ARG False 2,ARG False 3,ARG True 0,ARG False 4,ARG False 5],[])
("sift#5",5,[],[ARG False 4,ARG False 0,ARG False 1,VAR False (-1)],[])
("sift#7",0,[85],[FUN False 0 446],[APP False [ARG True 1,ARG True 4]])
("sift#7",5,[],[VAR False (-1),ARG False 0,ARG True 1,ARG True 4,ARG False 2,ARG False 3],[])
("sift#8",0,[153],[FUN False 0 448],[APP False [ARG True 0,INT 0]])
("sift#8",5,[],[VAR False (-1),ARG False 2,ARG False 3,ARG False 4,ARG False 1,ARG True 0],[])
("pawnmoves#8",2,[85],[ARG False 0,ARG False 1,INT 0],[])
("pawnmoves#12",5,[],[FUN True 3 220,ARG True 0,ARG False 1,CON 0 1,VAR False 0],[CASE 209 [VAR False (-1),ARG True 4]])
("pawnmoves#13",0,[211],[FUN False 0 452],[APP False [ARG True 1,PRI 2 "(+)",VAR True 4,PRI 2 "(+)"],APP False [FUN True 3 214,ARG True 3,VAR False 9,ARG True 2]])
("pawnmoves#13",0,[203],[FUN False 0 453],[APP False [ARG True 2,VAR True 3,INT 0,ARG True 3],APP False [ARG True 1,PRI 2 "(+)",VAR True 2]])
("pawnmoves#13",0,[85],[FUN False 0 454],[CASE 201 [ARG True 3,INT 0],APP True [CON 2 0,ARG True 0,VAR False (-1)]])
("pawnmoves#13",0,[],[FUN False 0 455],[APP False [VAR False (-6),VAR True (-2)],APP True [CON 2 0,ARG True 0,VAR False 0]])
("pawnmoves#13",0,[],[FUN False 0 456],[APP False [ARG True 1,PRI 2 "(+)",VAR True (-4)],APP True [CON 2 0,REG False 0,VAR False 0]])
("pawnmoves#13",0,[],[FUN False 0 457],[APP False [ARG True 1,PRI 2 "(+)",VAR True (-6)],APP True [CON 2 0,REG False 1,VAR False 0]])
("pawnmoves#13",0,[],[FUN False 0 458],[APP False [FUN True 3 214,ARG True 3,VAR False (-1),ARG True 2],CASE 39 [VAR False (-11),VAR False 0]])
("pawnmoves#13",4,[],[VAR False (-12),VAR True (-9),ARG True 1,ARG True 2,VAR False (-7),VAR False (-1)],[])
("promoteCap",3,[],[VAR True (-1),ARG False 0,ARG True 1,VAR True (-1)],[])
("promoteCap#4",0,[135],[FUN False 0 461],[])
("promoteCap#4",4,[215],[ARG False 0,INT 0,ARG True 1,ARG True 1,ARG False 2,ARG False 3],[])
("promote",3,[228],[ARG True 0,VAR False 0,ARG True 1,ARG False 2,ARG True 0],[CASE 221 [ARG True 1,INT 0]])
("promote#3",0,[],[FUN False 0 464],[APP True [CON 2 0,ARG True 2,CON 0 5],APP True [CON 1 0,VAR False 0]])
("promote#3",0,[],[FUN False 0 465],[APP True [CON 2 0,ARG True 2,CON 0 0],APP True [CON 1 0,VAR False 0]])
("promote#3",0,[],[FUN False 0 466],[APP True [CON 2 0,ARG True 2,CON 0 2],APP True [CON 1 0,VAR False 0]])
("promote#3",0,[],[FUN False 0 467],[APP True [CON 2 0,VAR False (-1),CON 0 1],APP True [CON 2 0,VAR False (-3),VAR False 0]])
("promote#3",0,[],[FUN False 0 468],[APP True [CON 2 0,VAR False (-7),VAR False (-1)],APP True [CON 3 0,ARG False 0,ARG False 1]])
("promote#3",3,[],[CON 2 0,VAR False (-11),VAR False (-2),VAR False (-1)],[])
("kingincheck",0,[157],[FUN False 0 470],[])
("kingincheck",2,[232],[ARG True 0,INT 0,ARG True 1,VAR False 0],[APP True [FUN True 3 234,ARG True 0,ARG True 1]])
("kingInCheckFrom#2",0,[],[FUN False 0 472],[APP True [FUN True 5 293,FUN True 2 15,REG False 0,ARG False 3],APP False [VAR False 0,ARG True 1]])
("kingInCheckFrom#2",4,[],[ARG False 0,VAR False (-1)],[])
("kingInCheckFrom#4",0,[],[FUN False 0 474],[APP True [FUN True 5 293,FUN True 2 14,REG False 0,ARG False 3],APP False [VAR False 0,ARG True 1]])
("kingInCheckFrom#4",4,[],[ARG False 0,VAR False (-1)],[])
("kingInCheckFrom#5",0,[],[FUN False 0 476],[PRIM 2 [REG False 0,PRI 2 "(==)",REG False 1]])
("kingInCheckFrom#5",5,[],[REG False 2,ARG False 4,ARG True 2,ARG True 3,ARG True 0],[])
("kingInCheckFrom#8",2,[],[FUN True 1 11,REG False 0,PRI 2 "(<=)",INT 1],[])
("kingInCheckFrom#10",2,[],[FUN True 1 11,REG False 0,PRI 2 "(==)",INT 1],[])
("kingInCheckFrom#12",2,[],[FUN True 1 11,REG False 0,PRI 2 "(==)",INT 2],[])
("kingInCheckFrom#13",4,[],[FUN True 1 11,REG False 0,PRI 2 "(==)",INT 1,ARG False 2,ARG False 3],[])
("kingInCheckFrom#25",5,[],[VAR False (-1),ARG True 1,ARG False 2,ARG True 1,ARG False 3,ARG False 4],[])
("kingInCheckFrom#27",0,[235],[FUN False 0 483],[PRIM 2 [REG False 0,PRI 2 "(==)",REG False 1]])
("kingInCheckFrom#27",0,[],[FUN False 0 484],[APP False [REG False 2,ARG True 4,ARG True 2,ARG True 3],APP False [VAR False 0,ARG True 0]])
("kingInCheckFrom#27",6,[],[VAR False (-1),ARG True 0,ARG True 1,ARG True 2,ARG True 3,ARG True 4],[])
("kingInCheckFrom#28",6,[],[FUN True 1 11,REG False 0,PRI 2 "(<=)",INT 1,ARG False 1,ARG False 3],[])
("kingInCheckFrom#29",0,[243],[FUN False 0 487],[APP False [FUN True 1 11,REG False 0,PRI 2 "(==)",INT 2],APP False [VAR False 0,ARG True 1]])
("kingInCheckFrom#29",6,[],[VAR False (-1),ARG True 3,ARG True 0,ARG True 2,ARG True 1,ARG True 3],[])
("kingInCheckFrom#30",0,[],[FUN False 0 489],[APP False [FUN True 1 11,REG False 0]])
("kingInCheckFrom#30",6,[],[VAR False (-1),PRI 2 "(==)",INT 1,ARG False 3,ARG False 5,ARG False 1],[])
("kingInCheckFrom#31",6,[269],[VAR False (-2),ARG True 4,ARG True 5,ARG True 4,ARG True 0,ARG True 1],[])
("kingInCheckFrom#32",6,[255],[VAR False (-1),ARG True 1,ARG True 3,ARG True 4,ARG True 0,ARG True 2],[])
("kingInCheckFrom#33",7,[],[VAR False (-1),ARG False 4,ARG False 0,ARG False 1,ARG False 5,ARG False 6],[])
("kingInCheckFrom#34",5,[],[VAR False (-1),ARG False 4,ARG False 0,ARG False 1,ARG True 3,ARG True 2],[])
("filePath#6",0,[],[FUN False 0 495],[CASE 276 [REG False 0,ARG True 1,ARG True 2],APP False [VAR False 0,PRI 2 "(-)",INT 1]])
("filePath#6",3,[],[ARG False 0,PRI 2 "(<=)",VAR False (-1)],[])
("filePath#8",0,[],[FUN False 0 497],[APP False [VAR False 1,PRI 2 "(+)",INT 1],CASE 274 [REG False 0,ARG True 1,ARG True 0]])
("filePath#8",3,[],[VAR False (-2),PRI 2 "(<=)",ARG True 2,ARG True 2,ARG True 0,ARG True 1],[])
("rankPath#6",0,[],[FUN False 0 499],[CASE 286 [REG False 0,ARG True 1,ARG True 2],APP False [VAR False 0,PRI 2 "(-)",INT 1]])
("rankPath#6",3,[],[ARG False 0,PRI 2 "(<=)",VAR False (-1)],[])
("rankPath#8",0,[],[FUN False 0 501],[APP False [VAR False 1,PRI 2 "(+)",INT 1],CASE 284 [REG False 0,ARG True 1,ARG True 0]])
("rankPath#8",3,[],[VAR False (-2),PRI 2 "(<=)",ARG True 2,ARG True 2,ARG True 0,ARG True 1],[])
("diagPath#6",0,[],[FUN False 0 503],[CASE 296 [REG False 0,ARG True 1,ARG True 2],APP False [VAR False 0,PRI 2 "(-)",INT 1]])
("diagPath#6",3,[],[ARG False 0,PRI 2 "(<=)",VAR False (-1)],[])
("diagPath#8",0,[],[FUN False 0 505],[APP False [VAR False 1,PRI 2 "(+)",INT 1],CASE 294 [REG False 0,ARG True 1,ARG True 0]])
("diagPath#8",3,[],[VAR False (-2),PRI 2 "(<=)",ARG True 2,ARG True 2,ARG True 0,ARG True 1],[])
("diagPath#9",6,[],[VAR False (-1),PRI 2 "(==)",ARG False 3,ARG False 4,ARG False 5,ARG True 0],[])
("solve",0,[],[FUN False 0 508],[PRIM 1 [REG False 0,PRI 2 "(-)",INT 1]])
("solve",3,[],[FUN True 3 304,ARG False 0,ARG False 1,REG False 1,INT 0],[])
("solnOr#11",0,[308],[FUN False 0 510],[APP False [ARG True 0,INT 0]])
("solnOr#11",5,[],[VAR False (-1),ARG False 1,ARG True 0,ARG False 2,ARG False 3,ARG False 4],[])
("solnOr#13",0,[],[FUN False 0 512],[APP True [FUN True 3 319,ARG True 1,VAR False 1],CASE 306 [ARG True 2,INT 0]])
("solnOr#13",5,[],[VAR False (-2),REG False 0,ARG False 0,ARG True 2,ARG True 1,ARG False 4],[])
("replies",3,[],[REG False 0,ARG True 1,ARG True 2,VAR False 0],[APP False [FUN True 2 159,ARG True 1,ARG False 0]])
("replies#5",3,[],[ARG False 2,VAR False (-2),VAR False (-1)],[])
("replies#6",3,[320],[ARG False 2,INT 0,INT 0],[])
("solnAnd#3",3,[],[CON 1 0,VAR False (-1)],[])
("solnAnd#7",5,[],[FUN True 3 304,ARG False 1,VAR False 0,REG False 0,ARG False 4,ARG False 0],[CASE 327 [ARG False 2,INT 0]])
("size#2",0,[47],[FUN False 0 519],[])
("size#2",0,[338],[FUN False 0 520],[])
("size#2",0,[68],[FUN False 0 521],[APP False [ARG False 1,INT 0]])
("size#2",3,[],[VAR False (-1),INT 0,FUN True 1 337,INT 0,PRI 2 "swap:(+)",INT 1],[])