problemSet.js

export const LGIN1ProblemSet = [
    {
        // ANSWER:  A[A
        axiom: 'A',
        pre: 'A',
        Y: 'A[A[A[A'
    },
    {
        // ANSWER: F[+F]F[−F]F
        axiom: 'F',
        pre: 'F',
        Y: 'F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F]F[+F]F[−F]F[+F[+F]F[−F]F]F[+F]F[−F]F[−F[+F]F[−F]F]F[+F]F[−F]F'
    },
    {
        // ANSWER: FF−[−F+F+F]+[+F−F−F]
        axiom: 'F',
        pre: 'F',
        Y: 'FF−[−F+F+F]+[+F−F−F]FF−[−F+F+F]+[+F−F−F]−[−FF−[−F+F+F]+[+F−F−F]+FF−[−F+F+F]+[+F−F−F]+FF−[−F+F+F]+[+F−F−F]]+[+FF−[−F+F+F]+[+F−F−F]−FF−[−F+F+F]+[+F−F−F]−FF−[−F+F+F]+[+F−F−F]]'
    },
    {
        // ANSWER: A[+A]A
        axiom: 'A',
        pre: 'A',
        Y: 'A[+A]A[+A[+A]A]A[+A]A[+A[+A]A[+A[+A]A]A[+A]A]A[+A]A[+A[+A]A]A[+A]A'
    },
    {
        // ANSWER: A+[A-A]
        axiom: 'A',
        pre: 'A',
        Y: 'A+[A-A]+[A+[A-A]-A+[A-A]]'
    },
]