fieker-DuValspielwiese
|
Last change
on this file since 894057 was
894057,
checked in by Oleksandr Motsak <motsak@…>, 13 years ago
|
|
ADD: Tests from online manual (res+stat on mamawutz): short ones Tst/Manual/s.lst
|
-
Property mode set to
100644
|
|
File size:
393 bytes
|
| Line | |
|---|
| 1 | begin 640 primary_invariants_random.res.gz |
|---|
| 2 | M'XL("$-?<DX``W!R:6UA<GE?:6YV87)I86YT<U]R86YD;VTN<F5S`'5030O" |
|---|
| 3 | M,`R][U<$\=!A-]8Y]3`L*%X&PX-ZDR$5/RAL=;11M_UZNRG;21*2D+P\\K(_ |
|---|
| 4 | M;)(M`#`.:;*&$1KT<WD>Q6"KDU02B1L[;0;.H=2R$+JV_9?04B@T)RW4Y5'X |
|---|
| 5 | MZOKV#0IT]C_"\$=XZ[!?SGXXY:"ENL-N&5!2T9HV+KV4PSSB4`C4LH+5<9I9 |
|---|
| 6 | MMSA&`^JUX6L>&^`S#KDT".GR[X%D19D[;,P[+0I)>F29[3<AK<));6,TJ2.O |
|---|
| 7 | 7B7KD@G>?:+4]#;$<8^<#];=S:#0!```` |
|---|
| 8 | ` |
|---|
| 9 | end |
|---|
Note: See
TracBrowser
for help on using the repository browser.
