/* package whatever; // don't place package name! */
 
import java.util.*;
import java.io.*;
import java.util.zip.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		byte[] data = new byte[10000];
		int datalen = System.in.read(data);
 
		System.out.println(datalen);
 
		Deflater df = new Deflater();
 
		df.setLevel(Deflater.BEST_COMPRESSION);
		df.setInput(data);
		df.finish();
 
		ByteArrayOutputStream out = new ByteArrayOutputStream();
 
		byte[] buf = new byte[10000];
 
		while (!df.finished())
		{
			int len = df.deflate(buf);
			out.write(buf, 0, len);
		}
 
		System.out.println(out.size());	
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5pby4qOwppbXBvcnQgamF2YS51dGlsLnppcC4qOwoKLyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKCQlieXRlW10gZGF0YSA9IG5ldyBieXRlWzEwMDAwXTsKCQlpbnQgZGF0YWxlbiA9IFN5c3RlbS5pbi5yZWFkKGRhdGEpOwoJCQoJCVN5c3RlbS5vdXQucHJpbnRsbihkYXRhbGVuKTsKCQkKCQlEZWZsYXRlciBkZiA9IG5ldyBEZWZsYXRlcigpOwoJCQoJCWRmLnNldExldmVsKERlZmxhdGVyLkJFU1RfQ09NUFJFU1NJT04pOwoJCWRmLnNldElucHV0KGRhdGEpOwoJCWRmLmZpbmlzaCgpOwoJCQoJCUJ5dGVBcnJheU91dHB1dFN0cmVhbSBvdXQgPSBuZXcgQnl0ZUFycmF5T3V0cHV0U3RyZWFtKCk7CgkJCgkJYnl0ZVtdIGJ1ZiA9IG5ldyBieXRlWzEwMDAwXTsKCQkKCQl3aGlsZSAoIWRmLmZpbmlzaGVkKCkpCgkJewoJCQlpbnQgbGVuID0gZGYuZGVmbGF0ZShidWYpOwoJCQlvdXQud3JpdGUoYnVmLCAwLCBsZW4pOwoJCX0KCQkKCQlTeXN0ZW0ub3V0LnByaW50bG4ob3V0LnNpemUoKSk7CQoJfQp9

