Index of /logic-TPTP-debian/_darcs/pristine.hashed

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]0000000001-7902699be42c8a8e46fbbb4501726517e86b22c56a189f7625a6da49081b24512011-02-22 22:05 21  
[ ]0000000094-3c7716c82895c1aecffc90d9ee4e70239b9eb9a3d8390cc79a0bb78456ec12672010-06-10 13:52 97  
[ ]0000000094-4a140e031793f9849e60751c9ac05e4683dd046ebf13009c85b8836c389edc822010-08-18 13:25 99  
[ ]0000000094-33a664684bd35501386964fd09b64a283d55374258844c1148e747bf56e85bf82010-06-17 11:21 96  
[ ]0000000094-99bf3e2d178e685c08923281e1e05602bc370c9662dc4f9a111b6b24a5dbadde2010-06-10 13:06 97  
[ ]0000000094-7618519c2d2244e57ee8b18e0c4a6b117244bf4b348dc8a5759004587ba748c22010-06-10 14:10 97  
[ ]0000000094-8581761deea2af14e52df81e1231e68baf035688045e4a45ad6cc5bc854967c12010-06-10 14:04 98  
[ ]0000000094-bee5a7c8f04decf1ff5e65ca8eaffc31c6e9dabf52bcdbc2f09888a3f768d8352010-06-10 13:47 98  
[ ]0000000094-dc9d35d51d521a356b848e965c5beb702e13a89acb615a7d567c8106b43966fb2010-08-18 13:19 98  
[ ]0000000097-873a0344d1282be7602c42bd5377c044bf8df8bf5e6af5c1c211907dfc9c0ced2010-06-10 14:10 99  
[ ]0000000097-ec7c156dcfa0a9d7b79b4a47aa095a254e31d8875c5564ed8a44d0eb95b17eca2010-06-10 14:04 99  
[ ]0000000163-4d7fbccbfe370dde0787562b2024ab0c3f93eac2b7c13e935c631feadab434482010-06-10 13:06 161  
[ ]0000000325-aaa33967a87f7af71bd493b72705cbbeb935c4f01a9626d198a0f1ed04aec6b42010-06-10 13:06 219  
[ ]0000000376-24370668ca8dbd3e4a44789323346ecf4a05522b5c13c5e5cc64f9a3391d04ef2010-06-10 14:04 232  
[ ]0000000409-4ca2007a12e24e2d5bcf32abe6deae8e79f25ecc7b80611748e25f0c4ac5c6c02010-08-18 13:19 266  
[ ]0000000451-5f29b6130b25925d62383125af20f775787788a14e0aabd31472671ace8662f32010-06-10 13:06 288  
[ ]0000000451-30175ab3a3845926283843f45352b80bf545b4b7f17249a9cc157dc45abe13af2010-08-18 13:25 285  
[ ]0000000451-263671e6d1dce20580839a4b4da1ba8dabc4ebfe69931e3ca839ec514ff2194d2010-06-10 13:52 290  
[ ]0000000451-dd0e7807b9fb310d23e2b4f66fdf425137f682f34ac62ab38f1b5c5c2d0e4c032010-06-10 13:47 289  
[ ]0000000546-9b6701b816104e88bfc67b647e3e02082ec7d765eb1bed0a4252092fdeac98852010-06-10 14:10 343  
[ ]0000000546-36ae40d9e5dec7763d9368e012575f1c17616508a72878f30feb0364857905412010-08-18 13:19 340  
[ ]0000000546-54231b3a7e07dcd3c1b85319717db522741c2f3a1976254aa6f53ec38311890b2010-06-10 14:04 343  
[ ]0000000546-ea8c8e1af1e7d7b880e36daa0a39930531fd53138f1fedafe1ebd414cbd0b1b72010-06-17 11:21 340  
[ ]0000001325-9d14fcfe3428e39212da84b4696e34fc08250fefcec883da4262efbc7df4c0902010-06-10 14:04 417  
[ ]0000001335-fd8d099b99b10cf3281d82691b46ff8145dd8ee6fd250f65c8b9e26d91dff1852010-06-10 14:10 419  
[ ]0000004113-72c1e38ca1d0752b1b18f190c5c79fd522c50213f3865c22a56a92fca599a5ba2010-06-10 13:06 964  
[ ]0000004115-6eb6c595f13f312ff7123a2c86c9f9f6ffc23a73f3e075428c5490cfc12f924b2010-06-10 13:47 968  
[ ]0000004136-f20422d302293481cef9e8e72e2f185ebd222dbe87092acfd4219cd43278bbfa2010-06-10 13:52 969  
[ ]0000004143-cfd2a2fa638949cac8237f54ccd2ced6efb9e612d87d8053df2182ecde06e17f2010-06-17 11:21 1.0K 
[ ]0000004143-ecc2659f22f307a44b199268f751c9e602642cc7f78fec7fd5f04de5eb6b81fe2010-06-10 14:04 1.0K 
[ ]0000035147-8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b9032010-06-10 13:06 12K 
[ ]da39a3ee5e6b4b0d3255bfef95601890afd807092010-06-10 13:06 0  
Apache/2.4.18 (Ubuntu) Server at src.seereason.com Port 80