def genNum(num): dic = { 6: "(1+1+1)!", 24: "(1+1+1+1)!", 120: "((1+1+1)!-1)!", 720: "((1+1+1)!)!", 5040: "((1+1+1)!+1)!", 40320: "((1+1+1)!+1+1)!", 362880: "(11-1-1)!", 39916800: "(11)!", 479001600: "(11+1)!", 6227020800: "(11+1+1)!" } lis = [6227020800,479001600,39916800,362880,40320,5040,720,120,24,6] out = "" for i in lis: if num/i >= 1: st = dic[i] + "*(" + genNum(num // i) + ")" out += st if num%i != 0: out += "+" + genNum(num%i) return out else: st = "1+"*num return st[:-1] 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] arr = [] for x in nums: output = genNum(x) arr += [output] print(str(x)+":\n"+output+"\n") s = ''.join(arr) print(len(s)) p=s.count('1') print(p,len(s)-p)
Standard input is empty
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