Nzg0IO+8mu+8iC3vvL8t77yJ44GV44KTIFsmZGFycjtdIO+8mjIwMTUvMTAvMTIo5pyIKSAwNjoxMToyOSBJRDo/Pz8K44GG44KT44CB5YmN5Zue44KC44GT44Gu5pel5pys6Kqe6Kiz44Gn5a2m57+S44GX44Gf44KI44GG44Gq5rCX44GM44GZ44KLCuWOn+aWh+OBruOBu+OBhuOBr+OBoeOCh+OCjeOBo+OBqOecuuOCgeOBpuOBv+OBn+OBjOimi+OBn+immuOBiOOBjOWFqOOBj+OBquOBhAoy5bm05YmN44Gu5L+644Gv6Iux6Kqe5paH56ug44KS6Kqt44KA5rCX5qaC44Gv54Sh44GL44Gj44Gf44KI44GG44GgCgoKNzg1IO+8mu+8iC3vvL8t77yJ44GV44KTIFsmZGFycjtdIO+8mjIwMTUvMTAvMTIo5pyIKSAwNjoyMTo1MyBJRDo/Pz8K44Kr44K544K/44Og44OP44OV44Oe44Oz44Gn5Zyn57iu44Gv44GX44KT44Gp44Gd44GGCuODj+ODleODnuODs+espuWPt+ihqOOCkueLrOiHquOBq+eUn+aIkO+8iOOBguOCi+OBhOOBr+S6i+WJjeeUqOaEj++8ieOBp+OChOOCi+OCk+OBoOOCjeOBhuOBkeOBqQrjgYLjgovnqIvluqbjga7jgrXjgqTjgrrvvIjjg5bjg63jg4Pjgq/jgajjgYTjgYbjgoTjgaTjgYvvvInoqq3jgb/ovrzjgpPjgaDjg4fjg7zjgr/jga7jg5Ljgrnjg4jjgrDjg6njg6Dlj5bjgaPjgablpKfjgY3jgarlgY/jgorjgYzjgYLjgovloLTlkIjjga8K44Kr44K544K/44Og44OP44OV44Oe44Oz44Gn6LaF5Zyn57iu44Gn44GN44Gf44KK44GX44Gf44KJ44GZ44GU44GE44KT44Gg44KN44GG44GR44GpCuS6i+WJjeeUqOaEj+OBquOCieOBguOCi+eoi+W6puODh+ODvOOCv+OBruWBj+OCiuOBjOOBguOCi+OBk+OBqOOBjOWIhuOBi+OBo+OBpuOCi+ODh+ODvOOCv+W9ouW8j+OCkuWPluOCiuaJseOBhuOBqOOBjeOBqOOBi+OBi+OBqgrjganjga7jgb/jgaHpnaLlgJLjgoQKCgo3ODYg77ya77yILe+8vy3vvInjgZXjgpMgWyZkYXJyO10g77yaMjAxNS8xMC8xMijmnIgpIDA2OjI1OjM5IElEOj8/PwrjgZ/jgaDlm7rlrprjg4/jg5Xjg57jg7PjgaDjgajjgbvjgajjgpPjganlnKfnuK7jgafjgY3jgarjgZXjgZ3jgYYK5ZCM44GY6YCj57aa44OH44O844K/44GM6aC75Ye644GZ44KL44KI44GG44Gq44OH44O844K/5b2i5byP44GY44KD44Gq44GE44Go5Zu65a6a44OP44OV44Oe44Oz44KI44KK6Z2e5Zyn57iu44OW44Ot44OD44Kv5L2/44GG44G744GG44GM44GE44GE44GXCuacrOawl+OBp+Wcp+e4ruOCkuiAg+OBiOOCi+OBquOCieOCq+OCueOCv+ODoOODj+ODleODnuODs+S9v+OCj+OBluOCi+OCkuOBiOOBquOBhOOBruOBi+ODu+ODu+ODuwoKCjc4NyDvvJrvvIgt77y/Le+8ieOBleOCkyBbJmRhcnI7XSDvvJoyMDE1LzEwLzEyKOaciCkgMDY6Mjg6MTQgSUQ6Pz8/CuODj+ODleODnuODs+espuWPt+OBrueUn+aIkOazleiHquS9k+OBr+abuOOBhOOBpuOBguOCi+OBkeOBqQrjgqvjgrnjgr/jg6Djg4/jg5Xjg57jg7PjgaDjgajnrKblj7fooajjga7lnKfnuK7jgoLjgZfjgarjgY3jgoPjgarjgonjgpPjgZfjgIHkvZXjgojjgorjg5bjg63jg4Pjgq/jg5Xjgqnjg7zjg57jg4Pjg4jjgYzpnaLlgJIKCgo3ODgg77ya77yILe+8vy3vvInjgZXjgpMgWyZkYXJyO10g77yaMjAxNS8xMC8xMijmnIgpIDA2OjMxOjI0IElEOj8/PwrliY3lm57jga/kvLjlvLXlh6bnkIbjgaDjgaPjgZ/jgYvjgonlm7rlrprjg4/jg5Xjg57jg7Pjga7lhoXlrrnjgavjgaTjgYTjgabmt7HjgY/ogIPjgYjjgarjgYvjgaPjgZ/jgZHjgakK44KE44Gf44KJ44KB44Gj44Gf44KJ5ZCM44GY6YCj57aa44OH44O844K/44GM6aC75Ye644GX44Gq44GE6ZmQ44KK5Zu65a6a44OP44OV44Oe44Oz44KS5L2/44GG5L6h5YCk44Gt44GI44KPCuaZrumAmuOBruODhuOCreOCueODiOaWh+abuOOCkuWcp+e4ruOBquOCieWNmOe0lOOBq+mgu+WHuuaWh+Wtl+OBruODk+ODg+ODiOaVsOaKkeOBiOOCi+ebrueahOOBruOCq+OCueOCv+ODoOODj+ODleODnuODs+S9nOOCi+OBu+OBhuOBjOaWreeEtuOBhOOBhOOBqgoKCjc4OSDvvJrvvIgt77y/Le+8ieOBleOCkyBbJmRhcnI7XSDvvJoyMDE1LzEwLzEyKOaciCkgMDY6Mzk6MzYgSUQ6Pz8/CuWbuuWumuODj+ODleODnuODs+OBrzPjg5DjgqTjg4goMjRiaXQp5Lul5LiK5LiA6Ie044GZ44KL44Go5Y2K5YiG5Lul5LiL44Gu44Gr5rib44KJ44Gb44KL5oSf44GY44Gn44Gv44GC44KL44GMCmh0bWzmlofmm7jjga7lnKfnuK7jgajjgYvjgarjgoky5paH5a2X5Lul5LiK44K/44Kw44KE44OR44Op44Oh44O844K/5ZCN44GM6aC75Ye644GX44Gf44Go44GX44Gm44KCCuOCv+OCsOOChOODkeODqeODoeODvOOCv+WQjeOBquOCk+OBpuaWh+abuOWFqOS9k+OBruWkp+OBl+OBn+WJsuWQiOOBmOOCg+OBquOBhOOBl+OAgeWbuuWumuODj+ODleODnuODs+OBoOOBqOOBoeOCh+OCjeOBo+OBqOOBl+OBi+Wcp+e4ruOBp+OBjeOBquOBhOOBqgrkv7rjgYzjgYTjgb7jgZPjga7jgrnjg6zjgafpgKPmipXjgZfjgabjgovjg6zjgrnjgaDjgaPjgabpgKPntprjg4fjg7zjgr/lpJrjgY/jgarjgYTjgaDjgo3jgYbjgZcK44Gf44Gg44OS44K544OI44Kw44Op44Og44Gn6aC75Ye65qSc5p+744GX44Gm44KC5b6u5aaZ44Gd44GG44Gn44Gv44GC44KL44GMCg==

