from IPython.display import HTML from base64 import b64encode video = open("../videos/laxfricfl1.mp4", "rb").read() video_encoded = b64encode(video) video_tag = '