aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/RealSyntax.vo
blob: 982c986583d24e56d10bdf50528821b3b618f166 (plain)
ofshex dumpascii
0000 00 00 02 bd 84 95 a6 be 00 00 0f 83 00 00 03 7d 00 00 0b a5 00 00 0a 5b c0 a0 2a 52 65 61 6c 53 ...............}.......[..*RealS
0020 79 6e 74 61 78 40 c0 a0 04 04 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 25 52 65 61 6c 73 yntax@....@...#Coq.%Reals.%Reals
0040 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 2a 52 74 72 69 67 6f 5f 66 75 6e 40 40 a0 a0 @@...#Coq.%Reals.*Rtrigo_fun@@..
0060 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 27 52 73 65 72 69 65 73 40 40 a0 a0 a0 23 43 6f 71 a0 25 .#Coq.%Reals.'Rseries@@...#Coq.%
0080 52 65 61 6c 73 a0 26 52 64 65 72 69 76 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 2a 52 Reals.&Rderiv@@...#Coq.%Reals.*R
00a0 66 75 6e 63 74 69 6f 6e 73 40 40 a0 a0 a0 23 43 6f 71 a0 25 6f 6d 65 67 61 a0 26 5a 70 6f 77 65 functions@@...#Coq.%omega.&Zpowe
00c0 72 40 40 a0 a0 a0 23 43 6f 71 a0 25 6f 6d 65 67 61 a0 2c 5a 63 6f 6d 70 6c 65 6d 65 6e 74 73 40 r@@...#Coq.%omega.,Zcomplements@
00e0 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 26 52 6c 69 6d 69 74 40 40 a0 a0 a0 23 43 6f 71 @...#Coq.%Reals.&Rlimit@@...#Coq
0100 a0 25 52 65 61 6c 73 a0 2b 53 70 6c 69 74 41 62 73 6f 6c 75 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 .%Reals.+SplitAbsolu@@...#Coq.%R
0120 65 61 6c 73 a0 2a 52 62 61 73 69 63 5f 66 75 6e 40 40 a0 a0 a0 23 43 6f 71 a0 27 66 6f 75 72 69 eals.*Rbasic_fun@@...#Coq.'fouri
0140 65 72 a0 27 46 6f 75 72 69 65 72 40 40 a0 a0 a0 23 43 6f 71 a0 27 66 6f 75 72 69 65 72 a0 2c 46 er.'Fourier@@...#Coq.'fourier.,F
0160 6f 75 72 69 65 72 5f 75 74 69 6c 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 25 52 5f 49 ourier_util@@...#Coq.%Reals.%R_I
0180 66 70 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 26 44 69 73 63 72 52 40 40 a0 a0 a0 23 fp@@...#Coq.%Reals.&DiscrR@@...#
01a0 43 6f 71 a0 25 52 65 61 6c 73 a0 25 52 62 61 73 65 40 40 a0 a0 a0 23 43 6f 71 a0 24 72 69 6e 67 Coq.%Reals.%Rbase@@...#Coq.$ring
01c0 a0 2a 5a 41 72 69 74 68 52 69 6e 67 40 40 a0 a0 a0 23 43 6f 71 a0 24 72 69 6e 67 a0 29 41 72 69 .*ZArithRing@@...#Coq.$ring.)Ari
01e0 74 68 52 69 6e 67 40 40 a0 a0 a0 23 43 6f 71 a0 25 6f 6d 65 67 61 a0 25 4f 6d 65 67 61 40 40 a0 thRing@@...#Coq.%omega.%Omega@@.
0200 a0 a0 23 43 6f 71 a0 25 6f 6d 65 67 61 a0 2b 4f 6d 65 67 61 53 79 6e 74 61 78 40 40 a0 a0 a0 23 ..#Coq.%omega.+OmegaSyntax@@...#
0220 43 6f 71 a0 25 66 69 65 6c 64 a0 25 46 69 65 6c 64 40 40 a0 a0 a0 23 43 6f 71 a0 25 66 69 65 6c Coq.%field.%Field@@...#Coq.%fiel
0240 64 a0 2c 46 69 65 6c 64 5f 54 61 63 74 69 63 40 40 a0 a0 a0 23 43 6f 71 a0 25 66 69 65 6c 64 a0 d.,Field_Tactic@@...#Coq.%field.
0260 2c 46 69 65 6c 64 5f 54 68 65 6f 72 79 40 40 a0 a0 a0 23 43 6f 71 a0 24 72 69 6e 67 a0 24 52 69 ,Field_Theory@@...#Coq.$ring.$Ri
0280 6e 67 40 40 a0 a0 a0 23 43 6f 71 a0 24 72 69 6e 67 a0 2d 52 69 6e 67 5f 61 62 73 74 72 61 63 74 ng@@...#Coq.$ring.-Ring_abstract
02a0 40 40 a0 a0 a0 23 43 6f 71 a0 24 72 69 6e 67 a0 2e 52 69 6e 67 5f 6e 6f 72 6d 61 6c 69 7a 65 40 @@...#Coq.$ring..Ring_normalize@
02c0 40 a0 a0 a0 23 43 6f 71 a0 24 72 69 6e 67 a0 2b 52 69 6e 67 5f 74 68 65 6f 72 79 40 40 a0 a0 a0 @...#Coq.$ring.+Ring_theory@@...
02e0 23 43 6f 71 a0 24 72 69 6e 67 a0 25 51 75 6f 74 65 40 40 a0 a0 a0 23 43 6f 71 a0 25 66 69 65 6c #Coq.$ring.%Quote@@...#Coq.%fiel
0300 64 a0 2b 46 69 65 6c 64 5f 43 6f 6d 70 6c 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 27 d.+Field_Compl@@...#Coq.%Reals.'
0320 52 61 78 69 6f 6d 73 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 27 52 73 79 6e 74 61 78 Raxioms@@...#Coq.%Reals.'Rsyntax
0340 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 2c 52 64 65 66 69 6e 69 74 69 6f 6e 73 40 40 @@...#Coq.%Reals.,Rdefinitions@@
0360 a0 a0 a0 23 43 6f 71 a0 26 5a 41 72 69 74 68 a0 26 5a 41 72 69 74 68 40 40 a0 a0 a0 23 43 6f 71 ...#Coq.&ZArith.&ZArith@@...#Coq
0380 a0 26 5a 41 72 69 74 68 a0 26 5a 68 69 6e 74 73 40 40 a0 a0 a0 23 43 6f 71 a0 26 5a 41 72 69 74 .&ZArith.&Zhints@@...#Coq.&ZArit
03a0 68 a0 25 5a 6d 69 73 63 40 40 a0 a0 a0 23 43 6f 71 a0 26 5a 41 72 69 74 68 a0 2a 5a 41 72 69 74 h.%Zmisc@@...#Coq.&ZArith.*ZArit
03c0 68 5f 64 65 63 40 40 a0 a0 a0 23 43 6f 71 a0 26 5a 41 72 69 74 68 a0 24 57 66 5f 5a 40 40 a0 a0 h_dec@@...#Coq.&ZArith.$Wf_Z@@..
03e0 a0 23 43 6f 71 a0 26 5a 41 72 69 74 68 a0 29 61 75 78 69 6c 69 61 72 79 40 40 a0 a0 a0 23 43 6f .#Coq.&ZArith.)auxiliary@@...#Co
0400 71 a0 26 5a 41 72 69 74 68 a0 27 5a 73 79 6e 74 61 78 40 40 a0 a0 a0 23 43 6f 71 a0 26 5a 41 72 q.&ZArith.'Zsyntax@@...#Coq.&ZAr
0420 69 74 68 a0 2a 7a 61 72 69 74 68 5f 61 75 78 40 40 a0 a0 a0 23 43 6f 71 a0 26 5a 41 72 69 74 68 ith.*zarith_aux@@...#Coq.&ZArith
0440 a0 2c 66 61 73 74 5f 69 6e 74 65 67 65 72 40 40 a0 a0 a0 23 43 6f 71 a0 25 52 65 61 6c 73 a0 2a .,fast_integer@@...#Coq.%Reals.*
0460 54 79 70 65 53 79 6e 74 61 78 40 40 a0 a0 a0 23 43 6f 71 a0 25 4c 6f 67 69 63 a0 29 45 71 64 65 TypeSyntax@@...#Coq.%Logic.)Eqde
0480 70 5f 64 65 63 40 40 a0 a0 a0 23 43 6f 71 a0 25 4c 6f 67 69 63 a0 27 45 6c 69 6d 64 65 70 40 40 p_dec@@...#Coq.%Logic.'Elimdep@@
04a0 a0 a0 a0 23 43 6f 71 a0 25 4c 6f 67 69 63 a0 33 43 6c 61 73 73 69 63 61 6c 5f 50 72 65 64 5f 54 ...#Coq.%Logic.3Classical_Pred_T
04c0 79 70 65 40 40 a0 a0 a0 23 43 6f 71 a0 25 4c 6f 67 69 63 a0 29 43 6c 61 73 73 69 63 61 6c 40 40 ype@@...#Coq.%Logic.)Classical@@
04e0 a0 a0 a0 23 43 6f 71 a0 25 4c 6f 67 69 63 a0 32 43 6c 61 73 73 69 63 61 6c 5f 50 72 65 64 5f 53 ...#Coq.%Logic.2Classical_Pred_S
0500 65 74 40 40 a0 a0 a0 23 43 6f 71 a0 25 4c 6f 67 69 63 a0 2e 43 6c 61 73 73 69 63 61 6c 5f 50 72 et@@...#Coq.%Logic..Classical_Pr
0520 6f 70 40 40 a0 a0 a0 23 43 6f 71 a0 24 42 6f 6f 6c a0 27 53 75 6d 62 6f 6f 6c 40 40 a0 a0 a0 23 op@@...#Coq.$Bool.'Sumbool@@...#
0540 43 6f 71 a0 24 42 6f 6f 6c a0 24 42 6f 6f 6c 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 Coq.$Bool.$Bool@@...#Coq.%Arith.
0560 27 43 6f 6d 70 61 72 65 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 26 57 66 5f 6e 61 74 'Compare@@...#Coq.%Arith.&Wf_nat
0580 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 29 50 65 61 6e 6f 5f 64 65 63 40 40 a0 a0 a0 @@...#Coq.%Arith.)Peano_dec@@...
05a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 23 4d 69 6e 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 #Coq.%Arith.#Min@@...#Coq.%Arith
05c0 a0 2b 43 6f 6d 70 61 72 65 5f 64 65 63 40 40 a0 a0 a0 23 43 6f 71 a0 25 4c 6f 67 69 63 a0 29 44 .+Compare_dec@@...#Coq.%Logic.)D
05e0 65 63 69 64 61 62 6c 65 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 25 41 72 69 74 68 40 ecidable@@...#Coq.%Arith.%Arith@
0600 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 24 4d 75 6c 74 40 40 a0 a0 a0 23 43 6f 71 a0 25 @...#Coq.%Arith.$Mult@@...#Coq.%
0620 41 72 69 74 68 a0 25 4d 69 6e 75 73 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 22 47 74 Arith.%Minus@@...#Coq.%Arith."Gt
0640 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 24 50 6c 75 73 40 40 a0 a0 a0 23 43 6f 71 a0 @@...#Coq.%Arith.$Plus@@...#Coq.
0660 25 41 72 69 74 68 a0 27 42 65 74 77 65 65 6e 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 %Arith.'Between@@...#Coq.%Arith.
0680 22 4c 74 40 40 a0 a0 a0 23 43 6f 71 a0 25 41 72 69 74 68 a0 22 4c 65 40 40 a0 a0 a0 23 43 6f 71 "Lt@@...#Coq.%Arith."Le@@...#Coq
06a0 a0 2a 65 78 74 72 61 63 74 69 6f 6e a0 2a 45 78 74 72 61 63 74 69 6f 6e 40 40 a0 a0 a0 23 43 6f .*extraction.*Extraction@@...#Co
06c0 71 a0 28 45 71 44 65 63 69 64 65 40 40 a0 a0 a0 23 43 6f 71 a0 26 52 65 66 69 6e 65 40 40 a0 a0 q.(EqDecide@@...#Coq.&Refine@@..
06e0 a0 23 43 6f 71 a0 2b 41 75 74 6f 52 65 77 72 69 74 65 40 40 a0 a0 a0 23 43 6f 71 a0 25 45 41 75 .#Coq.+AutoRewrite@@...#Coq.%EAu
0700 74 6f 40 40 a0 a0 a0 23 43 6f 71 a0 23 49 6e 76 40 40 a0 a0 a0 23 43 6f 71 a0 25 54 61 75 74 6f to@@...#Coq.#Inv@@...#Coq.%Tauto
0720 40 40 a0 a0 a0 23 43 6f 71 a0 28 45 71 75 61 6c 69 74 79 40 40 a0 a0 a0 23 43 6f 71 a0 24 49 6e @@...#Coq.(Equality@@...#Coq.$In
0740 69 74 a0 30 4c 6f 67 69 63 5f 54 79 70 65 53 79 6e 74 61 78 40 40 a0 a0 a0 23 43 6f 71 a0 24 49 it.0Logic_TypeSyntax@@...#Coq.$I
0760 6e 69 74 a0 2a 4c 6f 67 69 63 5f 54 79 70 65 40 40 a0 a0 a0 23 43 6f 71 a0 24 49 6e 69 74 a0 27 nit.*Logic_Type@@...#Coq.$Init.'
0780 50 72 65 6c 75 64 65 40 40 a0 a0 a0 23 43 6f 71 a0 24 49 6e 69 74 a0 22 57 66 40 40 a0 a0 a0 23 Prelude@@...#Coq.$Init."Wf@@...#
07a0 43 6f 71 a0 24 49 6e 69 74 a0 2c 53 70 65 63 69 66 53 79 6e 74 61 78 40 40 a0 a0 a0 23 43 6f 71 Coq.$Init.,SpecifSyntax@@...#Coq
07c0 a0 24 49 6e 69 74 a0 26 53 70 65 63 69 66 40 40 a0 a0 a0 23 43 6f 71 a0 24 49 6e 69 74 a0 25 50 .$Init.&Specif@@...#Coq.$Init.%P
07e0 65 61 6e 6f 40 40 a0 a0 a0 23 43 6f 71 a0 24 49 6e 69 74 a0 2b 4c 6f 67 69 63 53 79 6e 74 61 78 eano@@...#Coq.$Init.+LogicSyntax
0800 40 40 a0 a0 a0 23 43 6f 71 a0 24 49 6e 69 74 a0 25 4c 6f 67 69 63 40 40 a0 a0 a0 23 43 6f 71 a0 @@...#Coq.$Init.%Logic@@...#Coq.
0820 24 49 6e 69 74 a0 2f 44 61 74 61 74 79 70 65 73 53 79 6e 74 61 78 40 40 a0 a0 a0 23 43 6f 71 a0 $Init./DatatypesSyntax@@...#Coq.
0840 24 49 6e 69 74 a0 29 44 61 74 61 74 79 70 65 73 40 40 40 40 40 40 a0 b0 04 ca 30 2b 0e 56 49 5a $Init.)Datatypes@@@@@@....0+.VIZ
0860 5f 3a 1c e1 4d af d2 d9 84 97 02 40 a0 b0 04 a5 30 5c c9 73 2b ec 2b e0 26 3e bd 9f ef a5 6a 06 _:..M......@....0\.s+.+.&>....j.
0880 37 40 a0 b0 05 01 00 30 19 c8 65 47 a5 43 48 7c 52 87 50 fa 6b 84 54 02 40 a0 b0 04 e3 30 7b 73 7@.....0..eG.CH|R.P.k.T.@....0{s
08a0 69 a1 32 da 60 54 f0 45 01 3d f5 e1 3f bc 40 a0 b0 04 be 30 c2 ab 9e 64 a9 c5 fd 6e 84 ae ba de i.2.`T.E.=..?.@....0...d...n....
08c0 61 9e da b2 40 a0 b0 04 a1 30 53 ea d2 20 8f 44 43 67 e6 fb f1 c1 33 b0 77 64 40 a0 b0 04 ac 30 a...@....0S....DCg....3.wd@....0
08e0 03 43 9f 17 08 62 5c b2 0e b1 28 79 36 3e 1a 9f 40 a0 b0 04 f7 30 8f 01 9b b1 51 da b0 e0 c6 f6 .C...b\...(y6>..@....0....Q.....
0900 a8 5a 2a e2 04 d0 40 a0 b0 04 d2 30 2b f1 e1 d7 fe 94 df 31 55 8d 82 99 8c 1e 7d 07 40 a0 b0 04 .Z*...@....0+......1U.....}.@...
0920 dd 30 6a 31 01 9f f8 8a cc 06 9d b6 8e 44 5e 9b 57 1d 40 a0 b0 05 01 08 30 ff 61 c0 fa 66 79 4d .0j1.........D^.W.@.....0.a..fyM
0940 ee 17 6f 4a cc 27 a9 80 19 40 a0 b0 04 cb 30 2b e2 90 27 91 8d 4c f4 50 d2 2e e4 17 7b 62 60 40 ..oJ.'...@....0+..'..L.P....{b`@
0960 a0 b0 05 01 16 30 54 b1 24 70 22 ca c8 08 b8 60 1d 9f e7 16 0a 0c 40 a0 b0 04 9d 30 d0 8a 88 d9 .....0T.$p"....`......@....0....
0980 74 24 1a c3 bc 2d 6d 0a 4f fb 02 18 41 a0 b0 05 01 2c 30 de ad a7 35 7a b2 77 87 64 d2 1c 06 5c t$...-m.O...A....,0...5z.w.d...\
09a0 03 05 a3 40 a0 b0 05 01 37 30 69 2c 3a 60 b0 2c 0f 99 d6 a6 e1 95 af b2 8e e6 40 a0 b0 04 a0 30 ...@....70i,:`.,..........@....0
09c0 a0 aa ca 4e 66 fd bf b9 3d da 28 4a 8c e3 8b bb 41 a0 b0 04 b5 30 de 62 f2 49 1b 36 b0 41 63 12 ...Nf...=.(J....A....0.b.I.6.Ac.
09e0 a1 65 22 fe 4d 77 41 a0 b0 04 94 30 95 a3 cb 7d 72 66 90 02 2b be 71 99 72 dc da 47 41 a0 b0 04 .e".MwA....0...}rf..+.q.r..GA...
0a00 41 30 27 c6 5e 89 e3 a7 78 97 0e 6c f2 b8 89 23 c4 64 40 a0 b0 04 4c 30 10 59 37 58 64 c2 fb a0 A0'.^...x..l...#.d@...L0.Y7Xd...
0a20 bd 85 3e 56 3a 95 87 0a 40 a0 b0 04 57 30 e5 4e 6d c0 6a f5 e8 91 19 45 34 9f 7f d8 c9 05 40 a0 ..>V:...@...W0.Nm.j....E4.....@.
0a40 b0 04 62 30 66 59 c1 e1 3e 96 18 a7 4b 38 ce fa 7b 4c cb 06 40 a0 b0 04 95 30 ae 43 e8 5a 61 d2 ..b0fY..>...K8..{L..@....0.C.Za.
0a60 5d cf 73 de 46 1a cc 8f 2a c8 41 a0 b0 04 a0 30 cd a1 23 f6 80 7f a6 71 b8 f1 e3 0a 15 12 2a 9e ].s.F...*.A....0..#....q......*.
0a80 41 a0 b0 04 73 30 59 3f da a1 07 25 83 10 88 37 65 54 8a b5 28 e8 40 a0 b0 04 96 30 0a ca 24 54 A...s0Y?...%...7eT..(.@....0..$T
0aa0 0f a1 47 94 4d 5a 20 af cf dc 36 0a 41 a0 b0 04 81 30 0e e1 b4 5c c4 96 46 c3 04 02 d6 50 cf 48 ..G.MZ....6.A....0...\..F....P.H
0ac0 54 e2 40 a0 b0 04 8c 30 5a 57 6f 90 ce 94 e9 36 3e 00 10 35 58 ac 4d 6f 40 a0 b0 04 97 30 57 bd T.@....0ZWo....6>..5X.Mo@....0W.
0ae0 64 3e a0 7f 43 5c 18 d5 24 e2 cc af e4 5c 40 a0 b0 04 c4 30 12 d8 91 bb 14 01 ed 5e 60 46 30 33 d>..C\..$....\@....0.......^`F03
0b00 89 1d 58 9b 41 a0 b0 05 01 7f 30 ca 25 31 7e 0b 27 de a8 fb e9 5a f1 27 c3 0e 20 40 a0 b0 05 01 ..X.A.....0.%1~.'....Z.'...@....
0b20 7a 30 1d 19 21 64 b4 f5 3d cc 29 2d f7 89 59 f3 68 cf 40 a0 b0 05 01 8d 30 19 73 08 5d f5 6d 0b z0..!d..=.)-..Y.h.@.....0.s.].m.
0b40 37 ae 46 fe de 65 a3 ab ed 40 a0 b0 05 01 78 30 e6 cf 15 e4 e8 18 2f cb 0b c4 64 25 8e d5 c1 9c 7.F..e...@....x0....../...d%....
0b60 40 a0 b0 05 01 3b 30 43 ea 15 ff b6 28 57 76 43 64 e6 f4 31 a5 a8 1d 40 a0 b0 05 01 9e 30 ab ac @....;0C....(WvCd..1...@.....0..
0b80 c1 89 b2 6e 53 db 77 81 33 97 c8 f8 a4 33 40 a0 b0 05 01 a9 30 d6 0a c3 8e 25 e3 f7 e0 8b df d1 ...nS.w.3....3@.....0....%......
0ba0 46 a0 0b ec d4 40 a0 b0 05 02 8c 30 7e 3f be 8c 05 24 fa e8 6f 34 c4 1a 0e c6 97 24 40 a0 b0 05 F....@.....0~?...$..o4.....$@...
0bc0 02 97 30 ef ae 3f 59 fe 7c 68 a0 a0 fb 12 fe d5 e9 40 c9 40 a0 b0 05 02 1a 30 90 f6 4c 45 69 7c ..0..?Y.|h.......@.@.....0..LEi|
0be0 08 0b 79 2b 07 b4 d3 06 4b be 40 a0 b0 05 02 8d 30 a8 c2 ec 87 6c b4 3e f4 1d 0a 24 13 a3 27 e7 ..y+....K.@.....0....l.>...$..'.
0c00 04 40 a0 b0 05 02 b8 30 58 e6 d8 be d0 c9 b1 0f 91 5e 7a de 92 48 4b 00 40 a0 b0 05 02 13 30 cb .@.....0X........^z..HK.@.....0.
0c20 63 60 09 d6 10 2b 33 24 3f 22 e0 21 d5 82 e3 40 a0 b0 05 02 ee 30 31 d8 27 bc 45 2a 2f 2f 69 5f c`...+3$?".!...@.....01.'.E*//i_
0c40 bd 78 85 cf 88 9e 40 a0 b0 05 03 09 30 5a c3 4d 87 8b cf a3 18 62 2d e6 1b c1 e1 64 b0 40 a0 b0 .x....@.....0Z.M.....b-....d.@..
0c60 05 02 ec 30 f6 2c 23 23 90 d5 59 1a b0 6e 4f c1 3c bd fc 39 40 a0 b0 05 02 d7 30 41 15 e7 7e e5 ...0.,##..Y..nO.<..9@.....0A..~.
0c80 37 d1 4c 7b 3c b8 7d e5 03 7b 84 40 a0 b0 05 03 02 30 78 de 8f ac 6d 2b 50 74 84 37 6f ec 38 a7 7.L{<.}..{.@.....0x...m+Pt.7o.8.
0ca0 60 c6 40 a0 b0 05 02 2d 30 33 ce 17 09 0a 07 df b4 77 31 33 25 05 9c d2 c3 40 a0 b0 05 03 10 30 `.@....-03.......w13%....@.....0
0cc0 35 24 35 d8 55 e7 ad 13 68 bd ad aa 27 12 8c e4 40 a0 b0 05 02 db 30 8f 9b b4 6c a4 76 31 1f c3 5$5.U...h...'...@.....0...l.v1..
0ce0 ee 03 4f 2f bb da b3 40 a0 b0 05 01 de 30 b3 83 ce f4 01 a7 ae 54 a3 32 1c 07 84 1e 6b f0 40 a0 ..O/...@.....0.......T.2....k.@.
0d00 b0 05 01 1b 30 4c 31 9b 45 b4 d7 28 a8 f7 7d 2a 7c 1b e7 b0 47 41 a0 b0 05 01 06 30 de 1e 1e c3 ....0L1.E..(..}*|...GA.....0....
0d20 59 ba f4 fd ae cc 72 45 76 91 ad 01 41 a0 b0 05 02 0f 30 95 1c 9c 1f 93 19 9f 88 44 1a f8 e7 dd Y.....rEv...A.....0........D....
0d40 ff fe f5 40 a0 b0 05 02 32 30 c4 bf 0a 0f a7 db 31 86 10 0f ef 19 95 57 0b f9 40 a0 b0 05 02 1d ...@....20......1......W..@.....
0d60 30 f6 fa c8 04 0a 50 05 02 26 f2 55 95 96 61 6f 0e 40 a0 b0 05 02 30 30 7c 71 9c 93 73 c9 d4 f3 0.....P..&.U..ao.@....00|q..s...
0d80 73 6e 9c a5 6f 75 01 a3 40 a0 b0 05 02 2b 30 e7 6b 5b 95 09 40 3e 0b 23 d9 27 e2 45 f1 b0 a8 40 sn..ou..@....+0.k[..@>.#.'.E...@
0da0 a0 b0 05 02 0e 30 d7 e8 e6 e3 6a 8f 2e 77 51 af 7c bc 41 70 49 9b 40 a0 b0 05 02 19 30 08 24 3b .....0....j..wQ.|.ApI.@.....0.$;
0dc0 a6 af 0a 64 87 df 4e 72 43 f9 0a 53 1a 40 a0 b0 05 02 04 30 71 44 e2 9d 1a 01 d9 37 4b 24 92 85 ...d..NrC..S.@.....0qD.....7K$..
0de0 65 74 2f b8 40 a0 b0 05 02 0f 30 d5 cd ab cf d3 fe 65 f4 26 84 9b 30 27 a4 d4 c5 40 a0 b0 05 01 et/.@.....0......e.&..0'...@....
0e00 4a 30 7e c6 f4 0b 27 3e c1 6d 04 3e 82 08 8f 24 f5 0b 41 a0 b0 05 02 ad 30 ec 00 dd 3d 0c e3 02 J0~...'>.m.>...$..A.....0...=...
0e20 ce 49 03 65 9f 35 9c 3a 48 40 a0 b0 05 02 70 30 98 12 8c f6 14 a1 14 cf ec 2d 27 a4 ea 50 df 13 .I.e.5.:H@....p0.........-'..P..
0e40 40 a0 b0 05 02 ab 30 6d 2e e6 e0 ad 0b 80 b5 8b 70 5d 59 d1 4b 59 f5 40 a0 b0 05 02 a6 30 84 52 @.....0m........p]Y.KY.@.....0.R
0e60 dd 58 6d 5d 88 ed 02 67 d9 53 d9 34 8d 6f 40 a0 b0 05 03 01 30 cd c3 0b f7 a2 3b 8f 4f 94 bc 45 .Xm]...g.S.4.o@.....0.....;.O..E
0e80 73 ca 1c f2 25 40 a0 b0 05 02 fc 30 d1 43 3d 14 48 4b 05 4e af a3 26 87 ff 05 c6 25 40 a0 b0 05 s...%@.....0.C=.HK.N..&....%@...
0ea0 02 cf 30 b3 5d 38 32 45 9a a1 48 99 ab 76 75 85 49 97 fb 40 a0 b0 05 02 ca 30 9c a8 79 25 d9 7a ..0.]82E..H..vu.I..@.....0..y%.z
0ec0 9c 8b 38 ac 98 e7 5d b1 9f 20 40 a0 b0 05 03 2d 30 b6 cd 74 97 02 f9 6a ed b7 1d 7b 33 a7 6b 25 ..8...]...@....-0..t...j...{3.k%
0ee0 47 40 a0 b0 05 03 38 30 9c e8 70 59 d2 14 bb 1c f3 1f a9 77 43 c9 f9 7c 40 a0 b0 05 02 e3 30 22 G@....80..pY.......wC..|@.....0"
0f00 b3 07 af 28 d2 0a 46 c0 15 08 b9 db 97 6d 6a 40 a0 b0 05 02 96 30 3e af 94 4e b2 42 00 fb 25 14 ...(..F......mj@.....0>..N.B..%.
0f20 8a 58 68 34 41 21 40 a0 b0 05 02 b9 30 57 9a 3f f5 0b 4c cc f2 24 81 f0 a2 7e 91 4f 1b 40 a0 b0 .Xh4A!@.....0W.?..L..$...~.O.@..
0f40 05 02 b4 30 a8 cd 25 a8 74 b5 b7 92 11 10 b5 e7 cf d2 72 4c 40 a0 b0 05 02 af 30 dd 7a a3 ab 6d ...0..%.t.........rL@.....0.z..m
0f60 18 8a 8c 6a 98 31 37 0a 6d ac e3 40 a0 b0 05 02 aa 30 cc 4d d1 94 83 ef fb 46 d0 2a e6 2d 43 23 ...j.17.m..@.....0.M.....F.*.-C#
0f80 e4 32 40 a0 b0 05 02 fd 30 e0 ba b1 43 29 4f 30 c1 de 73 89 96 83 1f 5d 79 40 40 84 95 a6 be 00 .2@.....0...C)O0..s....]y@@.....
0fa0 00 00 11 00 00 00 01 00 00 00 06 00 00 00 04 30 99 8b 74 a4 03 04 ea 00 e2 28 5c 16 3f f8 7e 23 ...............0..t......(\.?.~#