pyprover9/__init__.py,sha256=PQQAUp3KAQe_zRWEyh4KzyQ-Ne7tR1yGx3P3WP8F6zU,3183
pyprover9/pyprover9.py,sha256=cjGG6yXpB3kLJ3u1NE5OqMS6nbbVYJ2FSWvdv1t2fcA,9543
pyprover9/pyprover9old.py,sha256=MX2AYzdGCAARMINcXNHNgsLpK-VhVjnbiaUo0yPWXf8,9840
pyprover9/show_html.py,sha256=cJXifZ6CltnwB8ELfatErJttZsPN3a6oSLeQjsA6eQ8,4803
pyprover9/utils.py,sha256=FGEuGlCVMT5GUOnkF1J7xd_3wYnkaDhChb-mW5tKU2E,1224
pyprover9/executables/cygwin1.dll,sha256=NIztk86-emlC2mau3fDjYU4RYfQswBiILk2bFz5sQdo,1873811
pyprover9/executables/prover9-MacOS-64,sha256=fOXazpN2ngi4BzWgehfkZKle3E5IMjp86ymE2IGkKbE,489704
pyprover9/executables/prover9-linux-elf-32,sha256=ojMGYeNA-H9xz9eg-06W5jOpkwGGGWZkdw1alNgAkcw,365467
pyprover9/executables/prover9-linux-elf-64,sha256=HtpvN3i3iZPx1H-pWaCv2W6MZsd9x6VSPPwqBBNpLSY,480712
pyprover9/executables/prover9-windows-32.exe,sha256=U3R-EiBrlOO-f5pGQQTTi1RhrfH_uNBs5K8t5jBj-Aw,401759
pyprover9/problems/challenging.py,sha256=hXsmpktQ3iN8FsHMqfdlGm-VWeBqnMqJn-VxMKxB0zg,8200
pyprover9/problems/first_order_intro.py,sha256=tiaW3OjWVfHIjgI03YHeuUQSWMRig4wLOQSqsQAOrPA,11110
pyprover9/problems/propositional.py,sha256=ibkgcbRlVJ-o30-aXhHyMTXQHQ_DznT0Ga1hoCIQMvc,13082
pyprover9/problems/challenging/honey_crumpets.html,sha256=V6XoSDBA_saU4Npl8wIqhTeIyh9IGHKIlGa5HwfrV-w,3770
pyprover9/problems/challenging/honey_crumpets.p9,sha256=-NOphK4nsZ6wcvnxccfywmmmD-sfe8u7THPV-f1MLcU,3031
pyprover9/problems/challenging/impostor.html,sha256=KqrMg4gq_1a2lrV3GVPzOYhlGtsxVN0_9AAXhUZOABk,2953
pyprover9/problems/challenging/impostor.p9,sha256=dsmXDggUVpS3GnoVr9ey_9pJriMYePJDjAF5fySrKsc,2905
pyprover9/problems/challenging/parts_and_overlaps.html,sha256=MkYLu7SWblk_DIuONHbCnzgTnAn6i6dAwB53NXEXIsM,2383
pyprover9/problems/challenging/parts_and_overlaps.p9,sha256=ThiAE2mT1aXQ29sgtVwyNlHUzqDUQ9lXPrS2hfReFoA,2400
pyprover9/problems/challenging/problem_index.html,sha256=8YvcEZFqMkNT9jn863WNB9GpmcJ41aKg-RccNcbQ61s,1107
pyprover9/problems/first_order_intro/ballooning_pigs.html,sha256=wVbmaUbIA_w5wDClYIM5rGO4elFy0w9HgPD0WnvOIRY,2939
pyprover9/problems/first_order_intro/ballooning_pigs.p9,sha256=ireeBJO2NjXE9BzZmjpO8AGNEMwk1xnXEn1Dk8zh6J8,2885
pyprover9/problems/first_order_intro/barbara.html,sha256=UABNAG1LzqQ23ffyqRLm9gVm4Hn5moo6A4KPmZnanZU,1311
pyprover9/problems/first_order_intro/barbara.p9,sha256=9gplPrggHDJ_lPchXiW0oa0LzFTTe8lsoQSlazgiRIc,1914
pyprover9/problems/first_order_intro/baroco.html,sha256=0rb7V1YH7ABH9OzO_D4ppmuA918FOV30TE8QviqqpNE,1269
pyprover9/problems/first_order_intro/baroco.p9,sha256=OfaY_HnW-Z5MQMEtg0FGfzyvXzpwvV_CcLRpSaJLkt4,1870
pyprover9/problems/first_order_intro/celarent.html,sha256=8DTpvt6oBZ_v-FQ5TDsz5ol5xhnKtHCXQMA_cCoV5Xw,1237
pyprover9/problems/first_order_intro/celarent.p9,sha256=DN-6hh6A3TtEDgBNfpq0r6qN5r0AYoNS5hkDxBotH4s,1836
pyprover9/problems/first_order_intro/ferio.html,sha256=gkByEXjy41lpDk1GQgL0xYqqWuKF3pbuKqMyF4x9IR4,1236
pyprover9/problems/first_order_intro/ferio.p9,sha256=fxqfWLK3aFrzvMi0MIvdHSJhKAXqKRxCNytpdsjVfcc,1838
pyprover9/problems/first_order_intro/greedy_rabbits.html,sha256=-9fJ83Jds1zuitYY_-L91Qn_OtZS0JJpv7VuWqWa3Pc,1301
pyprover9/problems/first_order_intro/greedy_rabbits.p9,sha256=bhVJDITINB3BzyyvfTXzv6WVbKHuMj8WlhWNLaOVX9I,1862
pyprover9/problems/first_order_intro/invalid_syllogism.html,sha256=L0Wz2dHw4-Bxhrihzd8KB9hS052RLIe6J7RcCgODZ_I,1454
pyprover9/problems/first_order_intro/invalid_syllogism.p9,sha256=lgOoFPBk9Ypvf989CzblNK5D32FAF88qbJrXf2QSwNQ,1891
pyprover9/problems/first_order_intro/jabberwock.html,sha256=ZDxvk8UWBkv0WUImOLMY3uFvPntAsHm2X7SlpAFRdgk,1564
pyprover9/problems/first_order_intro/jabberwock.p9,sha256=dm4GdISMCzMy5WF_YZnVls4la4ATwTlW9sVu_sDnVnw,2020
pyprover9/problems/first_order_intro/porky.html,sha256=COohrtcqlOKw8TEqXccKUM8llR1p26t7pI9WZ_e08r4,1478
pyprover9/problems/first_order_intro/porky.p9,sha256=YNjhoq4vyyZEYLdoHv5k7ldRijnvs1KZRUp3iXCd_JE,1932
pyprover9/problems/first_order_intro/problem_index.html,sha256=4nZckj8h2fY_48YzX10YfMyPL9FXdWlNqSmsiysoLho,1570
pyprover9/problems/first_order_intro/socrates.html,sha256=xsDb3kfW_rDamaHrSy4dveYdzoSd37k_5_XI52bJFf8,1365
pyprover9/problems/first_order_intro/socrates.p9,sha256=HZ8itbmc8uNhPARvHVqU0gIktCBDTfmoRH1NH7gB5lk,1887
pyprover9/problems/first_order_intro/young_rabbits.html,sha256=Kh9bd6klG0znnErijxBGCRWUsakEBJcs7mdppefa-tI,1418
pyprover9/problems/first_order_intro/young_rabbits.p9,sha256=HsOMp_lVHOM6dHd-CNnzaECI400fKSZI45atgiBsbgA,1910
pyprover9/problems/propositional/appointment.html,sha256=mENG4gtzMbIy7LzSG6h-bkO54baiRl8idfVpV9QXIsY,1719
pyprover9/problems/propositional/appointment.p9,sha256=plN9dlyeX8nRsd2kiBA-nne5lDydkuvwiFyqe9tPCdY,1994
pyprover9/problems/propositional/diamond.html,sha256=K59YZ5nFjC19ct8TqJFsEBSW8ltMcqGnMuq6Y1NdrHM,1863
pyprover9/problems/propositional/diamond.p9,sha256=JToN9cD1T4qqb5tROWinbDX-WePzjQyCCw5FGbW7l9Q,2075
pyprover9/problems/propositional/dragons.html,sha256=hFMWWcwZKe8201my62PWC5yzF8f1KBAfgvj1utUbdIw,2025
pyprover9/problems/propositional/dragons.p9,sha256=_w5dAA7zwb1ohgtA7WsmYxrnm6uf0DX30btDx1ZX65U,2184
pyprover9/problems/propositional/dry_thunder.html,sha256=_VxqULQoT3cmO2qlL8cXFjit3LdXKA40zGoooi2YH18,1473
pyprover9/problems/propositional/dry_thunder.p9,sha256=R9v_M-uZmv68C_PPDYunq_zQOEXAxh5KLzx5cFcJrU0,2001
pyprover9/problems/propositional/lost_key.html,sha256=lIq06x0Rtgw4uuNwSFOsHtGvJ5c74OrXhp1Vgg2eZ9Q,1652
pyprover9/problems/propositional/lost_key.p9,sha256=0r1sgSJocx_2tBUWa2BLpwAWIycYTdud0D0L4TTXeGA,2112
pyprover9/problems/propositional/problem_index.html,sha256=9SkfeFQOXUz2aLaoOcNo43RCpSsE1vqzBhzP3q1BKCg,1677
pyprover9/problems/propositional/rembrandt.html,sha256=NzwlEBTF8ltXnnA_yPuV4JvnyKSsyJLPi2m6ZM0GrQc,1552
pyprover9/problems/propositional/rembrandt.p9,sha256=geF1spBzfwQWg7UprYEaiK3ieSqCrrX1kjfwdZIInyg,2082
pyprover9/problems/propositional/sundays.html,sha256=9QIB684vZnFISEFCcL4B4XPR8-Gt5x7Vi5rel1EeSHA,2132
pyprover9/problems/propositional/sundays.p9,sha256=R6NJCFAiuRfb-0Nu7HXcnWNB5QSMgPEoIT3t-1zp6Ek,2057
pyprover9/problems/propositional/tarquin.html,sha256=yoKQ4sgqbtGN-rYt7ghM362v-IfEtbrNlaMvt_gzXqA,1991
pyprover9/problems/propositional/tarquin.p9,sha256=4xLE9NKttpVVoZa2EeF7nqg0kMLRtGfIqh8YocI5FO8,2382
pyprover9/problems/propositional/tennis.html,sha256=KSa3qCAsmSJ5ikaajBpb-kIHQSgd6cVbV-S4LNE3860,3222
pyprover9/problems/propositional/tennis.p9,sha256=KHdDpprndRmJS2XniVv7mVN4Yo9FZZ8nxvRxOyLIt3Q,2194
pyprover9-0.0.26.dist-info/METADATA,sha256=tIITC7U5Ipsdi6hYQl5KnB-abBR77uJeBGPNLVrBbNI,743
pyprover9-0.0.26.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
pyprover9-0.0.26.dist-info/RECORD,,
