(;GM[1]FF[4]SZ[19]
GN[Position 1]
PC[http://senseis.xmp.net/?RobsonsProofThatGOIsEXPTimeHard]AP[GoWiki:2009]
DT[2014-06-20]
C[Diagram from http://senseis.xmp.net/?RobsonsProofThatGOIsEXPTimeHard

Position 1]
PL[B]

AB[hd][ld][if][kf][ig][jg][kg][bi][ri][bj][rj][gl][ml][hm][im][jm][km][lm][fn][nn][fo][ho][lo][no][fp][np][fq][hq][lq][nq][dr][gr][mr][pr][ds][es][fs][gs][ms][ns][os][ps]
AW[jc][jd][ie][ke][jf][hh][lh][ci][qi][cj][qj][gm][mm][in][jn][kn][go][io][jo][ko][mo][ip][jp][kp][cq][dq][eq][gq][jq][mq][oq][pq][qq][br][er][fr][hr][ir][jr][kr][lr][nr][or][rr][hs][is][js][ks][ls]
CR[jf]
LB[ff:l][gf:l][hf:l][lf:r][mf:r][nf:r][eg:l][fg:l][ng:r][og:r][dh:l][eh:l][oh:r][ph:r][di:l][pi:r][dj:l][pj:r][dk:l][ek:l][ok:r][pk:r][el:l][fl:l][nl:r][ol:r][fm:l][nm:r]


;CR[jf]
LB[ff:l][gf:l][hf:l][lf:r][mf:r][nf:r][eg:l][fg:l][ng:r][og:r][dh:l][eh:l][oh:r][ph:r][di:l][pi:r][dj:l][pj:r][dk:l][ek:l][ok:r][pk:r][el:l][fl:l][nl:r][ol:r][fm:l][nm:r]
)
