AV1 (also known as AOMedia Video 1) is a relatively new video coding format that is designed by the Alliance for Open Media (also known as AOMedia) and released in 2018 and 2019. AV1 has the following attractive features: ① AV1's license https://aomedia.org/license/ is permissive. ② AV1 has several open source implementations for encoders and decoders. AV1 is supported in Android (in version 10 or newer) and in the newest versions of major web browsers except Safari (see https://caniuse.com/av1 for details). ③ Facebook's test at https://engineering.fb.com/2018/04/10/video-engineering/av1-beats-x264-and-libvpx-vp9-in-practical-use-case/ concluded that AV1 video files are about 50% smaller than AVC Main Profile video of equal quality. ④ AV1 has a relatively wide range of settings that allow its users to raise the quality-to-bitrate ratio and lower the speed of compression or vice versa. On the one hand, realtime AV1 compression is possible (for example, AV1 is used in video chats in Google Duo since April 2020…