Logiweb(TM)

Logiweb reference of peano commutativity in decimal

Up Help

001
187 138 051 234 018  054 208 091 069 001
252 200 163 136 186  214 041 221 174 145
232 145 230 213 188  128 156 008 006

The pyk compiler, version 0.grue.20050603 by Klaus Grue,
GRD-2005-06-29.UTC:11:26:23.740136 = MJD-53550.TAI:11:26:55.740136 = LGT-4626761215740136e-6