test.lua

input = 0 -- Find input so "Unlocked" is printed
 
is_locked = input ~ 7777
is_locked = (((27941) * ((2480662189) * ((((39468911204240323) * ((is_locked) & (is_locked)) - (39468911204240323) * ((is_locked) | (is_locked)) - (39468911204240323) * (((is_locked) & (is_locked)) | ((~(is_locked)) & (~(is_locked)))) + 4294964286) % (4294967296)) * ((((40673) * ((1888822561) * ((((45262362525041727) * ((input) & (input)) + (45262362525041727) * ((input) & (~(input))) - (45262362525041727) * ((input) | (input)) - (45262362525041727) * ((input) | (~(input))) + 4294966210) % (4294967296)) * ((input) & (~(((477073847569354173) * ((input) & (input)) + (477073847569354173) * ((~(input)) & (input)) - (477073847569354173) * ((input) | (input)) - (477073847569354173) * ((~(input)) | (input)) + 2004327952) % (4294967296)))) + (((110659755072031641) * ((input) & (input)) + (110659755072031641) * ((input) & (~(input))) - (110659755072031641) * ((input) | (input)) - (110659755072031641) * ((input) | (~(input))) + 4294964328) % (4294967296)) * ((~(input)) & (((477073847569354173) * ((input) & (input)) + (477073847569354173) * ((~(input)) & (input)) - (477073847569354173) * ((input) | (input)) - (477073847569354173) * ((~(input)) | (input)) + 2004327952) % (4294967296)))) + 23865) + -970661145) % (4294967296)) & (~(((56675) * ((279940171) * ((2) * ((~(((55305) * ((3821942329) * ((-2) * ((input) & (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + (((361500297723383181) * ((input) & (is_locked)) - (361500297723383181) * (is_locked) - (361500297723383181) * ((input) | (~(is_locked))) + 4294963828) % (4294967296)) * (input) + (((35155883570758929) * ((input) & (is_locked)) - (35155883570758929) * (is_locked) - (35155883570758929) * ((input) | (~(is_locked))) + 4294966000) % (4294967296)) * (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + 31243) + -1727894115) % (4294967296))) | (((254803045118903645) * ((input) & (input)) + (254803045118903645) * ((~(input)) & (input)) - (254803045118903645) * ((input) | (input)) - (254803045118903645) * ((~(input)) | (input)) + 4294965924) % (4294967296))) + (((272025799551356389) * ((is_locked) & (input)) - (272025799551356389) * (is_locked) - (272025799551356389) * ((~(is_locked)) | (input)) + 4294963740) % (4294967296)) * (~((~(((55305) * ((3821942329) * ((-2) * ((input) & (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + (((361500297723383181) * ((input) & (is_locked)) - (361500297723383181) * (is_locked) - (361500297723383181) * ((input) | (~(is_locked))) + 4294963828) % (4294967296)) * (input) + (((35155883570758929) * ((input) & (is_locked)) - (35155883570758929) * (is_locked) - (35155883570758929) * ((input) | (~(is_locked))) + 4294966000) % (4294967296)) * (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + 31243) + -1727894115) % (4294967296))) | (((254803045118903645) * ((input) & (input)) + (254803045118903645) * ((~(input)) & (input)) - (254803045118903645) * ((input) | (input)) - (254803045118903645) * ((~(input)) | (input)) + 4294965924) % (4294967296)))) - (((207704639909399157) * ((input) & (input)) - (207704639909399157) * (input) - (207704639909399157) * ((~(input)) | (input)) + 4294964620) % (4294967296)) * (~((~(((55305) * ((3821942329) * ((-2) * ((input) & (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + (((361500297723383181) * ((input) & (is_locked)) - (361500297723383181) * (is_locked) - (361500297723383181) * ((input) | (~(is_locked))) + 4294963828) % (4294967296)) * (input) + (((35155883570758929) * ((input) & (is_locked)) - (35155883570758929) * (is_locked) - (35155883570758929) * ((input) | (~(is_locked))) + 4294966000) % (4294967296)) * (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + 31243) + -1727894115) % (4294967296))) & (((254803045118903645) * ((input) & (input)) + (254803045118903645) * ((~(input)) & (input)) - (254803045118903645) * ((input) | (input)) - (254803045118903645) * ((~(input)) | (input)) + 4294965924) % (4294967296))))) + 11552) + -654709600) % (4294967296)))) + (((479919078719360917) * ((is_locked) & (input)) - (479919078719360917) * ((is_locked) | (input)) - (479919078719360917) * (((is_locked) & (input)) | ((~(is_locked)) & (~(input)))) + 4294963308) % (4294967296)) * (~(((55305) * ((3821942329) * ((-2) * ((input) & (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + (((361500297723383181) * ((input) & (is_locked)) - (361500297723383181) * (is_locked) - (361500297723383181) * ((input) | (~(is_locked))) + 4294963828) % (4294967296)) * (input) + (((35155883570758929) * ((input) & (is_locked)) - (35155883570758929) * (is_locked) - (35155883570758929) * ((input) | (~(is_locked))) + 4294966000) % (4294967296)) * (((90617187106032609) * ((is_locked) & (is_locked)) + (90617187106032609) * ((~(is_locked)) & (is_locked)) - (90617187106032609) * ((is_locked) | (is_locked)) - (90617187106032609) * ((~(is_locked)) | (is_locked)) + 2004328428) % (4294967296))) + 31243) + -1727894115) % (4294967296)) + ((254803045118903645) * ((input) & (input)) + (254803045118903645) * ((~(input)) & (input)) - (254803045118903645) * ((input) | (input)) - (254803045118903645) * ((~(input)) | (input)) + 4294965924) % (4294967296))) + 13846) + -386871086) % (4294967296)) >> 31 & 1
 
if is_locked == 1 then
	print("Locked")
else
	print("Unlocked")
end