fork download
  1. def compress(rows):
  2. columns = list(zip(*rows))
  3. size = len(rows)
  4. symbols = range(size)
  5. output = size - 1
  6. weight = 25
  7. for i in symbols:
  8. for j in symbols:
  9. choices = set(rows[i][j:]) & set(columns[j][i:])
  10. output += weight * sorted(choices).index(rows[i][j])
  11. weight *= len(choices)
  12. return bin(output + 1)[3:]
  13.  
  14. def decompress(bitstring):
  15. number = int('1' + bitstring, 2) - 1
  16. number, size = divmod(number, 25)
  17. size += 1
  18. symbols = range(size)
  19. rows = [[None] * size for _ in symbols]
  20. columns = [list(column) for column in zip(*rows)]
  21. for i in symbols:
  22. for j in symbols:
  23. choices = set(symbols) - set(rows[i]) - set(columns[j])
  24. number, index = divmod(number, len(choices))
  25. rows[i][j] = columns[j][i] = sorted(choices)[index]
  26. return rows
  27.  
  28. score = 0
  29.  
  30. for line in open(0).read().split():
  31. rows = eval(line)
  32. bitstring = compress(rows)
  33. score += len(bitstring)
  34. assert decompress(bitstring) == rows
  35.  
  36. print('%g bits (%.7g bytes)' % (score, score / 8))
