back to table · edit · history · where entries came from · files · download
8729 bytes, as of the version from 2026-10-25 17:24 (current). Recorded here, not run.
{"LAMBDA9": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4]], "LAMBDA10": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4], [0, 0, 0, 0, 1, 2, 2, 2, 2, 4]], "LAMBDA11": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4], [0, 0, 0, 0, 1, 2, 2, 2, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4]], "LAMBDA12": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4], [0, 0, 0, 0, 1, 2, 2, 2, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 4]], "LAMBDA13": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4], [0, 0, 0, 0, 1, 2, 2, 2, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 4], [0, -1, 2, 0, 0, 1, 0, 1, 0, 1, 2, 1, 4]], "LAMBDA14": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4], [0, 0, 0, 0, 1, 2, 2, 2, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 4], [0, -1, 2, 0, 0, 1, 0, 1, 0, 1, 2, 1, 4], [1, 0, 1, 1, 0, 1, -1, 0, 0, 1, 1, 2, 0, 4]], "LAMBDA15": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4], [0, 0, 0, 0, 1, 2, 2, 2, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 4], [0, -1, 2, 0, 0, 1, 0, 1, 0, 1, 2, 1, 4], [1, 0, 1, 1, 0, 1, -1, 0, 0, 1, 1, 2, 0, 4], [1, 0, 1, 1, 0, 2, 1, 2, 0, 2, 1, 2, 2, 2, 4]], "LAMBDA16": [[4], [-2, 4], [0, -2, 4], [0, 2, 0, 4], [0, 0, 0, 2, 4], [0, 0, 2, 2, 2, 4], [0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 2, 2, 4], [0, 0, 0, 0, 2, 1, 0, 0, 4], [0, 0, 0, 0, 1, 2, 2, 2, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 4], [0, -1, 2, 0, 0, 1, 0, 1, 0, 1, 2, 1, 4], [1, 0, 1, 1, 0, 1, -1, 0, 0, 1, 1, 2, 0, 4], [1, 0, 1, 1, 0, 2, 1, 2, 0, 2, 1, 2, 2, 2, 4], [0, 1, 0, 2, 2, 2, 0, 1, 2, 2, 0, 1, 0, 2, 2, 4]], "LAMBDA17": [[4], [2, 4], [0, -2, 4], [0, -2, 0, 4], [0, 0, -2, 0, 4], [-2, -2, 0, 0, 0, 4], [0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 1, -1, 0, 0, 4], [0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4], [1, 0, -1, 1, 1, 0, 0, -1, 1, 1, 0, -1, 4], [-1, -1, 1, -1, 0, 0, 1, 0, 1, 1, -1, 1, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 4], [0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 1, 1, 0, 4], [0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 4]], "LAMBDA18": [[4], [2, 4], [0, -2, 4], [0, -2, 0, 4], [0, 0, -2, 0, 4], [-2, -2, 0, 0, 0, 4], [0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 1, -1, 0, 0, 4], [0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4], [1, 0, -1, 1, 1, 0, 0, -1, 1, 1, 0, -1, 4], [-1, -1, 1, -1, 0, 0, 1, 0, 1, 1, -1, 1, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 4], [0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 1, 1, 0, 4], [0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [1, 0, 0, 1, 0, 0, -1, 0, 1, 0, -1, 1, 1, 0, 0, 0, 1, 4]], "LAMBDA19": [[4], [2, 4], [0, -2, 4], [0, -2, 0, 4], [0, 0, -2, 0, 4], [-2, -2, 0, 0, 0, 4], [0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 1, -1, 0, 0, 4], [0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4], [1, 0, -1, 1, 1, 0, 0, -1, 1, 1, 0, -1, 4], [-1, -1, 1, -1, 0, 0, 1, 0, 1, 1, -1, 1, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 4], [0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 1, 1, 0, 4], [0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [1, 0, 0, 1, 0, 0, -1, 0, 1, 0, -1, 1, 1, 0, 0, 0, 1, 4], [0, 0, 0, -1, 0, 1, 0, -1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 4]], "LAMBDA20": [[4], [2, 4], [0, -2, 4], [0, -2, 0, 4], [0, 0, -2, 0, 4], [-2, -2, 0, 0, 0, 4], [0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 1, -1, 0, 0, 4], [0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4], [1, 0, -1, 1, 1, 0, 0, -1, 1, 1, 0, -1, 4], [-1, -1, 1, -1, 0, 0, 1, 0, 1, 1, -1, 1, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 4], [0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 1, 1, 0, 4], [0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [1, 0, 0, 1, 0, 0, -1, 0, 1, 0, -1, 1, 1, 0, 0, 0, 1, 4], [0, 0, 0, -1, 0, 1, 0, -1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 4], [-1, -1, 1, 0, -1, 1, 0, -1, 0, 1, -1, 1, 0, 1, 0, 0, 1, 1, 0, 4]], "LAMBDA21": [[4], [2, 4], [0, -2, 4], [0, -2, 0, 4], [0, 0, -2, 0, 4], [-2, -2, 0, 0, 0, 4], [0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 1, -1, 0, 0, 4], [0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4], [1, 0, -1, 1, 1, 0, 0, -1, 1, 1, 0, -1, 4], [-1, -1, 1, -1, 0, 0, 1, 0, 1, 1, -1, 1, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 4], [0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 1, 1, 0, 4], [0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [1, 0, 0, 1, 0, 0, -1, 0, 1, 0, -1, 1, 1, 0, 0, 0, 1, 4], [0, 0, 0, -1, 0, 1, 0, -1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 4], [-1, -1, 1, 0, -1, 1, 0, -1, 0, 1, -1, 1, 0, 1, 0, 0, 1, 1, 0, 4], [0, 0, -1, 1, 1, 0, 0, -1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 4]], "LAMBDA22": [[4], [2, 4], [0, -2, 4], [0, -2, 0, 4], [0, 0, -2, 0, 4], [-2, -2, 0, 0, 0, 4], [0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 1, -1, 0, 0, 4], [0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4], [1, 0, -1, 1, 1, 0, 0, -1, 1, 1, 0, -1, 4], [-1, -1, 1, -1, 0, 0, 1, 0, 1, 1, -1, 1, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 4], [0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 1, 1, 0, 4], [0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [1, 0, 0, 1, 0, 0, -1, 0, 1, 0, -1, 1, 1, 0, 0, 0, 1, 4], [0, 0, 0, -1, 0, 1, 0, -1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 4], [-1, -1, 1, 0, -1, 1, 0, -1, 0, 1, -1, 1, 0, 1, 0, 0, 1, 1, 0, 4], [0, 0, -1, 1, 1, 0, 0, -1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 4], [0, 1, -1, -1, 1, -1, 1, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 4]], "LAMBDA23": [[4], [2, 4], [0, -2, 4], [0, -2, 0, 4], [0, 0, -2, 0, 4], [-2, -2, 0, 0, 0, 4], [0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 0, 0, -2, 4], [0, 0, 0, 0, 1, -1, 0, 0, 4], [0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4], [1, 0, -1, 1, 1, 0, 0, -1, 1, 1, 0, -1, 4], [-1, -1, 1, -1, 0, 0, 1, 0, 1, 1, -1, 1, 0, 4], [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 4], [0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 1, 1, 0, 4], [0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 4], [1, 0, 0, 1, 0, 0, -1, 0, 1, 0, -1, 1, 1, 0, 0, 0, 1, 4], [0, 0, 0, -1, 0, 1, 0, -1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 4], [-1, -1, 1, 0, -1, 1, 0, -1, 0, 1, -1, 1, 0, 1, 0, 0, 1, 1, 0, 4], [0, 0, -1, 1, 1, 0, 0, -1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 4], [0, 1, -1, -1, 1, -1, 1, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 4], [0, -1, 0, 1, 0, 1, -1, 1, 0, 1, 0, -1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 4]], "K12": [[4], [0, 4], [0, 0, 4], [-2, 0, 0, 4], [0, -2, 0, 0, 4], [0, 0, -2, 0, 0, 4], [2, 2, 2, -1, -1, -1, 4], [-1, -1, 2, -1, 2, -1, 0, 4], [-1, -1, 2, 2, -1, -1, 0, 0, 4], [-1, -1, -1, 2, 2, 2, -2, 0, 0, 4], [2, -1, -1, -1, -1, 2, 0, -2, 0, 0, 4], [-1, 2, -1, -1, -1, 2, 0, 0, -2, 0, 0, 4]], "Leech": [[8], [4, 4], [4, 2, 4], [4, 2, 2, 4], [4, 2, 2, 2, 4], [4, 2, 2, 2, 2, 4], [4, 2, 2, 2, 2, 2, 4], [2, 2, 2, 2, 2, 2, 2, 4], [4, 2, 2, 2, 2, 2, 2, 1, 4], [4, 2, 2, 2, 2, 2, 2, 1, 2, 4], [4, 2, 2, 2, 2, 2, 2, 1, 2, 2, 4], [2, 2, 2, 2, 1, 1, 1, 2, 2, 2, 2, 4], [4, 2, 2, 2, 2, 2, 2, 1, 2, 2, 2, 1, 4], [2, 2, 1, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, 4], [2, 1, 2, 1, 2, 1, 2, 2, 2, 1, 2, 2, 2, 2, 4], [2, 1, 1, 2, 2, 1, 1, 2, 2, 1, 1, 2, 2, 2, 2, 4], [4, 2, 2, 2, 2, 2, 2, 1, 2, 2, 2, 1, 2, 1, 1, 1, 4], [2, 1, 2, 1, 2, 1, 1, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 4], [2, 1, 1, 2, 2, 2, 1, 2, 2, 1, 2, 2, 1, 2, 2, 2, 2, 2, 4], [2, 2, 1, 1, 2, 1, 2, 2, 2, 1, 1, 2, 1, 2, 2, 2, 2, 2, 2, 4], [0, 1, 1, 1, 1, 0, 0, 2, 1, 0, 0, 2, 1, 2, 2, 2, 1, 2, 2, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 2, 1, 1, 1, 2, 1, 1, 2, 4], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 2, 4], [-3, -1, -1, -1, -1, -1, -1, 1, -1, -1, -1, 1, -1, 1, 1, 1, -1, 1, 1, 1, 2, 2, 2, 4]]}