fork download
  1. def genNum(num):
  2. dic = {
  3. 6: "(1+1+1)!",
  4. 24: "(1+1+1+1)!",
  5. 120: "((1+1+1)!-1)!",
  6. 720: "((1+1+1)!)!",
  7. 5040: "((1+1+1)!+1)!",
  8. 40320: "((1+1+1)!+1+1)!",
  9. 362880: "(11-1-1)!",
  10. 39916800: "(11)!",
  11. 479001600: "(11+1)!",
  12. 6227020800: "(11+1+1)!"
  13. }
  14.  
  15. lis = [6227020800,479001600,39916800,362880,40320,5040,720,120,24,6]
  16. out = ""
  17.  
  18. for i in lis:
  19. if num/i >= 1:
  20. st = dic[i] + "*(" + genNum(num // i) + ")"
  21. out += st
  22.  
  23. if num%i != 0:
  24. out += "+" + genNum(num%i)
  25.  
  26. return out
  27.  
  28. else:
  29. st = "1+"*num
  30.  
  31. return st[:-1]
  32.  
  33. nums = [945536, 16878234, 32608778, 42017515, 48950830, 51483452, 52970263, 54278649, 63636656, 78817406, 89918907, 90757642, 95364861, 102706605, 113965374, 122448605, 126594161, 148064959, 150735075, 154382918, 172057472, 192280850, 194713795, 207721209, 220946392, 225230299, 227043979, 241011012, 248906099, 249796314, 250546528, 258452706, 276862988, 277140688, 280158490, 286074562, 308946627, 310972897, 322612091, 324445400, 336060042, 346729632, 349428326, 352769482, 363039453, 363851029, 392168304, 401975104, 407890409, 407971913, 425780757, 459441559, 465592122, 475898732, 482826596, 484263150, 506235403, 548951531, 554295842, 580536366, 587051904, 588265985, 588298051, 590968352, 601194306, 607771869, 618578932, 626776380, 667919873, 681786366, 689854904, 692055400, 697665495, 711608194, 734027104, 750869335, 757710567, 759967747, 777616154, 830071127, 833809927, 835873060, 836438554, 836945593, 863728236, 864158514, 871273503, 881615667, 891619600, 897181691, 918159061, 920521050, 924502226, 929983535, 943162304, 950210939, 950214176, 962610357, 974842859, 988572832]
  34. arr = []
  35.  
  36. for x in nums:
  37. output = genNum(x)
  38. arr += [output]
  39. print(str(x)+":\n"+output+"\n")
  40.  
  41. s = ''.join(arr)
  42.  
  43. print(len(s))
  44. p=s.count('1')
  45. print(p,len(s)-p)
Success #stdin #stdout 0.01s 9992KB
stdin
Standard input is empty
stdout
945536:
(11-1-1)!*(1+1)+((1+1+1)!+1+1)!*(1+1+1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1

16878234:
(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)

32608778:
(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+1+1

42017515:
(11)!*(1)+(11-1-1)!*(1+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)+1

48950830:
(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1))+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1+1+1+1

51483452:
(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1)+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1+1

52970263:
(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1)+1+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1

54278649:
(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1)+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1+1)+((1+1+1)!+1)!*(1)+((1+1+1)!)!*(1+1+1+1)+(1+1+1)!*(1)+1+1+1

63636656:
(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1

78817406:
(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1

89918907:
(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1)+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1)+1+1+1

90757642:
(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1))+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1+1

95364861:
(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1+1))+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1)!*(1+1+1)+1+1+1

102706605:
(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)+1+1+1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*(1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)+1+1+1

113965374:
(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1+1+1+1)+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*(1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)

122448605:
(11)!*(1+1+1)+(11-1-1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1)+1+1+1+1+1

126594161:
(11)!*(1+1+1)+(11-1-1)!*((1+1+1)!*(1+1+1))+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1)+1+1+1+1+1

148064959:
(11)!*(1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1))+((1+1+1)!+1)!*(1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1

150735075:
(11)!*(1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1+1)+1+1+1

154382918:
(11)!*(1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1)+1+1

172057472:
(11)!*(1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1)+1+1

192280850:
(11)!*(1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1)+1+1

194713795:
(11)!*(1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1))+((1+1+1)!+1+1)!*(1+1+1+1+1)+((1+1+1)!+1)!*(1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)+1

207721209:
(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1)!*(1+1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1+1

220946392:
(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1)+1+1+1+1

225230299:
(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1)!*(1+1+1)+1

227043979:
(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1)!*(1+1+1)+1

241011012:
(11)!*((1+1+1)!*(1))+(11-1-1)!*(1+1+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1)!*(1+1)

248906099:
(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1)+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1+1+1+1

249796314:
(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)

250546528:
(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1))+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1

258452706:
(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1)+((1+1+1)!)!*(1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)

276862988:
(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1))+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1+1

