add dProofs37-unfiltered{33,35}+.txt info + logs

Author: xamidi

README.html

@@ -7,7 +7,7 @@
      4. RegEx replace-all: [FIND]<p><img src\=\"icon\/icon-readme\.png\" align\=\"left\"><\/p>[/FIND], [REPLACE]<img src\=\"icon\/icon-readme\.png\" align\=\"left\">[/REPLACE] (1 occurence)
      5. RegEx replace-all: [FIND]id\=\"-xamidi-pmgenerator\"[/FIND], [REPLACE]id\=\"xamidi-pmgenerator\"[/REPLACE] (1 occurence)
      6. RegEx replace-all: [FIND]<(/|)span>[/FIND], [REPLACE][/REPLACE] (570 occurences)
-     7. [FIND]≈\  [/FIND], [REPLACE]≈  [/REPLACE] (20 occurences)
+     7. [FIND]≈\  [/FIND], [REPLACE]≈  [/REPLACE] (24 occurences)
      8. [FIND]  \  [/FIND], [REPLACE]    [/REPLACE] (15+4 occurences)
      (NOTE: Use RegEx replacements to not invalidate these instructions. Further content may require more bugfixes as by steps 4 to 8.)
      -->
@@ -314,6 +314,22 @@ <h1 id="xamidi-pmgenerator">@xamidi/pmGenerator</h1>
 <td style="text-align:right">≈  485.12</td>
 <td style="text-align:right"><a href="https://www.wolframalpha.com/input?i=113174356461%2F30717801573" title="size(dProofs37-unfiltered31+.txt) / size(dProofs35-unfiltered31+.txt)">3.6843...</a></td>
 </tr>
+<tr>
+<td><a href="https://mega.nz/file/q1txWSZA#P_HoU6_4_fCYd_1Zw7Y5UG7R4UWdlVm4_s9xG6pzsoY" title="103'965'043'304 bytes compressed into 4'479'575'346 bytes (ratio approx. 23.2087)">dProofs37‑unfiltered33+.txt</a><sup>✻</sup></td>
+<td style="text-align:center"><img src="svg/markers.svg#2" alt="010"></td>
+<td style="text-align:right">142 381 295 095</td>
+<td style="text-align:right">≈  217.76</td>
+<td style="text-align:right">≈  446.50</td>
+<td style="text-align:right"><a href="https://www.wolframalpha.com/input?i=103965043304%2F28223320428" title="size(dProofs37-unfiltered33+.txt) / size(dProofs35-unfiltered33+.txt)">3.6836...</a></td>
+</tr>
+<tr>
+<td><a href="https://mega.nz/file/Pg0STDYL#YZF0i4i6AcLP2_gZQuHNb40ajbspYC8wOFsK7fmKQTw" title="95'571'571'048 bytes compressed into 4'105'722'124 bytes (ratio approx. 23.2777)">dProofs37‑unfiltered35+.txt</a><sup>✻</sup></td>
+<td style="text-align:center"><img src="svg/markers.svg#1" alt="001"></td>
+<td style="text-align:right">128 595 197 788</td>
+<td style="text-align:right">≈  197.08</td>
+<td style="text-align:right">≈  408.38</td>
+<td style="text-align:right"><a href="https://www.wolframalpha.com/input?i=95571571048%2F24669947024" title="size(dProofs37-unfiltered35+.txt) / size(dProofs35-unfiltered35+.txt)">3.8740...</a></td>
+</tr>
 </tbody>
 </table>
 <p>Measured RAM requirements correspond to the maximum resident set size according to <a href="https://slurm.schedmd.com/documentation.html">Slurm</a>, i.e. <code>MaxRSS</code> of <a href="https://slurm.schedmd.com/sacct.html">sacct</a>.<br>This tool has been <a href="https://groups.google.com/g/metamath/c/6DzIY33mthE/m/K0I6UNoiAgAJ">posted</a> to the Metamath mailing list.</p>

README.md

@@ -19,6 +19,8 @@ The following table exemplary shows progress that has already been made.
 | [dProofs35‑unfiltered33+.txt](https://mega.nz/file/WwNViKRa#UBiPOFN4wRkMgetY60eAQi1oXVQ3fQdkcg7hFxB-Dfk "28'223'320'428 bytes compressed into 1'290'589'236 bytes (ratio approx. 21.8686)")              | ![010](svg/markers.svg#2) |                     38 416 251 791 |                                        ≈    61.41 |                     ≈  137.87 | [3.8685...](https://www.wolframalpha.com/input?i=28223320428%2F7295621951 "size(dProofs35-unfiltered33+.txt) / size(dProofs33-unfiltered33+.txt)")   |
 | [dProofs35‑unfiltered35+.txt](https://mega.nz/file/b0t1xbKI#6sjAICTTNMfQ2VO5kyVMpxVHSQNZzxWPktOEGJkberk "24'669'947'024 bytes compressed into 1'121'466'816 bytes (ratio approx. 21.9979)")              | ![001](svg/markers.svg#1) |                     33 023 626 740 |                                        ≈    53.49 |                     ≈  124.14 | [4.1979...](https://www.wolframalpha.com/input?i=24669947024%2F5876664090 "size(dProofs35-unfiltered35+.txt) / size(dProofs33.txt)")                 |
 | [dProofs37&#x2011;unfiltered31+.txt](https://mega.nz/file/6wUyDQzT#DQIJOLd5dCn-6V9sJWiJXeGRPUTUaA-7LqbGfLStjV0 "113'174'356'461 bytes compressed into 4'897'020'927 bytes (ratio approx. 23.1109)")<sup>✻</sup> | ![100](svg/markers.svg#4) |                    155 138 491 321 |                                         ≈  238.30 |                     ≈  485.12 | [3.6843...](https://www.wolframalpha.com/input?i=113174356461%2F30717801573 "size(dProofs37-unfiltered31+.txt) / size(dProofs35-unfiltered31+.txt)") |
+| [dProofs37&#x2011;unfiltered33+.txt](https://mega.nz/file/q1txWSZA#P_HoU6_4_fCYd_1Zw7Y5UG7R4UWdlVm4_s9xG6pzsoY "103'965'043'304 bytes compressed into 4'479'575'346 bytes (ratio approx. 23.2087)")<sup>✻</sup> | ![010](svg/markers.svg#2) |                    142 381 295 095 |                                         ≈  217.76 |                     ≈  446.50 | [3.6836...](https://www.wolframalpha.com/input?i=103965043304%2F28223320428 "size(dProofs37-unfiltered33+.txt) / size(dProofs35-unfiltered33+.txt)") |
+| [dProofs37&#x2011;unfiltered35+.txt](https://mega.nz/file/Pg0STDYL#YZF0i4i6AcLP2_gZQuHNb40ajbspYC8wOFsK7fmKQTw "95'571'571'048 bytes compressed into 4'105'722'124 bytes (ratio approx. 23.2777)")<sup>✻</sup>  | ![001](svg/markers.svg#1) |                    128 595 197 788 |                                         ≈  197.08 |                     ≈  408.38 | [3.8740...](https://www.wolframalpha.com/input?i=95571571048%2F24669947024 "size(dProofs37-unfiltered35+.txt) / size(dProofs35-unfiltered35+.txt)")  |
 
 Measured RAM requirements correspond to the maximum resident set size according to [Slurm](https://slurm.schedmd.com/documentation.html), i.e. `MaxRSS` of [sacct](https://slurm.schedmd.com/sacct.html).  
 This tool has been [posted](https://groups.google.com/g/metamath/c/6DzIY33mthE/m/K0I6UNoiAgAJ) to the Metamath mailing list.