bigint's notebooks