Logiweb(TM)

Logiweb reference of equivalence-relations in decimal

Up Help

001
057 152 247 141 147  158 173 183 017 229
186 150 213 200 245  254 048 208 097 066
202 197 253 234 226  162 164 008 006

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-08-24.UTC:08:13:50.904458 = MJD-53971.TAI:08:14:23.904458 = LGT-4663124063904458e-6