Posted to tcl by kbk at Wed Jan 08 23:57:55 GMT 2014view pretty

# Stuff to initialize all temporary relations to empty snipped...

    ::oo::Obj14::sys load seq {3 0 4 4 1 4 6 0 3 7 1 3 9 0 2 10 1 2 12 0 1 13 1 
1 15 0 0 16 1 0} 0 1
    ::oo::Obj14::sys | seq seq seq0
    ::oo::Obj14::sys load #T6 {3 0 4 6 0 3 9 0 2 12 0 1 15 0 0} 0
    ::oo::Obj14::sys := #T7 1
    ::oo::Obj14::sys & #T8 #T6 #T7
    ::oo::Obj14::sys | writes writes #T8
    ::oo::Obj14::sys | writes writes writes0
    ::oo::Obj14::sys := #T19 1
    ::oo::Obj14::sys & #T20 seq #T19
    ::oo::Obj14::sys | flowspast flowspast #T20
    while 1 {
        ::oo::Obj14::sys := #T21 flowspast
        ::oo::Obj14::sys replace #T24 {15 12 9 6 3 16 13 10 7 4} {17 14 11 8 5 1
5 12 9 6 3} flowspast
        ::oo::Obj14::sys > #T28 #T24 writes
        ::oo::Obj14::sys & #T32 #T28 flowspast
        ::oo::Obj14::sys project #T34 {3 6 9 12 15} #T32
        ::oo::Obj14::sys replace #T35 {17 14 11 8 5} {15 12 9 6 3} #T34
        ::oo::Obj14::sys | flowspast flowspast #T35
        if {[::oo::Obj14::sys === #T21 flowspast]} break
    }
    ::oo::Obj14::sys & #T42 writes flowspast
    ::oo::Obj14::sys replace #T45 {15 12 9 6 3} {16 13 10 7 4} reads
    ::oo::Obj14::sys & #T46 #T42 #T45
    ::oo::Obj14::sys | reaches reaches #T46
    ::oo::Obj14::sys load #T52 {3 0 4 6 0 3 9 0 2 12 0 1 15 0 0} 0
    ::oo::Obj14::sys := #T53 1
    ::oo::Obj14::sys & #T54 #T52 #T53
    ::oo::Obj14::sys | #T49 #T49 #T54
    ::oo::Obj14::sys & #T49 #T49 reaches
    ::oo::Obj14::sys project #T50 {3 6 9 12 15} #T49
    ::oo::Obj14::sys replace #T51 {16 13 10 7 4} {15 12 9 6 3} #T50
    ::oo::Obj14::sys | uninitRead uninitRead #T51
    ::oo::Obj14::sys project #T61 {4 7 10 13 16} reaches
    ::oo::Obj14::sys > #T63 writes #T61
    ::oo::Obj14::sys | deadWrite deadWrite #T63