277140688:
(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*(1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1

280158490:
(11)!*((1+1+1)!*(1)+1)+(11-1-1)!*(1+1)+((1+1+1)!+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1+1

286074562:
(11)!*((1+1+1)!*(1)+1)+(11-1-1)!*((1+1+1)!*(1+1+1))+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1+1

308946627:
(11)!*((1+1+1)!*(1)+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1)+1+1+1

310972897:
(11)!*((1+1+1)!*(1)+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+1

322612091:
(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1)!*(1)+1+1+1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1)!*(1)+1+1+1+1+1

324445400:
(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1)!*(1+1)+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1

336060042:
(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)+1+1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)

346729632:
(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1+1)

349428326:
(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!+1)!*(1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1

352769482:
(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*(1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1+1

363039453:
(11)!*((1+1+1)!*(1)+1+1+1)+(11-1-1)!*((1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1+1+1

363851029:
(11)!*((1+1+1)!*(1)+1+1+1)+(11-1-1)!*((1+1+1)!*(1+1))+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1)+1

392168304:
(11)!*((1+1+1)!*(1)+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1))+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1)

401975104:
(11)!*((1+1+1)!*(1)+1+1+1+1)+(11-1-1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)+1+1+1+1

407890409:
(11)!*((1+1+1)!*(1)+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1))+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1+1

407971913:
(11)!*((1+1+1)!*(1)+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1))+((1+1+1)!+1+1)!*(1+1)+((1+1+1)!+1)!*(1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1)+1+1+1+1+1

425780757:
(11)!*((1+1+1)!*(1)+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!)!*(1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)+1+1+1

459441559:
(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1

465592122:
(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)

475898732:
(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1+1

482826596:
(11+1)!*(1)+(11-1-1)!*((1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)+1+1

484263150:
(11+1)!*(1)+(11-1-1)!*((1+1+1)!*(1+1)+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1)

506235403:
(11+1)!*(1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)+1

548951531:
(11+1)!*(1)+(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1+1+1+1

554295842:
(11+1)!*(1)+(11)!*(1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1)+1+1

580536366:
(11+1)!*(1)+(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1)!*(1)

587051904:
(11+1)!*(1)+(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1)

588265985:
(11+1)!*(1)+(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)+1+1+1+1+1

588298051:
(11+1)!*(1)+(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1

590968352:
(11+1)!*(1)+(11)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1)+1+1

601194306:
(11+1)!*(1)+(11)!*(1+1+1)+(11-1-1)!*((1+1+1)!*(1))+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*(1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)

607771869:
(11+1)!*(1)+(11)!*(1+1+1)+(11-1-1)!*((1+1+1+1)!*(1))+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1+1+1

618578932:
(11+1)!*(1)+(11)!*(1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1))+((1+1+1)!+1+1)!*(1+1+1+1+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1)+1+1+1+1

626776380:
(11+1)!*(1)+(11)!*(1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)

667919873:
(11+1)!*(1)+(11)!*(1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1)+1+1)+((1+1+1)!+1+1)!*(1+1+1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1)+1+1+1+1+1

681786366:
(11+1)!*(1)+(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1)!*(1)

689854904:
(11+1)!*(1)+(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1)+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1

692055400:
(11+1)!*(1)+(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1)+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1)+1+1+1+1

697665495:
(11+1)!*(1)+(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1+1)+((1+1+1)!+1)!*(1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1)!*(1+1)+1+1+1

711608194:
(11+1)!*(1)+(11)!*(1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1)+1+1+1+1

734027104:
(11+1)!*(1)+(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1+1))+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)+1+1+1+1

750869335:
(11+1)!*(1)+(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*((1+1+1)!*(1))+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1

757710567:
(11+1)!*(1)+(11)!*((1+1+1)!*(1))+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1))+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1

759967747:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1)+(11-1-1)!*(1+1+1+1)+((1+1+1)!+1+1)!*(1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1

777616154:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1)+1+1

830071127:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)+1+1+1+1+1

833809927:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1)!*(1)+1

835873060:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+1+1+1+1

836438554:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1)+(1+1+1)!*(1)+1+1+1+1

836945593:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1)+1

863728236:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1)

864158514:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)

871273503:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1))+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)+1+1+1

881615667:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1)+(11-1-1)!*((1+1+1)!*(1)+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!)!*(1+1+1+1+1)+((1+1+1)!-1)!*(1)+(1+1+1+1)!*(1)+1+1+1

891619600:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1)+1)+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*(1+1+1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1)+(1+1+1)!*(1+1)+1+1+1+1

897181691:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1+1+1)+((1+1+1)!)!*(1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1+1+1+1

918159061:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1+1)+((1+1+1)!+1+1)!*(1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1+1)+1

920521050:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1)!*(1))+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*(1+1+1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)

924502226:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1)!*(1+1)+1+1+1+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1)+1+1

929983535:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1)+1+1)+((1+1+1)!+1+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1+1)+1+1+1+1+1

943162304:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1)+(1+1+1)!*(1+1+1)+1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1)+1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1)+1+1

950210939:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*((1+1+1)!*(1))+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1+1+1+1

950214176:
(11+1)!*(1)+(11)!*((1+1+1)!*(1)+1+1+1+1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1+1)+((1+1+1)!+1)!*((1+1+1)!*(1))+((1+1+1)!)!*(1+1+1)+((1+1+1)!-1)!*(1+1+1+1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1

962610357:
(11+1)!*(1+1)+(11-1-1)!*((1+1+1)!*(1+1))+((1+1+1)!+1+1)!*((1+1+1)!*(1))+((1+1+1)!+1)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1+1)+1+1+1

974842859:
(11+1)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1)+(1+1+1)!*(1+1+1)+1+1+1+1)+((1+1+1)!+1+1)!*(1+1+1)+((1+1+1)!+1)!*(1+1+1+1+1)+((1+1+1)!)!*(1)+((1+1+1)!-1)!*(1+1)+(1+1+1+1)!*(1+1)+(1+1+1)!*(1)+1+1+1+1+1

988572832:
(11+1)!*(1+1)+(11-1-1)!*((1+1+1+1)!*(1+1+1)+(1+1+1)!*(1+1))+((1+1+1)!+1+1)!*(1+1)+((1+1+1)!+1)!*(1)+((1+1+1)!)!*(1+1)+((1+1+1)!-1)!*(1+1+1+1)+(1+1+1+1)!*(1+1+1+1)+(1+1+1)!*(1+1)+1+1+1+1

17660
5958 11702