This page is for piecing together the work on 1. e3 b6 2. a4

This file proves that 1. e3 b6 2. a4 wins against everything but e6
e3b6.no2e6.proof.bz2 (214MB) dfc00a6cfe7453d32f3f8e7fb4411b15

This file reduces the situation to
1. e3 b6 2. a4 e6 3. Ra3 Bxa3 4. Nxa3 Qh4 5. h3 Qxf2 6. Kxf2 Na6 (7. Bxa6 Bxa6)
including the very large 4... b5 line.
e3b6.no6Na6.proof.bz2 (539MB) b828fff507d70c91567f7c7d8412baa0

This (even bigger) file handles every line except 8. Qg4 Bc4 9. Qxg7 Kf8
e3b6.no9Kf8.proof.bz2 (755MB) 359cc02763c3fbe177547e63756ebd8a

This large file handles 9. Qxg7 Kf8 10. Qxg8 Kxg8
e3b6.10Kxg8.proof.bz2 (498MB) c0e960310aba2a0da9a2ae2e08926468

Black currently has only 10... Rxg8 remaining.

========================================================================

Splittings of some of the above files:

This (very big) file handles 1. e3 b6 2. a4 e6 3. Ra3 Bxa3 4. Nxa3 b5
BIG.4b5.proof.bz2 (483MB) 1dc400748ee5b793299c774316dc9821

The very big file for  1. e3 b6 2. a4 e6 3. Ra3 Bxa3 4. Nxa3 b5
is also available in four parts.

WORKING.4b5.win.bz2 (258MB) fb76d0d36d9a41a10b10ec7c296bd6a0

REDUCTION.8Qxh3.win.bz2 (54MB) 3117a5467be29fd734983c1ed881006d

MORE_REDUCED.win.bz2 (55MB) 96f2b29b15f2153ad27a4047e2153e46

SOLVED.18Rd8.proof.bz2 (122MB) 1d517c862455ee3477f91397db5f78b9

This file handles all other 4th moves for Black, reducing to
4... Qh4 5. h3 Qxf2 6. Kxf2 Na6 7. Bxa6 Bxa6
JULY15.proof.bz2 (66MB) c304d2c13a3b8220ebb9a76295333b76
There are some extraneous lines starting with 8. d3 that are ignorable.

========================================================================

The even bigger file after 8. Qg4 is available in parts also.

This file solves all responses to 8. Qg4 except Bc4
e3b6.8Qg4reduction.proof.bz2 (175M) ba15e67c5be6c841f1be90f920ae39c1

This file is the work in progress with 8. Qg4 Bc4 9. Qxg7
8Qg4.work6.proof.bz2 (255M) 306d38e9e0e04f38c72630d6c9d7df97

This file solves 8. Qg4 Bc4 9. Qxg7 c6 (it will be spliced later).
DONE.c6.proof.bz2 (16M) 57f9bac6176df49bc7a7378877e1528a

This file is a bit of kludge for 8. Qg4 Bc4 9. Qxg7 Kd8, as 90% of it is
available elsewhere by transposition
DONE.Kd8.proof.bz2 (120M) 343da80dd23019ec1f200bbae1f2b457

This file solves 8. Qg4 Bc4 9. Qxg7 Nh6, again transposing with other files
DONE.Nh6.proof.bz2 (202M) 5c30981d688cc5f1fe807db4d70b380a

This file solves 8. Qg4 Bc4 9. Qxg7 Ne7, again transposing with other files
DONE.Ne7.proof.bz2 (278M) 8db951b97cc1d2de4b68ba7c2306786b