Index of /tmp

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 86bb6df5-bcc5-4242-b7b1-9c191372af3c 2025-04-08 18:27   75   
 AA/                                  2025-03-30 16:08    -   
 OEIS.7z                              2022-06-10 11:51  351M  
 OEIS.tar.xz                          2022-06-27 01:18  558M  
 RE4B-EN-sample.pdf                   2021-01-27 07:00  951K  
 RE4B-ES-lite.pdf                     2020-07-05 19:42  959K  
 RE4B-ES.pdf                          2020-07-05 19:42  434K  
 RE4B-NL-lite.pdf                     2020-07-05 19:42  922K  
 RE4B-NL.pdf                          2020-07-05 19:42  5.3M  
 RE4B-PL-TT-lightgray.pdf             2020-09-03 18:48  685K  
 RE4B-PTBR.pdf                        2020-07-05 19:42  328K  
 RE4B-TH-lite.pdf                     2020-07-05 19:42  881K  
 RE4B_CN_1of2.pdf                     2020-07-05 19:42  1.4M  
 UNSAT_proofs_files.tar.xz            2022-02-18 16:14  135M  
 bak_vol1_20240206.rar                2024-02-06 19:23  8.3G  
 bak_vol2_20241206.rar                2024-12-06 21:22  958M  
 blog-2024/                           2024-06-27 13:21    -   
 cado/                                2024-12-30 18:43    -   
 cbmc/                                2023-12-07 19:26    -   
 challenge_24/                        2024-10-03 16:01    -   
 chinese_inside.jpg                   2020-07-05 19:42  1.3M  
 dbacl/                               2021-04-16 23:45    -   
 dot.png                              2021-04-21 15:36   95   
 drat-trim-issue/                     2022-02-08 12:44    -   
 eden/                                2022-02-07 14:05    -   
 espressif/                           2025-03-22 10:01    -   
 farsi_inside.jpg                     2020-07-05 19:42  806K  
 klee/                                2023-11-14 14:34    -   
 knuth1.jpg                           2020-07-05 19:42  129K  
 knuth3.jpg                           2020-07-05 19:42   76K  
 korean_inside.jpg                    2020-07-05 19:42  803K  
 mohsen.pdf                           2020-07-05 19:42  175K  
 open-wbo/                            2024-01-16 18:54    -   
 petzold.pdf                          2024-07-20 02:10   27K  
 rate-issues/                         2022-02-09 17:15    -   
 receipts/                            2025-04-24 07:53    -   
 sig-2024-may-3.txt                   2024-05-03 21:55  833   
 unit_clauses/                        2022-02-08 13:49    -   
 xakep_2016_Nov.png                   2020-07-05 19:42  181K  
 xakep_2017_Feb.png                   2023-06-25 06:11  312K