+436 566 moveto
+(acic_content)
+[10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
+xshow
+end grestore
+end grestore
+
+% cic_acic
+gsave 10 dict begin
+432 480 54 25 ellipse_path
+stroke
+gsave 10 dict begin
+392 472 moveto
+(cic_acic)
+[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
+xshow
+end grestore
+end grestore
+
+% acic_content -> cic_acic
+newpath 480 549 moveto
+472 538 463 525 455 513 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 457 510 moveto
+449 504 lineto
+452 514 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 457 510 moveto
+449 504 lineto
+452 514 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking
+gsave 10 dict begin
+441 386 110 25 ellipse_path
+stroke
+gsave 10 dict begin
+345 378 moveto
+(cic_proof_checking)
+[10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]