Sha256: 81cbda57acf44a6901f847fa5967838eb4edea8d0afeee8313bb4a55ff6f67b2

Contents?: true

Size: 442 Bytes

Versions: 0

Compression:

Stored size: 442 Bytes

Contents

xRMo0`ʒj	,iab`tB*Y;8NEopBTD<_~_-z|BjYr﹋'$쿌h ]<sp.K/R?jiП$-RV=3H$t/ӷ1%!>5[L2@4|Rs(XQ#=/-SP}tf뚄ju\=P(@k>6q%h	vU+)
&ӧiӖdCSbL_VTwۤ[$w2;|0Ý?^ptxGsYtVIrVRmc gi Xj]7(^Y*.9?:i̖aFn[

Quick Spec version

zermelo-1.4.0