explorer の render 上のグラフィックは、torikomi をすると色がおかし くなってしまうので、torikomi はできません。
そこで、render の window を開くと、左上に file というのがあります。そこをドラッグすると、小さい window が開き、そこに print というのがあります。それを選択すると、別の window が開きます。そこで、TO FILE 、RGB 、を選択し filename を入力し print をクリックします。そうすると、file ができます。そして、toppm filename.rgb filename.ppm とすれば ppm フォーマットの file ができます。また、togif filename.rgb filename.gif とすれば gif フォーマットの file ができます。これを、ftp で tube に持っていき、xv で tiff フォーマットにすれば、pcol で color print できます。