aboutsummaryrefslogtreecommitdiffstats
path: root/theories/.lia.cache
blob: 239133af30f157eb67917a391025f902d53e0ae2 (plain) (blame)
ofshex dumpascii
0000 43 6f 71 21 00 00 3c e0 6c 7a b0 cd 84 95 a6 be 00 00 00 64 00 00 00 36 00 00 00 8e 00 00 00 8e Coq!..<.lz.........d...6........
0020 a0 a0 03 3f ff ff ff ff ff ff ff a0 a0 b2 90 90 40 40 b2 90 91 40 40 b2 90 91 40 40 90 91 40 43 ...?............@@...@@...@@..@C
0040 a0 a0 b2 90 91 40 40 a1 40 b2 90 90 40 40 90 40 43 a0 a0 b2 90 04 06 40 90 40 43 a0 a0 a1 40 b2 .....@@.@...@@.@C......@.@C...@.
0060 90 04 0c 40 90 40 43 a0 a0 a1 91 40 b2 90 04 13 40 90 40 43 40 90 a0 a5 91 90 90 90 40 a5 91 90 ...@.@C....@....@.@C@.......@...
0080 40 91 40 40 65 58 de 75 84 95 a6 be 00 00 00 70 00 00 00 3c 00 00 00 9f 00 00 00 9f a0 a0 03 3f @.@@eX.u.......p...<...........?
00a0 ff ff ff ff ff ff ff a0 a0 b2 90 90 40 40 b2 90 91 40 40 90 91 40 43 a0 a0 a1 40 b2 90 90 40 40 ............@@...@@..@C...@...@@
00c0 b2 90 91 40 40 90 40 43 a0 a0 b2 90 91 40 40 a1 40 b2 90 04 0d 40 90 91 40 43 a0 a0 a1 91 40 b2 ...@@.@C.....@@.@....@..@C....@.
00e0 90 04 15 40 90 40 43 a0 a0 b2 90 04 1a 40 90 40 43 a0 a0 a1 40 b2 90 04 20 40 90 40 43 40 90 a0 ...@.@C......@.@C...@....@.@C@..
0100 a5 91 90 90 40 a5 91 90 40 91 40 40 52 3e 72 0c 84 95 a6 be 00 00 00 62 00 00 00 35 00 00 00 8b ....@...@.@@R>r........b...5....
0120 00 00 00 8b a0 a0 03 3f ff ff ff ff ff ff ff a0 a0 b2 90 90 40 40 b2 90 91 40 40 b2 90 91 40 40 .......?............@@...@@...@@
0140 90 91 40 43 a0 a0 b2 90 91 40 40 b2 90 90 40 40 90 91 40 43 a0 a0 a1 91 40 b2 90 04 09 40 90 40 ..@C.....@@...@@..@C....@....@.@
0160 43 a0 a0 a1 40 b2 90 04 0f 40 90 40 43 a0 a0 b2 90 04 14 40 90 40 43 40 90 a0 a5 91 90 90 40 a5 C...@....@.@C......@.@C@......@.
0180 91 90 40 91 40 40 3f 7f b4 cd 84 95 a6 be 00 00 00 64 00 00 00 36 00 00 00 8e 00 00 00 8e a0 a0 ..@.@@?..........d...6..........
01a0 03 3f ff ff ff ff ff ff ff a0 a0 b2 90 90 40 40 b2 90 91 40 40 b2 90 91 40 40 90 91 40 43 a0 a0 .?............@@...@@...@@..@C..
01c0 b2 90 91 40 40 a1 40 b2 90 90 40 40 90 40 43 a0 a0 a1 91 40 b2 90 04 08 40 90 40 43 a0 a0 a1 40 ...@@.@...@@.@C....@....@.@C...@
01e0 b2 90 04 0e 40 90 40 43 a0 a0 b2 90 04 13 40 90 40 43 40 90 a0 a5 91 90 90 90 40 a5 91 90 40 91 ....@.@C......@.@C@.......@...@.
0200 40 40 @@