Axiom: if [a,b,c,d] is a line of 4 cells & a<b<c<d, then a = [1/2], b=[3/4], c=[5/6], d=[7/8]
R1234C68 & R2345C57:
R2C57 = {12}, R2C68 = {34}
NC: R2C5678 = [2413]
NC: R1C68 = {12} = [21]
R3C57 = {34}, R3C68 = {56}
NC: R3C5678 = [4635]
R4C57 = {56}, R4C68 = {78}
NC: R4C5678 = [6857]
NC: R5C57 = {78} = [87]
R8C5678: R8C5678 = [1368]
R3456C1: R4C1 = [3/4]
NC: R4C13 = {34}, R4C24 = {12}
NC: R4C1234 = [3142]
R3456C1: R3C1 = [1/2]
NC: R3C13 = {12} = [12], R3C24 = {78}
NC: R2C24 <> {78}, = {56}, R2C13 = {78}
NC: R2C1234 = [7586]
NC: R3C24 = {78} = [78]
R78C4: R8C4 = [4/5], R7C4 = [7]
Hidden singles C4: R16C4 = [31]
Hidden single C5: R1C5 = [7]
Hidden single C6: R6C6 = [7]
Hidden single R8: R8C3 = [7]
Hidden single R1: R1C3 = [6]
Hidden single R1: R1C1 = [5]
Hidden single R8: R8C4 = [5]
R3456C1: R56C1 = [68]
R1: R1C27 = {48} = [84]
NC: R5C3 = [1]
R5: R5C2468 = {2345} = [3452]
NC: R6C2 = [6]
R6: R6C3578 = {2345} = [3524]
C35678: R7C35678 = [53186]
R7: R7C12 = {24} = [42]
C12: R8C12 = [24]
58637241
75862413
17284635
31426857
63148572
86315724
42573186
24751368