Logiweb(TM)

Logiweb bibliography of prove in decimal

Up Help

Reference 0
001
049 059 081 222 149  105 182 067 253 149
173 203 082 138 087  149 029 208 006 002
156 200 176 235 225  171 166 008 006


Reference 1
001
244 231 176 190 236  231 101 127 069 118
155 146 190 224 118  218 227 003 091 223
249 190 192 138 131  220 162 008 006


Reference 2
001
105 059 102 240 195  147 182 149 243 241
087 112 137 136 151  166 131 020 017 009
192 131 172 131 138  220 162 008 006


Reference 3
001
093 083 136 124 042  061 028 137 241 011
154 176 223 077 128  157 092 079 094 061
150 169 181 228 188  171 166 008 006

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-12-07.UTC:17:24:53.972444 = MJD-54076.TAI:17:25:26.972444 = LGT-4672229126972444e-6