Basic plan: slow poke; then fix the flag; then reverse offset clear
where we think the opponent's flag is; we abort the clear to lock the
opponent on the flag in case we're wrong about where their flag is; if
the game is still going at that point: continue the lock and do a full
tape clear

The poke has two purposes: making the opponent think we're a fast rush
program in order to make them more likely to pick an easily lockable
clear algorithm in an attempt to outrace us; and allowing us to find
the flag of opponents who might defeat the lock via timer clear or via
bad synchronization; in order to clear their flag with the reverse
offset clear before they clear ours

The poke alternates polarity to minimize the effect of the enemy's
polarity: this makes us behave more consistently; which is normally a
good thing in good matchups and a bad thing in bad matchups; but most
of our matchups are good

In order to beat defence programs: we use a very cautious full tape
clear after the offset clear; the first few cells are cleared using
a range of patterns and polarities; and we set them to zero twice not
once at the start because they'd otherwise not necessarily be zeroed
if the enemy were locking

In order to beat a couple of specific enemies who wouldn't otherwise
be beaten: we look for decoys of size 5 to detect them; and use a
specific algorithm for beating them: a very fast rush against
space_hotel; and a very slow rush that garbles the tape against
waterfall3; waterfall3 uses the tape for calculation which is why
garbling the tape is a good idea
>+(>)*8
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 10
                  (<)*8
                  (+)*4<(-)*96
                  ((+)*128(>)*9 (++)*55(<)*9 )*1
                  ((+)*128(>)*9 (+.)*55(<)*9 )*10
                  ((+)*128(>)*9 (-.)*55(<)*9 )*10
                  ((+)*128(>)*10(+.)*54(<)*10)*5
                  ((+)*128(>)*10(-.)*54(<)*10)*5
                  ((+)*128(>)*11(+.)*53(<)*11)*5
                  ((+)*128(>)*11(-.)*53(<)*11)*5
                  ((+)*128(>)*12(+.)*52(<)*12)*5
                  ((+)*128(>)*13(+.)*51(<)*13)*6
                  ((+)*128(>)*14(+.)*50(<)*14)*6
                  ((+)*128(>)*15(+.)*49(<)*15)*6
                  ((+)*128(>)*16(+.)*48(<)*16)*6
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 11
                  (<)*9
                  (+)*4<(-)*96
                  ((+)*128(>)*10(++)*54(<)*10)*1
                  ((+)*128(>)*10(+.)*54(<)*10)*10
                  ((+)*128(>)*10(-.)*54(<)*10)*10
                  ((+)*128(>)*11(+.)*53(<)*11)*5
                  ((+)*128(>)*11(-.)*53(<)*11)*5
                  ((+)*128(>)*12(+.)*52(<)*12)*5
                  ((+)*128(>)*12(-.)*52(<)*12)*5
                  ((+)*128(>)*13(+.)*51(<)*13)*6
                  ((+)*128(>)*14(+.)*50(<)*14)*6
                  ((+)*128(>)*15(+.)*49(<)*15)*6
                  ((+)*128(>)*16(+.)*48(<)*16)*6
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 12
                  (<)*10
                  (+)*4<(-)*96
                  ((+)*128(>)*11(++)*53(<)*11)*1
                  ((+)*128(>)*11(+.)*53(<)*11)*10
                  ((+)*128(>)*11(-.)*53(<)*11)*10
                  ((+)*128(>)*12(+.)*52(<)*12)*5
                  ((+)*128(>)*12(-.)*52(<)*12)*5
                  ((+)*128(>)*13(+.)*51(<)*13)*6
                  ((+)*128(>)*13(-.)*51(<)*13)*6
                  ((+)*128(>)*14(+.)*50(<)*14)*6
                  ((+)*128(>)*15(+.)*49(<)*15)*6
                  ((+)*128(>)*16(+.)*48(<)*16)*6
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 13
                  (<)*11
                  (+)*4<(-)*96
                  ((+)*128(>)*12(++)*52(<)*12)*1
                  ((+)*128(>)*12(+.)*52(<)*12)*10
                  ((+)*128(>)*12(-.)*52(<)*12)*10
                  ((+)*128(>)*13(+.)*51(<)*13)*6
                  ((+)*128(>)*13(-.)*51(<)*13)*6
                  ((+)*128(>)*14(+.)*50(<)*14)*6
                  ((+)*128(>)*14(-.)*50(<)*14)*6
                  ((+)*128(>)*15(+.)*49(<)*15)*6
                  ((+)*128(>)*16(+.)*48(<)*16)*6
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 14
                  (<)*12
                  (+)*4<(-)*96
                  ((+)*128(>)*13(++)*51(<)*13)*1
                  ((+)*128(>)*13(+.)*51(<)*13)*12
                  ((+)*128(>)*13(-.)*51(<)*13)*12
                  ((+)*128(>)*14(+.)*50(<)*14)*6
                  ((+)*128(>)*14(-.)*50(<)*14)*6
                  ((+)*128(>)*15(+.)*49(<)*15)*6
                  ((+)*128(>)*15(-.)*49(<)*15)*6
                  ((+)*128(>)*16(+.)*48(<)*16)*6
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 15
                  (<)*13
                  (+)*4<(-)*96
                  ((+)*128(>)*14(++)*50(<)*14)*1
                  ((+)*128(>)*14(+.)*50(<)*14)*12
                  ((+)*128(>)*14(-.)*50(<)*14)*12
                  ((+)*128(>)*15(+.)*49(<)*15)*6
                  ((+)*128(>)*15(-.)*49(<)*15)*6
                  ((+)*128(>)*16(+.)*48(<)*16)*6
                  ((+)*128(>)*16(-.)*48(<)*16)*6
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 16
                  (<)*14
                  (+)*4<(-)*96
                  ((+)*128(>)*15(++)*49(<)*15)*1
                  ((+)*128(>)*15(+.)*49(<)*15)*12
                  ((+)*128(>)*15(-.)*49(<)*15)*12
                  ((+)*128(>)*16(+.)*48(<)*16)*6
                  ((+)*128(>)*16(-.)*48(<)*16)*6
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*17(-.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 17
                  (<)*15
                  (+)*4<(-)*96
                  ((+)*128(>)*16(++)*48(<)*16)*1
                  ((+)*128(>)*16(+.)*48(<)*16)*12
                  ((+)*128(>)*16(-.)*48(<)*16)*12
                  ((+)*128(>)*17(+.)*47(<)*17)*6
                  ((+)*128(>)*17(-.)*47(<)*17)*6
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*18(-.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 18
                  (<)*16
                  (+)*4<(-)*96
                  ((+)*128(>)*17(++)*47(<)*17)*1
                  ((+)*128(>)*17(+.)*47(<)*17)*12
                  ((+)*128(>)*17(-.)*47(<)*17)*12
                  ((+)*128(>)*18(+.)*46(<)*18)*6
                  ((+)*128(>)*18(-.)*46(<)*18)*6
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*19(-.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 19
                  (<)*17
                  (+)*4<(-)*96
                  ((+)*128(>)*18(++)*46(<)*18)*1
                  ((+)*128(>)*18(+.)*46(<)*18)*12
                  ((+)*128(>)*18(-.)*46(<)*18)*12
                  ((+)*128(>)*19(+.)*45(<)*19)*6
                  ((+)*128(>)*19(-.)*45(<)*19)*6
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*20(-.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 20
                  (<)*18
                  (+)*4<(-)*96
                  ((+)*128(>)*19(++)*45(<)*19)*1
                  ((+)*128(>)*19(+.)*45(<)*19)*12
                  ((+)*128(>)*19(-.)*45(<)*19)*12
                  ((+)*128(>)*20(+.)*44(<)*20)*6
                  ((+)*128(>)*20(-.)*44(<)*20)*6
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*21(-.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 21
                  (<)*19
                  (+)*4<(-)*96
                  ((+)*128(>)*20(++)*44(<)*20)*1
                  ((+)*128(>)*20(+.)*44(<)*20)*21
                  ((+)*128(>)*20(-.)*44(<)*20)*21
                  ((+)*128(>)*21(+.)*43(<)*21)*6
                  ((+)*128(>)*21(-.)*43(<)*21)*6
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*22(-.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 22
                  (<)*20
                  (+)*4<(-)*96
                  ((+)*128(>)*21(++)*43(<)*21)*1
                  ((+)*128(>)*21(+.)*43(<)*21)*21
                  ((+)*128(>)*21(-.)*43(<)*21)*21
                  ((+)*128(>)*22(+.)*42(<)*22)*7
                  ((+)*128(>)*22(-.)*42(<)*22)*7
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*23(-.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 23
                  (<)*21
                  (+)*4<(-)*96
                  ((+)*128(>)*22(++)*42(<)*22)*1
                  ((+)*128(>)*22(+.)*42(<)*22)*21
                  ((+)*128(>)*22(-.)*42(<)*22)*21
                  ((+)*128(>)*23(+.)*41(<)*23)*7
                  ((+)*128(>)*23(-.)*41(<)*23)*7
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*24(-.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 24
                  (<)*22
                  (+)*4<(-)*96
                  ((+)*128(>)*23(++)*41(<)*23)*1
                  ((+)*128(>)*23(+.)*41(<)*23)*21
                  ((+)*128(>)*23(-.)*41(<)*23)*21
                  ((+)*128(>)*24(+.)*40(<)*24)*7
                  ((+)*128(>)*24(-.)*40(<)*24)*7
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*25(-.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 25
                  (<)*23
                  (+)*4<(-)*96
                  ((+)*128(>)*24(++)*40(<)*24)*1
                  ((+)*128(>)*24(+.)*40(<)*24)*21
                  ((+)*128(>)*24(-.)*40(<)*24)*21
                  ((+)*128(>)*25(+.)*39(<)*25)*7
                  ((+)*128(>)*25(-.)*39(<)*25)*7
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*26(-.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 26
                  (<)*24
                  (+)*4<(-)*96
                  ((+)*128(>)*25(++)*39(<)*25)*1
                  ((+)*128(>)*25(+.)*39(<)*25)*21
                  ((+)*128(>)*25(-.)*39(<)*25)*21
                  ((+)*128(>)*26(+.)*38(<)*26)*7
                  ((+)*128(>)*26(-.)*38(<)*26)*7
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*27(-.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 27
                  (<)*25
                  (+)*4<(-)*96
                  ((+)*128(>)*26(++)*38(<)*26)*1
                  ((+)*128(>)*26(+.)*38(<)*26)*21
                  ((+)*128(>)*26(-.)*38(<)*26)*21
                  ((+)*128(>)*27(+.)*37(<)*27)*7
                  ((+)*128(>)*27(-.)*37(<)*27)*7
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*28(-.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[+[--[-[-[(+)*5[+[++[(-)*10[
                  Tape length at least 28
                  (<)*26
                  (+)*4<(-)*96
                  ((+)*128(>)*27(++)*37(<)*27)*1
                  ((+)*128(>)*27(+.)*37(<)*27)*14
                  ((+)*128(>)*27(-.)*37(<)*27)*14
                  ((+)*128(>)*28(+.)*36(<)*28)*8
                  ((+)*128(>)*28(-.)*36(<)*28)*8
                  ((+)*128(>)*29(+.)*35(<)*29)*8
                  ((+)*128(>)*29(-.)*35(<)*29)*9999
                ]]
              >(>[+[--[-[-[(+)*5[+[++[(-)*10[(-)*100(.-)*256(<->.-)*512>]]]]]]]]])*29]]]]]]]>
[-[++[+[+[(-)*5[-[--[(+)*10[
                  Tape length at least 29
                  (<)*27
                  (+)*4<(-)*96
                  ((+)*128(>)*28(++)*36(<)*28)*1
                  ((+)*128(>)*28(+.)*36(<)*28)*16
                  ((+)*128(>)*28(-.)*36(<)*28)*16
                  ((+)*128(>)*29(+.)*35(<)*29)*8
                  ((+)*128(>)*29(-.)*35(<)*29)*9999
                ]]]]]]]]]
Tape length 30
(<)*27
(+)*4<(-)*96
((+)*128(>)*29(++)*35(<)*29)*1
((+)*128(>)*29(+.)*35(<)*29)*16
((+)*128(>)*29(-.)*35(<)*29)*16
((+)*128(>)*29(+.)*35(<)*29)*9999