1から6までの目が等確率で出るサイコロを4回振り、n回目に振って出た目の数をa_nとする。
このときAB=a_1、BC=a_2、CD=a_3、DA=a_4となり、かつ、外接円を持つような□ABCDができる確率を求めよ。