Logiweb(TM)

Logiweb reference of proofreport in decimal

Up Help

001
125 016 073 080 225  033 101 026 222 051
088 232 084 136 022  094 144 015 014 180
242 192 143 168 237  140 156 008 006

The pyk compiler, version 0.grue.20050603 by Klaus Grue,
GRD-2005-07-04.UTC:09:35:58.146674 = MJD-53555.TAI:09:36:30.146674 = LGT-4627186590146674e-6