Def(1)
NGR(2)
Range(1,2)
Def(2)
Def(3)
NGR(2)
Def(3)
Def(3)
Def(1)Def(4)NGR(0)->Range(1,4)NGR(2)->Range(2,4)NGR(5)->Def(5)
Range(1,5)
Range(1,3)NGR(2)->Range(2,3)
Range(1,3)
Range(1,3)NGR(4)->Def(4)
Range(1,4)
Range(1,3)NGR(0)->Range(1,3)
Range(1,3)
Range(1,3)NGR(Min(1))->Min(1)
Min(1)
Min(1)NGR(Min(1))->Min(2)
Min(1)
Range(1,3)NGR(Min(2))->Min(2)
Min(1)
Range(1,3)GR(Min(1),Min(2))->Min(3)
Min(1)
Min(4)GR(Min(1),Min(2))->Min(5)
Min(4)
Range(4,6)GR(Min(1),Min(2))->Min(5)
Min(4)
Range(1,3)GR(Def(1),Def(1))->Min(2)
Min(1)
Range(1,3)Def(4)GR(Def(1),Def(1))->Min(5)
Min(1)
Range(1,3)Def(2)GR(Range(1,2),Def(1))->Min(2)GR(Def(2),Range(1,4))->Min(3)
Min(1)
Range(2,3)Def(2)GR(Range(1,2),Def(1))->Min(3)GR(Def(2),Range(1,4))->Min(3)
Min(2)
Range(4,6)GR(Def(1),Def(1))->Min(5)
Min(4)
NGR(1)
Invalid
OBS: NGR/NG will never have a smallervalue the then smaller non-recursive
Def -> Defined and unique lenRange -> Multiple len possibleMin -> Len is bigger then this, possibly infity.NGR -> Non growing recursive.GR -> Growing recursive.