784 ：（-＿-）さん [↓] ：2015/10/12(月) 06:11:29 ID:???
うん、前回もこの日本語訳で学習したような気がする
原文のほうはちょろっと眺めてみたが見た覚えが全くない
2年前の俺は英語文章を読む気概は無かったようだ


785 ：（-＿-）さん [↓] ：2015/10/12(月) 06:21:53 ID:???
カスタムハフマンで圧縮はしんどそう
ハフマン符号表を独自に生成（あるいは事前用意）でやるんだろうけど
ある程度のサイズ（ブロックというやつか）読み込んだデータのヒストグラム取って大きな偏りがある場合は
カスタムハフマンで超圧縮できたりしたらすごいんだろうけど
事前用意ならある程度データの偏りがあることが分かってるデータ形式を取り扱うときとかかな
どのみち面倒や


786 ：（-＿-）さん [↓] ：2015/10/12(月) 06:25:39 ID:???
ただ固定ハフマンだとほとんど圧縮できなさそう
同じ連続データが頻出するようなデータ形式じゃないと固定ハフマンより非圧縮ブロック使うほうがいいし
本気で圧縮を考えるならカスタムハフマン使わざるをえないのか・・・


787 ：（-＿-）さん [↓] ：2015/10/12(月) 06:28:14 ID:???
ハフマン符号の生成法自体は書いてあるけど
カスタムハフマンだと符号表の圧縮もしなきゃならんし、何よりブロックフォーマットが面倒


788 ：（-＿-）さん [↓] ：2015/10/12(月) 06:31:24 ID:???
前回は伸張処理だったから固定ハフマンの内容について深く考えなかったけど
やたらめったら同じ連続データが頻出しない限り固定ハフマンを使う価値ねえわ
普通のテキスト文書を圧縮なら単純に頻出文字のビット数抑える目的のカスタムハフマン作るほうが断然いいな


789 ：（-＿-）さん [↓] ：2015/10/12(月) 06:39:36 ID:???
固定ハフマンは3バイト(24bit)以上一致すると半分以下のに減らせる感じではあるが
html文書の圧縮とかなら2文字以上タグやパラメータ名が頻出したとしても
タグやパラメータ名なんて文書全体の大した割合じゃないし、固定ハフマンだとちょろっとしか圧縮できないな
俺がいまこのスレで連投してるレスだって連続データ多くないだろうし
ただヒストグラムで頻出検査しても微妙そうではあるが