Integer-finite local-system conjecture. Then LLL is an integer finite local system, and there is an isomorphism