@cyrilverloop/codingame-configuration 1.15.0 → 1.16.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +33 -0
- package/config/easy/ChineseNumbers/code/CGCode.cpp +19 -0
- package/config/easy/ChineseNumbers/code/CGCode.java +18 -0
- package/config/easy/ChineseNumbers/code/CGCode.js +8 -0
- package/config/easy/ChineseNumbers/code/CGCode.php +10 -0
- package/config/easy/ChineseNumbers/code/CGCode.ts +8 -0
- package/config/easy/ChineseNumbers/config.json +38 -0
- package/config/easy/ChineseNumbers/input/01 - Teeny.txt +5 -0
- package/config/easy/ChineseNumbers/input/02 - Tiny.txt +5 -0
- package/config/easy/ChineseNumbers/input/03 - Six-digit Figure.txt +5 -0
- package/config/easy/ChineseNumbers/input/04 - BIG BOY.txt +5 -0
- package/config/easy/ChineseNumbers/input/05 - Unorganized.txt +5 -0
- package/config/easy/ChineseNumbers/input/06 - Phone Call.txt +5 -0
- package/config/easy/ChineseNumbers/output/01 - Teeny.txt +1 -0
- package/config/easy/ChineseNumbers/output/02 - Tiny.txt +1 -0
- package/config/easy/ChineseNumbers/output/03 - Six-digit Figure.txt +1 -0
- package/config/easy/ChineseNumbers/output/04 - BIG BOY.txt +1 -0
- package/config/easy/ChineseNumbers/output/05 - Unorganized.txt +1 -0
- package/config/easy/ChineseNumbers/output/06 - Phone Call.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/code/CGCode.cpp +18 -0
- package/config/easy/CompilerCG86EasyVersion/code/CGCode.java +17 -0
- package/config/easy/CompilerCG86EasyVersion/code/CGCode.js +7 -0
- package/config/easy/CompilerCG86EasyVersion/code/CGCode.php +8 -0
- package/config/easy/CompilerCG86EasyVersion/code/CGCode.ts +7 -0
- package/config/easy/CompilerCG86EasyVersion/config.json +53 -0
- package/config/easy/CompilerCG86EasyVersion/input/01 - test 1.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/02 - test 2.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/03 - test 3.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/04 - test 4.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/05 - test 5.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/06 - test 6.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/07 - test 7.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/08 - test 8.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/input/09 - test 9.txt +1 -0
- package/config/easy/CompilerCG86EasyVersion/output/01 - test 1.txt +5 -0
- package/config/easy/CompilerCG86EasyVersion/output/02 - test 2.txt +5 -0
- package/config/easy/CompilerCG86EasyVersion/output/03 - test 3.txt +3 -0
- package/config/easy/CompilerCG86EasyVersion/output/04 - test 4.txt +3 -0
- package/config/easy/CompilerCG86EasyVersion/output/05 - test 5.txt +10 -0
- package/config/easy/CompilerCG86EasyVersion/output/06 - test 6.txt +10 -0
- package/config/easy/CompilerCG86EasyVersion/output/07 - test 7.txt +18 -0
- package/config/easy/CompilerCG86EasyVersion/output/08 - test 8.txt +3 -0
- package/config/easy/CompilerCG86EasyVersion/output/09 - test 9.txt +6 -0
- package/config/easy/RockyPohpsConcertDate/code/CGCode.cpp +17 -0
- package/config/easy/RockyPohpsConcertDate/code/CGCode.java +16 -0
- package/config/easy/RockyPohpsConcertDate/code/CGCode.js +6 -0
- package/config/easy/RockyPohpsConcertDate/code/CGCode.php +7 -0
- package/config/easy/RockyPohpsConcertDate/code/CGCode.ts +6 -0
- package/config/easy/RockyPohpsConcertDate/config.json +53 -0
- package/config/easy/RockyPohpsConcertDate/input/01 - test 1.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/02 - test 2.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/03 - test 3.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/04 - test 4.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/05 - test 5.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/06 - test 6.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/07 - test 7.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/08 - test 8.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/input/09 - test 9.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/01 - test 1.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/02 - test 2.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/03 - test 3.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/04 - test 4.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/05 - test 5.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/06 - test 6.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/07 - test 7.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/08 - test 8.txt +1 -0
- package/config/easy/RockyPohpsConcertDate/output/09 - test 9.txt +1 -0
- package/config/easy/TouchingBalls/code/CGCode.cpp +24 -0
- package/config/easy/TouchingBalls/code/CGCode.java +22 -0
- package/config/easy/TouchingBalls/code/CGCode.js +13 -0
- package/config/easy/TouchingBalls/code/CGCode.php +11 -0
- package/config/easy/TouchingBalls/code/CGCode.ts +13 -0
- package/config/easy/TouchingBalls/config.json +33 -0
- package/config/easy/TouchingBalls/input/01 - test 1.txt +3 -0
- package/config/easy/TouchingBalls/input/02 - test 2.txt +6 -0
- package/config/easy/TouchingBalls/input/03 - test 3.txt +26 -0
- package/config/easy/TouchingBalls/input/04 - test 4.txt +51 -0
- package/config/easy/TouchingBalls/input/05 - test 5.txt +101 -0
- package/config/easy/TouchingBalls/output/01 - test 1.txt +1 -0
- package/config/easy/TouchingBalls/output/02 - test 2.txt +1 -0
- package/config/easy/TouchingBalls/output/03 - test 3.txt +1 -0
- package/config/easy/TouchingBalls/output/04 - test 4.txt +1 -0
- package/config/easy/TouchingBalls/output/05 - test 5.txt +1 -0
- package/config/easy/WhoIsLeading/code/CGCode.cpp +23 -0
- package/config/easy/WhoIsLeading/code/CGCode.java +20 -0
- package/config/easy/WhoIsLeading/code/CGCode.js +10 -0
- package/config/easy/WhoIsLeading/code/CGCode.php +12 -0
- package/config/easy/WhoIsLeading/code/CGCode.ts +10 -0
- package/config/easy/WhoIsLeading/config.json +33 -0
- package/config/easy/WhoIsLeading/input/01 - Example.txt +3 -0
- package/config/easy/WhoIsLeading/input/02 - England Argentina.txt +3 -0
- package/config/easy/WhoIsLeading/input/03 - France South Africa.txt +3 -0
- package/config/easy/WhoIsLeading/input/04 - New Zealand Uruguay.txt +3 -0
- package/config/easy/WhoIsLeading/input/05 - Perfect Tie.txt +3 -0
- package/config/easy/WhoIsLeading/output/01 - Example.txt +2 -0
- package/config/easy/WhoIsLeading/output/02 - England Argentina.txt +2 -0
- package/config/easy/WhoIsLeading/output/03 - France South Africa.txt +2 -0
- package/config/easy/WhoIsLeading/output/04 - New Zealand Uruguay.txt +2 -0
- package/config/easy/WhoIsLeading/output/05 - Perfect Tie.txt +2 -0
- package/config/hard/AManWithAPlan/code/CGCode.cpp +31 -0
- package/config/hard/AManWithAPlan/code/CGCode.java +30 -0
- package/config/hard/AManWithAPlan/code/CGCode.js +19 -0
- package/config/hard/AManWithAPlan/code/CGCode.php +16 -0
- package/config/hard/AManWithAPlan/code/CGCode.ts +19 -0
- package/config/hard/AManWithAPlan/config.json +48 -0
- package/config/hard/AManWithAPlan/input/01 - Run to the Hills.txt +10 -0
- package/config/hard/AManWithAPlan/input/02 - Hall of the Mountain King.txt +11 -0
- package/config/hard/AManWithAPlan/input/03 - The River.txt +11 -0
- package/config/hard/AManWithAPlan/input/04 - Rise of the Chaos Wizards.txt +11 -0
- package/config/hard/AManWithAPlan/input/05 - Iron Man.txt +12 -0
- package/config/hard/AManWithAPlan/input/06 - To Hell and Back.txt +14 -0
- package/config/hard/AManWithAPlan/input/07 - Thunderhorse.txt +21 -0
- package/config/hard/AManWithAPlan/input/08 - Carry On.txt +19 -0
- package/config/hard/AManWithAPlan/output/01 - Run to the Hills.txt +1 -0
- package/config/hard/AManWithAPlan/output/02 - Hall of the Mountain King.txt +1 -0
- package/config/hard/AManWithAPlan/output/03 - The River.txt +1 -0
- package/config/hard/AManWithAPlan/output/04 - Rise of the Chaos Wizards.txt +1 -0
- package/config/hard/AManWithAPlan/output/05 - Iron Man.txt +1 -0
- package/config/hard/AManWithAPlan/output/06 - To Hell and Back.txt +1 -0
- package/config/hard/AManWithAPlan/output/07 - Thunderhorse.txt +1 -0
- package/config/hard/AManWithAPlan/output/08 - Carry On.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/code/CGCode.cpp +17 -0
- package/config/hard/BaileyBorweinPlouffePi/code/CGCode.java +16 -0
- package/config/hard/BaileyBorweinPlouffePi/code/CGCode.js +6 -0
- package/config/hard/BaileyBorweinPlouffePi/code/CGCode.php +7 -0
- package/config/hard/BaileyBorweinPlouffePi/code/CGCode.ts +6 -0
- package/config/hard/BaileyBorweinPlouffePi/config.json +53 -0
- package/config/hard/BaileyBorweinPlouffePi/input/01 - Very Small Value.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/02 - Small Value 1.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/03 - Small Value 2.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/04 - This is for anti hardcoding.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/05 - test 5.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/06 - test 6.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/07 - test 7.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/08 - test 8.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/input/09 - Big Numbers.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/01 - Very Small Value.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/02 - Small Value 1.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/03 - Small Value 2.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/04 - This is for anti hardcoding.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/05 - test 5.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/06 - test 6.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/07 - test 7.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/08 - test 8.txt +1 -0
- package/config/hard/BaileyBorweinPlouffePi/output/09 - Big Numbers.txt +1 -0
- package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.cpp +37 -0
- package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.java +34 -0
- package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.js +26 -0
- package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.php +23 -0
- package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.ts +26 -0
- package/config/hard/BinaryNeuralNetworkPart1/config.json +58 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/01 - Copycat.txt +6 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/02 - Opposite.txt +6 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/03 - Or.txt +10 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/04 - And.txt +10 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/05 - Reverse bits.txt +18 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/06 - Is odd.txt +74 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/07 - One hidden layer.txt +6 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/08 - Xor.txt +10 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/09 - Average.txt +86 -0
- package/config/hard/BinaryNeuralNetworkPart1/input/10 - Two hidden layers.txt +34 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/01 - Copycat.txt +2 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/02 - Opposite.txt +2 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/03 - Or.txt +4 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/04 - And.txt +4 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/05 - Reverse bits.txt +8 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/06 - Is odd.txt +8 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/07 - One hidden layer.txt +2 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/08 - Xor.txt +4 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/09 - Average.txt +4 -0
- package/config/hard/BinaryNeuralNetworkPart1/output/10 - Two hidden layers.txt +16 -0
- package/config/hard/CheatSolving/code/CGCode.cpp +19 -0
- package/config/hard/CheatSolving/code/CGCode.java +18 -0
- package/config/hard/CheatSolving/code/CGCode.js +8 -0
- package/config/hard/CheatSolving/code/CGCode.php +10 -0
- package/config/hard/CheatSolving/code/CGCode.ts +8 -0
- package/config/hard/CheatSolving/config.json +78 -0
- package/config/hard/CheatSolving/input/01 - L2 D R/342/200/262 D/342/200/262 F/342/200/262 D/342/200/262 R D/342/200/262 R2 F2.txt" +11 -0
- package/config/hard/CheatSolving/input/02 - UF flip, URF twist on y2.txt +11 -0
- package/config/hard/CheatSolving/input/03 - Edge case 1.txt +11 -0
- package/config/hard/CheatSolving/input/04 - Edge case 2.txt +11 -0
- package/config/hard/CheatSolving/input/05 - Corner case 1.txt +11 -0
- package/config/hard/CheatSolving/input/06 - Corner case 2.txt +11 -0
- package/config/hard/CheatSolving/input/07 - Corner case 3.txt +11 -0
- package/config/hard/CheatSolving/input/08 - F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
- package/config/hard/CheatSolving/input/09 - Edge case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
- package/config/hard/CheatSolving/input/10 - Edge case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
- package/config/hard/CheatSolving/input/11 - Corner case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
- package/config/hard/CheatSolving/input/12 - Corner case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
- package/config/hard/CheatSolving/input/13 - Corner case 3 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
- package/config/hard/CheatSolving/input/14 - Sticker Salad.txt +11 -0
- package/config/hard/CheatSolving/output/01 - L2 D R/342/200/262 D/342/200/262 F/342/200/262 D/342/200/262 R D/342/200/262 R2 F2.txt" +1 -0
- package/config/hard/CheatSolving/output/02 - UF flip, URF twist on y2.txt +1 -0
- package/config/hard/CheatSolving/output/03 - Edge case 1.txt +1 -0
- package/config/hard/CheatSolving/output/04 - Edge case 2.txt +1 -0
- package/config/hard/CheatSolving/output/05 - Corner case 1.txt +1 -0
- package/config/hard/CheatSolving/output/06 - Corner case 2.txt +1 -0
- package/config/hard/CheatSolving/output/07 - Corner case 3.txt +1 -0
- package/config/hard/CheatSolving/output/08 - F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
- package/config/hard/CheatSolving/output/09 - Edge case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
- package/config/hard/CheatSolving/output/10 - Edge case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
- package/config/hard/CheatSolving/output/11 - Corner case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
- package/config/hard/CheatSolving/output/12 - Corner case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
- package/config/hard/CheatSolving/output/13 - Corner case 3 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
- package/config/hard/CheatSolving/output/14 - Sticker Salad.txt +1 -0
- package/config/hard/ChessMovesOnFENPosition/code/CGCode.cpp +23 -0
- package/config/hard/ChessMovesOnFENPosition/code/CGCode.java +23 -0
- package/config/hard/ChessMovesOnFENPosition/code/CGCode.js +10 -0
- package/config/hard/ChessMovesOnFENPosition/code/CGCode.php +12 -0
- package/config/hard/ChessMovesOnFENPosition/code/CGCode.ts +10 -0
- package/config/hard/ChessMovesOnFENPosition/config.json +33 -0
- package/config/hard/ChessMovesOnFENPosition/input/01 - Starting position 1 move.txt +3 -0
- package/config/hard/ChessMovesOnFENPosition/input/02 - Starting position several moves.txt +5 -0
- package/config/hard/ChessMovesOnFENPosition/input/03 - Castling.txt +4 -0
- package/config/hard/ChessMovesOnFENPosition/input/04 - En passant.txt +4 -0
- package/config/hard/ChessMovesOnFENPosition/input/05 - Pawn promotion.txt +4 -0
- package/config/hard/ChessMovesOnFENPosition/output/01 - Starting position 1 move.txt +1 -0
- package/config/hard/ChessMovesOnFENPosition/output/02 - Starting position several moves.txt +1 -0
- package/config/hard/ChessMovesOnFENPosition/output/03 - Castling.txt +1 -0
- package/config/hard/ChessMovesOnFENPosition/output/04 - En passant.txt +1 -0
- package/config/hard/ChessMovesOnFENPosition/output/05 - Pawn promotion.txt +1 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.cpp +23 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.java +21 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.js +12 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.php +11 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.ts +12 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/config.json +53 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/01 - First example.txt +14 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/02 - Other example.txt +25 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/03 - Big numbers.txt +26 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/04 - Even big numbers.txt +24 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/05 - Larger indices.txt +17 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/06 - Even larger indices.txt +14 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/07 - Become really big.txt +21 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/08 - Really huge.txt +14 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/input/09 - Other really huge.txt +19 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/01 - First example.txt +13 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/02 - Other example.txt +24 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/03 - Big numbers.txt +25 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/04 - Even big numbers.txt +23 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/05 - Larger indices.txt +16 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/06 - Even larger indices.txt +13 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/07 - Become really big.txt +20 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/08 - Really huge.txt +13 -0
- package/config/hard/DivisibilityOfFibonacciNumbersSum/output/09 - Other really huge.txt +18 -0
- package/config/hard/DominoesSolver/code/CGCode.cpp +26 -0
- package/config/hard/DominoesSolver/code/CGCode.java +26 -0
- package/config/hard/DominoesSolver/code/CGCode.js +14 -0
- package/config/hard/DominoesSolver/code/CGCode.php +15 -0
- package/config/hard/DominoesSolver/code/CGCode.ts +14 -0
- package/config/hard/DominoesSolver/config.json +38 -0
- package/config/hard/DominoesSolver/input/01 - test 1.txt +4 -0
- package/config/hard/DominoesSolver/input/02 - test 2.txt +5 -0
- package/config/hard/DominoesSolver/input/03 - test 3.txt +6 -0
- package/config/hard/DominoesSolver/input/04 - test 4.txt +7 -0
- package/config/hard/DominoesSolver/input/05 - test 5.txt +8 -0
- package/config/hard/DominoesSolver/input/06 - test 6.txt +9 -0
- package/config/hard/DominoesSolver/output/01 - test 1.txt +2 -0
- package/config/hard/DominoesSolver/output/02 - test 2.txt +3 -0
- package/config/hard/DominoesSolver/output/03 - test 3.txt +4 -0
- package/config/hard/DominoesSolver/output/04 - test 4.txt +5 -0
- package/config/hard/DominoesSolver/output/05 - test 5.txt +6 -0
- package/config/hard/DominoesSolver/output/06 - test 6.txt +7 -0
- package/config/hard/ExpandThePolynomial/code/CGCode.cpp +17 -0
- package/config/hard/ExpandThePolynomial/code/CGCode.java +16 -0
- package/config/hard/ExpandThePolynomial/code/CGCode.js +6 -0
- package/config/hard/ExpandThePolynomial/code/CGCode.php +7 -0
- package/config/hard/ExpandThePolynomial/code/CGCode.ts +6 -0
- package/config/hard/ExpandThePolynomial/config.json +43 -0
- package/config/hard/ExpandThePolynomial/input/01 - Simple product.txt +1 -0
- package/config/hard/ExpandThePolynomial/input/02 - Square.txt +1 -0
- package/config/hard/ExpandThePolynomial/input/03 - With ax.txt +1 -0
- package/config/hard/ExpandThePolynomial/input/04 - Null coef.txt +1 -0
- package/config/hard/ExpandThePolynomial/input/05 - Bigger degree.txt +1 -0
- package/config/hard/ExpandThePolynomial/input/06 - Cyclotomic polynomial.txt +1 -0
- package/config/hard/ExpandThePolynomial/input/07 - Monomial with no integer.txt +1 -0
- package/config/hard/ExpandThePolynomial/output/01 - Simple product.txt +1 -0
- package/config/hard/ExpandThePolynomial/output/02 - Square.txt +1 -0
- package/config/hard/ExpandThePolynomial/output/03 - With ax.txt +1 -0
- package/config/hard/ExpandThePolynomial/output/04 - Null coef.txt +1 -0
- package/config/hard/ExpandThePolynomial/output/05 - Bigger degree.txt +1 -0
- package/config/hard/ExpandThePolynomial/output/06 - Cyclotomic polynomial.txt +1 -0
- package/config/hard/ExpandThePolynomial/output/07 - Monomial with no integer.txt +1 -0
- package/config/hard/Gerrymandering/code/CGCode.cpp +24 -0
- package/config/hard/Gerrymandering/code/CGCode.java +22 -0
- package/config/hard/Gerrymandering/code/CGCode.js +14 -0
- package/config/hard/Gerrymandering/code/CGCode.php +15 -0
- package/config/hard/Gerrymandering/code/CGCode.ts +14 -0
- package/config/hard/Gerrymandering/config.json +33 -0
- package/config/hard/Gerrymandering/input/01 - Small county.txt +5 -0
- package/config/hard/Gerrymandering/input/02 - Chile.txt +6 -0
- package/config/hard/Gerrymandering/input/03 - Medium.txt +11 -0
- package/config/hard/Gerrymandering/input/04 - Large 1.txt +21 -0
- package/config/hard/Gerrymandering/input/05 - Large 2.txt +41 -0
- package/config/hard/Gerrymandering/output/01 - Small county.txt +1 -0
- package/config/hard/Gerrymandering/output/02 - Chile.txt +1 -0
- package/config/hard/Gerrymandering/output/03 - Medium.txt +1 -0
- package/config/hard/Gerrymandering/output/04 - Large 1.txt +1 -0
- package/config/hard/Gerrymandering/output/05 - Large 2.txt +1 -0
- package/config/hard/GridClimbing/code/CGCode.cpp +23 -0
- package/config/hard/GridClimbing/code/CGCode.java +23 -0
- package/config/hard/GridClimbing/code/CGCode.js +10 -0
- package/config/hard/GridClimbing/code/CGCode.php +12 -0
- package/config/hard/GridClimbing/code/CGCode.ts +10 -0
- package/config/hard/GridClimbing/config.json +88 -0
- package/config/hard/GridClimbing/input/01 - N = 3 (Example).txt +5 -0
- package/config/hard/GridClimbing/input/02 - N = 4 (Special).txt +6 -0
- package/config/hard/GridClimbing/input/03 - N = 5 (Special).txt +7 -0
- package/config/hard/GridClimbing/input/04 - N = 5 (Special bis).txt +7 -0
- package/config/hard/GridClimbing/input/05 - You actually can go back.txt +8 -0
- package/config/hard/GridClimbing/input/06 - N = 6.txt +8 -0
- package/config/hard/GridClimbing/input/07 - N = 7.txt +9 -0
- package/config/hard/GridClimbing/input/08 - N = 8.txt +10 -0
- package/config/hard/GridClimbing/input/09 - N = 9.txt +11 -0
- package/config/hard/GridClimbing/input/10 - N = 10.txt +12 -0
- package/config/hard/GridClimbing/input/11 - N = 15.txt +17 -0
- package/config/hard/GridClimbing/input/12 - N = 20, no obstacles.txt +22 -0
- package/config/hard/GridClimbing/input/13 - N = 20, obstacles.txt +22 -0
- package/config/hard/GridClimbing/input/14 - N = 30.txt +32 -0
- package/config/hard/GridClimbing/input/15 - N = 40.txt +42 -0
- package/config/hard/GridClimbing/input/16 - N = 40, the biggest jump.txt +42 -0
- package/config/hard/GridClimbing/output/01 - N = 3 (Example).txt +1 -0
- package/config/hard/GridClimbing/output/02 - N = 4 (Special).txt +1 -0
- package/config/hard/GridClimbing/output/03 - N = 5 (Special).txt +1 -0
- package/config/hard/GridClimbing/output/04 - N = 5 (Special bis).txt +1 -0
- package/config/hard/GridClimbing/output/05 - You actually can go back.txt +1 -0
- package/config/hard/GridClimbing/output/06 - N = 6.txt +1 -0
- package/config/hard/GridClimbing/output/07 - N = 7.txt +1 -0
- package/config/hard/GridClimbing/output/08 - N = 8.txt +1 -0
- package/config/hard/GridClimbing/output/09 - N = 9.txt +1 -0
- package/config/hard/GridClimbing/output/10 - N = 10.txt +1 -0
- package/config/hard/GridClimbing/output/11 - N = 15.txt +1 -0
- package/config/hard/GridClimbing/output/12 - N = 20, no obstacles.txt +1 -0
- package/config/hard/GridClimbing/output/13 - N = 20, obstacles.txt +1 -0
- package/config/hard/GridClimbing/output/14 - N = 30.txt +1 -0
- package/config/hard/GridClimbing/output/15 - N = 40.txt +1 -0
- package/config/hard/GridClimbing/output/16 - N = 40, the biggest jump.txt +1 -0
- package/config/hard/HillNotationAndHillOrder/code/CGCode.cpp +21 -0
- package/config/hard/HillNotationAndHillOrder/code/CGCode.java +22 -0
- package/config/hard/HillNotationAndHillOrder/code/CGCode.js +9 -0
- package/config/hard/HillNotationAndHillOrder/code/CGCode.php +11 -0
- package/config/hard/HillNotationAndHillOrder/code/CGCode.ts +9 -0
- package/config/hard/HillNotationAndHillOrder/config.json +33 -0
- package/config/hard/HillNotationAndHillOrder/input/01 - Simple Sort.txt +4 -0
- package/config/hard/HillNotationAndHillOrder/input/02 - Quantity Sort.txt +7 -0
- package/config/hard/HillNotationAndHillOrder/input/03 - Duplicates.txt +4 -0
- package/config/hard/HillNotationAndHillOrder/input/04 - Bigger Sort.txt +11 -0
- package/config/hard/HillNotationAndHillOrder/input/05 - Parenthesis.txt +4 -0
- package/config/hard/HillNotationAndHillOrder/output/01 - Simple Sort.txt +3 -0
- package/config/hard/HillNotationAndHillOrder/output/02 - Quantity Sort.txt +6 -0
- package/config/hard/HillNotationAndHillOrder/output/03 - Duplicates.txt +1 -0
- package/config/hard/HillNotationAndHillOrder/output/04 - Bigger Sort.txt +10 -0
- package/config/hard/HillNotationAndHillOrder/output/05 - Parenthesis.txt +3 -0
- package/config/hard/HitTheRoad/code/CGCode.cpp +34 -0
- package/config/hard/HitTheRoad/code/CGCode.java +30 -0
- package/config/hard/HitTheRoad/code/CGCode.js +24 -0
- package/config/hard/HitTheRoad/code/CGCode.php +16 -0
- package/config/hard/HitTheRoad/code/CGCode.ts +24 -0
- package/config/hard/HitTheRoad/config.json +43 -0
- package/config/hard/HitTheRoad/input/01 - Example 1.txt +20 -0
- package/config/hard/HitTheRoad/input/02 - Example 2.txt +19 -0
- package/config/hard/HitTheRoad/input/03 - Half turn.txt +17 -0
- package/config/hard/HitTheRoad/input/04 - No time windows everywhere.txt +13 -0
- package/config/hard/HitTheRoad/input/05 - Unreachable.txt +2 -0
- package/config/hard/HitTheRoad/input/06 - Example 3.txt +28 -0
- package/config/hard/HitTheRoad/input/07 - Example 4.txt +20 -0
- package/config/hard/HitTheRoad/output/01 - Example 1.txt +1 -0
- package/config/hard/HitTheRoad/output/02 - Example 2.txt +1 -0
- package/config/hard/HitTheRoad/output/03 - Half turn.txt +1 -0
- package/config/hard/HitTheRoad/output/04 - No time windows everywhere.txt +1 -0
- package/config/hard/HitTheRoad/output/05 - Unreachable.txt +1 -0
- package/config/hard/HitTheRoad/output/06 - Example 3.txt +1 -0
- package/config/hard/HitTheRoad/output/07 - Example 4.txt +1 -0
- package/config/hard/HornSATSolver/code/CGCode.cpp +24 -0
- package/config/hard/HornSATSolver/code/CGCode.java +25 -0
- package/config/hard/HornSATSolver/code/CGCode.js +13 -0
- package/config/hard/HornSATSolver/code/CGCode.php +11 -0
- package/config/hard/HornSATSolver/code/CGCode.ts +13 -0
- package/config/hard/HornSATSolver/config.json +53 -0
- package/config/hard/HornSATSolver/input/01 - short sat.txt +9 -0
- package/config/hard/HornSATSolver/input/02 - short unsat.txt +8 -0
- package/config/hard/HornSATSolver/input/03 - empty clause.txt +10 -0
- package/config/hard/HornSATSolver/input/04 - medium sat.txt +91 -0
- package/config/hard/HornSATSolver/input/05 - medium unsat.txt +92 -0
- package/config/hard/HornSATSolver/input/06 - huge sat.txt +383 -0
- package/config/hard/HornSATSolver/input/07 - huge unsat.txt +428 -0
- package/config/hard/HornSATSolver/input/08 - only one non-unit clause.txt +2 -0
- package/config/hard/HornSATSolver/input/09 - negative literals only.txt +3 -0
- package/config/hard/HornSATSolver/output/01 - short sat.txt +2 -0
- package/config/hard/HornSATSolver/output/02 - short unsat.txt +1 -0
- package/config/hard/HornSATSolver/output/03 - empty clause.txt +1 -0
- package/config/hard/HornSATSolver/output/04 - medium sat.txt +2 -0
- package/config/hard/HornSATSolver/output/05 - medium unsat.txt +1 -0
- package/config/hard/HornSATSolver/output/06 - huge sat.txt +2 -0
- package/config/hard/HornSATSolver/output/07 - huge unsat.txt +1 -0
- package/config/hard/HornSATSolver/output/08 - only one non-unit clause.txt +2 -0
- package/config/hard/HornSATSolver/output/09 - negative literals only.txt +2 -0
- package/config/hard/InertiaRide/code/CGCode.cpp +24 -0
- package/config/hard/InertiaRide/code/CGCode.java +24 -0
- package/config/hard/InertiaRide/code/CGCode.js +12 -0
- package/config/hard/InertiaRide/code/CGCode.php +12 -0
- package/config/hard/InertiaRide/code/CGCode.ts +12 -0
- package/config/hard/InertiaRide/config.json +48 -0
- package/config/hard/InertiaRide/input/01 - Basic roller coaster.txt +6 -0
- package/config/hard/InertiaRide/input/02 - Not enough inertia.txt +6 -0
- package/config/hard/InertiaRide/input/03 - Failed start.txt +5 -0
- package/config/hard/InertiaRide/input/04 - Back to the start.txt +8 -0
- package/config/hard/InertiaRide/input/05 - Ups and downs.txt +9 -0
- package/config/hard/InertiaRide/input/06 - Good roller coaster.txt +13 -0
- package/config/hard/InertiaRide/input/07 - Unstable balance.txt +7 -0
- package/config/hard/InertiaRide/input/08 - Huge roller coaster.txt +17 -0
- package/config/hard/InertiaRide/output/01 - Basic roller coaster.txt +1 -0
- package/config/hard/InertiaRide/output/02 - Not enough inertia.txt +1 -0
- package/config/hard/InertiaRide/output/03 - Failed start.txt +1 -0
- package/config/hard/InertiaRide/output/04 - Back to the start.txt +1 -0
- package/config/hard/InertiaRide/output/05 - Ups and downs.txt +1 -0
- package/config/hard/InertiaRide/output/06 - Good roller coaster.txt +1 -0
- package/config/hard/InertiaRide/output/07 - Unstable balance.txt +1 -0
- package/config/hard/InertiaRide/output/08 - Huge roller coaster.txt +1 -0
- package/config/hard/KolakoskiSequence/code/CGCode.cpp +20 -0
- package/config/hard/KolakoskiSequence/code/CGCode.java +18 -0
- package/config/hard/KolakoskiSequence/code/CGCode.js +9 -0
- package/config/hard/KolakoskiSequence/code/CGCode.php +8 -0
- package/config/hard/KolakoskiSequence/code/CGCode.ts +9 -0
- package/config/hard/KolakoskiSequence/config.json +28 -0
- package/config/hard/KolakoskiSequence/input/01 - Simple.txt +2 -0
- package/config/hard/KolakoskiSequence/input/02 - More symbols.txt +2 -0
- package/config/hard/KolakoskiSequence/input/03 - Small sequence.txt +2 -0
- package/config/hard/KolakoskiSequence/input/04 - Big test.txt +2 -0
- package/config/hard/KolakoskiSequence/output/01 - Simple.txt +1 -0
- package/config/hard/KolakoskiSequence/output/02 - More symbols.txt +1 -0
- package/config/hard/KolakoskiSequence/output/03 - Small sequence.txt +1 -0
- package/config/hard/KolakoskiSequence/output/04 - Big test.txt +1 -0
- package/config/hard/NQueens/code/CGCode.cpp +17 -0
- package/config/hard/NQueens/code/CGCode.java +16 -0
- package/config/hard/NQueens/code/CGCode.js +6 -0
- package/config/hard/NQueens/code/CGCode.php +7 -0
- package/config/hard/NQueens/code/CGCode.ts +6 -0
- package/config/hard/NQueens/config.json +28 -0
- package/config/hard/NQueens/input/01 - Simple and possible.txt +1 -0
- package/config/hard/NQueens/input/02 - Simple and impossible.txt +1 -0
- package/config/hard/NQueens/input/03 - Classic chess.txt +1 -0
- package/config/hard/NQueens/input/04 - Bigger.txt +1 -0
- package/config/hard/NQueens/output/01 - Simple and possible.txt +1 -0
- package/config/hard/NQueens/output/02 - Simple and impossible.txt +1 -0
- package/config/hard/NQueens/output/03 - Classic chess.txt +1 -0
- package/config/hard/NQueens/output/04 - Bigger.txt +1 -0
- package/config/hard/OrderOfOopserations/code/CGCode.cpp +17 -0
- package/config/hard/OrderOfOopserations/code/CGCode.java +16 -0
- package/config/hard/OrderOfOopserations/code/CGCode.js +6 -0
- package/config/hard/OrderOfOopserations/code/CGCode.php +7 -0
- package/config/hard/OrderOfOopserations/code/CGCode.ts +6 -0
- package/config/hard/OrderOfOopserations/config.json +43 -0
- package/config/hard/OrderOfOopserations/input/01 - A simple test.txt +1 -0
- package/config/hard/OrderOfOopserations/input/02 - Order Matters.txt +1 -0
- package/config/hard/OrderOfOopserations/input/03 - Negatives.txt +1 -0
- package/config/hard/OrderOfOopserations/input/04 - The answer to everything.txt +1 -0
- package/config/hard/OrderOfOopserations/input/05 - A long test.txt +1 -0
- package/config/hard/OrderOfOopserations/input/06 - Up and down.txt +1 -0
- package/config/hard/OrderOfOopserations/input/07 - First is last.txt +1 -0
- package/config/hard/OrderOfOopserations/output/01 - A simple test.txt +1 -0
- package/config/hard/OrderOfOopserations/output/02 - Order Matters.txt +1 -0
- package/config/hard/OrderOfOopserations/output/03 - Negatives.txt +1 -0
- package/config/hard/OrderOfOopserations/output/04 - The answer to everything.txt +1 -0
- package/config/hard/OrderOfOopserations/output/05 - A long test.txt +1 -0
- package/config/hard/OrderOfOopserations/output/06 - Up and down.txt +1 -0
- package/config/hard/OrderOfOopserations/output/07 - First is last.txt +1 -0
- package/config/hard/ParsingContextFreeGrammar/code/CGCode.cpp +29 -0
- package/config/hard/ParsingContextFreeGrammar/code/CGCode.java +27 -0
- package/config/hard/ParsingContextFreeGrammar/code/CGCode.js +14 -0
- package/config/hard/ParsingContextFreeGrammar/code/CGCode.php +17 -0
- package/config/hard/ParsingContextFreeGrammar/code/CGCode.ts +14 -0
- package/config/hard/ParsingContextFreeGrammar/config.json +38 -0
- package/config/hard/ParsingContextFreeGrammar/input/01 - Well-formed brackets.txt +19 -0
- package/config/hard/ParsingContextFreeGrammar/input/02 - Well-formed brackets - ambiguous.txt +28 -0
- package/config/hard/ParsingContextFreeGrammar/input/03 - Small grammar, many short tests.txt +83 -0
- package/config/hard/ParsingContextFreeGrammar/input/04 - Large grammar, many medium tests.txt +133 -0
- package/config/hard/ParsingContextFreeGrammar/input/05 - Large grammar, medium number of large tests.txt +113 -0
- package/config/hard/ParsingContextFreeGrammar/input/06 - Large grammar, small number of very large tests.txt +91 -0
- package/config/hard/ParsingContextFreeGrammar/output/01 - Well-formed brackets.txt +10 -0
- package/config/hard/ParsingContextFreeGrammar/output/02 - Well-formed brackets - ambiguous.txt +10 -0
- package/config/hard/ParsingContextFreeGrammar/output/03 - Small grammar, many short tests.txt +60 -0
- package/config/hard/ParsingContextFreeGrammar/output/04 - Large grammar, many medium tests.txt +80 -0
- package/config/hard/ParsingContextFreeGrammar/output/05 - Large grammar, medium number of large tests.txt +40 -0
- package/config/hard/ParsingContextFreeGrammar/output/06 - Large grammar, small number of very large tests.txt +8 -0
- package/config/hard/ShapeRecognition/code/CGCode.cpp +21 -0
- package/config/hard/ShapeRecognition/code/CGCode.java +20 -0
- package/config/hard/ShapeRecognition/code/CGCode.js +11 -0
- package/config/hard/ShapeRecognition/code/CGCode.php +14 -0
- package/config/hard/ShapeRecognition/code/CGCode.ts +11 -0
- package/config/hard/ShapeRecognition/config.json +88 -0
- package/config/hard/ShapeRecognition/input/01 - Triangle.txt +20 -0
- package/config/hard/ShapeRecognition/input/02 - Circle.txt +20 -0
- package/config/hard/ShapeRecognition/input/03 - Square.txt +20 -0
- package/config/hard/ShapeRecognition/input/04 - 10% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/05 - 20% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/06 - 30% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/07 - 40% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/08 - 50% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/09 - 60% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/10 - 70% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/11 - 80% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/12 - 90% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/13 - 100% Accuracy.txt +20 -0
- package/config/hard/ShapeRecognition/input/14 - One more just for fun!.txt +20 -0
- package/config/hard/ShapeRecognition/input/15 - You/342/200/231re a DATA SCIENTIST!.txt" +20 -0
- package/config/hard/ShapeRecognition/input/16 - Final one I promise!.txt +20 -0
- package/config/hard/ShapeRecognition/output/01 - Triangle.txt +1 -0
- package/config/hard/ShapeRecognition/output/02 - Circle.txt +1 -0
- package/config/hard/ShapeRecognition/output/03 - Square.txt +1 -0
- package/config/hard/ShapeRecognition/output/04 - 10% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/05 - 20% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/06 - 30% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/07 - 40% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/08 - 50% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/09 - 60% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/10 - 70% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/11 - 80% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/12 - 90% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/13 - 100% Accuracy.txt +1 -0
- package/config/hard/ShapeRecognition/output/14 - One more just for fun!.txt +1 -0
- package/config/hard/ShapeRecognition/output/15 - You/342/200/231re a DATA SCIENTIST!.txt" +1 -0
- package/config/hard/ShapeRecognition/output/16 - Final one I promise!.txt +1 -0
- package/config/hard/SpreadsheetLabels/code/CGCode.cpp +16 -0
- package/config/hard/SpreadsheetLabels/code/CGCode.java +14 -0
- package/config/hard/SpreadsheetLabels/code/CGCode.js +5 -0
- package/config/hard/SpreadsheetLabels/code/CGCode.php +7 -0
- package/config/hard/SpreadsheetLabels/code/CGCode.ts +5 -0
- package/config/hard/SpreadsheetLabels/config.json +33 -0
- package/config/hard/SpreadsheetLabels/input/01 - Small Numbers.txt +2 -0
- package/config/hard/SpreadsheetLabels/input/02 - Small Letters.txt +2 -0
- package/config/hard/SpreadsheetLabels/input/03 - Three and Four Digits.txt +2 -0
- package/config/hard/SpreadsheetLabels/input/04 - Medium Numbers and Letters.txt +2 -0
- package/config/hard/SpreadsheetLabels/input/05 - Big Numbers and Letters.txt +2 -0
- package/config/hard/SpreadsheetLabels/output/01 - Small Numbers.txt +1 -0
- package/config/hard/SpreadsheetLabels/output/02 - Small Letters.txt +1 -0
- package/config/hard/SpreadsheetLabels/output/03 - Three and Four Digits.txt +1 -0
- package/config/hard/SpreadsheetLabels/output/04 - Medium Numbers and Letters.txt +1 -0
- package/config/hard/SpreadsheetLabels/output/05 - Big Numbers and Letters.txt +1 -0
- package/config/hard/SumOfOdd/code/CGCode.cpp +17 -0
- package/config/hard/SumOfOdd/code/CGCode.java +16 -0
- package/config/hard/SumOfOdd/code/CGCode.js +6 -0
- package/config/hard/SumOfOdd/code/CGCode.php +7 -0
- package/config/hard/SumOfOdd/code/CGCode.ts +6 -0
- package/config/hard/SumOfOdd/config.json +38 -0
- package/config/hard/SumOfOdd/input/01 - test 1.txt +1 -0
- package/config/hard/SumOfOdd/input/02 - test 2.txt +1 -0
- package/config/hard/SumOfOdd/input/03 - test 3.txt +1 -0
- package/config/hard/SumOfOdd/input/04 - test 4.txt +1 -0
- package/config/hard/SumOfOdd/input/05 - test 5.txt +1 -0
- package/config/hard/SumOfOdd/input/06 - test 6.txt +1 -0
- package/config/hard/SumOfOdd/output/01 - test 1.txt +2 -0
- package/config/hard/SumOfOdd/output/02 - test 2.txt +2 -0
- package/config/hard/SumOfOdd/output/03 - test 3.txt +1 -0
- package/config/hard/SumOfOdd/output/04 - test 4.txt +2 -0
- package/config/hard/SumOfOdd/output/05 - test 5.txt +2 -0
- package/config/hard/SumOfOdd/output/06 - test 6.txt +2 -0
- package/config/hard/Tetris/code/CGCode.cpp +29 -0
- package/config/hard/Tetris/code/CGCode.java +31 -0
- package/config/hard/Tetris/code/CGCode.js +17 -0
- package/config/hard/Tetris/code/CGCode.php +16 -0
- package/config/hard/Tetris/code/CGCode.ts +17 -0
- package/config/hard/Tetris/config.json +33 -0
- package/config/hard/Tetris/input/01 - Simple.txt +8 -0
- package/config/hard/Tetris/input/02 - Not on the bottom.txt +10 -0
- package/config/hard/Tetris/input/03 - That sucks.txt +12 -0
- package/config/hard/Tetris/input/04 - Better.txt +9 -0
- package/config/hard/Tetris/input/05 - The Holy Grail.txt +14 -0
- package/config/hard/Tetris/output/01 - Simple.txt +2 -0
- package/config/hard/Tetris/output/02 - Not on the bottom.txt +2 -0
- package/config/hard/Tetris/output/03 - That sucks.txt +2 -0
- package/config/hard/Tetris/output/04 - Better.txt +2 -0
- package/config/hard/Tetris/output/05 - The Holy Grail.txt +2 -0
- package/config/hard/TheHungryDuckPart1/code/CGCode.cpp +24 -0
- package/config/hard/TheHungryDuckPart1/code/CGCode.java +22 -0
- package/config/hard/TheHungryDuckPart1/code/CGCode.js +14 -0
- package/config/hard/TheHungryDuckPart1/code/CGCode.php +15 -0
- package/config/hard/TheHungryDuckPart1/code/CGCode.ts +14 -0
- package/config/hard/TheHungryDuckPart1/config.json +28 -0
- package/config/hard/TheHungryDuckPart1/input/01 - Example lake.txt +4 -0
- package/config/hard/TheHungryDuckPart1/input/02 - Nice little lake in a forest.txt +9 -0
- package/config/hard/TheHungryDuckPart1/input/03 - Town Creek.txt +2 -0
- package/config/hard/TheHungryDuckPart1/input/04 - Lac Daumesnil.txt +11 -0
- package/config/hard/TheHungryDuckPart1/output/01 - Example lake.txt +1 -0
- package/config/hard/TheHungryDuckPart1/output/02 - Nice little lake in a forest.txt +1 -0
- package/config/hard/TheHungryDuckPart1/output/03 - Town Creek.txt +1 -0
- package/config/hard/TheHungryDuckPart1/output/04 - Lac Daumesnil.txt +1 -0
- package/config/hard/ToSkysEdge/code/CGCode.cpp +26 -0
- package/config/hard/ToSkysEdge/code/CGCode.java +22 -0
- package/config/hard/ToSkysEdge/code/CGCode.js +13 -0
- package/config/hard/ToSkysEdge/code/CGCode.php +13 -0
- package/config/hard/ToSkysEdge/code/CGCode.ts +13 -0
- package/config/hard/ToSkysEdge/config.json +48 -0
- package/config/hard/ToSkysEdge/input/01 - Simple expedition.txt +11 -0
- package/config/hard/ToSkysEdge/input/02 - Great capacity.txt +13 -0
- package/config/hard/ToSkysEdge/input/03 - Tight capacity.txt +10 -0
- package/config/hard/ToSkysEdge/input/04 - Baby boom.txt +15 -0
- package/config/hard/ToSkysEdge/input/05 - Large span.txt +13 -0
- package/config/hard/ToSkysEdge/input/06 - All ages.txt +53 -0
- package/config/hard/ToSkysEdge/input/07 - A long voyage.txt +16 -0
- package/config/hard/ToSkysEdge/input/08 - Let/342/200/231s go to Mars instead.txt" +8 -0
- package/config/hard/ToSkysEdge/output/01 - Simple expedition.txt +1 -0
- package/config/hard/ToSkysEdge/output/02 - Great capacity.txt +1 -0
- package/config/hard/ToSkysEdge/output/03 - Tight capacity.txt +1 -0
- package/config/hard/ToSkysEdge/output/04 - Baby boom.txt +1 -0
- package/config/hard/ToSkysEdge/output/05 - Large span.txt +1 -0
- package/config/hard/ToSkysEdge/output/06 - All ages.txt +1 -0
- package/config/hard/ToSkysEdge/output/07 - A long voyage.txt +1 -0
- package/config/hard/ToSkysEdge/output/08 - Let/342/200/231s go to Mars instead.txt" +1 -0
- package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.cpp +36 -0
- package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.java +38 -0
- package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.js +24 -0
- package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.php +23 -0
- package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.ts +24 -0
- package/config/hard/WaveFunctionCollapseSansShannon/config.json +48 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/01 - First Example - Restore it.txt +18 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/02 - Second Example - Grow it.txt +20 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/03 - Body Swap.txt +18 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/04 - Widen The Picture.txt +21 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/05 - Grill.txt +18 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/06 - Resize.txt +21 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/07 - Bob Was Here.txt +30 -0
- package/config/hard/WaveFunctionCollapseSansShannon/input/08 - aMAZEing.txt +31 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/01 - First Example - Restore it.txt +8 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/02 - Second Example - Grow it.txt +10 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/03 - Body Swap.txt +8 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/04 - Widen The Picture.txt +11 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/05 - Grill.txt +9 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/06 - Resize.txt +11 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/07 - Bob Was Here.txt +18 -0
- package/config/hard/WaveFunctionCollapseSansShannon/output/08 - aMAZEing.txt +20 -0
- package/package.json +1 -1
@@ -0,0 +1,30 @@
|
|
1
|
+
import java.util.*;
|
2
|
+
import java.io.*;
|
3
|
+
import java.math.*;
|
4
|
+
|
5
|
+
class Solution {
|
6
|
+
|
7
|
+
public static void main(String args[]) {
|
8
|
+
Scanner in = new Scanner(System.in);
|
9
|
+
int n = in.nextInt();
|
10
|
+
int m = in.nextInt();
|
11
|
+
int ntw = in.nextInt();
|
12
|
+
int s = in.nextInt();
|
13
|
+
int t = in.nextInt();
|
14
|
+
for (int i = 0; i < ntw; i++) {
|
15
|
+
int v = in.nextInt();
|
16
|
+
int b = in.nextInt();
|
17
|
+
int e = in.nextInt();
|
18
|
+
}
|
19
|
+
for (int i = 0; i < m; i++) {
|
20
|
+
int u = in.nextInt();
|
21
|
+
int v = in.nextInt();
|
22
|
+
int d = in.nextInt();
|
23
|
+
}
|
24
|
+
|
25
|
+
// Write an answer using System.out.println()
|
26
|
+
// To debug: System.err.println("Debug messages...");
|
27
|
+
|
28
|
+
System.out.println("true");
|
29
|
+
}
|
30
|
+
}
|
@@ -0,0 +1,24 @@
|
|
1
|
+
var inputs = readline().split(' ');
|
2
|
+
const n = parseInt(inputs[0]);
|
3
|
+
const m = parseInt(inputs[1]);
|
4
|
+
const ntw = parseInt(inputs[2]);
|
5
|
+
var inputs = readline().split(' ');
|
6
|
+
const s = parseInt(inputs[0]);
|
7
|
+
const t = parseInt(inputs[1]);
|
8
|
+
for (let i = 0; i < ntw; i++) {
|
9
|
+
var inputs = readline().split(' ');
|
10
|
+
const v = parseInt(inputs[0]);
|
11
|
+
const b = parseInt(inputs[1]);
|
12
|
+
const e = parseInt(inputs[2]);
|
13
|
+
}
|
14
|
+
for (let i = 0; i < m; i++) {
|
15
|
+
var inputs = readline().split(' ');
|
16
|
+
const u = parseInt(inputs[0]);
|
17
|
+
const v = parseInt(inputs[1]);
|
18
|
+
const d = parseInt(inputs[2]);
|
19
|
+
}
|
20
|
+
|
21
|
+
// Write an answer using console.log()
|
22
|
+
// To debug: console.error('Debug messages...');
|
23
|
+
|
24
|
+
console.log('true');
|
@@ -0,0 +1,16 @@
|
|
1
|
+
<?php
|
2
|
+
fscanf(STDIN, "%d %d %d", $n, $m, $ntw);
|
3
|
+
fscanf(STDIN, "%d %d", $s, $t);
|
4
|
+
for ($i = 0; $i < $ntw; $i++)
|
5
|
+
{
|
6
|
+
fscanf(STDIN, "%d %d %d", $v, $b, $e);
|
7
|
+
}
|
8
|
+
for ($i = 0; $i < $m; $i++)
|
9
|
+
{
|
10
|
+
fscanf(STDIN, "%d %d %d", $u, $v, $d);
|
11
|
+
}
|
12
|
+
|
13
|
+
// Write an answer using echo(). DON'T FORGET THE TRAILING \n
|
14
|
+
// To debug: error_log(var_export($var, true)); (equivalent to var_dump)
|
15
|
+
|
16
|
+
echo("true\n");
|
@@ -0,0 +1,24 @@
|
|
1
|
+
var inputs: string[] = readline().split(' ');
|
2
|
+
const n: number = parseInt(inputs[0]);
|
3
|
+
const m: number = parseInt(inputs[1]);
|
4
|
+
const ntw: number = parseInt(inputs[2]);
|
5
|
+
var inputs: string[] = readline().split(' ');
|
6
|
+
const s: number = parseInt(inputs[0]);
|
7
|
+
const t: number = parseInt(inputs[1]);
|
8
|
+
for (let i = 0; i < ntw; i++) {
|
9
|
+
var inputs: string[] = readline().split(' ');
|
10
|
+
const v: number = parseInt(inputs[0]);
|
11
|
+
const b: number = parseInt(inputs[1]);
|
12
|
+
const e: number = parseInt(inputs[2]);
|
13
|
+
}
|
14
|
+
for (let i = 0; i < m; i++) {
|
15
|
+
var inputs: string[] = readline().split(' ');
|
16
|
+
const u: number = parseInt(inputs[0]);
|
17
|
+
const v: number = parseInt(inputs[1]);
|
18
|
+
const d: number = parseInt(inputs[2]);
|
19
|
+
}
|
20
|
+
|
21
|
+
// Write an answer using console.log()
|
22
|
+
// To debug: console.error('Debug messages...');
|
23
|
+
|
24
|
+
console.log('true');
|
@@ -0,0 +1,43 @@
|
|
1
|
+
{
|
2
|
+
"path": "hard/HitTheRoad",
|
3
|
+
"name": "Hit the road",
|
4
|
+
"alphanumName": "HitTheRoad",
|
5
|
+
"link": "https://www.codingame.com/ide/puzzle/hit-the-road",
|
6
|
+
"tests": [
|
7
|
+
{
|
8
|
+
"name": "Example 1",
|
9
|
+
"alphanumName": "Example1",
|
10
|
+
"file": "01 - Example 1.txt"
|
11
|
+
},
|
12
|
+
{
|
13
|
+
"name": "Example 2",
|
14
|
+
"alphanumName": "Example2",
|
15
|
+
"file": "02 - Example 2.txt"
|
16
|
+
},
|
17
|
+
{
|
18
|
+
"name": "Half turn",
|
19
|
+
"alphanumName": "HalfTurn",
|
20
|
+
"file": "03 - Half turn.txt"
|
21
|
+
},
|
22
|
+
{
|
23
|
+
"name": "No time windows everywhere",
|
24
|
+
"alphanumName": "NoTimeWindowsEverywhere",
|
25
|
+
"file": "04 - No time windows everywhere.txt"
|
26
|
+
},
|
27
|
+
{
|
28
|
+
"name": "Unreachable",
|
29
|
+
"alphanumName": "Unreachable",
|
30
|
+
"file": "05 - Unreachable.txt"
|
31
|
+
},
|
32
|
+
{
|
33
|
+
"name": "Example 3",
|
34
|
+
"alphanumName": "Example3",
|
35
|
+
"file": "06 - Example 3.txt"
|
36
|
+
},
|
37
|
+
{
|
38
|
+
"name": "Example 4",
|
39
|
+
"alphanumName": "Example4",
|
40
|
+
"file": "07 - Example 4.txt"
|
41
|
+
}
|
42
|
+
]
|
43
|
+
}
|
@@ -0,0 +1,28 @@
|
|
1
|
+
6 20 6
|
2
|
+
1 2
|
3
|
+
1 0 0
|
4
|
+
2 8 11
|
5
|
+
3 8 16
|
6
|
+
4 4 11
|
7
|
+
5 4 9
|
8
|
+
0 5 13
|
9
|
+
1 2 2
|
10
|
+
1 3 8
|
11
|
+
1 5 5
|
12
|
+
2 1 10
|
13
|
+
2 3 6
|
14
|
+
2 5 3
|
15
|
+
2 0 6
|
16
|
+
3 1 2
|
17
|
+
3 4 3
|
18
|
+
3 0 6
|
19
|
+
4 3 4
|
20
|
+
4 5 6
|
21
|
+
4 0 2
|
22
|
+
5 2 4
|
23
|
+
5 3 5
|
24
|
+
5 4 5
|
25
|
+
5 0 4
|
26
|
+
0 2 2
|
27
|
+
0 4 10
|
28
|
+
0 5 4
|
@@ -0,0 +1 @@
|
|
1
|
+
true
|
@@ -0,0 +1 @@
|
|
1
|
+
false
|
@@ -0,0 +1 @@
|
|
1
|
+
true
|
@@ -0,0 +1 @@
|
|
1
|
+
true
|
@@ -0,0 +1 @@
|
|
1
|
+
false
|
@@ -0,0 +1 @@
|
|
1
|
+
true
|
@@ -0,0 +1 @@
|
|
1
|
+
false
|
@@ -0,0 +1,24 @@
|
|
1
|
+
#include <iostream>
|
2
|
+
#include <string>
|
3
|
+
#include <vector>
|
4
|
+
#include <algorithm>
|
5
|
+
|
6
|
+
using namespace std;
|
7
|
+
|
8
|
+
int main()
|
9
|
+
{
|
10
|
+
string unsed_p;
|
11
|
+
string unsed_cnf;
|
12
|
+
int v;
|
13
|
+
int c;
|
14
|
+
cin >> unsed_p >> unsed_cnf >> v >> c; cin.ignore();
|
15
|
+
for (int i = 0; i < c; i++) {
|
16
|
+
string clause;
|
17
|
+
getline(cin, clause);
|
18
|
+
}
|
19
|
+
|
20
|
+
// Write an answer using cout. DON'T FORGET THE "<< endl"
|
21
|
+
// To debug: cerr << "Debug messages..." << endl;
|
22
|
+
|
23
|
+
cout << "s UNSATISFIABLE" << endl;
|
24
|
+
}
|
@@ -0,0 +1,25 @@
|
|
1
|
+
import java.util.*;
|
2
|
+
import java.io.*;
|
3
|
+
import java.math.*;
|
4
|
+
|
5
|
+
class Solution {
|
6
|
+
|
7
|
+
public static void main(String args[]) {
|
8
|
+
Scanner in = new Scanner(System.in);
|
9
|
+
String unsedP = in.next();
|
10
|
+
String unsedCnf = in.next();
|
11
|
+
int V = in.nextInt();
|
12
|
+
int C = in.nextInt();
|
13
|
+
if (in.hasNextLine()) {
|
14
|
+
in.nextLine();
|
15
|
+
}
|
16
|
+
for (int i = 0; i < C; i++) {
|
17
|
+
String clause = in.nextLine();
|
18
|
+
}
|
19
|
+
|
20
|
+
// Write an answer using System.out.println()
|
21
|
+
// To debug: System.err.println("Debug messages...");
|
22
|
+
|
23
|
+
System.out.println("s UNSATISFIABLE");
|
24
|
+
}
|
25
|
+
}
|
@@ -0,0 +1,13 @@
|
|
1
|
+
var inputs = readline().split(' ');
|
2
|
+
const unsedP = inputs[0];
|
3
|
+
const unsedCnf = inputs[1];
|
4
|
+
const V = parseInt(inputs[2]);
|
5
|
+
const C = parseInt(inputs[3]);
|
6
|
+
for (let i = 0; i < C; i++) {
|
7
|
+
const clause = readline();
|
8
|
+
}
|
9
|
+
|
10
|
+
// Write an answer using console.log()
|
11
|
+
// To debug: console.error('Debug messages...');
|
12
|
+
|
13
|
+
console.log('s UNSATISFIABLE');
|
@@ -0,0 +1,11 @@
|
|
1
|
+
<?php
|
2
|
+
fscanf(STDIN, "%s %s %d %d", $unsedP, $unsedCnf, $V, $C);
|
3
|
+
for ($i = 0; $i < $C; $i++)
|
4
|
+
{
|
5
|
+
$clause = stream_get_line(STDIN, 256 + 1, "\n");
|
6
|
+
}
|
7
|
+
|
8
|
+
// Write an answer using echo(). DON'T FORGET THE TRAILING \n
|
9
|
+
// To debug: error_log(var_export($var, true)); (equivalent to var_dump)
|
10
|
+
|
11
|
+
echo("s UNSATISFIABLE\n");
|
@@ -0,0 +1,13 @@
|
|
1
|
+
var inputs: string[] = readline().split(' ');
|
2
|
+
const unsedP: string = inputs[0];
|
3
|
+
const unsedCnf: string = inputs[1];
|
4
|
+
const V: number = parseInt(inputs[2]);
|
5
|
+
const C: number = parseInt(inputs[3]);
|
6
|
+
for (let i = 0; i < C; i++) {
|
7
|
+
const clause: string = readline();
|
8
|
+
}
|
9
|
+
|
10
|
+
// Write an answer using console.log()
|
11
|
+
// To debug: console.error('Debug messages...');
|
12
|
+
|
13
|
+
console.log('s UNSATISFIABLE');
|
@@ -0,0 +1,53 @@
|
|
1
|
+
{
|
2
|
+
"path": "hard/HornSATSolver",
|
3
|
+
"name": "Horn-SAT solver",
|
4
|
+
"alphanumName": "HornSATSolver",
|
5
|
+
"link": "https://www.codingame.com/ide/puzzle/horn-sat-solver",
|
6
|
+
"tests": [
|
7
|
+
{
|
8
|
+
"name": "short sat",
|
9
|
+
"alphanumName": "shortSat",
|
10
|
+
"file": "01 - short sat.txt"
|
11
|
+
},
|
12
|
+
{
|
13
|
+
"name": "short unsat",
|
14
|
+
"alphanumName": "shortUnsat",
|
15
|
+
"file": "02 - short unsat.txt"
|
16
|
+
},
|
17
|
+
{
|
18
|
+
"name": "empty clause",
|
19
|
+
"alphanumName": "emptyClause",
|
20
|
+
"file": "03 - empty clause.txt"
|
21
|
+
},
|
22
|
+
{
|
23
|
+
"name": "medium sat",
|
24
|
+
"alphanumName": "mediumSat",
|
25
|
+
"file": "04 - medium sat.txt"
|
26
|
+
},
|
27
|
+
{
|
28
|
+
"name": "medium unsat",
|
29
|
+
"alphanumName": "mediumUnsat",
|
30
|
+
"file": "05 - medium unsat.txt"
|
31
|
+
},
|
32
|
+
{
|
33
|
+
"name": "huge sat",
|
34
|
+
"alphanumName": "hugeSat",
|
35
|
+
"file": "06 - huge sat.txt"
|
36
|
+
},
|
37
|
+
{
|
38
|
+
"name": "huge unsat",
|
39
|
+
"alphanumName": "hugeUnsat",
|
40
|
+
"file": "07 - huge unsat.txt"
|
41
|
+
},
|
42
|
+
{
|
43
|
+
"name": "only one non-unit clause",
|
44
|
+
"alphanumName": "onlyOneNonUnitClause",
|
45
|
+
"file": "08 - only one non-unit clause.txt"
|
46
|
+
},
|
47
|
+
{
|
48
|
+
"name": "negative literals only",
|
49
|
+
"alphanumName": "negativeLiteralsOnly",
|
50
|
+
"file": "09 - negative literals only.txt"
|
51
|
+
}
|
52
|
+
]
|
53
|
+
}
|
@@ -0,0 +1,91 @@
|
|
1
|
+
p cnf 46 90
|
2
|
+
-13 -46 0
|
3
|
+
-7 -11 -12 -28 -46 0
|
4
|
+
-1 -12 -25 -31 -36 -39 0
|
5
|
+
25 0
|
6
|
+
9 -10 -29 0
|
7
|
+
-7 22 -33 -40 0
|
8
|
+
-9 -29 0
|
9
|
+
-2 -45 0
|
10
|
+
-9 -22 -23 0
|
11
|
+
-3 -7 -15 0
|
12
|
+
-13 0
|
13
|
+
3 0
|
14
|
+
-6 -14 -15 -24 36 0
|
15
|
+
-20 -32 -37 -46 0
|
16
|
+
-3 -7 -10 -17 -22 0
|
17
|
+
-4 -30 0
|
18
|
+
-10 -19 -20 -24 -30 -36 -45 0
|
19
|
+
-9 -14 -15 -31 -32 -41 -45 0
|
20
|
+
-7 9 -16 -32 -42 0
|
21
|
+
-3 -9 -21 -34 -39 -42 0
|
22
|
+
-20 -33 -34 -46 0
|
23
|
+
-11 -29 0
|
24
|
+
-4 -8 -19 -29 39 -40 -46 0
|
25
|
+
-3 -7 -18 -44 0
|
26
|
+
-2 -21 -27 -40 -44 -45 0
|
27
|
+
-9 0
|
28
|
+
-29 -34 -40 -42 -44 0
|
29
|
+
-18 0
|
30
|
+
-1 -3 -23 -34 -41 -42 0
|
31
|
+
-20 -23 0
|
32
|
+
-1 -12 -14 -18 -25 -34 -45 0
|
33
|
+
-5 -36 -42 0
|
34
|
+
28 0
|
35
|
+
-6 -41 -42 0
|
36
|
+
-10 -36 0
|
37
|
+
-2 -18 -35 0
|
38
|
+
-18 -29 -33 39 0
|
39
|
+
-18 -23 -32 0
|
40
|
+
-15 -20 0
|
41
|
+
32 0
|
42
|
+
6 0
|
43
|
+
-4 -18 -26 -35 -38 -43 0
|
44
|
+
-18 -19 -28 -32 -43 0
|
45
|
+
-4 -16 -17 -18 -25 -30 -46 0
|
46
|
+
-12 -28 0
|
47
|
+
-20 -40 0
|
48
|
+
-14 -28 0
|
49
|
+
-8 -12 -16 -22 -25 -38 -44 0
|
50
|
+
-2 -5 -6 8 -20 -30 -35 0
|
51
|
+
-4 -6 -24 -27 0
|
52
|
+
-6 -9 -22 -32 -44 0
|
53
|
+
-7 -43 0
|
54
|
+
-7 -13 -20 -23 -39 0
|
55
|
+
-30 -32 0
|
56
|
+
-12 -36 0
|
57
|
+
-30 -33 -38 0
|
58
|
+
-11 -19 -23 -29 -41 0
|
59
|
+
-7 17 0
|
60
|
+
-10 -12 -13 -36 -44 0
|
61
|
+
-14 -31 0
|
62
|
+
-3 -9 -11 -21 -23 -30 -42 0
|
63
|
+
33 0
|
64
|
+
-5 -9 0
|
65
|
+
-2 -6 -25 -37 0
|
66
|
+
-24 -26 -39 0
|
67
|
+
-3 -12 -32 -41 -45 0
|
68
|
+
14 -42 0
|
69
|
+
11 0
|
70
|
+
-27 -39 -42 0
|
71
|
+
-31 -40 -45 0
|
72
|
+
38 0
|
73
|
+
-2 -6 -12 -16 -27 -37 -39 0
|
74
|
+
-2 -13 -22 -45 0
|
75
|
+
-3 -42 -45 0
|
76
|
+
-21 -28 -45 0
|
77
|
+
-7 -20 -27 -46 0
|
78
|
+
-15 -31 0
|
79
|
+
-20 -22 -28 -29 -32 0
|
80
|
+
-2 -12 -37 0
|
81
|
+
-1 -11 -21 -26 -41 -44 -45 0
|
82
|
+
-17 -24 0
|
83
|
+
-2 -8 -9 -15 -34 -39 0
|
84
|
+
-4 -28 0
|
85
|
+
-3 -14 -18 -24 -34 -42 -44 0
|
86
|
+
-9 -10 -45 0
|
87
|
+
41 0
|
88
|
+
-1 -25 0
|
89
|
+
5 0
|
90
|
+
-10 -22 -27 0
|
91
|
+
-5 -10 -11 -13 -26 0
|
@@ -0,0 +1,92 @@
|
|
1
|
+
p cnf 54 91
|
2
|
+
6 -7 -24 -30 -37 -48 0
|
3
|
+
25 -33 -36 0
|
4
|
+
-21 26 -37 -41 -51 0
|
5
|
+
50 0
|
6
|
+
-10 -13 -15 -18 -25 -38 -50 0
|
7
|
+
-7 -22 -25 -29 -32 -49 -53 0
|
8
|
+
-11 -15 -18 -45 0
|
9
|
+
19 0
|
10
|
+
-5 -21 -32 -35 -37 -50 0
|
11
|
+
-3 -44 -47 -52 0
|
12
|
+
17 0
|
13
|
+
-10 -45 0
|
14
|
+
-10 0
|
15
|
+
-9 -11 -15 -24 -51 0
|
16
|
+
-1 -7 -16 -23 -39 -40 -47 0
|
17
|
+
-4 0
|
18
|
+
-12 -19 -20 -21 -27 33 -54 0
|
19
|
+
-7 -13 -39 -50 -51 -52 0
|
20
|
+
-38 0
|
21
|
+
-11 -16 -18 -25 -31 -37 -40 0
|
22
|
+
-2 -16 -23 -25 -47 48 0
|
23
|
+
13 -23 -24 -26 -31 0
|
24
|
+
-18 -22 -34 -49 -52 0
|
25
|
+
-14 -18 -19 38 -42 0
|
26
|
+
24 0
|
27
|
+
45 0
|
28
|
+
-1 -17 -21 -34 -45 0
|
29
|
+
34 0
|
30
|
+
-2 -5 -25 -26 27 -49 0
|
31
|
+
-11 -14 -43 -52 0
|
32
|
+
-3 -11 -27 -29 -31 -41 0
|
33
|
+
-4 -12 -31 -39 0
|
34
|
+
-4 -7 -11 -18 -26 -32 -49 0
|
35
|
+
-2 -7 -23 -32 -36 0
|
36
|
+
18 0
|
37
|
+
-11 -20 -28 -34 -35 -45 -47 0
|
38
|
+
-9 -18 -30 -43 -49 0
|
39
|
+
-38 -44 0
|
40
|
+
-24 -48 0
|
41
|
+
-8 -14 -25 -26 -36 -40 0
|
42
|
+
-8 -31 36 0
|
43
|
+
14 -33 0
|
44
|
+
-14 -19 0
|
45
|
+
-53 0
|
46
|
+
-4 -17 -22 -28 -30 0
|
47
|
+
-17 -30 -31 35 -39 -52 -54 0
|
48
|
+
-13 -24 52 0
|
49
|
+
-18 -39 -53 0
|
50
|
+
-2 -15 -24 -35 -47 -54 0
|
51
|
+
44 0
|
52
|
+
-12 -17 -19 -32 -45 -48 -54 0
|
53
|
+
-35 -45 0
|
54
|
+
-39 -40 0
|
55
|
+
16 0
|
56
|
+
15 0
|
57
|
+
-9 -11 -14 -32 -36 -39 -49 0
|
58
|
+
-14 37 0
|
59
|
+
21 0
|
60
|
+
28 0
|
61
|
+
-17 -50 0
|
62
|
+
-14 -21 0
|
63
|
+
-30 -41 -48 0
|
64
|
+
-3 -8 -23 -37 -38 -45 0
|
65
|
+
-5 -11 -12 -19 -28 -39 0
|
66
|
+
-14 46 0
|
67
|
+
-7 -8 -46 -48 -50 -52 -54 0
|
68
|
+
-6 -11 -37 -38 -50 -53 0
|
69
|
+
-3 -6 -13 -20 -33 -40 -51 0
|
70
|
+
-2 -17 -49 -50 0
|
71
|
+
-19 -49 0
|
72
|
+
-4 -16 -18 22 -38 -41 0
|
73
|
+
-49 0
|
74
|
+
-4 -9 42 -53 0
|
75
|
+
-22 -27 -29 -47 -48 53 0
|
76
|
+
-1 -16 -30 -34 40 0
|
77
|
+
-5 -12 -24 -38 39 -48 0
|
78
|
+
-37 -41 -45 -50 0
|
79
|
+
-14 -22 -24 -43 0
|
80
|
+
-9 -10 -23 0
|
81
|
+
-3 -10 -11 -16 -29 0
|
82
|
+
-35 -48 0
|
83
|
+
29 -32 -35 -36 -38 0
|
84
|
+
-3 -42 0
|
85
|
+
-1 -25 -29 -51 -54 0
|
86
|
+
-16 -36 -37 -52 0
|
87
|
+
-2 -18 -36 -48 -54 0
|
88
|
+
-3 -26 -36 -51 0
|
89
|
+
-2 -9 -41 -51 0
|
90
|
+
-3 -8 -36 0
|
91
|
+
-30 -42 -50 -51 0
|
92
|
+
-18 -31 -33 -42 -49 0
|