// ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 1 2 8 0 Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġi : ĠInt ? Ġ= Ġ 7 ĊĠĠĠ Ġval Ġj : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġval Ġk Ġ= Ġ 7 ĊĊĠĠĠ Ġ// verify Ġerrors ĊĠĠĠ Ġif Ġ( i Ġ== Ġ 7 ) Ġ{ ĊĠĠĠ Ġ} ĊĠĠĠ Ġif Ġ( 7 Ġ== Ġi ) Ġ{ ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġif Ġ( j Ġ== Ġ 7 ) Ġ{ ĊĠĠĠ Ġ} ĊĠĠĠ Ġif Ġ( 7 Ġ== Ġj ) Ġ{ ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġif Ġ( i Ġ== Ġk ) Ġ{ ĊĠĠĠ Ġ} ĊĠĠĠ Ġif Ġ( k Ġ== Ġi ) Ġ{ ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġif Ġ( j Ġ== Ġk ) Ġ{ ĊĠĠĠ Ġ} ĊĠĠĠ Ġif Ġ( k Ġ== Ġj ) Ġ{ ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġ" OK " Ċ }