blob: f74ac5763b7336bae33464598b6f52a78d306765 (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 74 07 00 02 01 00 21 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64 65 72	.......1.t.....!org/sat4j/reader
0020	2f 45 66 66 69 63 69 65 6e 74 53 63 61 6e 6e 65 72 07 00 04 01 00 10 6a 61 76 61 2f 6c 61 6e 67	/EfficientScanner......java/lang
0040	2f 4f 62 6a 65 63 74 07 00 06 01 00 14 6a 61 76 61 2f 69 6f 2f 53 65 72 69 61 6c 69 7a 61 62 6c	/Object......java/io/Serializabl
0060	65 01 00 10 73 65 72 69 61 6c 56 65 72 73 69 6f 6e 55 49 44 01 00 01 4a 01 00 0d 43 6f 6e 73 74	e...serialVersionUID...J...Const
0080	61 6e 74 56 61 6c 75 65 05 00 00 00 00 00 00 00 01 01 00 0a 54 41 49 4c 4c 45 5f 42 55 46 01 00	antValue............TAILLE_BUF..
00a0	01 49 03 00 00 40 00 01 00 02 69 6e 01 00 1d 4c 6a 61 76 61 2f 69 6f 2f 42 75 66 66 65 72 65 64	.I...@....in...Ljava/io/Buffered
00c0	49 6e 70 75 74 53 74 72 65 61 6d 3b 01 00 03 45 4f 46 01 00 01 43 03 00 00 ff ff 01 00 0b 63 6f	InputStream;...EOF...C........co
00e0	6d 6d 65 6e 74 43 68 61 72 01 00 06 3c 69 6e 69 74 3e 01 00 19 28 4c 6a 61 76 61 2f 69 6f 2f 49	mmentChar...<init>...(Ljava/io/I
0100	6e 70 75 74 53 74 72 65 61 6d 3b 43 29 56 01 00 04 43 6f 64 65 0a 00 03 00 19 0c 00 15 00 1a 01	nputStream;C)V...Code...........
0120	00 03 28 29 56 07 00 1c 01 00 1b 6a 61 76 61 2f 69 6f 2f 42 75 66 66 65 72 65 64 49 6e 70 75 74	..()V......java/io/BufferedInput
0140	53 74 72 65 61 6d 0a 00 1b 00 1e 0c 00 15 00 1f 01 00 19 28 4c 6a 61 76 61 2f 69 6f 2f 49 6e 70	Stream.............(Ljava/io/Inp
0160	75 74 53 74 72 65 61 6d 3b 49 29 56 09 00 01 00 21 0c 00 0f 00 10 09 00 01 00 23 0c 00 14 00 12	utStream;I)V....!.........#.....
0180	01 00 0f 4c 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61 6c 56 61 72 69 61 62	...LineNumberTable...LocalVariab
01a0	6c 65 54 61 62 6c 65 01 00 04 74 68 69 73 01 00 23 4c 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64	leTable...this..#Lorg/sat4j/read
01c0	65 72 2f 45 66 66 69 63 69 65 6e 74 53 63 61 6e 6e 65 72 3b 01 00 05 69 6e 70 75 74 01 00 15 4c	er/EfficientScanner;...input...L
01e0	6a 61 76 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 01 00 18 28 4c 6a 61 76 61 2f 69 6f	java/io/InputStream;...(Ljava/io
0200	2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 29 56 0a 00 01 00 2c 0c 00 15 00 16 01 00 05 63 6c 6f 73	/InputStream;)V....,........clos
0220	65 01 00 0a 45 78 63 65 70 74 69 6f 6e 73 07 00 30 01 00 13 6a 61 76 61 2f 69 6f 2f 49 4f 45 78	e...Exceptions..0...java/io/IOEx
0240	63 65 70 74 69 6f 6e 0a 00 1b 00 32 0c 00 2d 00 1a 01 00 0c 73 6b 69 70 43 6f 6d 6d 65 6e 74 73	ception....2..-.....skipComments
0260	0a 00 01 00 35 0c 00 36 00 37 01 00 0b 63 75 72 72 65 6e 74 43 68 61 72 01 00 03 28 29 43 0a 00	....5..6.7...currentChar...()C..
0280	01 00 39 0c 00 3a 00 1a 01 00 0e 73 6b 69 70 52 65 73 74 4f 66 4c 69 6e 65 01 00 07 6e 65 78 74	..9..:.....skipRestOfLine...next
02a0	49 6e 74 01 00 03 28 29 49 07 00 3e 01 00 25 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64 65 72 2f	Int...()I..>..%org/sat4j/reader/
02c0	50 61 72 73 65 46 6f 72 6d 61 74 45 78 63 65 70 74 69 6f 6e 0a 00 01 00 40 0c 00 41 00 37 01 00	ParseFormatException....@..A.7..
02e0	0a 73 6b 69 70 53 70 61 63 65 73 0a 00 1b 00 43 0c 00 44 00 3c 01 00 04 72 65 61 64 07 00 46 01	.skipSpaces....C..D.<...read..F.
0300	00 17 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69 6c 64 65 72 08 00 48 01 00 12 55	..java/lang/StringBuilder..H...U
0320	6e 6b 6e 6f 77 6e 20 63 68 61 72 61 63 74 65 72 20 0a 00 45 00 4a 0c 00 15 00 4b 01 00 15 28 4c	nknown.character...E.J....K...(L
0340	6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 56 0a 00 45 00 4d 0c 00 4e 00 4f 01 00 06	java/lang/String;)V..E.M..N.O...
0360	61 70 70 65 6e 64 01 00 1c 28 43 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69	append...(C)Ljava/lang/StringBui
0380	6c 64 65 72 3b 0a 00 45 00 51 0c 00 52 00 53 01 00 08 74 6f 53 74 72 69 6e 67 01 00 14 28 29 4c	lder;..E.Q..R.S...toString...()L
03a0	6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 0a 00 3d 00 4a 01 00 03 76 61 6c 01 00 03 6e	java/lang/String;..=.J...val...n
03c0	65 67 01 00 01 5a 01 00 0e 6e 65 78 74 42 69 67 49 6e 74 65 67 65 72 01 00 18 28 29 4c 6a 61 76	eg...Z...nextBigInteger...()Ljav
03e0	61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 07 00 5b 01 00 16 6a 61 76 61 2f 6c 61 6e	a/math/BigInteger;..[...java/lan
0400	67 2f 53 74 72 69 6e 67 42 75 66 66 65 72 0a 00 5a 00 19 0a 00 5a 00 5e 0c 00 4e 00 5f 01 00 1b	g/StringBuffer..Z....Z.^..N._...
0420	28 43 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 66 66 65 72 3b 07 00 61 01 00	(C)Ljava/lang/StringBuffer;..a..
0440	14 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 0a 00 5a 00 51 0a 00 60 00 4a 01	.java/math/BigInteger..Z.Q..`.J.
0460	00 03 73 74 62 01 00 18 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 66 66 65 72 3b	..stb...Ljava/lang/StringBuffer;
0480	01 00 04 6e 65 78 74 01 00 03 63 61 72 01 00 08 6e 65 78 74 4c 69 6e 65 01 00 03 65 6f 66 01 00	...next...car...nextLine...eof..
04a0	03 28 29 5a 0a 00 1b 00 6c 0c 00 6d 00 6e 01 00 04 6d 61 72 6b 01 00 04 28 49 29 56 0a 00 1b 00	.()Z....l..m.n...mark...(I)V....
04c0	70 0c 00 71 00 1a 01 00 05 72 65 73 65 74 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 15 45 66	p..q.....reset...SourceFile...Ef
04e0	66 69 63 69 65 6e 74 53 63 61 6e 6e 65 72 2e 6a 61 76 61 00 21 00 01 00 03 00 01 00 05 00 05 00	ficientScanner.java.!...........
0500	1a 00 07 00 08 00 01 00 09 00 00 00 02 00 0a 00 1a 00 0c 00 0d 00 01 00 09 00 00 00 02 00 0e 00	................................
0520	92 00 0f 00 10 00 00 00 1a 00 11 00 12 00 01 00 09 00 00 00 02 00 13 00 12 00 14 00 12 00 00 00	................................
0540	0c 00 01 00 15 00 16 00 01 00 17 00 00 00 63 00 05 00 03 00 00 00 19 2a b7 00 18 2a bb 00 1b 59	..............c........*...*...Y
0560	2b 11 40 00 b7 00 1d b5 00 20 2a 1c b5 00 22 b1 00 00 00 02 00 24 00 00 00 12 00 04 00 00 00 41	+.@.......*..."......$.........A
0580	00 04 00 42 00 13 00 43 00 18 00 44 00 25 00 00 00 20 00 03 00 00 00 19 00 26 00 27 00 00 00 00	...B...C...D.%...........&.'....
05a0	00 19 00 28 00 29 00 01 00 00 00 19 00 14 00 12 00 02 00 01 00 15 00 2a 00 01 00 17 00 00 00 40	...(.).................*.......@
05c0	00 03 00 02 00 00 00 08 2a 2b 10 63 b7 00 2b b1 00 00 00 02 00 24 00 00 00 0a 00 02 00 00 00 47	........*+.c..+......$.........G
05e0	00 07 00 48 00 25 00 00 00 16 00 02 00 00 00 08 00 26 00 27 00 00 00 00 00 08 00 28 00 29 00 01	...H.%...........&.'.......(.)..
0600	00 01 00 2d 00 1a 00 02 00 2e 00 00 00 04 00 01 00 2f 00 17 00 00 00 36 00 01 00 01 00 00 00 08	...-............./.....6........
0620	2a b4 00 20 b6 00 31 b1 00 00 00 02 00 24 00 00 00 0a 00 02 00 00 00 4b 00 07 00 4c 00 25 00 00	*.....1......$.........K...L.%..
0640	00 0c 00 01 00 00 00 08 00 26 00 27 00 00 00 01 00 33 00 1a 00 02 00 2e 00 00 00 04 00 01 00 2f	.........&.'.....3............./
0660	00 17 00 00 00 63 00 02 00 02 00 00 00 1b 2a b6 00 34 3c 1b 2a b4 00 22 9f 00 06 a7 00 0d 2a b6	.....c........*..4<.*.."......*.
0680	00 38 1b 12 13 a0 ff e9 b1 00 00 00 02 00 24 00 00 00 1a 00 06 00 00 00 52 00 05 00 53 00 0d 00	.8............$.........R...S...
06a0	54 00 10 00 56 00 14 00 57 00 1a 00 5b 00 25 00 00 00 16 00 02 00 00 00 1b 00 26 00 27 00 00 00	T...V...W...[.%...........&.'...
06c0	05 00 16 00 36 00 12 00 01 00 01 00 3b 00 3c 00 02 00 2e 00 00 00 06 00 02 00 2f 00 3d 00 17 00	....6.......;.<.........../.=...
06e0	00 01 28 00 05 00 04 00 00 00 9c 03 3c 03 3d 2a b6 00 3f 3e 1d 10 2d a0 00 11 04 3d 2a b4 00 20	..(.........<.=*..?>..-....=*...
0700	b6 00 42 92 3e a7 00 5d 1d 10 2b a0 00 0f 2a b4 00 20 b6 00 42 92 3e a7 00 4b 1d 10 30 a1 00 1a	..B.>..]..+...*.....B.>..K..0...
0720	1d 10 39 a3 00 14 1d 10 30 64 3c 2a b4 00 20 b6 00 42 92 3e a7 00 2e bb 00 3d 59 bb 00 45 59 12	..9.....0d<*.....B.>.....=Y..EY.
0740	47 b7 00 49 1d b6 00 4c b6 00 50 b7 00 54 bf 1b 10 0a 68 1d 60 10 30 64 3c 2a b4 00 20 b6 00 42	G..I...L..P..T....h.`.0d<*.....B
0760	92 3e 1d 10 30 a1 00 09 1d 10 39 a4 ff e4 1d 10 0d a0 00 0b 2a b4 00 20 b6 00 42 57 1c 99 00 08	.>..0.....9.........*.....BW....
0780	1b 74 a7 00 04 1b ac 00 00 00 02 00 24 00 00 00 4a 00 12 00 00 00 65 00 02 00 66 00 04 00 67 00	.t..........$...J.....e...f...g.
07a0	09 00 68 00 0f 00 69 00 11 00 6a 00 1d 00 6b 00 23 00 6c 00 2f 00 6d 00 3b 00 6e 00 40 00 6f 00	..h...i...j...k.#.l./.m.;.n.@.o.
07c0	4c 00 71 00 64 00 75 00 6e 00 76 00 77 00 74 00 83 00 78 00 89 00 79 00 91 00 7b 00 25 00 00 00	L.q.d.u.n.v.w.t...x...y...{.%...
07e0	2a 00 04 00 00 00 9c 00 26 00 27 00 00 00 02 00 9a 00 55 00 0d 00 01 00 04 00 98 00 56 00 57 00	*.......&.'.......U.........V.W.
0800	02 00 09 00 93 00 36 00 12 00 03 00 01 00 58 00 59 00 02 00 2e 00 00 00 06 00 02 00 2f 00 3d 00	......6.......X.Y.........../.=.
0820	17 00 00 01 0a 00 05 00 03 00 00 00 94 bb 00 5a 59 b7 00 5c 4c 2a b6 00 3f 3d 1c 10 2d a0 00 15	...............ZY..\L*..?=..-...
0840	2b 1c b6 00 5d 57 2a b4 00 20 b6 00 42 92 3d a7 00 5a 1c 10 2b a0 00 0f 2a b4 00 20 b6 00 42 92	+...]W*.....B.=..Z..+...*.....B.
0860	3d a7 00 48 1c 10 30 a1 00 1b 1c 10 39 a3 00 15 2b 1c b6 00 5d 57 2a b4 00 20 b6 00 42 92 3d a7	=..H..0.....9...+...]W*.....B.=.
0880	00 2a bb 00 3d 59 bb 00 45 59 12 47 b7 00 49 1c b6 00 4c b6 00 50 b7 00 54 bf 2b 1c b6 00 5d 57	.*..=Y..EY.G..I...L..P..T.+...]W
08a0	2a b4 00 20 b6 00 42 92 3d 1c 10 30 a1 00 09 1c 10 39 a4 ff e8 bb 00 60 59 2b b6 00 62 b7 00 63	*.....B.=..0.....9.....`Y+..b..c
08c0	b0 00 00 00 02 00 24 00 00 00 3e 00 0f 00 00 00 7f 00 08 00 80 00 0d 00 81 00 13 00 82 00 19 00	......$...>.....................
08e0	83 00 25 00 84 00 2b 00 85 00 37 00 86 00 43 00 87 00 49 00 88 00 55 00 8a 00 6d 00 8d 00 73 00	..%...+...7...C...I...U...m...s.
0900	8e 00 7c 00 8c 00 88 00 90 00 25 00 00 00 20 00 03 00 00 00 94 00 26 00 27 00 00 00 08 00 8c 00	..|.......%...........&.'.......
0920	64 00 65 00 01 00 0d 00 87 00 36 00 12 00 02 00 01 00 66 00 53 00 02 00 2e 00 00 00 06 00 02 00	d.e.......6.......f.S...........
0940	2f 00 3d 00 17 00 00 00 86 00 02 00 03 00 00 00 30 bb 00 5a 59 b7 00 5c 4c 2a b6 00 3f 3d a7 00	/.=.............0..ZY..\L*..?=..
0960	12 2b 1c b6 00 5d 57 2a b4 00 20 b6 00 42 92 3d 1c 10 20 9f 00 09 1c 10 0a a0 ff e8 2b b6 00 62	.+...]W*.....B.=............+..b
0980	b0 00 00 00 02 00 24 00 00 00 1e 00 07 00 00 00 98 00 08 00 99 00 0d 00 9a 00 10 00 9b 00 16 00	......$.........................
09a0	9c 00 1f 00 9a 00 2b 00 9e 00 25 00 00 00 20 00 03 00 00 00 30 00 26 00 27 00 00 00 08 00 28 00	......+...%.........0.&.'.....(.
09c0	64 00 65 00 01 00 0d 00 23 00 36 00 12 00 02 00 01 00 41 00 37 00 02 00 2e 00 00 00 04 00 01 00	d.e.....#.6.......A.7...........
09e0	2f 00 17 00 00 00 53 00 02 00 02 00 00 00 17 2a b4 00 20 b6 00 42 92 3c 1b 10 20 9f ff f4 1b 10	/.....S........*.....B.<........
0a00	0a 9f ff ee 1b ac 00 00 00 02 00 24 00 00 00 0e 00 03 00 00 00 a5 00 09 00 a6 00 15 00 a8 00 25	...........$...................%
0a20	00 00 00 16 00 02 00 00 00 17 00 26 00 27 00 00 00 09 00 0e 00 67 00 12 00 01 00 01 00 68 00 53	...........&.'.......g.......h.S
0a40	00 02 00 2e 00 00 00 04 00 01 00 2f 00 17 00 00 00 76 00 02 00 03 00 00 00 28 bb 00 5a 59 b7 00	.........../.....v.......(..ZY..
0a60	5c 4c 2a b4 00 20 b6 00 42 92 3d 2b 1c b6 00 5d 57 1c 10 0a 9f 00 09 1c 12 13 a0 ff e8 2b b6 00	\L*.....B.=+...]W............+..
0a80	62 b0 00 00 00 02 00 24 00 00 00 16 00 05 00 00 00 ac 00 08 00 af 00 11 00 b0 00 17 00 b1 00 23	b......$.......................#
0aa0	00 b2 00 25 00 00 00 20 00 03 00 00 00 28 00 26 00 27 00 00 00 08 00 20 00 64 00 65 00 01 00 11	...%.........(.&.'.......d.e....
0ac0	00 17 00 67 00 12 00 02 00 01 00 3a 00 1a 00 02 00 2e 00 00 00 04 00 01 00 2f 00 17 00 00 00 52	...g.......:............./.....R
0ae0	00 02 00 02 00 00 00 16 2a b4 00 20 b6 00 42 92 3c 1b 10 0a 9f 00 09 1b 12 13 a0 ff ee b1 00 00	........*.....B.<...............
0b00	00 02 00 24 00 00 00 0e 00 03 00 00 00 b8 00 09 00 b9 00 15 00 ba 00 25 00 00 00 16 00 02 00 00	...$...................%........
0b20	00 16 00 26 00 27 00 00 00 09 00 0d 00 67 00 12 00 01 00 01 00 69 00 6a 00 02 00 2e 00 00 00 04	...&.'.......g.......i.j........
0b40	00 01 00 2f 00 17 00 00 00 37 00 02 00 01 00 00 00 0d 2a b6 00 34 12 13 a0 00 05 04 ac 03 ac 00	.../.....7........*..4..........
0b60	00 00 02 00 24 00 00 00 06 00 01 00 00 00 bd 00 25 00 00 00 0c 00 01 00 00 00 0d 00 26 00 27 00	....$...........%...........&.'.
0b80	00 00 01 00 36 00 37 00 02 00 2e 00 00 00 04 00 01 00 2f 00 17 00 00 00 5b 00 02 00 02 00 00 00	....6.7.........../.....[.......
0ba0	1b 2a b4 00 20 10 0a b6 00 6b 2a b4 00 20 b6 00 42 92 3c 2a b4 00 20 b6 00 6f 1b ac 00 00 00 02	.*.......k*.....B.<*.....o......
0bc0	00 24 00 00 00 12 00 04 00 00 00 c1 00 09 00 c2 00 12 00 c3 00 19 00 c4 00 25 00 00 00 16 00 02	.$.......................%......
0be0	00 00 00 1b 00 26 00 27 00 00 00 12 00 09 00 67 00 12 00 01 00 01 00 72 00 00 00 02 00 73	.....&.'.......g.......r.....s