そつけん再開。残るは（多分）不可能性の証明のみ。 現状： Ｃ１９→現実的な時間で終わりそうなとこまできた Ａ１２→わりと頑張れば希望が見えそう、な気がする。 Ｂ１８→いやどうしろと。 このなんかちょっとわりと頑張ればいけそうな難易度がそつけんとし…