18d2d7b941716713a3f1388b5021b2a54102f61b
-rw-r--r-- 44930 game.js
-rw-r--r-- 928 problemSummary.js
-rw-r--r-- 4065 problems.js
-rw-r--r-- 677 rules.js
-rw-r--r-- 482 variantSummary.js