Automatic commit. Sun Sep 23 12:00:08 WST 2012

Q:	What's yellow, and equivalent to the Axiom of Choice?
A:	Zorn's Lemon.

diff --git a/research/TCS/pressure/2012-09-23.dat b/research/TCS/pressure/2012-09-23.dat
index b2f0e3e..eaca846 100644 (file)
--- a/research/TCS/pressure/2012-09-23.dat
+++ b/research/TCS/pressure/2012-09-23.dat
@@ -1 +1,145 @@
 1 2.60e-8 000002
+301 2.60e-8 000501
+601 2.60e-8 001002
+901 2.59e-8 001501
+1202 2.58e-8 002002
+1501 2.58e-8 002501
+1802 2.57e-8 003002
+2101 2.57e-8 003502
+2401 2.57e-8 004001
+2701 2.56e-8 004502
+3001 2.56e-8 005001
+3301 2.55e-8 005502
+3601 2.54e-8 010001
+3901 2.54e-8 010502
+4201 2.54e-8 011001
+4501 2.54e-8 011502
+4801 2.53e-8 012001
+5101 2.52e-8 012502
+5401 2.52e-8 013001
+5701 2.51e-8 013502
+6001 2.51e-8 014001
+6301 2.51e-8 014502
+6601 2.51e-8 015001
+6901 2.50e-8 015502
+7201 2.50e-8 020001
+7501 2.49e-8 020502
+7801 2.48e-8 021001
+8101 2.48e-8 021502
+8401 2.48e-8 022001
+8701 2.48e-8 022502
+9001 2.47e-8 023001
+9301 2.47e-8 023502
+9601 2.47e-8 024001
+9901 2.46e-8 024502
+10201 2.45e-8 025001
+10501 2.45e-8 025502
+10801 2.45e-8 030001
+11101 2.45e-8 030502
+11401 2.45e-8 031001
+11701 2.44e-8 031502
+12001 2.43e-8 032001
+12301 2.42e-8 032502
+12601 2.42e-8 033001
+12901 2.42e-8 033502
+13201 2.42e-8 034002
+13501 2.41e-8 034501
+13801 2.41e-8 035002
+14101 2.41e-8 035501
+14401 2.40e-8 040002
+14701 2.39e-8 040501
+15001 2.39e-8 041002
+15301 2.39e-8 041501
+15601 2.39e-8 042002
+15901 2.38e-8 042501
+16201 2.38e-8 043002
+16501 2.37e-8 043501
+16801 2.37e-8 044002
+17101 2.37e-8 044501
+17401 2.36e-8 045002
+17701 2.36e-8 045501
+18001 2.36e-8 050002
+18301 2.36e-8 050501
+18601 2.36e-8 051002
+18901 2.35e-8 051501
+19201 2.35e-8 052002
+19501 2.35e-8 052501
+19801 2.35e-8 053002
+20101 2.35e-8 053501
+20401 2.34e-8 054002
+20701 2.34e-8 054501
+21001 2.33e-8 055002
+21301 2.33e-8 055501
+21601 2.33e-8 060002
+21901 2.33e-8 060501
+22201 2.32e-8 061002
+22501 2.32e-8 061501
+22801 2.32e-8 062002
+23101 2.32e-8 062502
+23401 2.32e-8 063001
+23701 2.32e-8 063502
+24001 2.32e-8 064001
+24301 2.32e-8 064502
+24601 2.33e-8 065001
+24901 2.33e-8 065502
+25201 2.33e-8 070001
+25501 2.33e-8 070502
+25801 2.33e-8 071001
+26101 2.33e-8 071502
+26401 2.33e-8 072001
+26701 2.33e-8 072502
+27001 2.34e-8 073001
+27301 2.34e-8 073502
+27601 2.35e-8 074001
+27901 2.35e-8 074502
+28201 2.35e-8 075001
+28501 2.36e-8 075502
+28801 2.36e-8 080001
+29101 2.36e-8 080502
+29401 2.36e-8 081001
+29701 2.36e-8 081502
+30001 2.36e-8 082001
+30301 2.37e-8 082502
+30601 2.37e-8 083001
+30901 2.37e-8 083502
+31201 2.37e-8 084001
+31501 2.38e-8 084502
+31801 2.38e-8 085001
+32101 2.39e-8 085502
+32401 2.39e-8 090001
+32701 2.39e-8 090502
+33001 2.39e-8 091001
+33301 2.39e-8 091502
+33601 2.40e-8 092002
+33901 2.40e-8 092501
+34201 2.41e-8 093002
+34501 2.41e-8 093501
+34801 2.42e-8 094002
+35101 2.42e-8 094501
+35401 2.42e-8 095002
+35701 2.42e-8 095501
+36001 2.42e-8 100002
+36301 2.43e-8 100501
+36601 2.43e-8 101002
+36901 2.45e-8 101501
+37201 2.45e-8 102002
+37501 2.45e-8 102501
+37801 2.46e-8 103002
+38101 2.47e-8 103501
+38401 2.47e-8 104002
+38701 2.48e-8 104501
+39001 2.48e-8 105002
+39301 2.49e-8 105501
+39601 2.50e-8 110002
+39901 2.51e-8 110501
+40201 2.51e-8 111002
+40501 2.51e-8 111501
+40801 2.51e-8 112002
+41101 2.52e-8 112501
+41401 2.53e-8 113002
+41701 2.54e-8 113501
+42001 2.54e-8 114002
+42301 2.54e-8 114501
+42601 2.55e-8 115002
+42901 2.56e-8 115501
+43201 2.56e-8 120002