Index of /kali/pool/main/w/why3/


../
libwhy3-ocaml-dev_0.88.2-1+b1_amd64.deb            02-Jan-2018 10:44             1864788
libwhy3-ocaml-dev_0.88.2-1+b1_arm64.deb            02-Jan-2018 10:59             2110396
libwhy3-ocaml-dev_0.88.2-1+b1_armel.deb            02-Jan-2018 11:29             3478168
libwhy3-ocaml-dev_0.88.2-1+b1_armhf.deb            02-Jan-2018 11:59             1998880
libwhy3-ocaml-dev_0.88.2-1+b1_i386.deb             02-Jan-2018 10:44             1829204
libwhy3-ocaml-dev_0.88.3-2+b1_amd64.deb            06-May-2018 07:43             1871952
libwhy3-ocaml-dev_0.88.3-2+b1_arm64.deb            06-May-2018 07:43             2107184
libwhy3-ocaml-dev_0.88.3-2+b1_armhf.deb            06-May-2018 09:56             2006636
libwhy3-ocaml-dev_0.88.3-2+b1_i386.deb             06-May-2018 07:43             1838528
libwhy3-ocaml-dev_1.1.0-1+b1_amd64.deb             20-Nov-2018 18:00             3821344
libwhy3-ocaml-dev_1.1.0-1+b1_arm64.deb             20-Nov-2018 18:00             4699296
libwhy3-ocaml-dev_1.1.0-1+b1_armel.deb             20-Nov-2018 18:00             3998052
libwhy3-ocaml-dev_1.1.0-1+b1_armhf.deb             20-Nov-2018 18:00             3918828
libwhy3-ocaml-dev_1.1.0-1+b1_i386.deb              20-Nov-2018 18:00             3536988
libwhy3-ocaml-dev_1.2.0-1+b2_amd64.deb             29-Jul-2019 12:29             7840060
libwhy3-ocaml-dev_1.2.0-1+b2_arm64.deb             29-Jul-2019 12:29             8571616
libwhy3-ocaml-dev_1.2.0-1+b2_armel.deb             29-Jul-2019 16:40             4094260
libwhy3-ocaml-dev_1.2.0-1+b2_armhf.deb             29-Jul-2019 12:29             7916180
libwhy3-ocaml-dev_1.2.0-1+b2_i386.deb              29-Jul-2019 12:29             7510356
libwhy3-ocaml-dev_1.2.0-1+b4_amd64.deb             05-Aug-2019 22:42             7834032
libwhy3-ocaml-dev_1.2.0-1+b4_arm64.deb             05-Aug-2019 22:27             8565836
libwhy3-ocaml-dev_1.2.0-1+b4_armel.deb             05-Aug-2019 15:59             4094448
libwhy3-ocaml-dev_1.2.0-1+b4_armhf.deb             05-Aug-2019 22:42             7908384
libwhy3-ocaml-dev_1.2.0-1+b4_i386.deb              05-Aug-2019 22:42             7507872
libwhy3-ocaml-dev_1.2.0-1+b5_amd64.deb             21-Aug-2019 12:12             7849592
libwhy3-ocaml-dev_1.2.0-1+b5_arm64.deb             21-Aug-2019 12:12             8578172
libwhy3-ocaml-dev_1.2.0-1+b5_armel.deb             21-Aug-2019 12:27             4093948
libwhy3-ocaml-dev_1.2.0-1+b5_armhf.deb             21-Aug-2019 11:56             7905636
libwhy3-ocaml-dev_1.2.0-1+b5_i386.deb              21-Aug-2019 12:57             7512076
libwhy3-ocaml-dev_1.2.1-2+b1_amd64.deb             08-Nov-2019 19:43             7978536
libwhy3-ocaml-dev_1.2.1-2+b1_arm64.deb             08-Nov-2019 19:58             8730144
libwhy3-ocaml-dev_1.2.1-2+b1_armel.deb             09-Nov-2019 00:59             4217208
libwhy3-ocaml-dev_1.2.1-2+b1_armhf.deb             08-Nov-2019 19:43             8059668
libwhy3-ocaml-dev_1.2.1-2+b1_i386.deb              08-Nov-2019 19:43             7649688
libwhy3-ocaml-dev_1.2.1-2+b2_amd64.deb             03-Dec-2019 14:13             7974412
libwhy3-ocaml-dev_1.2.1-2+b2_arm64.deb             03-Dec-2019 14:13             8712320
libwhy3-ocaml-dev_1.2.1-2+b2_armel.deb             03-Dec-2019 14:44             4219100
libwhy3-ocaml-dev_1.2.1-2+b2_armhf.deb             03-Dec-2019 14:28             8069744
libwhy3-ocaml-dev_1.2.1-2+b2_i386.deb              03-Dec-2019 14:08             7647628
libwhy3-ocaml-dev_1.2.1-2+b3_amd64.deb             22-Jan-2020 15:13             7984456
libwhy3-ocaml-dev_1.2.1-2+b3_arm64.deb             22-Jan-2020 15:13             8717028
libwhy3-ocaml-dev_1.2.1-2+b3_armel.deb             22-Jan-2020 15:44             4218204
libwhy3-ocaml-dev_1.2.1-2+b3_armhf.deb             22-Jan-2020 15:29             8059980
libwhy3-ocaml-dev_1.2.1-2+b3_i386.deb              22-Jan-2020 15:03             7650452
libwhy3-ocaml-dev_1.3.1-3+b1_armel.deb             20-Aug-2020 09:30             4577972
libwhy3-ocaml-dev_1.3.1-3+b2_amd64.deb             23-Aug-2020 06:14             8696364
libwhy3-ocaml-dev_1.3.1-3+b2_arm64.deb             23-Aug-2020 06:14             9752432
libwhy3-ocaml-dev_1.3.1-3+b2_armel.deb             23-Aug-2020 06:14             4577452
libwhy3-ocaml-dev_1.3.1-3+b2_armhf.deb             23-Aug-2020 06:14             8734044
libwhy3-ocaml-dev_1.3.1-3+b2_i386.deb              23-Aug-2020 05:59             8289896
libwhy3-ocaml-dev_1.3.3-1+b1_amd64.deb             14-Oct-2020 05:42             9630332
libwhy3-ocaml-dev_1.3.3-1+b1_arm64.deb             14-Oct-2020 05:26            10064336
libwhy3-ocaml-dev_1.3.3-1+b1_armel.deb             14-Oct-2020 05:57             5393268
libwhy3-ocaml-dev_1.3.3-1+b1_armhf.deb             14-Oct-2020 05:26             9595056
libwhy3-ocaml-dev_1.3.3-1+b1_i386.deb              14-Oct-2020 05:26             9299356
libwhy3-ocaml-dev_1.3.3-1+b2_amd64.deb             29-Nov-2020 09:11             9623704
libwhy3-ocaml-dev_1.3.3-1+b2_arm64.deb             29-Nov-2020 09:10            10083652
libwhy3-ocaml-dev_1.3.3-1+b2_armel.deb             29-Nov-2020 09:56             5394688
libwhy3-ocaml-dev_1.3.3-1+b2_armhf.deb             29-Nov-2020 09:26             9601428
libwhy3-ocaml-dev_1.3.3-1+b2_i386.deb              29-Nov-2020 09:11             9304288
libwhy3-ocaml-dev_1.3.3-1+b3_amd64.deb             06-Dec-2020 17:14             9617728
libwhy3-ocaml-dev_1.3.3-1+b3_arm64.deb             06-Dec-2020 16:15            10069364
libwhy3-ocaml-dev_1.3.3-1+b3_armel.deb             06-Dec-2020 16:27             5394148
libwhy3-ocaml-dev_1.3.3-1+b3_armhf.deb             06-Dec-2020 16:27             9596528
libwhy3-ocaml-dev_1.3.3-1+b3_i386.deb              06-Dec-2020 16:10             9299172
libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb             23-Jan-2021 17:41             9624832
libwhy3-ocaml-dev_1.3.3-1+b4_arm64.deb             23-Jan-2021 17:56            10066352
libwhy3-ocaml-dev_1.3.3-1+b4_armel.deb             23-Jan-2021 18:26             5395904
libwhy3-ocaml-dev_1.3.3-1+b4_armhf.deb             23-Jan-2021 17:40             9605604
libwhy3-ocaml-dev_1.3.3-1+b4_i386.deb              23-Jan-2021 17:56             9299680
libwhy3-ocaml-dev_1.3.3-1+b5_amd64.deb             10-Oct-2021 18:56             9639060
libwhy3-ocaml-dev_1.3.3-1+b5_arm64.deb             10-Oct-2021 19:11            10068536
libwhy3-ocaml-dev_1.3.3-1+b5_armel.deb             10-Oct-2021 19:26             5394084
libwhy3-ocaml-dev_1.3.3-1+b5_armhf.deb             10-Oct-2021 19:11             9601920
libwhy3-ocaml-dev_1.3.3-1+b5_i386.deb              10-Oct-2021 19:01             9304176
libwhy3-ocaml-dev_1.3.3-3_amd64.deb                26-Oct-2021 13:55             9627060
libwhy3-ocaml-dev_1.3.3-3_arm64.deb                26-Oct-2021 14:10            10068736
libwhy3-ocaml-dev_1.3.3-3_armel.deb                26-Oct-2021 14:25             5394588
libwhy3-ocaml-dev_1.3.3-3_armhf.deb                26-Oct-2021 14:10             9597740
libwhy3-ocaml-dev_1.3.3-3_i386.deb                 26-Oct-2021 13:55             9302456
why3-coq_0.88.2-1+b1_amd64.deb                     02-Jan-2018 10:44             2142532
why3-coq_0.88.2-1+b1_arm64.deb                     02-Jan-2018 10:59             2525084
why3-coq_0.88.2-1+b1_armel.deb                     02-Jan-2018 11:29             3951416
why3-coq_0.88.2-1+b1_armhf.deb                     02-Jan-2018 11:59             2046740
why3-coq_0.88.2-1+b1_i386.deb                      02-Jan-2018 10:44             1907192
why3-coq_0.88.3-2+b1_amd64.deb                     06-May-2018 07:43             2145220
why3-coq_0.88.3-2+b1_arm64.deb                     06-May-2018 07:43             2521032
why3-coq_0.88.3-2+b1_armhf.deb                     06-May-2018 09:56             2048608
why3-coq_0.88.3-2+b1_i386.deb                      06-May-2018 07:43             1909564
why3-coq_1.1.0-1+b1_amd64.deb                      20-Nov-2018 18:00              589252
why3-coq_1.1.0-1+b1_arm64.deb                      20-Nov-2018 18:00              589208
why3-coq_1.1.0-1+b1_armel.deb                      20-Nov-2018 18:00              588416
why3-coq_1.1.0-1+b1_armhf.deb                      20-Nov-2018 18:00              588992
why3-coq_1.1.0-1+b1_i386.deb                       20-Nov-2018 18:00              587700
why3-coq_1.2.0-1+b2_amd64.deb                      29-Jul-2019 12:29              596456
why3-coq_1.2.0-1+b2_arm64.deb                      29-Jul-2019 12:29              596880
why3-coq_1.2.0-1+b2_armel.deb                      29-Jul-2019 16:40              595544
why3-coq_1.2.0-1+b2_armhf.deb                      29-Jul-2019 12:29              602024
why3-coq_1.2.0-1+b2_i386.deb                       29-Jul-2019 12:29              602140
why3-coq_1.2.0-1+b4_amd64.deb                      05-Aug-2019 22:42              596696
why3-coq_1.2.0-1+b4_arm64.deb                      05-Aug-2019 22:27              596756
why3-coq_1.2.0-1+b4_armel.deb                      05-Aug-2019 15:59              595556
why3-coq_1.2.0-1+b4_armhf.deb                      05-Aug-2019 22:42              601896
why3-coq_1.2.0-1+b4_i386.deb                       05-Aug-2019 22:42              602064
why3-coq_1.2.0-1+b5_amd64.deb                      21-Aug-2019 12:12              596748
why3-coq_1.2.0-1+b5_arm64.deb                      21-Aug-2019 12:12              596704
why3-coq_1.2.0-1+b5_armel.deb                      21-Aug-2019 12:27              595660
why3-coq_1.2.0-1+b5_armhf.deb                      21-Aug-2019 11:56              602400
why3-coq_1.2.0-1+b5_i386.deb                       21-Aug-2019 12:57              601996
why3-coq_1.2.1-2+b1_amd64.deb                      08-Nov-2019 19:43              596316
why3-coq_1.2.1-2+b1_arm64.deb                      08-Nov-2019 19:58              595812
why3-coq_1.2.1-2+b1_armel.deb                      09-Nov-2019 00:59              597120
why3-coq_1.2.1-2+b1_armhf.deb                      08-Nov-2019 19:43              596724
why3-coq_1.2.1-2+b1_i386.deb                       08-Nov-2019 19:43              601908
why3-coq_1.2.1-2+b2_amd64.deb                      03-Dec-2019 14:13              596640
why3-coq_1.2.1-2+b2_arm64.deb                      03-Dec-2019 14:13              595896
why3-coq_1.2.1-2+b2_armel.deb                      03-Dec-2019 14:44              596940
why3-coq_1.2.1-2+b2_armhf.deb                      03-Dec-2019 14:28              597084
why3-coq_1.2.1-2+b2_i386.deb                       03-Dec-2019 14:08              602216
why3-coq_1.2.1-2+b3_amd64.deb                      22-Jan-2020 15:13              596488
why3-coq_1.2.1-2+b3_arm64.deb                      22-Jan-2020 15:13              596332
why3-coq_1.2.1-2+b3_armel.deb                      22-Jan-2020 15:44              596996
why3-coq_1.2.1-2+b3_armhf.deb                      22-Jan-2020 15:29              597180
why3-coq_1.2.1-2+b3_i386.deb                       22-Jan-2020 15:03              602368
why3-coq_1.3.1-3+b2_amd64.deb                      23-Aug-2020 06:14              798980
why3-coq_1.3.1-3+b2_arm64.deb                      23-Aug-2020 06:14              794828
why3-coq_1.3.3-1+b1_amd64.deb                      14-Oct-2020 05:42              757212
why3-coq_1.3.3-1+b1_arm64.deb                      14-Oct-2020 05:26              757068
why3-coq_1.3.3-1+b1_armel.deb                      14-Oct-2020 05:57              756936
why3-coq_1.3.3-1+b1_armhf.deb                      14-Oct-2020 05:26              757000
why3-coq_1.3.3-1+b1_i386.deb                       14-Oct-2020 05:26              756528
why3-coq_1.3.3-1+b2_amd64.deb                      29-Nov-2020 09:11              757292
why3-coq_1.3.3-1+b2_arm64.deb                      29-Nov-2020 09:10              757168
why3-coq_1.3.3-1+b2_armel.deb                      29-Nov-2020 09:56              756820
why3-coq_1.3.3-1+b2_armhf.deb                      29-Nov-2020 09:26              756684
why3-coq_1.3.3-1+b2_i386.deb                       29-Nov-2020 09:11              756788
why3-coq_1.3.3-1+b3_amd64.deb                      06-Dec-2020 17:14              757412
why3-coq_1.3.3-1+b3_arm64.deb                      06-Dec-2020 16:15              757036
why3-coq_1.3.3-1+b3_armel.deb                      06-Dec-2020 16:27              756700
why3-coq_1.3.3-1+b3_armhf.deb                      06-Dec-2020 16:27              756672
why3-coq_1.3.3-1+b3_i386.deb                       06-Dec-2020 16:10              756836
why3-coq_1.3.3-1+b4_amd64.deb                      23-Jan-2021 17:41              757188
why3-coq_1.3.3-1+b4_arm64.deb                      23-Jan-2021 17:56              757328
why3-coq_1.3.3-1+b4_armel.deb                      23-Jan-2021 18:26              756692
why3-coq_1.3.3-1+b4_armhf.deb                      23-Jan-2021 17:40              756836
why3-coq_1.3.3-1+b4_i386.deb                       23-Jan-2021 17:56              756948
why3-coq_1.3.3-1+b5_amd64.deb                      10-Oct-2021 18:56              757156
why3-coq_1.3.3-1+b5_arm64.deb                      10-Oct-2021 19:11              757256
why3-coq_1.3.3-1+b5_armel.deb                      10-Oct-2021 19:26              756652
why3-coq_1.3.3-1+b5_armhf.deb                      10-Oct-2021 19:11              757080
why3-coq_1.3.3-1+b5_i386.deb                       10-Oct-2021 19:01              756832
why3-coq_1.3.3-3_amd64.deb                         26-Oct-2021 13:55              757068
why3-coq_1.3.3-3_arm64.deb                         26-Oct-2021 14:10              757296
why3-coq_1.3.3-3_armel.deb                         26-Oct-2021 14:25              756960
why3-coq_1.3.3-3_armhf.deb                         26-Oct-2021 14:10              756532
why3-coq_1.3.3-3_i386.deb                          26-Oct-2021 13:55              756904
why3-doc-html_1.3.3-3_all.deb                      26-Oct-2021 13:55              970060
why3-doc-pdf_1.3.3-3_all.deb                       26-Oct-2021 13:55             1128584
why3-examples_1.3.3-3_all.deb                      26-Oct-2021 13:55             3494008
why3_0.88.2-1+b1_amd64.deb                         02-Jan-2018 10:44            21066980
why3_0.88.2-1+b1_arm64.deb                         02-Jan-2018 10:59            27062744
why3_0.88.2-1+b1_armel.deb                         02-Jan-2018 11:29            43146896
why3_0.88.2-1+b1_armhf.deb                         02-Jan-2018 11:59            11372416
why3_0.88.2-1+b1_i386.deb                          02-Jan-2018 10:44            13129316
why3_0.88.3-2+b1_amd64.deb                         06-May-2018 07:43            20797748
why3_0.88.3-2+b1_arm64.deb                         06-May-2018 07:43            26742120
why3_0.88.3-2+b1_armhf.deb                         06-May-2018 09:56            11145996
why3_0.88.3-2+b1_i386.deb                          06-May-2018 07:43            12954520
why3_1.1.0-1+b1_amd64.deb                          20-Nov-2018 18:00            24967080
why3_1.1.0-1+b1_arm64.deb                          20-Nov-2018 18:00            32297292
why3_1.1.0-1+b1_armel.deb                          20-Nov-2018 18:00            53130860
why3_1.1.0-1+b1_armhf.deb                          20-Nov-2018 18:00            13311144
why3_1.1.0-1+b1_i386.deb                           20-Nov-2018 18:00            14738056
why3_1.2.0-1+b2_amd64.deb                          29-Jul-2019 12:29            30090960
why3_1.2.0-1+b2_arm64.deb                          29-Jul-2019 12:29            38176820
why3_1.2.0-1+b2_armel.deb                          29-Jul-2019 16:40            54180200
why3_1.2.0-1+b2_armhf.deb                          29-Jul-2019 12:29            18646872
why3_1.2.0-1+b2_i386.deb                           29-Jul-2019 12:29            19938208
why3_1.2.0-1+b4_amd64.deb                          05-Aug-2019 22:42            30096000
why3_1.2.0-1+b4_arm64.deb                          05-Aug-2019 22:27            38226964
why3_1.2.0-1+b4_armel.deb                          05-Aug-2019 15:59            54175380
why3_1.2.0-1+b4_armhf.deb                          05-Aug-2019 22:42            18621296
why3_1.2.0-1+b4_i386.deb                           05-Aug-2019 22:42            19926104
why3_1.2.0-1+b5_amd64.deb                          21-Aug-2019 12:12            26936728
why3_1.2.0-1+b5_arm64.deb                          21-Aug-2019 12:12            34373240
why3_1.2.0-1+b5_armel.deb                          21-Aug-2019 12:27            55078164
why3_1.2.0-1+b5_armhf.deb                          21-Aug-2019 11:56            15289372
why3_1.2.0-1+b5_i386.deb                           21-Aug-2019 12:57            17583744
why3_1.2.1-2+b1_amd64.deb                          08-Nov-2019 19:43            30793736
why3_1.2.1-2+b1_arm64.deb                          08-Nov-2019 19:58            39361240
why3_1.2.1-2+b1_armel.deb                          09-Nov-2019 00:59            58252752
why3_1.2.1-2+b1_armhf.deb                          08-Nov-2019 19:43            20384192
why3_1.2.1-2+b1_i386.deb                           08-Nov-2019 19:43            26804176
why3_1.2.1-2+b2_amd64.deb                          03-Dec-2019 14:13            30784072
why3_1.2.1-2+b2_arm64.deb                          03-Dec-2019 14:13            39356316
why3_1.2.1-2+b2_armel.deb                          03-Dec-2019 14:44            58246564
why3_1.2.1-2+b2_armhf.deb                          03-Dec-2019 14:28            20393032
why3_1.2.1-2+b2_i386.deb                           03-Dec-2019 14:08            26811688
why3_1.2.1-2+b3_amd64.deb                          22-Jan-2020 15:13            30795296
why3_1.2.1-2+b3_arm64.deb                          22-Jan-2020 15:13            39334912
why3_1.2.1-2+b3_armel.deb                          22-Jan-2020 15:44            58239392
why3_1.2.1-2+b3_armhf.deb                          22-Jan-2020 15:29            20398512
why3_1.2.1-2+b3_i386.deb                           22-Jan-2020 15:03            26803312
why3_1.3.1-3+b1_armel.deb                          20-Aug-2020 09:30            71266684
why3_1.3.1-3+b2_amd64.deb                          23-Aug-2020 06:14            34040060
why3_1.3.1-3+b2_arm64.deb                          23-Aug-2020 06:14            44569904
why3_1.3.1-3+b2_armel.deb                          23-Aug-2020 06:14            71272880
why3_1.3.1-3+b2_armhf.deb                          23-Aug-2020 06:14            20859956
why3_1.3.1-3+b2_i386.deb                           23-Aug-2020 05:59            29377572
why3_1.3.3-1+b1_amd64.deb                          14-Oct-2020 05:42            39444232
why3_1.3.3-1+b1_arm64.deb                          14-Oct-2020 05:26            46981480
why3_1.3.3-1+b1_armel.deb                          14-Oct-2020 05:57            86827692
why3_1.3.3-1+b1_armhf.deb                          14-Oct-2020 05:26            36699148
why3_1.3.3-1+b1_i386.deb                           14-Oct-2020 05:26            36195800
why3_1.3.3-1+b2_amd64.deb                          29-Nov-2020 09:11            39450152
why3_1.3.3-1+b2_arm64.deb                          29-Nov-2020 09:10            47001396
why3_1.3.3-1+b2_armel.deb                          29-Nov-2020 09:56            86823984
why3_1.3.3-1+b2_armhf.deb                          29-Nov-2020 09:26            36695000
why3_1.3.3-1+b2_i386.deb                           29-Nov-2020 09:11            36197136
why3_1.3.3-1+b3_amd64.deb                          06-Dec-2020 17:14            39497960
why3_1.3.3-1+b3_arm64.deb                          06-Dec-2020 16:15            47094680
why3_1.3.3-1+b3_armel.deb                          06-Dec-2020 16:27            86911756
why3_1.3.3-1+b3_armhf.deb                          06-Dec-2020 16:27            36716860
why3_1.3.3-1+b3_i386.deb                           06-Dec-2020 16:10            36223024
why3_1.3.3-1+b4_amd64.deb                          23-Jan-2021 17:41            39497748
why3_1.3.3-1+b4_arm64.deb                          23-Jan-2021 17:56            47066368
why3_1.3.3-1+b4_armel.deb                          23-Jan-2021 18:26            86941616
why3_1.3.3-1+b4_armhf.deb                          23-Jan-2021 17:40            36720980
why3_1.3.3-1+b4_i386.deb                           23-Jan-2021 17:56            36232868
why3_1.3.3-1+b5_amd64.deb                          10-Oct-2021 18:56            39510716
why3_1.3.3-1+b5_arm64.deb                          10-Oct-2021 19:11            47077508
why3_1.3.3-1+b5_armel.deb                          10-Oct-2021 19:26            86940980
why3_1.3.3-1+b5_armhf.deb                          10-Oct-2021 19:11            36713460
why3_1.3.3-1+b5_i386.deb                           10-Oct-2021 19:01            36230780
why3_1.3.3-3.debian.tar.xz                         26-Oct-2021 13:19               19332
why3_1.3.3-3.dsc                                   26-Oct-2021 13:19                2849
why3_1.3.3-3_amd64.deb                             26-Oct-2021 13:55            39516084
why3_1.3.3-3_arm64.deb                             26-Oct-2021 14:10            47039892
why3_1.3.3-3_armel.deb                             26-Oct-2021 14:25            86942528
why3_1.3.3-3_armhf.deb                             26-Oct-2021 14:10            36719068
why3_1.3.3-3_i386.deb                              26-Oct-2021 13:55            36217484
why3_1.3.3.orig.tar.gz                             23-Sep-2020 20:00             5807572