Jeff

Thanks for your b/b plot.

This is very usefull.

Here is my solution using only nice loops.

No 1 Theorem5 r1c3<>1

[r1c3]=2=[r1c1]-2-[r4c1]-8-[r5c1]=8=[r5c7]-8-[r3c7]-7-[r3c6]-4-[r3c3]-1-[r1c3]

No 2 Theorem5 r1c5<>8

[r1c5]=1=[r3c5]-1-[r3c3]-4-[r3c6]-7-[r9c6]=7=[r9c4]=8=[r9c5]-8-[r1c5]

No 3 Theorem4 r1c5<>9

[r1c5]-9-[r2c5]-5-[r2c1]-4-[r9c1]-9-[r6c1]=9=[r6c9]-9-[r5c7]=9=[r1c7]-9-[r1c5]

No 4 Theorem4 r1c6<>9

[r1c6]-9-[r2c5]-5-[r2c1]-4-[r9c1]-9-[r6c1]=9=[r6c9]-9-[r5c7]=9=[r1c7]-9-[r1c6]

No 5 Theorem5 r1c9<>4

[r1c9]-4-[r2c9]=4=[r2c1]-4-[r9c1]-9-[r6c1]=9=[r6c9]=1=[r5c9]=3=[r4c9]=6=[r1c9]

No 6 Theorem4 r2c1<>4

[r2c1]-4-[r9c1]-9-[r6c1]=9=[r6c9]-9-[r2c9]-4-[r2c1]

No 7 Theorem5 r2c5<>5

[r2c5]-5-[r2c1]-4-[r9c1]-9-[r6c1]=9=[r6c9]-9-[r2c9]=9=[r2c5]

No 8 Theorem5 r2c9<>9

[r2c9]=4=[r2c1]-4-[r9c1]-9-[r6c1]=9=[r6c9]-9-[r2c9]

No 9 Theorem4 r3c4<>4

[r3c4]-4-[r3c6]-7-[r3c7]-8-[r1c8]=8=[r4c8]=6=[r4c9]=3=[r4c5]-3-[r5c4]-4-[r3c4]

No 10 Theorem5 r3c4<>7

[r3c4]-7-[r9c4]=7=[r9c6]-7-[r3c6]-4-[r5c6]=4=[r5c4]=3=[r3c4]

No 11 Theorem5 r3c4<>8

[r3c4]-8-[r3c7]-7-[r3c6]-4-[r5c6]=4=[r5c4]=3=[r3c4]

No 12 Theorem4 r3c5<>3

[r3c5]-3-[r4c5]=3=[r4c9]=6=[r4c8]=8=[r5c7]-8-[r3c7]-7-[r3c6]-4-[r5c6]=4=[r5c4]=3=[r3c4]-3-[r3c5]

No 13 Theorem5 r5c4<>3

[r5c4]=4=[r5c6]-4-[r3c6]-7-[r3c7]-8-[r1c8]=8=[r4c8]=6=[r4c9]=3=[r4c5]-3-[r5c4]

No 14 Theorem4 r5c6<>4

[r5c6]-4-[r5c4]-3-[r4c5]-2-[r4c1]-8-[r5c1]=8=[r5c7]-8-[r3c7]-7-[r3c6]-4-[r5c6]

No 15 Theorem4 r7c3<>1

[r7c3]-1-[r3c3]-4-[r3c6]-7-[r3c7]-8-[r5c7]-9-[r6c9]-1-[r6c2]=1=[r9c2]-1-[r7c3]

No 16 Theorem3 r7c7<>2

[r7c7]=1=[r7c3]-1-[r3c3]-4-[r3c6]-7-[r3c7]-8-[r5c7]-9-[r6c9]-1-[r6c2]=1=[r9c2]-1-[r9c7]=1=[r7c7]

No 17 Theorem5 r9c3<>1

[r9c3]=6=[r9c5]=8=[r9c4]=7=[r9c6]-7-[r3c6]-4-[r3c3]-1-[r9c3]

No 18 Theorem5 r9c5<>2

[r9c5]=8=[r9c4]=7=[r9c6]-7-[r3c6]-4-[r3c3]-1-[r7c3]=1=[r7c7]=2=[r9c7]-2-[r9c5]

No 19 Theorem4 r9c7<>1

[r9c7]-1-[r7c7]=1=[r7c3]-1-[r3c3]-4-[r3c6]-7-[r3c7]-8-[r5c7]-9-[r6c9]-1-[r6c2]=1=[r9c2]-1-[r9c7]