├── .gitattributes ├── .gitignore ├── .idea ├── .gitignore ├── inspectionProfiles │ ├── Project_Default.xml │ └── profiles_settings.xml ├── modules.xml ├── python-terminal.xml └── vcs.xml ├── LICENSE ├── Problems ├── LCL │ ├── LCL181+1.p │ └── LCL230+1.p ├── SYJ │ ├── SYJ101+1.p │ ├── SYJ102+1.p │ ├── SYJ103+1.p │ ├── SYJ104+1.p │ ├── SYJ105+1.002.p │ ├── SYJ105+1.003.p │ ├── SYJ105+1.004.p │ ├── SYJ106+1.p │ ├── SYJ107+1.001.p │ ├── SYJ107+1.002.p │ ├── SYJ107+1.003.p │ ├── SYJ107+1.004.p │ ├── SYJ201+1.001.p │ ├── SYJ201+1.002.p │ ├── SYJ201+1.003.p │ ├── SYJ201+1.004.p │ ├── SYJ201+1.005.p │ ├── SYJ201+1.006.p │ ├── SYJ201+1.007.p │ ├── SYJ201+1.008.p │ ├── SYJ201+1.009.p │ ├── SYJ201+1.010.p │ ├── SYJ201+1.011.p │ ├── SYJ201+1.012.p │ ├── SYJ201+1.013.p │ ├── SYJ201+1.014.p │ ├── SYJ201+1.015.p │ ├── SYJ201+1.016.p │ ├── SYJ201+1.017.p │ ├── SYJ201+1.018.p │ ├── SYJ201+1.019.p │ ├── SYJ201+1.020.p │ ├── SYJ202+1.001.p │ ├── SYJ202+1.002.p │ ├── SYJ202+1.003.p │ ├── SYJ202+1.004.p │ ├── SYJ202+1.005.p │ ├── SYJ202+1.006.p │ ├── SYJ202+1.007.p │ ├── SYJ202+1.008.p │ ├── SYJ202+1.009.p │ ├── SYJ202+1.010.p │ ├── SYJ202+1.011.p │ ├── SYJ202+1.012.p │ ├── SYJ202+1.013.p │ ├── SYJ202+1.014.p │ ├── SYJ202+1.015.p │ ├── SYJ202+1.016.p │ ├── SYJ202+1.017.p │ ├── SYJ202+1.018.p │ ├── SYJ202+1.019.p │ ├── SYJ202+1.020.p │ ├── SYJ203+1.001.p │ ├── SYJ203+1.002.p │ ├── SYJ203+1.003.p │ ├── SYJ203+1.004.p │ ├── SYJ203+1.005.p │ ├── SYJ203+1.006.p │ ├── SYJ203+1.007.p │ ├── SYJ203+1.008.p │ ├── SYJ203+1.009.p │ ├── SYJ203+1.010.p │ ├── SYJ203+1.011.p │ ├── SYJ203+1.012.p │ ├── SYJ203+1.013.p │ ├── SYJ203+1.014.p │ ├── SYJ203+1.015.p │ ├── SYJ203+1.016.p │ ├── SYJ203+1.017.p │ ├── SYJ203+1.018.p │ ├── SYJ203+1.019.p │ ├── SYJ203+1.020.p │ ├── SYJ204+1.001.p │ ├── SYJ204+1.002.p │ ├── SYJ204+1.003.p │ ├── SYJ204+1.004.p │ ├── SYJ204+1.005.p │ ├── SYJ204+1.006.p │ ├── SYJ204+1.007.p │ ├── SYJ204+1.008.p │ ├── SYJ204+1.009.p │ ├── SYJ204+1.010.p │ ├── SYJ204+1.011.p │ ├── SYJ204+1.012.p │ ├── SYJ204+1.013.p │ ├── SYJ204+1.014.p │ ├── SYJ204+1.015.p │ ├── SYJ204+1.016.p │ ├── SYJ204+1.017.p │ ├── SYJ204+1.018.p │ ├── SYJ204+1.019.p │ ├── SYJ204+1.020.p │ ├── SYJ205+1.001.p │ ├── SYJ205+1.002.p │ ├── SYJ205+1.003.p │ ├── SYJ205+1.004.p │ ├── SYJ205+1.005.p │ ├── SYJ205+1.006.p │ ├── SYJ205+1.007.p │ ├── SYJ205+1.008.p │ ├── SYJ205+1.009.p │ ├── SYJ205+1.010.p │ ├── SYJ205+1.011.p │ ├── SYJ205+1.012.p │ ├── SYJ205+1.013.p │ ├── SYJ205+1.014.p │ ├── SYJ205+1.015.p │ ├── SYJ205+1.016.p │ ├── SYJ205+1.017.p │ ├── SYJ205+1.018.p │ ├── SYJ205+1.019.p │ ├── SYJ205+1.020.p │ ├── SYJ206+1.001.p │ ├── SYJ206+1.002.p │ ├── SYJ206+1.003.p │ ├── SYJ206+1.004.p │ ├── SYJ206+1.005.p │ ├── SYJ206+1.006.p │ ├── SYJ206+1.007.p │ ├── SYJ206+1.008.p │ ├── SYJ206+1.009.p │ ├── SYJ206+1.010.p │ ├── SYJ206+1.011.p │ ├── SYJ206+1.012.p │ ├── SYJ206+1.013.p │ ├── SYJ206+1.014.p │ ├── SYJ206+1.015.p │ ├── SYJ206+1.016.p │ ├── SYJ206+1.017.p │ ├── SYJ206+1.018.p │ ├── SYJ206+1.019.p │ ├── SYJ206+1.020.p │ ├── SYJ207+1.001.p │ ├── SYJ207+1.002.p │ ├── SYJ207+1.003.p │ ├── SYJ207+1.004.p │ ├── SYJ207+1.005.p │ ├── SYJ207+1.006.p │ ├── SYJ207+1.007.p │ ├── SYJ207+1.008.p │ ├── SYJ207+1.009.p │ ├── SYJ207+1.010.p │ ├── SYJ207+1.011.p │ ├── SYJ207+1.012.p │ ├── SYJ207+1.013.p │ ├── SYJ207+1.014.p │ ├── SYJ207+1.015.p │ ├── SYJ207+1.016.p │ ├── SYJ207+1.017.p │ ├── SYJ207+1.018.p │ ├── SYJ207+1.019.p │ ├── SYJ207+1.020.p │ ├── SYJ208+1.001.p │ ├── SYJ208+1.002.p │ ├── SYJ208+1.003.p │ ├── SYJ208+1.004.p │ ├── SYJ208+1.005.p │ ├── SYJ208+1.006.p │ ├── SYJ208+1.007.p │ ├── SYJ208+1.008.p │ ├── SYJ208+1.009.p │ ├── SYJ208+1.010.p │ ├── SYJ208+1.011.p │ ├── SYJ208+1.012.p │ ├── SYJ208+1.013.p │ ├── SYJ208+1.014.p │ ├── SYJ208+1.015.p │ ├── SYJ208+1.016.p │ ├── SYJ208+1.017.p │ ├── SYJ208+1.018.p │ ├── SYJ208+1.019.p │ ├── SYJ208+1.020.p │ ├── SYJ209+1.001.p │ ├── SYJ209+1.002.p │ ├── SYJ209+1.003.p │ ├── SYJ209+1.004.p │ ├── SYJ209+1.005.p │ ├── SYJ209+1.006.p │ ├── SYJ209+1.007.p │ ├── SYJ209+1.008.p │ ├── SYJ209+1.009.p │ ├── SYJ209+1.010.p │ ├── SYJ209+1.011.p │ ├── SYJ209+1.012.p │ ├── SYJ209+1.013.p │ ├── SYJ209+1.014.p │ ├── SYJ209+1.015.p │ ├── SYJ209+1.016.p │ ├── SYJ209+1.017.p │ ├── SYJ209+1.018.p │ ├── SYJ209+1.019.p │ ├── SYJ209+1.020.p │ ├── SYJ210+1.001.p │ ├── SYJ210+1.002.p │ ├── SYJ210+1.003.p │ ├── SYJ210+1.004.p │ ├── SYJ210+1.005.p │ ├── SYJ210+1.006.p │ ├── SYJ210+1.007.p │ ├── SYJ210+1.008.p │ ├── SYJ210+1.009.p │ ├── SYJ210+1.010.p │ ├── SYJ210+1.011.p │ ├── SYJ210+1.012.p │ ├── SYJ210+1.013.p │ ├── SYJ210+1.014.p │ ├── SYJ210+1.015.p │ ├── SYJ210+1.016.p │ ├── SYJ210+1.017.p │ ├── SYJ210+1.018.p │ ├── SYJ210+1.019.p │ ├── SYJ210+1.020.p │ ├── SYJ211+1.001.p │ ├── SYJ211+1.002.p │ ├── SYJ211+1.003.p │ ├── SYJ211+1.004.p │ ├── SYJ211+1.005.p │ ├── SYJ211+1.006.p │ ├── SYJ211+1.007.p │ ├── SYJ211+1.008.p │ ├── SYJ211+1.009.p │ ├── SYJ211+1.010.p │ ├── SYJ211+1.011.p │ ├── SYJ211+1.012.p │ ├── SYJ211+1.013.p │ ├── SYJ211+1.014.p │ ├── SYJ211+1.015.p │ ├── SYJ211+1.016.p │ ├── SYJ211+1.017.p │ ├── SYJ211+1.018.p │ ├── SYJ211+1.019.p │ ├── SYJ211+1.020.p │ ├── SYJ212+1.001.p │ ├── SYJ212+1.002.p │ ├── SYJ212+1.003.p │ ├── SYJ212+1.004.p │ ├── SYJ212+1.005.p │ ├── SYJ212+1.006.p │ ├── SYJ212+1.007.p │ ├── SYJ212+1.008.p │ ├── SYJ212+1.009.p │ ├── SYJ212+1.010.p │ ├── SYJ212+1.011.p │ ├── SYJ212+1.012.p │ ├── SYJ212+1.013.p │ ├── SYJ212+1.014.p │ ├── SYJ212+1.015.p │ ├── SYJ212+1.016.p │ ├── SYJ212+1.017.p │ ├── SYJ212+1.018.p │ ├── SYJ212+1.019.p │ └── SYJ212+1.020.p └── SYN │ ├── SYN001+1.p │ ├── SYN007+1.014.p │ ├── SYN040+1.p │ ├── SYN041+1.p │ ├── SYN044+1.p │ ├── SYN045+1.p │ ├── SYN046+1.p │ ├── SYN047+1.p │ ├── SYN387+1.p │ ├── SYN388+1.p │ ├── SYN389+1.p │ ├── SYN390+1.p │ ├── SYN391+1.p │ ├── SYN392+1.p │ ├── SYN393+1.p │ ├── SYN416+1.p │ ├── SYN915+1.p │ ├── SYN916+1.p │ ├── SYN977+1.p │ └── SYN978+1.p ├── README.md ├── RemyP.pro ├── RemyR.pro ├── abducers.pro ├── allFormulas.pro ├── allPartitions.pro ├── allTrees.pro ├── allTypedNFs.pro ├── async.pro ├── benchmarks.pro ├── betaReducer.pro ├── bgo ├── bm.pro ├── bm.txt ├── bmx.txt ├── cProvers.pro ├── canonical_horn.pro ├── cgo ├── circSynt.pro ├── counts.pro ├── docs ├── example_horn3.txt ├── horn3.txt ├── ieltp.pdf ├── iprover.pdf ├── isynt.pdf └── theo.pdf ├── encoders.pro ├── fc.pro ├── fc.sh ├── fix_iltp.pro ├── fullProvers.pro ├── full_training.txt ├── funcounts.pro ├── ggo ├── go ├── graphs ├── color.pro ├── color_.pro ├── comp.pro ├── dual_color.pro └── ham.pro ├── hProvers.pro ├── hardening.pro ├── harrop.pro ├── hdprovers.pro ├── hhfs.pro ├── horn_flattener.pro ├── iProvers.pro ├── ieltp.pro ├── ihorn.pro ├── inhab.pro ├── inputTransformers.pro ├── isynt.pro ├── linterms.pro ├── llm_reasoning ├── asp_completions.py ├── completions.py ├── requirements.txt └── selector.pl ├── lltaut ├── theorems0.pro ├── theorems1.pro └── theorems2.pro ├── lprover.pro ├── lterms.txt ├── mgo ├── mints.pro ├── mints_gen.pro ├── nProvers.pro ├── nd_threads.pro ├── nested_horn.pro ├── neuro.pro ├── oProvers.pro ├── old_abducers.pl ├── parImpFormulas.pro ├── parProvers.pro ├── parTypedNFs.pro ├── polar.pro ├── polar1.pro ├── primes.pro ├── printers.pro ├── probs ├── LCL │ ├── LCL181+1.pl │ └── LCL230+1.pl ├── SYJ │ ├── SYJ101+1.pl │ ├── SYJ102+1.pl │ ├── SYJ103+1.pl │ ├── SYJ104+1.pl │ ├── SYJ105+1.002.pl │ ├── SYJ105+1.003.pl │ ├── SYJ105+1.004.pl │ ├── SYJ106+1.pl │ ├── SYJ107+1.001.pl │ ├── SYJ107+1.002.pl │ ├── SYJ107+1.003.pl │ ├── SYJ107+1.004.pl │ ├── SYJ201+1.001.pl │ ├── SYJ201+1.002.pl │ ├── SYJ201+1.003.pl │ ├── SYJ201+1.004.pl │ ├── SYJ201+1.005.pl │ ├── SYJ201+1.006.pl │ ├── SYJ201+1.007.pl │ ├── SYJ201+1.008.pl │ ├── SYJ201+1.009.pl │ ├── SYJ201+1.010.pl │ ├── SYJ201+1.011.pl │ ├── SYJ201+1.012.pl │ ├── SYJ201+1.013.pl │ ├── SYJ201+1.014.pl │ ├── SYJ201+1.015.pl │ ├── SYJ201+1.016.pl │ ├── SYJ201+1.017.pl │ ├── SYJ201+1.018.pl │ ├── SYJ201+1.019.pl │ ├── SYJ201+1.020.pl │ ├── SYJ202+1.001.pl │ ├── SYJ202+1.002.pl │ ├── SYJ202+1.003.pl │ ├── SYJ202+1.004.pl │ ├── SYJ202+1.005.pl │ ├── SYJ202+1.006.pl │ ├── SYJ202+1.007.pl │ ├── SYJ202+1.008.pl │ ├── SYJ202+1.009.pl │ ├── SYJ202+1.010.pl │ ├── SYJ202+1.011.pl │ ├── SYJ202+1.012.pl │ ├── SYJ202+1.013.pl │ ├── SYJ202+1.014.pl │ ├── SYJ202+1.015.pl │ ├── SYJ202+1.016.pl │ ├── SYJ202+1.017.pl │ ├── SYJ202+1.018.pl │ ├── SYJ202+1.019.pl │ ├── SYJ202+1.020.pl │ ├── SYJ203+1.001.pl │ ├── SYJ203+1.002.pl │ ├── SYJ203+1.003.pl │ ├── SYJ203+1.004.pl │ ├── SYJ203+1.005.pl │ ├── SYJ203+1.006.pl │ ├── SYJ203+1.007.pl │ ├── SYJ203+1.008.pl │ ├── SYJ203+1.009.pl │ ├── SYJ203+1.010.pl │ ├── SYJ203+1.011.pl │ ├── SYJ203+1.012.pl │ ├── SYJ203+1.013.pl │ ├── SYJ203+1.014.pl │ ├── SYJ203+1.015.pl │ ├── SYJ203+1.016.pl │ ├── SYJ203+1.017.pl │ ├── SYJ203+1.018.pl │ ├── SYJ203+1.019.pl │ ├── SYJ203+1.020.pl │ ├── SYJ204+1.001.pl │ ├── SYJ204+1.002.pl │ ├── SYJ204+1.003.pl │ ├── SYJ204+1.004.pl │ ├── SYJ204+1.005.pl │ ├── SYJ204+1.006.pl │ ├── SYJ204+1.007.pl │ ├── SYJ204+1.008.pl │ ├── SYJ204+1.009.pl │ ├── SYJ204+1.010.pl │ ├── SYJ204+1.011.pl │ ├── SYJ204+1.012.pl │ ├── SYJ204+1.013.pl │ ├── SYJ204+1.014.pl │ ├── SYJ204+1.015.pl │ ├── SYJ204+1.016.pl │ ├── SYJ204+1.017.pl │ ├── SYJ204+1.018.pl │ ├── SYJ204+1.019.pl │ ├── SYJ204+1.020.pl │ ├── SYJ205+1.001.pl │ ├── SYJ205+1.002.pl │ ├── SYJ205+1.003.pl │ ├── SYJ205+1.004.pl │ ├── SYJ205+1.005.pl │ ├── SYJ205+1.006.pl │ ├── SYJ205+1.007.pl │ ├── SYJ205+1.008.pl │ ├── SYJ205+1.009.pl │ ├── SYJ205+1.010.pl │ ├── SYJ205+1.011.pl │ ├── SYJ205+1.012.pl │ ├── SYJ205+1.013.pl │ ├── SYJ205+1.014.pl │ ├── SYJ205+1.015.pl │ ├── SYJ205+1.016.pl │ ├── SYJ205+1.017.pl │ ├── SYJ205+1.018.pl │ ├── SYJ205+1.019.pl │ ├── SYJ205+1.020.pl │ ├── SYJ206+1.001.pl │ ├── SYJ206+1.002.pl │ ├── SYJ206+1.003.pl │ ├── SYJ206+1.004.pl │ ├── SYJ206+1.005.pl │ ├── SYJ206+1.006.pl │ ├── SYJ206+1.007.pl │ ├── SYJ206+1.008.pl │ ├── SYJ206+1.009.pl │ ├── SYJ206+1.010.pl │ ├── SYJ206+1.011.pl │ ├── SYJ206+1.012.pl │ ├── SYJ206+1.013.pl │ ├── SYJ206+1.014.pl │ ├── SYJ206+1.015.pl │ ├── SYJ206+1.016.pl │ ├── SYJ206+1.017.pl │ ├── SYJ206+1.018.pl │ ├── SYJ206+1.019.pl │ ├── SYJ206+1.020.pl │ ├── SYJ207+1.001.pl │ ├── SYJ207+1.002.pl │ ├── SYJ207+1.003.pl │ ├── SYJ207+1.004.pl │ ├── SYJ207+1.005.pl │ ├── SYJ207+1.006.pl │ ├── SYJ207+1.007.pl │ ├── SYJ207+1.008.pl │ ├── SYJ207+1.009.pl │ ├── SYJ207+1.010.pl │ ├── SYJ207+1.011.pl │ ├── SYJ207+1.012.pl │ ├── SYJ207+1.013.pl │ ├── SYJ207+1.014.pl │ ├── SYJ207+1.015.pl │ ├── SYJ207+1.016.pl │ ├── SYJ207+1.017.pl │ ├── SYJ207+1.018.pl │ ├── SYJ207+1.019.pl │ ├── SYJ207+1.020.pl │ ├── SYJ208+1.001.pl │ ├── SYJ208+1.002.pl │ ├── SYJ208+1.003.pl │ ├── SYJ208+1.004.pl │ ├── SYJ208+1.005.pl │ ├── SYJ208+1.006.pl │ ├── SYJ208+1.007.pl │ ├── SYJ208+1.008.pl │ ├── SYJ208+1.009.pl │ ├── SYJ208+1.010.pl │ ├── SYJ208+1.011.pl │ ├── SYJ208+1.012.pl │ ├── SYJ208+1.013.pl │ ├── SYJ208+1.014.pl │ ├── SYJ208+1.015.pl │ ├── SYJ208+1.016.pl │ ├── SYJ208+1.017.pl │ ├── SYJ208+1.018.pl │ ├── SYJ208+1.019.pl │ ├── SYJ208+1.020.pl │ ├── SYJ209+1.001.pl │ ├── SYJ209+1.002.pl │ ├── SYJ209+1.003.pl │ ├── SYJ209+1.004.pl │ ├── SYJ209+1.005.pl │ ├── SYJ209+1.006.pl │ ├── SYJ209+1.007.pl │ ├── SYJ209+1.008.pl │ ├── SYJ209+1.009.pl │ ├── SYJ209+1.010.pl │ ├── SYJ209+1.011.pl │ ├── SYJ209+1.012.pl │ ├── SYJ209+1.013.pl │ ├── SYJ209+1.014.pl │ ├── SYJ209+1.015.pl │ ├── SYJ209+1.016.pl │ ├── SYJ209+1.017.pl │ ├── SYJ209+1.018.pl │ ├── SYJ209+1.019.pl │ ├── SYJ209+1.020.pl │ ├── SYJ210+1.001.pl │ ├── SYJ210+1.002.pl │ ├── SYJ210+1.003.pl │ ├── SYJ210+1.004.pl │ ├── SYJ210+1.005.pl │ ├── SYJ210+1.006.pl │ ├── SYJ210+1.007.pl │ ├── SYJ210+1.008.pl │ ├── SYJ210+1.009.pl │ ├── SYJ210+1.010.pl │ ├── SYJ210+1.011.pl │ ├── SYJ210+1.012.pl │ ├── SYJ210+1.013.pl │ ├── SYJ210+1.014.pl │ ├── SYJ210+1.015.pl │ ├── SYJ210+1.016.pl │ ├── SYJ210+1.017.pl │ ├── SYJ210+1.018.pl │ ├── SYJ210+1.019.pl │ ├── SYJ210+1.020.pl │ ├── SYJ211+1.001.pl │ ├── SYJ211+1.002.pl │ ├── SYJ211+1.003.pl │ ├── SYJ211+1.004.pl │ ├── SYJ211+1.005.pl │ ├── SYJ211+1.006.pl │ ├── SYJ211+1.007.pl │ ├── SYJ211+1.008.pl │ ├── SYJ211+1.009.pl │ ├── SYJ211+1.010.pl │ ├── SYJ211+1.011.pl │ ├── SYJ211+1.012.pl │ ├── SYJ211+1.013.pl │ ├── SYJ211+1.014.pl │ ├── SYJ211+1.015.pl │ ├── SYJ211+1.016.pl │ ├── SYJ211+1.017.pl │ ├── SYJ211+1.018.pl │ ├── SYJ211+1.019.pl │ ├── SYJ211+1.020.pl │ ├── SYJ212+1.001.pl │ ├── SYJ212+1.002.pl │ ├── SYJ212+1.003.pl │ ├── SYJ212+1.004.pl │ ├── SYJ212+1.005.pl │ ├── SYJ212+1.006.pl │ ├── SYJ212+1.007.pl │ ├── SYJ212+1.008.pl │ ├── SYJ212+1.009.pl │ ├── SYJ212+1.010.pl │ ├── SYJ212+1.011.pl │ ├── SYJ212+1.012.pl │ ├── SYJ212+1.013.pl │ ├── SYJ212+1.014.pl │ ├── SYJ212+1.015.pl │ ├── SYJ212+1.016.pl │ ├── SYJ212+1.017.pl │ ├── SYJ212+1.018.pl │ ├── SYJ212+1.019.pl │ └── SYJ212+1.020.pl └── SYN │ ├── SYN001+1.pl │ ├── SYN007+1.014.pl │ ├── SYN040+1.pl │ ├── SYN041+1.pl │ ├── SYN044+1.pl │ ├── SYN045+1.pl │ ├── SYN046+1.pl │ ├── SYN047+1.pl │ ├── SYN387+1.pl │ ├── SYN388+1.pl │ ├── SYN389+1.pl │ ├── SYN390+1.pl │ ├── SYN391+1.pl │ ├── SYN392+1.pl │ ├── SYN393+1.pl │ ├── SYN416+1.pl │ ├── SYN915+1.pl │ ├── SYN916+1.pl │ ├── SYN977+1.pl │ └── SYN978+1.pl ├── proofs.pro ├── pw.py ├── pw_unify_dag.py ├── ranFullFormulas.pro ├── ranImpFormulas.pro ├── ranNormalForms.pro ├── ranPartition.pro ├── stats.pro ├── symlp ├── alt.lp ├── alt.pro ├── alt_.lp ├── compile_clauses.pro ├── compile_clauses_.pro ├── default.pro ├── grav.pro ├── guilty.pro ├── meta_dual.pro ├── running.pro ├── small.lp ├── small.pro ├── solvent.pro ├── stocks.pro └── tailgate_when_driving.pro ├── temp_async.pro ├── testGenerators.pro ├── testProvers.pro ├── test_data ├── iltp.pro └── proven.pro ├── tester.pro ├── third_party ├── dyckhoff.pro ├── dyckhoff_orig.pro ├── fCube-4.1 │ ├── ILTP │ │ ├── SYJ201+1.001.pitp │ │ ├── SYJ201+1.002.pitp │ │ ├── SYJ201+1.003.pitp │ │ ├── SYJ201+1.004.pitp │ │ ├── SYJ201+1.005.pitp │ │ ├── SYJ201+1.006.pitp │ │ ├── SYJ201+1.007.pitp │ │ ├── SYJ201+1.008.pitp │ │ ├── SYJ201+1.009.pitp │ │ ├── SYJ201+1.010.pitp │ │ ├── SYJ201+1.011.pitp │ │ ├── SYJ201+1.012.pitp │ │ ├── SYJ201+1.013.pitp │ │ ├── SYJ201+1.014.pitp │ │ ├── SYJ201+1.015.pitp │ │ ├── SYJ201+1.016.pitp │ │ ├── SYJ201+1.017.pitp │ │ ├── SYJ201+1.018.pitp │ │ ├── SYJ201+1.019.pitp │ │ ├── SYJ201+1.020.pitp │ │ ├── SYJ202+1.001.pitp │ │ ├── SYJ202+1.002.pitp │ │ ├── SYJ202+1.003.pitp │ │ ├── SYJ202+1.004.pitp │ │ ├── SYJ202+1.005.pitp │ │ ├── SYJ202+1.006.pitp │ │ ├── SYJ202+1.007.pitp │ │ ├── SYJ202+1.008.pitp │ │ ├── SYJ202+1.009.pitp │ │ ├── SYJ202+1.010.pitp │ │ ├── SYJ202+1.011.pitp │ │ ├── SYJ202+1.012.pitp │ │ ├── SYJ202+1.013.pitp │ │ ├── SYJ202+1.014.pitp │ │ ├── SYJ202+1.015.pitp │ │ ├── SYJ202+1.016.pitp │ │ ├── SYJ202+1.017.pitp │ │ ├── SYJ202+1.018.pitp │ │ ├── SYJ202+1.019.pitp │ │ ├── SYJ202+1.020.pitp │ │ ├── SYJ203+1.001.pitp │ │ ├── SYJ203+1.002.pitp │ │ ├── SYJ203+1.003.pitp │ │ ├── SYJ203+1.004.pitp │ │ ├── SYJ203+1.005.pitp │ │ ├── SYJ203+1.006.pitp │ │ ├── SYJ203+1.007.pitp │ │ ├── SYJ203+1.008.pitp │ │ ├── SYJ203+1.009.pitp │ │ ├── SYJ203+1.010.pitp │ │ ├── SYJ203+1.011.pitp │ │ ├── SYJ203+1.012.pitp │ │ ├── SYJ203+1.013.pitp │ │ ├── SYJ203+1.014.pitp │ │ ├── SYJ203+1.015.pitp │ │ ├── SYJ203+1.016.pitp │ │ ├── SYJ203+1.017.pitp │ │ ├── SYJ203+1.018.pitp │ │ ├── SYJ203+1.019.pitp │ │ ├── SYJ203+1.020.pitp │ │ ├── SYJ204+1.001.pitp │ │ ├── SYJ204+1.002.pitp │ │ ├── SYJ204+1.003.pitp │ │ ├── SYJ204+1.004.pitp │ │ ├── SYJ204+1.005.pitp │ │ ├── SYJ204+1.006.pitp │ │ ├── SYJ204+1.007.pitp │ │ ├── SYJ204+1.008.pitp │ │ ├── SYJ204+1.009.pitp │ │ ├── SYJ204+1.010.pitp │ │ ├── SYJ204+1.011.pitp │ │ ├── SYJ204+1.012.pitp │ │ ├── SYJ204+1.013.pitp │ │ ├── SYJ204+1.014.pitp │ │ ├── SYJ204+1.015.pitp │ │ ├── SYJ204+1.016.pitp │ │ ├── SYJ204+1.017.pitp │ │ ├── SYJ204+1.018.pitp │ │ ├── SYJ204+1.019.pitp │ │ ├── SYJ204+1.020.pitp │ │ ├── SYJ205+1.001.pitp │ │ ├── SYJ205+1.002.pitp │ │ ├── SYJ205+1.003.pitp │ │ ├── SYJ205+1.004.pitp │ │ ├── SYJ205+1.005.pitp │ │ ├── SYJ205+1.006.pitp │ │ ├── SYJ205+1.007.pitp │ │ ├── SYJ205+1.008.pitp │ │ ├── SYJ205+1.009.pitp │ │ ├── SYJ205+1.010.pitp │ │ ├── SYJ205+1.011.pitp │ │ ├── SYJ205+1.012.pitp │ │ ├── SYJ205+1.013.pitp │ │ ├── SYJ205+1.014.pitp │ │ ├── SYJ205+1.015.pitp │ │ ├── SYJ205+1.016.pitp │ │ ├── SYJ205+1.017.pitp │ │ ├── SYJ205+1.018.pitp │ │ ├── SYJ205+1.019.pitp │ │ ├── SYJ205+1.020.pitp │ │ ├── SYJ206+1.001.pitp │ │ ├── SYJ206+1.002.pitp │ │ ├── SYJ206+1.003.pitp │ │ ├── SYJ206+1.004.pitp │ │ ├── SYJ206+1.005.pitp │ │ ├── SYJ206+1.006.pitp │ │ ├── SYJ206+1.007.pitp │ │ ├── SYJ206+1.008.pitp │ │ ├── SYJ206+1.009.pitp │ │ ├── SYJ206+1.010.pitp │ │ ├── SYJ206+1.011.pitp │ │ ├── SYJ206+1.012.pitp │ │ ├── SYJ206+1.013.pitp │ │ ├── SYJ206+1.014.pitp │ │ ├── SYJ206+1.015.pitp │ │ ├── SYJ206+1.016.pitp │ │ ├── SYJ206+1.017.pitp │ │ ├── SYJ206+1.018.pitp │ │ ├── SYJ206+1.019.pitp │ │ ├── SYJ206+1.020.pitp │ │ ├── SYJ207+1.001.pitp │ │ ├── SYJ207+1.002.pitp │ │ ├── SYJ207+1.003.pitp │ │ ├── SYJ207+1.004.pitp │ │ ├── SYJ207+1.005.pitp │ │ ├── SYJ207+1.006.pitp │ │ ├── SYJ207+1.007.pitp │ │ ├── SYJ207+1.008.pitp │ │ ├── SYJ207+1.009.pitp │ │ ├── SYJ207+1.010.pitp │ │ ├── SYJ207+1.011.pitp │ │ ├── SYJ207+1.012.pitp │ │ ├── SYJ207+1.013.pitp │ │ ├── SYJ207+1.014.pitp │ │ ├── SYJ207+1.015.pitp │ │ ├── SYJ207+1.016.pitp │ │ ├── SYJ207+1.017.pitp │ │ ├── SYJ207+1.018.pitp │ │ ├── SYJ207+1.019.pitp │ │ ├── SYJ207+1.020.pitp │ │ ├── SYJ208+1.001.pitp │ │ ├── SYJ208+1.002.pitp │ │ ├── SYJ208+1.003.pitp │ │ ├── SYJ208+1.004.pitp │ │ ├── SYJ208+1.005.pitp │ │ ├── SYJ208+1.006.pitp │ │ ├── SYJ208+1.007.pitp │ │ ├── SYJ208+1.008.pitp │ │ ├── SYJ208+1.009.pitp │ │ ├── SYJ208+1.010.pitp │ │ ├── SYJ208+1.011.pitp │ │ ├── SYJ208+1.012.pitp │ │ ├── SYJ208+1.013.pitp │ │ ├── SYJ208+1.014.pitp │ │ ├── SYJ208+1.015.pitp │ │ ├── SYJ208+1.016.pitp │ │ ├── SYJ208+1.017.pitp │ │ ├── SYJ208+1.018.pitp │ │ ├── SYJ208+1.019.pitp │ │ ├── SYJ208+1.020.pitp │ │ ├── SYJ209+1.001.pitp │ │ ├── SYJ209+1.002.pitp │ │ ├── SYJ209+1.003.pitp │ │ ├── SYJ209+1.004.pitp │ │ ├── SYJ209+1.005.pitp │ │ ├── SYJ209+1.006.pitp │ │ ├── SYJ209+1.007.pitp │ │ ├── SYJ209+1.008.pitp │ │ ├── SYJ209+1.009.pitp │ │ ├── SYJ209+1.010.pitp │ │ ├── SYJ209+1.011.pitp │ │ ├── SYJ209+1.012.pitp │ │ ├── SYJ209+1.013.pitp │ │ ├── SYJ209+1.014.pitp │ │ ├── SYJ209+1.015.pitp │ │ ├── SYJ209+1.016.pitp │ │ ├── SYJ209+1.017.pitp │ │ ├── SYJ209+1.018.pitp │ │ ├── SYJ209+1.019.pitp │ │ ├── SYJ209+1.020.pitp │ │ ├── SYJ210+1.001.pitp │ │ ├── SYJ210+1.002.pitp │ │ ├── SYJ210+1.003.pitp │ │ ├── SYJ210+1.004.pitp │ │ ├── SYJ210+1.005.pitp │ │ ├── SYJ210+1.006.pitp │ │ ├── SYJ210+1.007.pitp │ │ ├── SYJ210+1.008.pitp │ │ ├── SYJ210+1.009.pitp │ │ ├── SYJ210+1.010.pitp │ │ ├── SYJ210+1.011.pitp │ │ ├── SYJ210+1.012.pitp │ │ ├── SYJ210+1.013.pitp │ │ ├── SYJ210+1.014.pitp │ │ ├── SYJ210+1.015.pitp │ │ ├── SYJ210+1.016.pitp │ │ ├── SYJ210+1.017.pitp │ │ ├── SYJ210+1.018.pitp │ │ ├── SYJ210+1.019.pitp │ │ ├── SYJ210+1.020.pitp │ │ ├── SYJ211+1.001.pitp │ │ ├── SYJ211+1.002.pitp │ │ ├── SYJ211+1.003.pitp │ │ ├── SYJ211+1.004.pitp │ │ ├── SYJ211+1.005.pitp │ │ ├── SYJ211+1.006.pitp │ │ ├── SYJ211+1.007.pitp │ │ ├── SYJ211+1.008.pitp │ │ ├── SYJ211+1.009.pitp │ │ ├── SYJ211+1.010.pitp │ │ ├── SYJ211+1.011.pitp │ │ ├── SYJ211+1.012.pitp │ │ ├── SYJ211+1.013.pitp │ │ ├── SYJ211+1.014.pitp │ │ ├── SYJ211+1.015.pitp │ │ ├── SYJ211+1.016.pitp │ │ ├── SYJ211+1.017.pitp │ │ ├── SYJ211+1.018.pitp │ │ ├── SYJ211+1.019.pitp │ │ ├── SYJ211+1.020.pitp │ │ ├── SYJ212+1.001.pitp │ │ ├── SYJ212+1.002.pitp │ │ ├── SYJ212+1.003.pitp │ │ ├── SYJ212+1.004.pitp │ │ ├── SYJ212+1.005.pitp │ │ ├── SYJ212+1.006.pitp │ │ ├── SYJ212+1.007.pitp │ │ ├── SYJ212+1.008.pitp │ │ ├── SYJ212+1.009.pitp │ │ ├── SYJ212+1.010.pitp │ │ ├── SYJ212+1.011.pitp │ │ ├── SYJ212+1.012.pitp │ │ ├── SYJ212+1.013.pitp │ │ ├── SYJ212+1.014.pitp │ │ ├── SYJ212+1.015.pitp │ │ ├── SYJ212+1.016.pitp │ │ ├── SYJ212+1.017.pitp │ │ ├── SYJ212+1.018.pitp │ │ ├── SYJ212+1.019.pitp │ │ └── SYJ212+1.020.pitp │ ├── README │ ├── fCube │ │ ├── fCube │ │ ├── fCube-verbose │ │ └── fCube.bash │ ├── otherWffs │ │ ├── fin.020 │ │ ├── gdej_10.txt │ │ ├── gdej_11.txt │ │ ├── gdej_12.txt │ │ ├── gdej_9.txt │ │ ├── nagata.022.txt │ │ ├── nagata.100.txt │ │ ├── nishimuraWFF_11.txt │ │ ├── nishimuraWFF_12.txt │ │ ├── nishimuraWFF_13.txt │ │ └── nishimuraWFF_14.txt │ ├── paper │ │ ├── cilc09Slide.pdf │ │ ├── lpar-slide.pdf │ │ └── towardsConstantSignOptimization.pdf │ └── script │ │ ├── buildILTPforImogen.bash │ │ ├── clock.prolog.bash │ │ ├── introduceEquiv │ │ ├── test.bash │ │ └── toImogenFormat ├── fitting.pro ├── fitting_orig.pro ├── g4ip.pro ├── ileancop.pro ├── ileansep.pro ├── ileantap.pro ├── mleantap.pro └── tree_print.pro ├── tlin.pro ├── toHorn.pro ├── tools.pro ├── tp.pro ├── treeRanking.pro ├── ugo └── uhfs.pro /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | *.qlf 3 | __pycache__/ 4 | .idea/ 5 | scratch/ 6 | *.xml 7 | venv/ 8 | out/ 9 | -------------------------------------------------------------------------------- /.idea/.gitignore: -------------------------------------------------------------------------------- 1 | # Default ignored files 2 | /shelf/ 3 | /workspace.xml 4 | -------------------------------------------------------------------------------- /.idea/inspectionProfiles/Project_Default.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/.idea/inspectionProfiles/Project_Default.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/python-terminal.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/.idea/python-terminal.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/LICENSE -------------------------------------------------------------------------------- /Problems/LCL/LCL181+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/LCL/LCL181+1.p -------------------------------------------------------------------------------- /Problems/LCL/LCL230+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/LCL/LCL230+1.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ101+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ101+1.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ102+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ102+1.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ103+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ103+1.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ104+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ104+1.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ105+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ105+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ105+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ105+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ105+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ105+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ106+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ106+1.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ107+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ107+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ107+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ107+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ107+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ107+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ107+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ107+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ201+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ201+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ202+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ202+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ203+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ203+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ204+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ204+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ205+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ205+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ206+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ206+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ207+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ207+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ208+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ208+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ209+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ209+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ210+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ210+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ211+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ211+1.020.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.001.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.001.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.002.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.002.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.003.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.003.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.004.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.004.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.005.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.005.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.006.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.006.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.007.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.007.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.008.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.008.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.009.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.009.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.010.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.010.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.011.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.011.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.012.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.012.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.013.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.013.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.014.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.015.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.015.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.016.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.016.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.017.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.017.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.018.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.018.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.019.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.019.p -------------------------------------------------------------------------------- /Problems/SYJ/SYJ212+1.020.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYJ/SYJ212+1.020.p -------------------------------------------------------------------------------- /Problems/SYN/SYN001+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN001+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN007+1.014.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN007+1.014.p -------------------------------------------------------------------------------- /Problems/SYN/SYN040+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN040+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN041+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN041+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN044+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN044+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN045+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN045+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN046+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN046+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN047+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN047+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN387+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN387+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN388+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN388+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN389+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN389+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN390+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN390+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN391+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN391+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN392+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN392+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN393+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN393+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN416+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN416+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN915+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN915+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN916+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN916+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN977+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN977+1.p -------------------------------------------------------------------------------- /Problems/SYN/SYN978+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/Problems/SYN/SYN978+1.p -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/README.md -------------------------------------------------------------------------------- /RemyP.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/RemyP.pro -------------------------------------------------------------------------------- /RemyR.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/RemyR.pro -------------------------------------------------------------------------------- /abducers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/abducers.pro -------------------------------------------------------------------------------- /allFormulas.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/allFormulas.pro -------------------------------------------------------------------------------- /allPartitions.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/allPartitions.pro -------------------------------------------------------------------------------- /allTrees.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/allTrees.pro -------------------------------------------------------------------------------- /allTypedNFs.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/allTypedNFs.pro -------------------------------------------------------------------------------- /async.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/async.pro -------------------------------------------------------------------------------- /benchmarks.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/benchmarks.pro -------------------------------------------------------------------------------- /betaReducer.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/betaReducer.pro -------------------------------------------------------------------------------- /bgo: -------------------------------------------------------------------------------- 1 | swipl --stack_limit=32G -s tp.pro 2 | -------------------------------------------------------------------------------- /bm.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/bm.pro -------------------------------------------------------------------------------- /bm.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/bm.txt -------------------------------------------------------------------------------- /bmx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/bmx.txt -------------------------------------------------------------------------------- /cProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/cProvers.pro -------------------------------------------------------------------------------- /canonical_horn.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/canonical_horn.pro -------------------------------------------------------------------------------- /cgo: -------------------------------------------------------------------------------- 1 | swipl -s canonical_horn.pro 2 | -------------------------------------------------------------------------------- /circSynt.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/circSynt.pro -------------------------------------------------------------------------------- /counts.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/counts.pro -------------------------------------------------------------------------------- /docs/example_horn3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/docs/example_horn3.txt -------------------------------------------------------------------------------- /docs/horn3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/docs/horn3.txt -------------------------------------------------------------------------------- /docs/ieltp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/docs/ieltp.pdf -------------------------------------------------------------------------------- /docs/iprover.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/docs/iprover.pdf -------------------------------------------------------------------------------- /docs/isynt.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/docs/isynt.pdf -------------------------------------------------------------------------------- /docs/theo.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/docs/theo.pdf -------------------------------------------------------------------------------- /encoders.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/encoders.pro -------------------------------------------------------------------------------- /fc.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/fc.pro -------------------------------------------------------------------------------- /fc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/fc.sh -------------------------------------------------------------------------------- /fix_iltp.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/fix_iltp.pro -------------------------------------------------------------------------------- /fullProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/fullProvers.pro -------------------------------------------------------------------------------- /full_training.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/full_training.txt -------------------------------------------------------------------------------- /funcounts.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/funcounts.pro -------------------------------------------------------------------------------- /ggo: -------------------------------------------------------------------------------- 1 | swipl --stack_limit=96G -s tp.pro 2 | -------------------------------------------------------------------------------- /go: -------------------------------------------------------------------------------- 1 | swipl -s tp.pro 2 | -------------------------------------------------------------------------------- /graphs/color.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/graphs/color.pro -------------------------------------------------------------------------------- /graphs/color_.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/graphs/color_.pro -------------------------------------------------------------------------------- /graphs/comp.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/graphs/comp.pro -------------------------------------------------------------------------------- /graphs/dual_color.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/graphs/dual_color.pro -------------------------------------------------------------------------------- /graphs/ham.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/graphs/ham.pro -------------------------------------------------------------------------------- /hProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/hProvers.pro -------------------------------------------------------------------------------- /hardening.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/hardening.pro -------------------------------------------------------------------------------- /harrop.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/harrop.pro -------------------------------------------------------------------------------- /hdprovers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/hdprovers.pro -------------------------------------------------------------------------------- /hhfs.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/hhfs.pro -------------------------------------------------------------------------------- /horn_flattener.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/horn_flattener.pro -------------------------------------------------------------------------------- /iProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/iProvers.pro -------------------------------------------------------------------------------- /ieltp.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/ieltp.pro -------------------------------------------------------------------------------- /ihorn.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/ihorn.pro -------------------------------------------------------------------------------- /inhab.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/inhab.pro -------------------------------------------------------------------------------- /inputTransformers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/inputTransformers.pro -------------------------------------------------------------------------------- /isynt.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/isynt.pro -------------------------------------------------------------------------------- /linterms.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/linterms.pro -------------------------------------------------------------------------------- /llm_reasoning/asp_completions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/llm_reasoning/asp_completions.py -------------------------------------------------------------------------------- /llm_reasoning/completions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/llm_reasoning/completions.py -------------------------------------------------------------------------------- /llm_reasoning/requirements.txt: -------------------------------------------------------------------------------- 1 | openai 2 | clingo 3 | -------------------------------------------------------------------------------- /llm_reasoning/selector.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/llm_reasoning/selector.pl -------------------------------------------------------------------------------- /lltaut/theorems0.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/lltaut/theorems0.pro -------------------------------------------------------------------------------- /lltaut/theorems1.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/lltaut/theorems1.pro -------------------------------------------------------------------------------- /lltaut/theorems2.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/lltaut/theorems2.pro -------------------------------------------------------------------------------- /lprover.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/lprover.pro -------------------------------------------------------------------------------- /lterms.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/lterms.txt -------------------------------------------------------------------------------- /mgo: -------------------------------------------------------------------------------- 1 | swipl --stack_limit=4G -s tp.pro 2 | -------------------------------------------------------------------------------- /mints.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/mints.pro -------------------------------------------------------------------------------- /mints_gen.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/mints_gen.pro -------------------------------------------------------------------------------- /nProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/nProvers.pro -------------------------------------------------------------------------------- /nd_threads.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/nd_threads.pro -------------------------------------------------------------------------------- /nested_horn.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/nested_horn.pro -------------------------------------------------------------------------------- /neuro.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/neuro.pro -------------------------------------------------------------------------------- /oProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/oProvers.pro -------------------------------------------------------------------------------- /old_abducers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/old_abducers.pl -------------------------------------------------------------------------------- /parImpFormulas.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/parImpFormulas.pro -------------------------------------------------------------------------------- /parProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/parProvers.pro -------------------------------------------------------------------------------- /parTypedNFs.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/parTypedNFs.pro -------------------------------------------------------------------------------- /polar.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/polar.pro -------------------------------------------------------------------------------- /polar1.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/polar1.pro -------------------------------------------------------------------------------- /primes.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/primes.pro -------------------------------------------------------------------------------- /printers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/printers.pro -------------------------------------------------------------------------------- /probs/LCL/LCL181+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/LCL/LCL181+1.pl -------------------------------------------------------------------------------- /probs/LCL/LCL230+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/LCL/LCL230+1.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ101+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ101+1.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ102+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ102+1.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ103+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ103+1.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ104+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ104+1.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ105+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ105+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ105+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ105+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ105+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ105+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ106+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ106+1.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ107+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ107+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ107+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ107+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ107+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ107+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ107+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ107+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ201+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ201+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ202+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ202+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ203+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ203+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ204+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ204+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ205+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ205+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ206+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ206+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ207+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ207+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ208+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ208+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ209+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ209+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ210+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ210+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ211+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ211+1.020.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.001.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.001.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.002.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.002.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.003.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.003.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.004.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.004.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.005.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.005.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.006.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.006.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.007.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.007.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.008.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.008.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.009.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.009.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.010.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.010.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.011.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.011.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.012.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.012.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.013.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.013.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.014.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.015.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.015.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.016.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.016.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.017.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.017.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.018.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.018.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.019.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.019.pl -------------------------------------------------------------------------------- /probs/SYJ/SYJ212+1.020.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYJ/SYJ212+1.020.pl -------------------------------------------------------------------------------- /probs/SYN/SYN001+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN001+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN007+1.014.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN007+1.014.pl -------------------------------------------------------------------------------- /probs/SYN/SYN040+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN040+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN041+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN041+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN044+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN044+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN045+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN045+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN046+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN046+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN047+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN047+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN387+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN387+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN388+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN388+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN389+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN389+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN390+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN390+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN391+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN391+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN392+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN392+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN393+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN393+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN416+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN416+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN915+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN915+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN916+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN916+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN977+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN977+1.pl -------------------------------------------------------------------------------- /probs/SYN/SYN978+1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/probs/SYN/SYN978+1.pl -------------------------------------------------------------------------------- /proofs.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/proofs.pro -------------------------------------------------------------------------------- /pw.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/pw.py -------------------------------------------------------------------------------- /pw_unify_dag.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/pw_unify_dag.py -------------------------------------------------------------------------------- /ranFullFormulas.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/ranFullFormulas.pro -------------------------------------------------------------------------------- /ranImpFormulas.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/ranImpFormulas.pro -------------------------------------------------------------------------------- /ranNormalForms.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/ranNormalForms.pro -------------------------------------------------------------------------------- /ranPartition.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/ranPartition.pro -------------------------------------------------------------------------------- /stats.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/stats.pro -------------------------------------------------------------------------------- /symlp/alt.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/alt.lp -------------------------------------------------------------------------------- /symlp/alt.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/alt.pro -------------------------------------------------------------------------------- /symlp/alt_.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/alt_.lp -------------------------------------------------------------------------------- /symlp/compile_clauses.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/compile_clauses.pro -------------------------------------------------------------------------------- /symlp/compile_clauses_.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/compile_clauses_.pro -------------------------------------------------------------------------------- /symlp/default.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/default.pro -------------------------------------------------------------------------------- /symlp/grav.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/grav.pro -------------------------------------------------------------------------------- /symlp/guilty.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/guilty.pro -------------------------------------------------------------------------------- /symlp/meta_dual.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/meta_dual.pro -------------------------------------------------------------------------------- /symlp/running.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/running.pro -------------------------------------------------------------------------------- /symlp/small.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/small.lp -------------------------------------------------------------------------------- /symlp/small.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/small.pro -------------------------------------------------------------------------------- /symlp/solvent.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/solvent.pro -------------------------------------------------------------------------------- /symlp/stocks.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/stocks.pro -------------------------------------------------------------------------------- /symlp/tailgate_when_driving.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/symlp/tailgate_when_driving.pro -------------------------------------------------------------------------------- /temp_async.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/temp_async.pro -------------------------------------------------------------------------------- /testGenerators.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/testGenerators.pro -------------------------------------------------------------------------------- /testProvers.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/testProvers.pro -------------------------------------------------------------------------------- /test_data/iltp.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/test_data/iltp.pro -------------------------------------------------------------------------------- /test_data/proven.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/test_data/proven.pro -------------------------------------------------------------------------------- /tester.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/tester.pro -------------------------------------------------------------------------------- /third_party/dyckhoff.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/dyckhoff.pro -------------------------------------------------------------------------------- /third_party/dyckhoff_orig.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/dyckhoff_orig.pro -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ201+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ201+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ202+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ202+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ203+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ203+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ204+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ204+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ205+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ205+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.001.pitp: -------------------------------------------------------------------------------- 1 | intDecide(equiv(p0,p0),X,'SYJ206+1.001). 2 | -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ206+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ206+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ207+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ207+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.019.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.019.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ208+1.020.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ208+1.020.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.001.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.001.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.002.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.002.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.003.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.003.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.004.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.004.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.005.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.005.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.006.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.006.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.007.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.007.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.008.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.008.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.009.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.009.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.010.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.010.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.011.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.011.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.012.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.012.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.013.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.013.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.014.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.014.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.015.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.015.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.016.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.016.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.017.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.017.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/ILTP/SYJ209+1.018.pitp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/ILTP/SYJ209+1.018.pitp -------------------------------------------------------------------------------- /third_party/fCube-4.1/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/README -------------------------------------------------------------------------------- /third_party/fCube-4.1/fCube/fCube: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/fCube/fCube -------------------------------------------------------------------------------- /third_party/fCube-4.1/fCube/fCube-verbose: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/fCube/fCube-verbose -------------------------------------------------------------------------------- /third_party/fCube-4.1/fCube/fCube.bash: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | swipl -G1g -s fCube < $1 3 | -------------------------------------------------------------------------------- /third_party/fCube-4.1/otherWffs/fin.020: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/otherWffs/fin.020 -------------------------------------------------------------------------------- /third_party/fCube-4.1/otherWffs/gdej_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/otherWffs/gdej_10.txt -------------------------------------------------------------------------------- /third_party/fCube-4.1/otherWffs/gdej_11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/otherWffs/gdej_11.txt -------------------------------------------------------------------------------- /third_party/fCube-4.1/otherWffs/gdej_12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/otherWffs/gdej_12.txt -------------------------------------------------------------------------------- /third_party/fCube-4.1/otherWffs/gdej_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/otherWffs/gdej_9.txt -------------------------------------------------------------------------------- /third_party/fCube-4.1/paper/cilc09Slide.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/paper/cilc09Slide.pdf -------------------------------------------------------------------------------- /third_party/fCube-4.1/paper/lpar-slide.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/paper/lpar-slide.pdf -------------------------------------------------------------------------------- /third_party/fCube-4.1/script/introduceEquiv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/script/introduceEquiv -------------------------------------------------------------------------------- /third_party/fCube-4.1/script/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/script/test.bash -------------------------------------------------------------------------------- /third_party/fCube-4.1/script/toImogenFormat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fCube-4.1/script/toImogenFormat -------------------------------------------------------------------------------- /third_party/fitting.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fitting.pro -------------------------------------------------------------------------------- /third_party/fitting_orig.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/fitting_orig.pro -------------------------------------------------------------------------------- /third_party/g4ip.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/g4ip.pro -------------------------------------------------------------------------------- /third_party/ileancop.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/ileancop.pro -------------------------------------------------------------------------------- /third_party/ileansep.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/ileansep.pro -------------------------------------------------------------------------------- /third_party/ileantap.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/ileantap.pro -------------------------------------------------------------------------------- /third_party/mleantap.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/mleantap.pro -------------------------------------------------------------------------------- /third_party/tree_print.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/third_party/tree_print.pro -------------------------------------------------------------------------------- /tlin.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/tlin.pro -------------------------------------------------------------------------------- /toHorn.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/toHorn.pro -------------------------------------------------------------------------------- /tools.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/tools.pro -------------------------------------------------------------------------------- /tp.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/tp.pro -------------------------------------------------------------------------------- /treeRanking.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/treeRanking.pro -------------------------------------------------------------------------------- /ugo: -------------------------------------------------------------------------------- 1 | swipl -s nested_horn.pro 2 | -------------------------------------------------------------------------------- /uhfs.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ptarau/TypesAndProofs/HEAD/uhfs.pro --------------------------------------------------------------------------------