解説が無さそうな問題の一言解法．コードは略．

今までで一番時間をかけた問題．基底変換や，線分と放物線の交点等が入り混じった実装問題（not強実装）．

探索っぽい問題だが，全体集合の部分集合による被覆と考えれば，包除原理で解ける． 序盤 配置可能な正方形をBitSetで全列挙する． 中盤 極大集合（正方形）だけを残す． あるマスを埋められる正方形が1つしか無い場合，その正方形を無条件で採用する． 更新…