* The sequence format is somewhat flexible and the /*0000*/ comments and such are acceptable. The input notation should be Gelatinbrain's.
† If you allow concatenation the disassembled sequence may have other, more compact (or more standard) representations that won't be found. Backtracking is used to try to minimize the use of the concatenation operator but due to the CPU load, the number of backtracking trials is currently limited to 10000.