1637 Logical Reasoning Compiler By Pranav Popat Sir