Success #stdin #stdout 0.07s 9984KB
stdin
[[0]]
[[0,1],[1,0]]
[[2,0,1],[0,1,2],[1,2,0]]
[[3,2,1,0],[0,1,2,3],[2,0,3,1],[1,3,0,2]]
[[2,4,0,3,1],[4,1,2,0,3],[1,2,3,4,0],[0,3,1,2,4],[3,0,4,1,2]]
[[4,5,3,0,2,1],[5,2,4,1,0,3],[1,0,2,3,4,5],[3,4,1,2,5,0],[2,1,0,5,3,4],[0,3,5,4,1,2]]
[[2,3,1,0,4,6,5],[5,4,3,6,1,0,2],[1,6,4,5,0,2,3],[0,2,6,4,5,3,1],[6,1,5,3,2,4,0],[3,0,2,1,6,5,4],[4,5,0,2,3,1,6]]
[[7,1,5,4,2,6,3,0],[5,2,4,6,7,0,1,3],[4,3,2,1,0,5,7,6],[2,5,6,7,3,1,0,4],[6,7,0,2,4,3,5,1],[3,6,1,0,5,4,2,7],[0,4,7,3,1,2,6,5],[1,0,3,5,6,7,4,2]]
[[6,3,1,0,7,5,8,4,2],[1,4,2,7,3,0,6,8,5],[0,5,8,2,6,4,3,7,1],[2,8,7,4,0,6,5,1,3],[4,1,6,3,2,8,7,5,0],[7,2,3,5,8,1,4,0,6],[5,6,4,8,1,2,0,3,7],[3,0,5,6,4,7,1,2,8],[8,7,0,1,5,3,2,6,4]]
[[7,1,8,5,2,6,0,4,3,9],[9,4,6,7,0,2,1,3,8,5],[2,8,4,3,9,0,5,7,6,1],[4,9,3,1,6,7,8,5,2,0],[3,6,5,0,4,1,7,2,9,8],[6,0,7,2,5,9,4,8,1,3],[5,7,1,9,8,3,6,0,4,2],[0,3,2,6,7,8,9,1,5,4],[1,5,0,8,3,4,2,9,7,6],[8,2,9,4,1,5,3,6,0,7]]
[[6,10,7,4,5,0,3,8,1,2,9],[7,8,10,1,6,4,0,9,5,3,2],[2,9,5,3,10,8,1,0,7,4,6],[9,4,8,10,3,6,7,1,2,0,5],[10,0,6,9,7,5,2,4,3,1,8],[0,6,3,5,1,2,8,7,10,9,4],[8,1,2,7,0,3,9,5,4,6,10],[1,5,4,8,9,10,6,2,0,7,3],[5,3,9,0,2,1,4,6,8,10,7],[3,2,1,6,4,7,5,10,9,8,0],[4,7,0,2,8,9,10,3,6,5,1]]
[[8,1,3,9,10,6,5,11,4,2,7,0],[4,3,10,0,9,8,2,6,7,1,5,11],[6,11,4,1,8,9,0,5,2,10,3,7],[1,8,6,5,7,4,11,0,9,3,2,10],[7,2,0,6,11,5,4,3,10,8,9,1],[9,5,7,10,1,11,6,2,3,0,4,8],[0,9,5,2,4,7,10,1,8,6,11,3],[3,7,2,8,0,10,1,9,5,11,6,4],[11,0,1,7,5,2,3,10,6,4,8,9],[10,4,9,3,2,1,8,7,11,5,0,6],[2,10,8,11,6,3,7,4,0,9,1,5],[5,6,11,4,3,0,9,8,1,7,10,2]]
[[2,1,9,7,5,11,3,12,6,8,4,10,0],[5,10,6,11,9,2,0,1,8,7,12,3,4],[9,0,12,3,2,5,6,10,7,4,11,8,1],[1,8,3,2,10,12,7,4,11,5,0,9,6],[10,7,0,8,12,1,11,6,4,9,3,5,2],[12,2,4,9,8,10,5,7,1,0,6,11,3],[8,6,11,12,4,0,9,5,2,3,7,1,10],[4,11,10,0,1,6,8,2,3,12,9,7,5],[0,5,7,1,11,4,2,3,12,10,8,6,9],[7,4,1,10,3,9,12,8,0,6,5,2,11],[3,9,5,6,7,8,4,11,10,1,2,0,12],[6,3,2,4,0,7,1,9,5,11,10,12,8],[11,12,8,5,6,3,10,0,9,2,1,4,7]]
[[10,8,3,9,2,11,4,13,1,0,6,5,7,12],[5,3,6,4,1,0,12,8,13,7,2,9,10,11],[6,1,2,10,8,13,7,12,5,4,11,3,0,9],[12,4,0,7,5,8,11,2,9,10,3,13,6,1],[0,6,1,3,12,9,5,7,4,13,10,8,11,2],[8,12,7,11,4,2,6,10,3,9,0,1,13,5],[9,11,8,2,13,7,10,5,0,1,12,6,4,3],[3,10,13,1,9,12,8,0,7,11,4,2,5,6],[7,13,12,8,11,6,2,3,10,5,9,0,1,4],[4,2,5,12,0,10,9,1,6,8,7,11,3,13],[13,7,10,0,6,3,1,11,2,12,5,4,9,8],[1,5,9,13,3,4,0,6,11,2,8,10,12,7],[11,0,4,6,7,5,13,9,8,3,1,12,2,10],[2,9,11,5,10,1,3,4,12,6,13,7,8,0]]
[[0,3,12,14,8,10,4,2,7,6,9,13,11,1,5],[12,11,8,1,5,2,7,14,6,13,10,9,4,0,3],[9,12,14,11,0,13,1,8,2,4,7,10,3,5,6],[6,0,7,12,2,11,3,9,10,8,14,1,5,4,13],[10,1,11,9,13,8,5,3,4,7,0,12,2,6,14],[8,14,1,7,4,5,10,12,0,3,11,6,13,2,9],[2,13,3,4,12,0,6,10,8,14,5,11,1,9,7],[1,7,5,10,11,14,0,13,3,9,8,4,6,12,2],[7,10,4,2,6,1,14,5,9,12,13,0,8,3,11],[14,6,0,13,3,9,12,7,1,2,4,5,10,11,8],[13,5,10,8,9,6,11,4,12,1,2,3,14,7,0],[5,4,9,0,1,7,8,6,14,11,3,2,12,13,10],[11,2,6,3,10,12,9,0,13,5,1,8,7,14,4],[3,8,13,5,7,4,2,1,11,0,6,14,9,10,12],[4,9,2,6,14,3,13,11,5,10,12,7,0,8,1]]
[[2,7,8,9,15,4,11,13,1,5,14,6,12,10,3,0],[4,6,11,7,3,14,12,1,15,10,13,0,8,5,2,9],[0,14,4,1,7,12,13,10,5,11,15,8,3,9,6,2],[1,0,6,4,12,2,8,7,13,15,3,9,10,11,5,14],[14,9,13,8,11,10,2,5,7,1,0,4,15,3,12,6],[6,3,1,14,9,0,10,11,2,4,8,5,7,13,15,12],[5,10,9,3,6,7,0,15,11,14,12,1,2,8,13,4],[10,2,5,11,14,8,15,12,0,9,4,3,6,1,7,13],[15,13,3,2,10,9,14,8,4,0,6,7,11,12,1,5],[12,8,15,6,2,5,3,4,14,7,9,11,13,0,10,1],[3,5,7,12,0,6,4,2,9,13,10,14,1,15,11,8],[11,15,14,10,5,13,6,0,12,3,1,2,9,4,8,7],[13,1,0,15,8,3,9,14,10,6,7,12,5,2,4,11],[9,12,2,13,4,1,5,6,3,8,11,10,0,7,14,15],[7,4,12,0,13,11,1,3,8,2,5,15,14,6,9,10],[8,11,10,5,1,15,7,9,6,12,2,13,4,14,0,3]]
[[1,9,5,2,10,4,0,8,14,16,12,3,6,7,11,13,15],[11,1,15,6,14,0,8,5,12,9,2,10,4,13,16,7,3],[14,3,9,4,12,6,15,7,2,5,8,1,10,16,13,0,11],[7,4,16,12,0,15,11,2,8,13,3,9,5,1,10,6,14],[8,12,2,7,15,16,1,13,10,6,9,11,0,14,5,3,4],[13,6,10,1,7,5,3,11,0,8,14,4,2,9,15,12,16],[5,0,12,9,8,1,16,3,4,15,6,14,13,11,7,10,2],[16,2,13,15,5,8,7,14,3,12,1,6,11,10,4,9,0],[15,5,3,14,6,11,9,10,13,4,16,8,12,2,0,1,7],[10,8,7,11,13,9,6,15,16,1,4,2,14,0,3,5,12],[2,14,8,13,1,3,10,4,11,7,5,0,15,6,12,16,9],[9,10,0,8,3,12,5,1,15,11,7,13,16,4,14,2,6],[12,16,4,10,11,2,13,6,7,3,0,5,9,15,8,14,1],[3,13,6,0,2,7,4,12,5,14,15,16,1,8,9,11,10],[4,11,1,3,9,10,14,16,6,0,13,7,8,12,2,15,5],[0,7,11,16,4,14,12,9,1,2,10,15,3,5,6,8,13],[6,15,14,5,16,13,2,0,9,10,11,12,7,3,1,4,8]]
[[5,14,7,0,6,15,1,9,13,4,8,10,17,3,11,12,16,2],[14,11,2,13,3,10,5,12,6,9,17,16,4,8,15,7,1,0],[8,3,1,2,10,14,15,5,0,16,13,17,7,4,6,11,9,12],[11,8,17,9,16,0,4,3,5,10,7,13,12,2,1,15,14,6],[1,12,11,8,9,3,7,2,16,15,6,4,5,0,14,17,10,13],[4,16,15,10,1,13,11,17,14,5,3,7,6,12,0,8,2,9],[10,1,16,17,5,6,12,14,4,7,15,0,13,9,8,2,11,3],[3,13,0,15,8,4,16,6,17,12,2,14,11,1,9,5,7,10],[7,5,8,11,15,12,0,13,2,14,9,1,10,6,3,16,17,4],[6,9,4,16,0,1,2,15,3,11,10,12,14,5,17,13,8,7],[15,17,13,6,14,5,8,0,9,3,4,11,2,16,7,10,12,1],[13,10,14,7,17,2,9,1,12,0,16,5,8,11,4,3,6,15],[0,2,6,5,11,16,10,7,8,17,1,15,3,13,12,9,4,14],[2,7,9,4,12,17,3,8,1,13,11,6,16,15,10,14,0,5],[17,15,5,3,4,11,14,16,10,6,12,9,0,7,2,1,13,8],[12,0,10,14,2,9,6,11,7,1,5,8,15,17,13,4,3,16],[16,4,12,1,7,8,13,10,11,2,0,3,9,14,5,6,15,17],[9,6,3,12,13,7,17,4,15,8,14,2,1,10,16,0,5,11]]
[[5,9,18,17,8,2,0,13,1,4,15,14,7,16,3,12,6,10,11],[7,18,2,13,0,11,17,10,8,1,16,9,3,6,12,15,5,4,14],[14,3,1,0,17,13,5,6,7,11,12,4,15,8,18,10,9,2,16],[17,14,15,6,11,8,13,18,12,3,0,5,1,2,10,16,4,7,9],[3,4,12,11,7,15,16,5,9,17,13,8,2,10,6,1,14,18,0],[8,6,11,14,18,7,10,12,13,15,1,16,4,9,5,0,2,17,3],[4,15,10,18,12,14,7,3,2,9,17,1,11,0,16,6,13,5,8],[0,11,13,2,4,6,15,8,5,7,18,17,16,12,14,3,10,9,1],[13,7,0,8,16,18,2,9,6,14,10,3,12,5,1,17,15,11,4],[2,0,7,9,6,1,4,15,18,16,5,10,8,3,17,14,11,13,12],[9,17,16,12,5,0,3,4,14,8,11,2,10,1,7,13,18,6,15],[18,16,5,7,1,10,8,14,0,12,9,13,6,17,11,4,3,15,2],[11,2,17,16,15,5,18,0,10,6,4,12,14,7,9,8,1,3,13],[10,8,3,1,2,16,9,11,4,18,6,15,13,14,0,5,17,12,7],[6,5,9,4,10,12,14,1,17,13,3,7,0,15,2,11,16,8,18],[12,1,8,15,9,3,6,16,11,10,2,18,5,13,4,7,0,14,17],[15,13,4,5,3,9,12,17,16,0,14,6,18,11,8,2,7,1,10],[1,12,14,10,13,4,11,2,3,5,7,0,17,18,15,9,8,16,6],[16,10,6,3,14,17,1,7,15,2,8,11,9,4,13,18,12,0,5]]
[[0,5,16,11,1,4,10,14,9,6,3,8,7,19,15,12,13,18,2,17],[1,10,3,6,2,13,9,0,18,7,4,17,16,12,14,11,8,5,19,15],[4,14,7,2,9,16,12,18,15,1,19,6,3,17,5,13,0,10,8,11],[17,1,9,5,6,0,14,10,11,8,7,16,12,13,2,19,18,15,3,4],[19,12,6,0,16,5,8,3,13,9,10,11,4,18,17,15,7,2,1,14],[14,19,18,16,17,3,15,9,8,13,1,7,5,11,0,2,12,6,4,10],[11,9,14,15,7,10,5,13,17,2,18,12,8,0,19,3,4,1,6,16],[9,6,4,12,18,19,17,8,14,16,2,5,11,15,10,7,1,3,13,0],[13,17,12,9,0,7,16,1,3,15,14,2,18,4,6,8,10,11,5,19],[8,7,1,4,3,15,19,12,5,17,6,0,10,9,16,18,2,14,11,13],[7,16,10,17,4,11,0,19,12,3,5,14,6,2,8,9,15,13,18,1],[12,4,0,13,19,1,2,11,6,14,8,10,17,3,9,16,5,7,15,18],[5,18,11,14,15,2,7,6,10,4,16,9,13,1,3,0,17,19,12,8],[16,2,5,18,11,8,4,17,19,0,15,1,14,10,13,6,3,12,9,7],[3,8,13,1,12,18,6,15,2,10,9,19,0,16,11,17,14,4,7,5],[10,3,2,19,13,14,11,16,7,5,0,18,15,8,4,1,6,9,17,12],[2,15,8,10,14,9,13,5,0,18,12,3,19,7,1,4,11,17,16,6],[15,0,19,7,5,12,3,4,16,11,17,13,1,6,18,10,9,8,14,2],[18,11,17,8,10,6,1,2,4,12,13,15,9,5,7,14,19,16,0,3],[6,13,15,3,8,17,18,7,1,19,11,4,2,14,12,5,16,0,10,9]]
[[10,8,13,16,14,4,7,5,18,11,9,2,3,0,12,1,17,20,15,19,6],[5,3,19,2,8,7,16,13,4,0,1,11,17,18,14,10,9,12,6,15,20],[1,2,12,13,16,15,19,18,8,20,7,14,10,9,11,3,4,6,0,5,17],[9,13,10,5,12,0,2,15,20,17,19,6,14,3,8,7,11,16,4,1,18],[20,4,3,19,1,13,15,12,10,7,6,17,18,5,2,16,14,11,8,0,9],[19,11,17,6,2,12,8,14,3,4,18,5,15,10,16,9,13,7,1,20,0],[18,16,4,17,5,10,11,7,19,3,20,12,9,15,1,6,0,13,2,8,14],[7,0,9,12,13,18,5,17,16,6,8,1,20,19,15,11,10,14,3,4,2],[15,14,8,1,6,11,20,10,12,2,13,3,16,7,0,4,19,9,18,17,5],[12,6,2,4,18,3,0,9,11,14,10,8,5,20,19,13,1,15,17,7,16],[3,1,7,10,17,14,6,4,13,19,5,15,0,16,9,12,20,2,11,18,8],[8,5,6,14,9,20,13,0,15,18,3,4,7,1,17,19,2,10,16,12,11],[11,7,1,18,0,6,9,2,17,10,4,16,19,14,20,15,12,8,5,3,13],[14,20,15,7,3,16,1,11,2,13,0,10,4,6,5,17,8,18,19,9,12],[17,19,0,15,7,9,18,16,14,8,12,20,11,4,3,5,6,1,13,2,10],[13,15,5,11,20,19,10,3,1,16,14,0,8,12,4,2,18,17,9,6,7],[2,10,20,8,15,17,3,19,0,9,16,7,12,13,6,18,5,4,14,11,1],[6,18,14,3,19,2,12,20,5,15,11,9,1,17,13,8,16,0,7,10,4],[16,17,18,0,11,1,4,6,9,12,15,19,2,8,10,14,7,5,20,13,3],[4,9,11,20,10,5,14,8,6,1,17,18,13,2,7,0,15,3,12,16,19],[0,12,16,9,4,8,17,1,7,5,2,13,6,11,18,20,3,19,10,14,15]]
[[1,18,11,17,15,6,2,7,20,5,19,10,12,16,4,14,21,9,13,8,3,0],[11,5,8,18,2,3,6,19,17,0,7,12,21,9,15,13,4,20,1,10,14,16],[5,2,1,15,21,13,14,3,7,17,12,6,4,10,16,0,8,18,11,9,19,20],[7,1,5,9,14,2,11,4,10,15,16,13,18,12,6,21,20,19,8,3,0,17],[0,21,15,16,6,14,19,2,4,13,9,7,20,8,18,11,3,17,12,1,5,10],[8,12,2,14,7,16,18,0,19,20,4,1,15,6,3,9,10,11,21,17,13,5],[13,6,21,20,8,19,17,10,1,14,2,16,5,3,7,15,11,12,0,18,4,9],[14,4,16,7,17,8,20,1,15,21,10,18,19,13,12,6,9,5,3,0,2,11],[20,13,18,10,19,4,8,14,12,3,17,9,16,11,0,7,5,1,6,2,21,15],[10,0,14,11,13,18,1,15,3,19,21,2,8,17,9,4,6,16,7,5,20,12],[9,16,6,1,12,0,4,13,2,18,5,8,11,21,17,3,15,14,20,19,10,7],[4,11,10,6,5,17,9,12,14,16,0,15,2,20,1,19,13,8,18,21,7,3],[21,19,12,2,11,10,5,6,0,4,3,20,14,18,13,17,1,7,9,15,16,8],[3,17,7,4,1,20,0,21,6,12,14,11,9,19,10,18,16,15,5,13,8,2],[12,7,3,21,0,15,16,11,18,9,8,14,1,5,2,10,19,4,17,20,6,13],[17,15,9,8,3,1,7,5,16,6,11,19,13,4,21,20,0,10,2,14,12,18],[2,14,13,5,16,11,3,8,9,7,1,0,6,15,20,12,18,21,10,4,17,19],[6,9,19,12,4,5,21,18,13,1,20,3,10,0,8,16,17,2,15,7,11,14],[18,10,17,3,20,7,12,9,11,8,6,4,0,14,5,1,2,13,19,16,15,21],[15,3,20,19,10,12,13,16,8,2,18,21,17,1,14,5,7,0,4,11,9,6],[19,8,4,0,9,21,15,20,5,10,13,17,3,7,11,2,14,6,16,12,18,1],[16,20,0,13,18,9,10,17,21,11,15,5,7,2,19,8,12,3,14,6,1,4]]
[[13,14,8,7,22,18,4,21,6,0,17,16,20,9,1,15,10,11,19,12,5,2,3],[16,0,5,8,6,22,10,19,2,18,12,4,1,20,13,7,11,9,21,17,3,14,15],[14,10,19,22,15,3,2,8,7,1,9,5,6,21,11,12,4,16,17,20,13,0,18],[2,4,16,17,10,0,12,7,21,22,18,14,9,1,8,6,19,20,3,5,15,11,13],[9,15,14,21,18,10,8,11,1,17,20,2,22,4,16,19,6,3,5,13,0,12,7],[5,21,11,20,3,19,14,0,9,4,22,18,8,15,7,16,13,10,12,2,1,6,17],[21,5,18,2,17,8,19,10,4,7,14,0,3,6,12,20,1,13,22,9,11,15,16],[22,20,7,11,9,12,17,13,3,2,10,19,14,5,15,8,0,18,16,6,4,21,1],[8,9,0,3,1,14,20,12,10,5,2,15,18,7,6,13,21,19,4,22,16,17,11],[1,13,4,16,12,21,6,3,19,10,7,22,5,11,0,18,17,2,9,15,20,8,14],[15,3,9,19,7,6,11,1,12,16,4,21,10,13,5,22,14,8,18,0,17,20,2],[17,6,3,5,20,16,13,4,22,15,1,7,11,12,14,10,2,0,8,19,21,18,9],[20,16,17,1,14,15,7,2,5,13,21,9,0,8,22,4,18,6,11,3,12,10,19],[7,11,13,9,2,1,3,22,20,14,16,17,15,19,18,0,12,21,10,8,6,5,4],[0,8,2,12,4,11,15,16,17,20,3,6,19,18,21,9,22,5,13,14,7,1,10],[6,1,12,13,11,9,0,5,14,19,8,20,21,10,17,3,15,7,2,16,18,4,22],[10,18,22,15,19,17,1,6,11,21,0,12,13,14,2,5,16,4,20,7,9,3,8],[11,22,20,4,13,7,16,9,18,6,15,1,17,0,3,2,8,12,14,21,10,19,5],[12,2,10,0,5,20,18,15,16,8,13,3,4,17,9,21,7,14,1,11,19,22,6],[18,7,1,14,16,5,9,20,0,11,19,8,12,22,10,17,3,15,6,4,2,13,21],[4,19,15,10,21,2,22,18,8,9,6,13,16,3,20,11,5,17,0,1,14,7,12],[3,17,6,18,0,4,21,14,13,12,5,11,7,2,19,1,9,22,15,10,8,16,20],[19,12,21,6,8,13,5,17,15,3,11,10,2,16,4,14,20,1,7,18,22,9,0]]
[[4,6,2,13,0,1,3,22,5,9,11,20,8,10,23,15,7,16,14,19,21,12,18,17],[22,10,4,14,9,5,6,15,19,20,3,7,1,8,13,0,21,12,16,11,17,23,2,18],[1,18,11,23,7,17,4,5,22,8,14,16,19,3,15,20,13,6,10,21,0,2,12,9],[2,19,8,21,17,20,13,4,1,22,5,6,12,9,16,10,18,23,11,14,15,3,0,7],[21,0,14,12,18,23,16,6,13,10,8,2,4,22,3,1,11,19,15,7,5,9,17,20],[10,13,21,3,14,16,12,19,9,23,2,18,22,6,20,7,15,11,0,17,1,4,8,5],[3,22,9,6,20,13,2,10,0,1,7,17,16,12,4,8,19,5,18,23,11,14,21,15],[7,4,15,16,12,2,10,8,17,0,1,23,11,19,21,3,9,20,22,5,18,13,14,6],[13,16,18,1,23,22,14,7,15,12,20,10,21,11,17,2,6,3,19,4,9,0,5,8],[19,14,20,18,10,8,5,23,21,3,15,13,2,0,22,9,12,17,4,1,16,7,6,11],[6,11,17,2,8,12,22,20,14,15,10,3,9,5,7,4,0,18,1,13,23,16,19,21],[9,8,5,4,3,7,11,0,18,21,6,19,17,23,1,13,14,15,12,22,20,10,16,2],[5,23,0,17,1,9,7,3,6,13,4,21,10,18,12,19,16,22,8,20,2,11,15,14],[17,12,7,22,4,6,19,14,11,2,16,9,15,13,10,18,5,8,23,0,3,21,20,1],[18,20,22,10,6,21,9,13,16,4,23,5,7,15,2,17,1,0,3,12,14,8,11,19],[23,3,19,20,15,11,0,16,10,5,13,14,18,1,9,12,17,2,21,8,7,6,22,4],[16,1,23,9,2,18,15,12,8,17,19,0,6,20,14,11,22,21,7,10,4,5,3,13],[20,2,6,7,11,15,1,17,23,14,0,8,13,21,19,16,3,4,5,9,22,18,10,12],[11,5,3,8,21,19,23,18,4,6,12,15,14,7,0,22,2,1,20,16,13,17,9,10],[8,21,1,5,13,3,20,11,12,16,17,4,0,14,18,6,23,9,2,15,10,19,7,22],[14,17,12,11,19,0,8,1,20,7,18,22,3,4,5,21,10,13,9,2,6,15,23,16],[0,7,13,15,16,14,21,9,2,19,22,1,5,17,11,23,8,10,6,18,12,20,4,3],[12,15,16,0,5,10,17,21,3,18,9,11,20,2,8,14,4,7,13,6,19,22,1,23],[15,9,10,19,22,4,18,2,7,11,21,12,23,16,6,5,20,14,17,3,8,1,13,0]]
[[14,18,1,5,4,19,11,15,2,16,9,17,3,20,12,10,21,22,13,0,8,23,24,7,6],[3,14,9,10,1,18,15,22,21,6,7,23,2,13,0,12,11,24,20,16,5,4,8,19,17],[16,10,12,8,23,17,20,14,0,22,15,1,9,18,21,24,3,2,5,13,7,19,4,6,11],[6,4,20,14,13,2,5,9,19,10,12,18,21,7,16,0,1,17,15,23,11,8,3,24,22],[17,12,15,7,3,10,23,0,5,14,24,13,6,16,11,8,20,1,9,22,4,21,19,18,2],[10,24,13,17,18,16,0,20,15,1,5,21,23,9,19,4,6,11,2,8,22,14,7,3,12],[15,1,19,13,2,5,6,21,18,11,20,3,8,23,7,9,17,16,4,24,10,22,12,0,14],[8,20,6,18,15,23,10,16,22,17,3,19,7,1,13,5,0,12,14,4,21,2,11,9,24],[23,22,21,11,17,12,8,2,24,5,0,9,10,3,14,6,15,7,18,19,1,20,16,13,4],[4,15,16,6,14,7,3,19,20,13,11,10,0,24,2,17,8,23,12,1,9,5,18,22,21],[0,11,14,3,6,9,22,24,23,18,13,4,12,21,10,7,2,19,8,17,15,16,1,20,5],[1,5,17,15,8,20,4,6,11,19,18,14,16,12,3,22,7,21,0,2,24,9,13,23,10],[19,7,22,1,10,14,24,12,17,4,8,11,5,0,6,20,23,13,21,18,16,3,9,2,15],[18,23,0,2,21,24,1,13,4,7,10,12,15,17,9,14,16,5,22,6,3,11,20,8,19],[24,3,8,22,12,1,13,23,9,2,6,7,11,10,5,15,14,4,19,20,17,18,0,21,16],[22,9,11,19,0,13,16,18,7,15,21,2,14,6,8,3,4,10,1,12,23,24,17,5,20],[20,0,7,9,5,4,2,11,10,21,19,22,24,14,1,18,12,8,16,3,13,17,6,15,23],[13,17,4,20,11,6,12,1,3,9,22,5,19,2,24,16,10,0,23,7,18,15,21,14,8],[21,8,10,24,7,22,19,3,13,20,1,15,4,5,23,2,18,9,17,11,12,6,14,16,0],[11,21,5,23,16,0,18,17,12,3,4,6,20,8,22,1,9,14,24,15,19,7,2,10,13],[12,13,3,0,24,11,9,7,16,23,17,8,1,19,15,21,22,20,6,14,2,10,5,4,18],[5,2,24,12,9,3,14,4,8,0,16,20,13,22,17,23,19,18,10,21,6,1,15,11,7],[9,19,2,16,20,21,7,10,6,8,23,0,17,4,18,11,24,15,3,5,14,13,22,12,1],[7,16,23,21,22,8,17,5,14,12,2,24,18,15,4,19,13,6,11,9,20,0,10,1,3],[2,6,18,4,19,15,21,8,1,24,14,16,22,11,20,13,5,3,7,10,0,12,23,17,9]]
stdout
10772 bits (1346.5 bytes)