ZXYFrank

import numpy as np
import random
from tqdm import trange

a = [3, 1, 2, 5, 6, 1, 7, 3, 4, 2, 6, 8, 1, 3, 2, 6, 1]

SHOW = False


def show_ptrs(a, l, r, *pos):

ZXYFrank

import re
import os


def split_file(original_path, out_folder):
    os.makedirs(out_folder, exist_ok=True)
    name = os.path.split(original_path)[-1]
    # https://stackoverflow.com/questions/3217334/searching-reading-binary-data-in-python
    content = None
    with open(original_path, 'rb') as f: