/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.9DPLVp5v/haskell-ogma-language-lustre_1.10.0-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.9DPLVp5v/haskell-ogma-language-lustre_1.10.0-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.9DPLVp5v/haskell-ogma-language-lustre_1.10.0-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.9DPLVp5v/b1/haskell-ogma-language-lustre_1.10.0-1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.9DPLVp5v/b2/haskell-ogma-language-lustre_1.10.0-1

⊟

6.23 MB

/srv/reproducible-results/rbuild-debian/r-b-build.9DPLVp5v/b1/haskell-ogma-language-lustre_1.10.0-1_amd64.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.9DPLVp5v/b2/haskell-ogma-language-lustre_1.10.0-1_amd64.changes ¶

⊟

676 B

Files ¶

⊟

5.7 MB

libghc-ogma-language-lustre-dev_1.10.0-1_amd64.deb ¶

⊟

452 B

file list ¶

⊟

4.4 KB

control.tar.xz ¶

⊟

4.38 KB

control.tar ¶

⊟

1.28 KB

./control ¶

⊟

3.07 KB

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

3.02 KB

line order ¶

⊟

5.7 MB

data.tar.xz ¶

⊟

5.7 MB

data.tar ¶

⊟

7.29 KB

file list ¶

⊟

2.72 KB

./var/lib/ghc/package.conf.d/ogma-language-lustre-1.10.0.conf ¶

⊟

4.75 MB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH-ghc9.6.6.so vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia-ghc9.6.6.so ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 79% similar despite different names

⊟

1.12 KB

readelf --wide --program-header {} ¶

⊟

2.03 KB

readelf --wide --sections {} ¶

⊟

602 KB

readelf --wide --symbols {} ¶

⊟

36.3 KB

readelf --wide --relocs {} ¶

⊟

2.61 KB

readelf --wide --dynamic {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

1.48 KB

readelf --wide --version-info {} ¶

⊟

411 KB

strings --all --bytes=8 {} ¶

⊟

110 KB

readelf --wide --decompress --hex-dump=.gnu.hash {} ¶

⊟

1.63 MB

readelf --wide --decompress --hex-dump=.dynstr {} ¶

⊟

1.85 MB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} ¶

⊟

49.7 KB

readelf --wide --decompress --hex-dump=.rodata {} ¶

⊟

83.1 KB

readelf --wide --decompress --hex-dump=.data {} ¶

⊟

235 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/AbsLustre.dyn_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.hi ¶

Files 98% similar despite different names

⊟

235 KB

ghc --show-iface {} ¶

⊟

235 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/AbsLustre.hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.dyn_hi ¶

Files 98% similar despite different names

⊟

235 KB

ghc --show-iface {} ¶

⊟

143 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/LexLustre.dyn_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.dyn_hi ¶

Files 99% similar despite different names

⊟

143 KB

ghc --show-iface {} ¶

⊟

143 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/LexLustre.hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.hi ¶

Files 99% similar despite different names

⊟

143 KB

ghc --show-iface {} ¶

⊟

48.6 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/ParLustre.dyn_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.hi ¶

Files 91% similar despite different names

⊟

48.3 KB

ghc --show-iface {} ¶

⊟

48.6 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/ParLustre.hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.dyn_hi ¶

Files 91% similar despite different names

⊟

48.3 KB

ghc --show-iface {} ¶

⊟

53.3 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/PrintLustre.dyn_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.dyn_hi ¶

Files 94% similar despite different names

⊟

52.9 KB

ghc --show-iface {} ¶

⊟

53.2 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/PrintLustre.hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.hi ¶

Files 97% similar despite different names

⊟

52.9 KB

ghc --show-iface {} ¶

⊟

2.06 KB

libghc-ogma-language-lustre-doc_1.10.0-1_all.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.43 KB

data.tar.xz ¶

⊟

1.41 KB

data.tar ¶

⊟

1.39 KB

./usr/lib/ghc-doc/haddock/ogma-language-lustre-1.10.0/ogma-language-lustre.haddock ¶

⊟

536 KB

libghc-ogma-language-lustre-prof_1.10.0-1_amd64.deb ¶

⊟

452 B

file list ¶

⊟

2.58 KB

control.tar.xz ¶

⊟

2.55 KB

control.tar ¶

⊟

871 B

./control ¶

⊟

1.68 KB

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.64 KB

line order ¶

⊟

533 KB

data.tar.xz ¶

⊟

533 KB

data.tar ¶

⊟

5.03 KB

file list ¶

⊟

235 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/AbsLustre.p_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.p_hi ¶

Files 98% similar despite different names

⊟

234 KB

ghc --show-iface {} ¶

⊟

165 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/LexLustre.p_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.p_hi ¶

Files 97% similar despite different names

⊟

164 KB

ghc --show-iface {} ¶

⊟

50.5 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/ParLustre.p_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.p_hi ¶

Files 96% similar despite different names

⊟

50.2 KB

ghc --show-iface {} ¶

⊟

77.9 KB

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH/Language/Lustre/PrintLustre.p_hi vs.

./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.p_hi ¶

Files 94% similar despite different names

⊟

77.6 KB

ghc --show-iface {} ¶


Offset 1, 4 lines modified		Offset 1, 4 lines modified

1	·3294~~e0826527f3~~0~~433ed4d35811be95e~~·19~~4808~~·haskell·optional·libghc-ogma-language-lustre-dev_1.10.0-1_amd64.deb	1	·314479d314f4e80397f107a90ca0a446·195624·haskell·optional·libghc-ogma-language-lustre-dev_1.10.0-1_amd64.deb
2	·~~5955~~7~~e0193607~~b8~~0101c4a1d4137c1fe~~·79636·doc·optional·libghc-ogma-language-lustre-doc_1.10.0-1_all.deb	2	·1b1c377db1e459be5beba75925b98b20·79652·doc·optional·libghc-ogma-language-lustre-doc_1.10.0-1_all.deb
3	·~~c3955f~~0a1f7~~8afb0~~1b~~6a97c97~~6~~7c3170~~·1~~79660~~·haskell·optional·libghc-ogma-language-lustre-prof_1.10.0-1_amd64.deb	3	·7801b2600f1ffd2c31c1461a8603bdb2·181004·haskell·optional·libghc-ogma-language-lustre-prof_1.10.0-1_amd64.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2025-09-23·03:09:36.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2025-09-23·03:09:36.000000·debian-binary
2	-rw-r--r--···0········0········0·····1352·2025-09-23·03:09:36.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1348·2025-09-23·03:09:36.000000·control.tar.xz
3	-rw-r--r--···0········0········0···19~~326~~4·2025-09-23·03:09:36.000000·data.tar.xz	3	-rw-r--r--···0········0········0···194084·2025-09-23·03:09:36.000000·data.tar.xz


Offset 1, 23 lines modified		Offset 1, 23 lines modified
1	Package:·libghc-ogma-language-lustre-dev	1	Package:·libghc-ogma-language-lustre-dev
2	Source:·haskell-ogma-language-lustre	2	Source:·haskell-ogma-language-lustre
3	Version:·1.10.0-1	3	Version:·1.10.0-1
4	Architecture:·amd64	4	Architecture:·amd64
5	Maintainer:·Debian·Haskell·Group·<pkg-haskell-maintainers@lists.alioth.debian.org>	5	Maintainer:·Debian·Haskell·Group·<pkg-haskell-maintainers@lists.alioth.debian.org>
6	Installed-Size:·1912	6	Installed-Size:·1916
7	Depends:·libghc-array-dev-0.5.6.0-65c23,·libghc-base-dev-4.18.2.1-8e81e,·libc6·(>=·2.2.5),·libgmp10·(>=·2:6.3.0+dfsg)	7	Depends:·libghc-array-dev-0.5.6.0-65c23,·libghc-base-dev-4.18.2.1-8e81e,·libc6·(>=·2.2.5),·libgmp10·(>=·2:6.3.0+dfsg)
8	Provides:·libghc-ogma-language-lustre-dev-1.10.0-~~5e1c2~~	8	Provides:·libghc-ogma-language-lustre-dev-1.10.0-3764a
9	Section:·haskell	9	Section:·haskell
10	Priority:·optional	10	Priority:·optional
11	Homepage:·https://github.com/nasa/ogma	11	Homepage:·https://github.com/nasa/ogma
12	Description:·Runtime·Monitor·translator:·Lustre·Language·Frontend	12	Description:·Runtime·Monitor·translator:·Lustre·Language·Frontend
13	·Ogma·is·a·tool·to·facilitate·the·integration·of·safe·runtime·monitors·into	13	·Ogma·is·a·tool·to·facilitate·the·integration·of·safe·runtime·monitors·into
14	·other·systems.·Ogma·extends	14	·other·systems.·Ogma·extends
15	·<https://github.com/Copilot-Language/copilot·Copilot>,·a·high-level·runtime	15	·<https://github.com/Copilot-Language/copilot·Copilot>,·a·high-level·runtime
16	·verification·framework·that·generates·hard·real-time·C99·code.	16	·verification·framework·that·generates·hard·real-time·C99·code.
17	·.	17	·.
18	·This·library·contains·a·frontend·to·read·Lustre·Boolean·expressions,	18	·This·library·contains·a·frontend·to·read·Lustre·Boolean·expressions,
19	·extended·with·several·operators·related·to·temporal·logic.	19	·extended·with·several·operators·related·to·temporal·logic.
20	·.	20	·.
21	·This·package·provides·a·library·for·the·Haskell·programming·language.	21	·This·package·provides·a·library·for·the·Haskell·programming·language.
22	·See·http://www.haskell.org/·for·more·information·on·Haskell.	22	·See·http://www.haskell.org/·for·more·information·on·Haskell.
23	Ghc-Package:·ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~	23	Ghc-Package:·ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia


Offset 1, 14 lines modified		Offset 1, 14 lines modified
1	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~-ghc9.6.6.so	1	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia-ghc9.6.6.so
2	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/AbsLustre.dyn_hi	2	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.dyn_hi
3	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/AbsLustre.hi	3	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.hi
4	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/LexLustre.dyn_hi	4	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.dyn_hi
5	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/LexLustre.hi	5	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.hi
6	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/ParLustre.dyn_hi	6	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.dyn_hi
7	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/ParLustre.hi	7	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.hi
8	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/PrintLustre.dyn_hi	8	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.dyn_hi
9	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/PrintLustre.hi	9	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.hi
10	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/libHSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~.a	10	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia.a
11	usr/share/doc/libghc-ogma-language-lustre-dev/changelog.Debian.gz	11	usr/share/doc/libghc-ogma-language-lustre-dev/changelog.Debian.gz
12	usr/share/doc/libghc-ogma-language-lustre-dev/changelog.gz	12	usr/share/doc/libghc-ogma-language-lustre-dev/changelog.gz
13	usr/share/doc/libghc-ogma-language-lustre-dev/copyright	13	usr/share/doc/libghc-ogma-language-lustre-dev/copyright
14	var/lib/ghc/package.conf.d/ogma-language-lustre-1.10.0.conf	14	var/lib/ghc/package.conf.d/ogma-language-lustre-1.10.0.conf


Offset 1, 27 lines modified		Offset 1, 27 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/
7	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/	7	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/
8	-rw-r--r--···0·root·········(0)·root·········(0)···611480·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~-ghc9.6.6.so	8	-rw-r--r--···0·root·········(0)·root·········(0)···611480·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia-ghc9.6.6.so
9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/	9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/
10	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/	10	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/
11	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/	11	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/
12	-rw-r--r--···0·root·········(0)·root·········(0)····84718·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/AbsLustre.dyn_hi	12	-rw-r--r--···0·root·········(0)·root·········(0)····84714·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.dyn_hi
13	-rw-r--r--···0·root·········(0)·root·········(0)····84717·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/AbsLustre.hi	13	-rw-r--r--···0·root·········(0)·root·········(0)····84713·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.hi
14	-rw-r--r--···0·root·········(0)·root·········(0)····61472·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/LexLustre.dyn_hi	14	-rw-r--r--···0·root·········(0)·root·········(0)····61454·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.dyn_hi
15	-rw-r--r--···0·root·········(0)·root·········(0)····61468·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/LexLustre.hi	15	-rw-r--r--···0·root·········(0)·root·········(0)····61450·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.hi
16	-rw-r--r--···0·root·········(0)·root·········(0)····17308·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/ParLustre.dyn_hi	16	-rw-r--r--···0·root·········(0)·root·········(0)····17298·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.dyn_hi
17	-rw-r--r--···0·root·········(0)·root·········(0)····17306·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/ParLustre.hi	17	-rw-r--r--···0·root·········(0)·root·········(0)····17296·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.hi
18	-rw-r--r--···0·root·········(0)·root·········(0)····24~~093~~·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/PrintLustre.dyn_hi	18	-rw-r--r--···0·root·········(0)·root·········(0)····24129·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.dyn_hi
19	-rw-r--r--···0·root·········(0)·root·········(0)····24~~089~~·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/PrintLustre.hi	19	-rw-r--r--···0·root·········(0)·root·········(0)····24125·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.hi
20	-rw-r--r--···0·root·········(0)·root·········(0)···94~~171~~2·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/libHSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~.a	20	-rw-r--r--···0·root·········(0)·root·········(0)···945422·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia.a
21	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/	21	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/
22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/	22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/
23	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/	23	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/
24	-rw-r--r--···0·root·········(0)·root·········(0)······218·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/changelog.Debian.gz	24	-rw-r--r--···0·root·········(0)·root·········(0)······218·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/changelog.Debian.gz
25	-rw-r--r--···0·root·········(0)·root·········(0)······776·2025-09-22·13:17:22.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/changelog.gz	25	-rw-r--r--···0·root·········(0)·root·········(0)······776·2025-09-22·13:17:22.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/changelog.gz
26	-rw-r--r--···0·root·········(0)·root·········(0)·····1217·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/copyright	26	-rw-r--r--···0·root·········(0)·root·········(0)·····1217·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-dev/copyright
27	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./var/	27	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./var/


Offset 1, 12 lines modified		Offset 1, 12 lines modified
1	name:·················ogma-language-lustre	1	name:·················ogma-language-lustre
2	version:··············1.10.0	2	version:··············1.10.0
3	visibility:···········public	3	visibility:···········public
4	id:···················ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH
5	~~key:~~··················ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~	4	id:···················ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia
		5	key:··················ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia
6	license:··············Apache-2.0	6	license:··············Apache-2.0
7	maintainer:···········ivan.perezdominguez@nasa.gov	7	maintainer:···········ivan.perezdominguez@nasa.gov
8	author:···············Ivan·Perez,·Alwyn·Goodloe	8	author:···············Ivan·Perez,·Alwyn·Goodloe
9	homepage:·············https://github.com/nasa/ogma	9	homepage:·············https://github.com/nasa/ogma
10	synopsis:·············Ogma:·Runtime·Monitor·translator:·Lustre·Language·Frontend	10	synopsis:·············Ogma:·Runtime·Monitor·translator:·Lustre·Language·Frontend
11	description:	11	description:
12	····Ogma·is·a·tool·to·facilitate·the·integration·of·safe·runtime·monitors·into	12	····Ogma·is·a·tool·to·facilitate·the·integration·of·safe·runtime·monitors·into
Offset 14, 30 lines modified		Offset 14, 30 lines modified
14	····<https://github.com/Copilot-Language/copilot·Copilot>,·a·high-level·runtime	14	····<https://github.com/Copilot-Language/copilot·Copilot>,·a·high-level·runtime
15	····verification·framework·that·generates·hard·real-time·C99·code.	15	····verification·framework·that·generates·hard·real-time·C99·code.

16	····This·library·contains·a·frontend·to·read·Lustre·Boolean·expressions,	16	····This·library·contains·a·frontend·to·read·Lustre·Boolean·expressions,
17	····extended·with·several·operators·related·to·temporal·logic.	17	····extended·with·several·operators·related·to·temporal·logic.

18	category:·············Aerospace	18	category:·············Aerospace
19	abi:··················~~5e1c2a1f~~08~~89a32~~7d~~1459791~~ec~~05c891~~	19	abi:··················3764add571087e16678b7f8abe12e4ca
20	exposed:··············True	20	exposed:··············True
21	exposed-modules:	21	exposed-modules:
22	····Language.Lustre.AbsLustre·Language.Lustre.LexLustre	22	····Language.Lustre.AbsLustre·Language.Lustre.LexLustre
23	····Language.Lustre.ParLustre·Language.Lustre.PrintLustre	23	····Language.Lustre.ParLustre·Language.Lustre.PrintLustre

24	import-dirs:	24	import-dirs:
25	····/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~	25	····/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia

26	library-dirs:	26	library-dirs:
27	····/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~	27	····/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia

28	library-dirs-static:	28	library-dirs-static:
29	····/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~	29	····/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia

30	dynamic-library-dirs:·/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6	30	dynamic-library-dirs:·/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6
31	data-dir:·············/usr/share/ogma-language-lustre	31	data-dir:·············/usr/share/ogma-language-lustre
32	hs-libraries:·········HSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~	32	hs-libraries:·········HSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia
33	depends:··············array-0.5.6.0·base-4.18.2.1	33	depends:··············array-0.5.6.0·base-4.18.2.1
34	haddock-interfaces:	34	haddock-interfaces:
35	····/usr/lib/ghc-doc/haddock/ogma-language-lustre-1.10.0/ogma-language-lustre.haddock	35	····/usr/lib/ghc-doc/haddock/ogma-language-lustre-1.10.0/ogma-language-lustre.haddock

36	haddock-html:·········/usr/share/doc/libghc-ogma-language-lustre-doc/html/	36	haddock-html:·········/usr/share/doc/libghc-ogma-language-lustre-doc/html/


Offset 1, 15 lines modified		Offset 1, 15 lines modified

1	Elf·file·type·is·DYN·(Shared·object·file)	1	Elf·file·type·is·DYN·(Shared·object·file)
2	Entry·point·0x0	2	Entry·point·0x0
3	There·are·8·program·headers,·starting·at·offset·64	3	There·are·8·program·headers,·starting·at·offset·64

4	Program·Headers:	4	Program·Headers:
5	··Type···········Offset···VirtAddr···········PhysAddr···········FileSiz··MemSiz···Flg·Align	5	··Type···········Offset···VirtAddr···········PhysAddr···········FileSiz··MemSiz···Flg·Align
6	··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x0566d0·0x0566d0·R···0x1000	6	··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x056db0·0x056db0·R···0x1000
7	··LOAD···········0x057000·0x0000000000057000·0x0000000000057000·0x02ff75·0x02ff75·R·E·0x1000	7	··LOAD···········0x057000·0x0000000000057000·0x0000000000057000·0x02ff75·0x02ff75·R·E·0x1000
8	··LOAD···········0x087000·0x0000000000087000·0x0000000000087000·0x003584·0x003584·R···0x1000	8	··LOAD···········0x087000·0x0000000000087000·0x0000000000087000·0x003584·0x003584·R···0x1000
9	··LOAD···········0x08a978·0x000000000008b978·0x000000000008b978·0x00a408·0x00a410·RW··0x1000	9	··LOAD···········0x08a978·0x000000000008b978·0x000000000008b978·0x00a408·0x00a410·RW··0x1000
10	··DYNAMIC········0x08aa38·0x000000000008ba38·0x000000000008ba38·0x000260·0x000260·RW··0x8	10	··DYNAMIC········0x08aa38·0x000000000008ba38·0x000000000008ba38·0x000260·0x000260·RW··0x8
11	··NOTE···········0x000200·0x0000000000000200·0x0000000000000200·0x000024·0x000024·R···0x4	11	··NOTE···········0x000200·0x0000000000000200·0x0000000000000200·0x000024·0x000024·R···0x4
12	··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10	12	··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10
13	··GNU_RELRO······0x08a978·0x000000000008b978·0x000000000008b978·0x000688·0x000688·R···0x1	13	··GNU_RELRO······0x08a978·0x000000000008b978·0x000000000008b978·0x000688·0x000688·R···0x1


Offset 2, 19 lines modified		Offset 2, 19 lines modified

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············0000000000000200·000200·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000200·000200·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········GNU_HASH········0000000000000228·000228·0034a4·00···A··3···0··8	6	··[·2]·.gnu.hash·········GNU_HASH········0000000000000228·000228·0034a4·00···A··3···0··8
7	··[·3]·.dynsym···········DYNSYM··········00000000000036d0·0036d0·00ba90·18···A··4···1··8	7	··[·3]·.dynsym···········DYNSYM··········00000000000036d0·0036d0·00ba90·18···A··4···1··8
8	··[·4]·.dynstr···········STRTAB··········000000000000f160·00f160·03~~1c36~~·00···A··0···0··1	8	··[·4]·.dynstr···········STRTAB··········000000000000f160·00f160·03231b·00···A··0···0··1
9	··[·5]·.gnu.version······VERSYM··········000000000004~~0d96~~·04~~0d96~~·000f8c·02···A··3···0··2	9	··[·5]·.gnu.version······VERSYM··········000000000004147c·04147c·000f8c·02···A··3···0··2
10	··[·6]·.gnu.version_r····VERNEED·········000000000004~~1d2~~8·04~~1d2~~8·000020·00···A··4···1··8	10	··[·6]·.gnu.version_r····VERNEED·········0000000000042408·042408·000020·00···A··4···1··8
11	··[·7]·.rela.dyn·········RELA············000000000004~~1d4~~8·04~~1d4~~8·014958·18···A··3···0··8	11	··[·7]·.rela.dyn·········RELA············0000000000042428·042428·014958·18···A··3···0··8
12	··[·8]·.rela.plt·········RELA············00000000000566a0·0566a0·000030·18··AI··3··21··8	12	··[·8]·.rela.plt·········RELA············0000000000056d80·056d80·000030·18··AI··3··21··8
13	··[·9]·.init·············PROGBITS········0000000000057000·057000·000017·00··AX··0···0··4	13	··[·9]·.init·············PROGBITS········0000000000057000·057000·000017·00··AX··0···0··4
14	··[10]·.plt··············PROGBITS········0000000000057020·057020·000030·10··AX··0···0·16	14	··[10]·.plt··············PROGBITS········0000000000057020·057020·000030·10··AX··0···0·16
15	··[11]·.plt.got··········PROGBITS········0000000000057050·057050·000008·08··AX··0···0··8	15	··[11]·.plt.got··········PROGBITS········0000000000057050·057050·000008·08··AX··0···0··8
16	··[12]·.text·············PROGBITS········0000000000057060·057060·02ff09·00··AX··0···0·16	16	··[12]·.text·············PROGBITS········0000000000057060·057060·02ff09·00··AX··0···0·16
17	··[13]·.fini·············PROGBITS········0000000000086f6c·086f6c·000009·00··AX··0···0··4	17	··[13]·.fini·············PROGBITS········0000000000086f6c·086f6c·000009·00··AX··0···0··4
18	··[14]·.rodata···········PROGBITS········0000000000087000·087000·003580·00···A··0···0··8	18	··[14]·.rodata···········PROGBITS········0000000000087000·087000·003580·00···A··0···0··8
19	··[15]·.eh_frame·········PROGBITS········000000000008a580·08a580·000004·00···A··0···0··8	19	··[15]·.eh_frame·········PROGBITS········000000000008a580·08a580·000004·00···A··0···0··8


Offset 4, 34 lines modified		Offset 4, 34 lines modified
4	·0x0000000000000001·(NEEDED)·············Shared·library:·[libm.so.6]	4	·0x0000000000000001·(NEEDED)·············Shared·library:·[libm.so.6]
5	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSarray-0.5.6.0-ghc9.6.6.so]	5	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSarray-0.5.6.0-ghc9.6.6.so]
6	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSbase-4.18.2.1-ghc9.6.6.so]	6	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSbase-4.18.2.1-ghc9.6.6.so]
7	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSghc-bignum-1.3-ghc9.6.6.so]	7	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSghc-bignum-1.3-ghc9.6.6.so]
8	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSghc-prim-0.10.0-ghc9.6.6.so]	8	·0x0000000000000001·(NEEDED)·············Shared·library:·[libHSghc-prim-0.10.0-ghc9.6.6.so]
9	·0x0000000000000001·(NEEDED)·············Shared·library:·[libgmp.so.10]	9	·0x0000000000000001·(NEEDED)·············Shared·library:·[libgmp.so.10]
10	·0x0000000000000001·(NEEDED)·············Shared·library:·[libc.so.6]	10	·0x0000000000000001·(NEEDED)·············Shared·library:·[libc.so.6]
11	·0x000000000000000e·(SONAME)·············Library·soname:·[libHSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~-ghc9.6.6.so]	11	·0x000000000000000e·(SONAME)·············Library·soname:·[libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia-ghc9.6.6.so]
12	·0x0000000000000010·(SYMBOLIC)···········0x0	12	·0x0000000000000010·(SYMBOLIC)···········0x0
13	·0x000000000000001d·(RUNPATH)············Library·runpath:·[/usr/lib/ghc/lib/x86_64-linux-ghc-9.6.6~~:/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6~~]	13	·0x000000000000001d·(RUNPATH)············Library·runpath:·[/usr/lib/ghc/lib/x86_64-linux-ghc-9.6.6]
14	·0x000000000000000c·(INIT)···············0x57000	14	·0x000000000000000c·(INIT)···············0x57000
15	·0x000000000000000d·(FINI)···············0x86f6c	15	·0x000000000000000d·(FINI)···············0x86f6c
16	·0x0000000000000019·(INIT_ARRAY)·········0x8b978	16	·0x0000000000000019·(INIT_ARRAY)·········0x8b978
17	·0x000000000000001b·(INIT_ARRAYSZ)·······8·(bytes)	17	·0x000000000000001b·(INIT_ARRAYSZ)·······8·(bytes)
18	·0x000000000000001a·(FINI_ARRAY)·········0x8b980	18	·0x000000000000001a·(FINI_ARRAY)·········0x8b980
19	·0x000000000000001c·(FINI_ARRAYSZ)·······8·(bytes)	19	·0x000000000000001c·(FINI_ARRAYSZ)·······8·(bytes)
20	·0x000000006ffffef5·(GNU_HASH)···········0x228	20	·0x000000006ffffef5·(GNU_HASH)···········0x228
21	·0x0000000000000005·(STRTAB)·············0xf160	21	·0x0000000000000005·(STRTAB)·············0xf160
22	·0x0000000000000006·(SYMTAB)·············0x36d0	22	·0x0000000000000006·(SYMTAB)·············0x36d0
23	·0x000000000000000a·(STRSZ)··············20~~3830~~·(bytes)	23	·0x000000000000000a·(STRSZ)··············205595·(bytes)
24	·0x000000000000000b·(SYMENT)·············24·(bytes)	24	·0x000000000000000b·(SYMENT)·············24·(bytes)
25	·0x0000000000000003·(PLTGOT)·············0x8bfe8	25	·0x0000000000000003·(PLTGOT)·············0x8bfe8
26	·0x0000000000000002·(PLTRELSZ)···········48·(bytes)	26	·0x0000000000000002·(PLTRELSZ)···········48·(bytes)
27	·0x0000000000000014·(PLTREL)·············RELA	27	·0x0000000000000014·(PLTREL)·············RELA
28	·0x0000000000000017·(JMPREL)·············0x566a0	28	·0x0000000000000017·(JMPREL)·············0x56d80
29	·0x0000000000000007·(RELA)···············0x4~~1d4~~8	29	·0x0000000000000007·(RELA)···············0x42428
30	·0x0000000000000008·(RELASZ)·············84312·(bytes)	30	·0x0000000000000008·(RELASZ)·············84312·(bytes)
31	·0x0000000000000009·(RELAENT)············24·(bytes)	31	·0x0000000000000009·(RELAENT)············24·(bytes)
32	·0x000000000000001e·(FLAGS)··············SYMBOLIC	32	·0x000000000000001e·(FLAGS)··············SYMBOLIC
33	·0x000000006ffffffe·(VERNEED)············0x4~~1d2~~8	33	·0x000000006ffffffe·(VERNEED)············0x42408
34	·0x000000006fffffff·(VERNEEDNUM)·········1	34	·0x000000006fffffff·(VERNEEDNUM)·········1
35	·0x000000006ffffff0·(VERSYM)·············0x4~~0d96~~	35	·0x000000006ffffff0·(VERSYM)·············0x4147c
36	·0x000000006ffffff9·(RELACOUNT)··········2299	36	·0x000000006ffffff9·(RELACOUNT)··········2299
37	·0x0000000000000000·(NULL)···············0x0	37	·0x0000000000000000·(NULL)···············0x0


Offset 1, 4 lines modified		Offset 1, 4 lines modified

1	Displaying·notes·found·in:·.note.gnu.build-id	1	Displaying·notes·found·in:·.note.gnu.build-id
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·1~~d9015c~~e1b041980f~~fb31~~8f9cf1~~4ee~~35bc6e~~b587~~	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·301032e2266e6ee7049a9fd846871fc0232c98c4


Offset 1, 10 lines modified		Offset 1, 10 lines modified

1	Version·symbols·section·'.gnu.version'·contains·1990·entries:	1	Version·symbols·section·'.gnu.version'·contains·1990·entries:
2	·Addr:·0x000000000004~~0d96~~··Offset:·0x0004~~0d96~~··Link:·3·(.dynsym)	2	·Addr:·0x000000000004147c··Offset:·0x0004147c··Link:·3·(.dynsym)
3	··000:···0·(local)·······1·(global)······1·(global)······1·(global)···	3	··000:···0·(local)·······1·(global)······1·(global)······1·(global)···
4	··004:···1·(global)······1·(global)······1·(global)······1·(global)···	4	··004:···1·(global)······1·(global)······1·(global)······1·(global)···
5	··008:···1·(global)······1·(global)······1·(global)······1·(global)···	5	··008:···1·(global)······1·(global)······1·(global)······1·(global)···
6	··00c:···1·(global)······1·(global)······1·(global)······1·(global)···	6	··00c:···1·(global)······1·(global)······1·(global)······1·(global)···
7	··010:···1·(global)······1·(global)······1·(global)······1·(global)···	7	··010:···1·(global)······1·(global)······1·(global)······1·(global)···
8	··014:···2·(GLIBC_2.2.5)···1·(global)······1·(global)······1·(global)···	8	··014:···2·(GLIBC_2.2.5)···1·(global)······1·(global)······1·(global)···
9	··018:···1·(global)······1·(global)······1·(global)······1·(global)···	9	··018:···1·(global)······1·(global)······1·(global)······1·(global)···
Offset 497, 10 lines modified		Offset 497, 10 lines modified
497	··7b4:···1·(global)······1·(global)······1·(global)······1·(global)···	497	··7b4:···1·(global)······1·(global)······1·(global)······1·(global)···
498	··7b8:···1·(global)······1·(global)······1·(global)······1·(global)···	498	··7b8:···1·(global)······1·(global)······1·(global)······1·(global)···
499	··7bc:···1·(global)······1·(global)······1·(global)······1·(global)···	499	··7bc:···1·(global)······1·(global)······1·(global)······1·(global)···
500	··7c0:···1·(global)······1·(global)······1·(global)······1·(global)···	500	··7c0:···1·(global)······1·(global)······1·(global)······1·(global)···
501	··7c4:···1·(global)······1·(global)···	501	··7c4:···1·(global)······1·(global)···

502	Version·needs·section·'.gnu.version_r'·contains·1·entry:	502	Version·needs·section·'.gnu.version_r'·contains·1·entry:
503	·Addr:·0x000000000004~~1d2~~8··Offset:·0x0004~~1d2~~8··Link:·4·(.dynstr)	503	·Addr:·0x0000000000042408··Offset:·0x00042408··Link:·4·(.dynstr)
504	··000000:·Version:·1··File:·libc.so.6··Cnt:·1	504	··000000:·Version:·1··File:·libc.so.6··Cnt:·1
505	··0x0010:···Name:·GLIBC_2.2.5··Flags:·none··Version:·2	505	··0x0010:···Name:·GLIBC_2.2.5··Flags:·none··Version:·2


Offset 1, 13 lines modified		Offset 1, 13 lines modified



1	Disassembly·of·section·.text:	1	Disassembly·of·section·.text:

2	0000000000057060·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base-0xd8>:	2	0000000000057060·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base-0xd8>:
3	» lea····0x3ed19(%rip),%rdi········	3	» lea····0x3ed19(%rip),%rdi········
4	» lea····0x3ed12(%rip),%rax········	4	» lea····0x3ed12(%rip),%rax········
5	» cmp····%rdi,%rax	5	» cmp····%rdi,%rax
6	» je·····57088·<__cxa_finalize@plt+0x38>	6	» je·····57088·<__cxa_finalize@plt+0x38>
7	» mov····0x34c66(%rip),%rax········	7	» mov····0x34c66(%rip),%rax········
8	» test···%rax,%rax	8	» test···%rax,%rax
9	» je·····57088·<__cxa_finalize@plt+0x38>	9	» je·····57088·<__cxa_finalize@plt+0x38>
Offset 56, 37 lines modified		Offset 56, 37 lines modified
56	» add····%al,(%rax)	56	» add····%al,(%rax)
57	» add····%cl,(%rsi)	57	» add····%cl,(%rsi)
58	» add····%al,(%rax)	58	» add····%al,(%rax)
59	» add····%al,(%rax)	59	» add····%al,(%rax)
60	» add····%al,(%rax)	60	» add····%al,(%rax)
61	» ...	61	» ...

62	0000000000057138·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base>:	62	0000000000057138·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base>:
63	» lea····-0x10(%rbp),%rax	63	» lea····-0x10(%rbp),%rax
64	» cmp····%r15,%rax	64	» cmp····%r15,%rax
65	» jb·····571a6·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x6e>	65	» jb·····571a6·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x6e>
66	» mov····%r14,%rax	66	» mov····%r14,%rax
67	» and····$0x7,%eax	67	» and····$0x7,%eax
68	» test···%rax,%rax	68	» test···%rax,%rax
69	» je·····571b1·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x79>	69	» je·····571b1·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x79>
70	» cmp····$0x7,%rax	70	» cmp····$0x7,%rax
71	» je·····57206·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xce>	71	» je·····57206·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xce>
72	» mov····%rsi,-0x8(%rbp)	72	» mov····%rsi,-0x8(%rbp)
73	» add····$0xfffffffffffffff0,%rbp	73	» add····$0xfffffffffffffff0,%rbp
74	» dec····%rax	74	» dec····%rax
75	» mov····%rsi,%rbx	75	» mov····%rsi,%rbx
76	» and····$0x7,%ebx	76	» and····$0x7,%ebx
77	» test···%rbx,%rbx	77	» test···%rbx,%rbx
78	» je·····5721d·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xe5>	78	» je·····5721d·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xe5>
79	» cmp····$0x7,%rbx	79	» cmp····$0x7,%rbx
80	» je·····571f3·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xbb>	80	» je·····571f3·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xbb>
81	» mov····%rax,0x8(%rbp)	81	» mov····%rax,0x8(%rbp)
82	» dec····%rbx	82	» dec····%rbx
83	» cmp····%rbx,%rax	83	» cmp····%rbx,%rax
84	» jne····57194·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x5c>	84	» jne····57194·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x5c>
85	» mov····0x34ce7(%rip),%rax········	85	» mov····0x34ce7(%rip),%rax········
86	» lea····0x1(%rax),%rbx	86	» lea····0x1(%rax),%rbx
87	» add····$0x10,%rbp	87	» add····$0x10,%rbp
88	» jmp····*0x0(%rbp)	88	» jmp····*0x0(%rbp)
89	» mov····0x34d1d(%rip),%rax········	89	» mov····0x34d1d(%rip),%rax········
90	» lea····0x2(%rax),%rbx	90	» lea····0x2(%rax),%rbx
91	» add····$0x10,%rbp	91	» add····$0x10,%rbp
Offset 95, 93 lines modified		Offset 95, 93 lines modified
95	» jmp····*-0x8(%r13)	95	» jmp····*-0x8(%r13)
96	» lea····0x28(%rip),%rax········	96	» lea····0x28(%rip),%rax········
97	» mov····%rax,-0x10(%rbp)	97	» mov····%rax,-0x10(%rbp)
98	» mov····%r14,%rbx	98	» mov····%r14,%rbx
99	» mov····%rsi,-0x8(%rbp)	99	» mov····%rsi,-0x8(%rbp)
100	» add····$0xfffffffffffffff0,%rbp	100	» add····$0xfffffffffffffff0,%rbp
101	» test···$0x7,%bl	101	» test···$0x7,%bl
102	» jne····571e0·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xa8>	102	» jne····571e0·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xa8>
103	» jmp····*(%rbx)	103	» jmp····*(%rbx)
104	» xchg···%ax,%ax	104	» xchg···%ax,%ax
105	» add····%eax,(%rax)	105	» add····%eax,(%rax)
106	» add····%al,(%rax)	106	» add····%al,(%rax)
107	» add····%al,(%rax)	107	» add····%al,(%rax)
108	» add····%al,(%rax)	108	» add····%al,(%rax)
109	» (bad)	109	» (bad)
110	» add····%al,(%rax)	110	» add····%al,(%rax)
111	» add····%al,(%rax)	111	» add····%al,(%rax)
112	» add····%al,(%rax)	112	» add····%al,(%rax)
113	» add····%cl,-0x75(%rax)	113	» add····%cl,-0x75(%rax)
114	» jne····571ec·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xb4>	114	» jne····571ec·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0xb4>
115	» and····$0xfffffffffffffff8,%rbx	115	» and····$0xfffffffffffffff8,%rbx
116	» mov····(%rbx),%rax	116	» mov····(%rbx),%rax
117	» mov····-0x4(%rax),%eax	117	» mov····-0x4(%rax),%eax
118	» jmp····57161·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x29>	118	» jmp····57161·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x29>
119	» and····$0xfffffffffffffff8,%rsi	119	» and····$0xfffffffffffffff8,%rsi
120	» mov····(%rsi),%rbx	120	» mov····(%rsi),%rbx
121	» mov····-0x4(%rbx),%ebx	121	» mov····-0x4(%rbx),%ebx
122	» mov····%rax,0x8(%rbp)	122	» mov····%rax,0x8(%rbp)
123	» jmp····5717d·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x45>	123	» jmp····5717d·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x45>
124	» and····$0xfffffffffffffff8,%r14	124	» and····$0xfffffffffffffff8,%r14
125	» mov····(%r14),%rax	125	» mov····(%r14),%rax
126	» mov····-0x4(%rax),%eax	126	» mov····-0x4(%rax),%eax
127	» mov····%rsi,-0x8(%rbp)	127	» mov····%rsi,-0x8(%rbp)
128	» add····$0xfffffffffffffff0,%rbp	128	» add····$0xfffffffffffffff0,%rbp
129	» jmp····57161·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x29>	129	» jmp····57161·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x29>
130	» lea····0x24(%rip),%rbx········	130	» lea····0x24(%rip),%rbx········
131	» mov····%rbx,0x0(%rbp)	131	» mov····%rbx,0x0(%rbp)
132	» mov····%rsi,%rbx	132	» mov····%rsi,%rbx
133	» mov····%rax,0x8(%rbp)	133	» mov····%rax,0x8(%rbp)
134	» test···$0x7,%bl	134	» test···$0x7,%bl
135	» jne····57248·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x110>	135	» jne····57248·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x110>
136	» jmp····*(%rbx)	136	» jmp····*(%rbx)
137	» xchg···%ax,%ax	137	» xchg···%ax,%ax
138	» add····%al,(%r8)	138	» add····%al,(%r8)
139	» add····%al,(%rax)	139	» add····%al,(%rax)
140	» add····%al,(%rax)	140	» add····%al,(%rax)
141	» add····%bl,(%rsi)	141	» add····%bl,(%rsi)
142	» add····%al,(%rax)	142	» add····%al,(%rax)
143	» add····%al,(%rax)	143	» add····%al,(%rax)
144	» add····%al,(%rax)	144	» add····%al,(%rax)
145	» add····%cl,-0x75(%rax)	145	» add····%cl,-0x75(%rax)
146	» or·····%r9b,-0x7d(%r8)	146	» or·····%r9b,-0x7d(%r8)
147	» jrcxz··57248·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x110>	147	» jrcxz··57248·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x110>
148	» mov····(%rbx),%rbx	148	» mov····(%rbx),%rbx
149	» mov····-0x4(%rbx),%ebx	149	» mov····-0x4(%rbx),%ebx
150	» jmp····5717d·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x45>	150	» jmp····5717d·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczsze_info@@Base+0x45>
151	» nopl···0x0(%rax,%rax,1)	151	» nopl···0x0(%rax,%rax,1)
152	» sldt···(%rax)	152	» sldt···(%rax)
153	» add····%al,(%rdx)	153	» add····%al,(%rdx)
154	» ...	154	» ...
155	» add····%al,(%rax)	155	» add····%al,(%rax)
156	» add····%cl,(%rsi)	156	» add····%cl,(%rsi)
157	» add····%al,(%rax)	157	» add····%al,(%rax)
158	» add····%al,(%rax)	158	» add····%al,(%rax)
159	» add····%al,(%rax)	159	» add····%al,(%rax)
160	» ...	160	» ...

161	0000000000057278·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczeze_info@@Base>:	161	0000000000057278·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczeze_info@@Base>:
162	» lea····-0x10(%rbp),%rax	162	» lea····-0x10(%rbp),%rax
163	» cmp····%r15,%rax	163	» cmp····%r15,%rax
164	» jb·····572dc·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczeze_info@@Base+0x64>	164	» jb·····572dc·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczeze_info@@Base+0x64>
165	» mov····%r14,%rax	165	» mov····%r14,%rax
166	» and····$0x7,%eax	166	» and····$0x7,%eax
167	» test···%rax,%rax	167	» test···%rax,%rax
168	» je·····572e7·<ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczeze_info@@Base+0x6f>	168	» je·····572e7·<ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczeze_info@@Base+0x6f>
Max diff block lines reached; 1933743/1941497 bytes (99.60%) of diff not shown.


Offset 165, 1829 lines modified		Offset 165, 1829 lines modified
165	···161:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·base_TextziParserCombinatorsziReadP_run_info	165	···161:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·base_TextziParserCombinatorsziReadP_run_info
166	···162:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·base_GHCziRead_list_info	166	···162:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·base_GHCziRead_list_info
167	···163:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·base_GHCziRead_zdwzdsreadNumber3_info	167	···163:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·base_GHCziRead_zdwzdsreadNumber3_info
168	···164:·0000000000000000·····0·OBJECT··GLOBAL·DEFAULT··UND·ghczmprim_GHCziTypes_zdtcAddrzh_closure	168	···164:·0000000000000000·····0·OBJECT··GLOBAL·DEFAULT··UND·ghczmprim_GHCziTypes_zdtcAddrzh_closure
169	···165:·0000000000000000·····0·OBJECT··GLOBAL·DEFAULT··UND·base_GHCziRead_zdfReadDouble2_closure	169	···165:·0000000000000000·····0·OBJECT··GLOBAL·DEFAULT··UND·base_GHCziRead_zdfReadDouble2_closure
170	···166:·0000000000000000·····0·NOTYPE··GLOBAL·DEFAULT··UND·stg_gc_pp	170	···166:·0000000000000000·····0·NOTYPE··GLOBAL·DEFAULT··UND·stg_gc_pp
Diff chunk too large, falling back to line-by-line diff (1822 lines added, 1822 lines removed)
171	···167:·0000000000000000·····0·OBJECT··GLOBAL·DEFAULT··UND·ghczmprim_GHCziTypes_krepzdConstraint_closure	171	···167:·0000000000000000·····0·OBJECT··GLOBAL·DEFAULT··UND·ghczmprim_GHCziTypes_krepzdConstraint_closure
172	···168:·00000000000~~95c10~~·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziPrintLustre_zdfPrintB~~oolSp~~ec~~_closure~~	172	···168:·0000000000088539·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziPrintLustre_zdfPrintOp1Pre16_bytes
173	···169:·0000000000095b68·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziPr~~int~~Lustre_z~~dfPrintOp1Pre15~~_closure	173	···169:·0000000000090460·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_alexzuactionzu4_closure
174	···170:·000000000008d588·····0·~~OBJECT~~··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdf~~OrdBoolS~~pe~~czu~~zd~~cmax_closure~~	174	···170:·0000000000065510····16·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfReadOp2In25_info
175	···171:·00000000000~~6bae8~~·····7·OBJECT··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_Op2OT_co~~n_info~~	175	···171:·000000000008f880·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_Op2OT_closure
176	···172:·00000000000~~91a4~~0··~~···0~~·~~OBJECT~~··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Lex~~Lustre_zd~~tcAlexLas~~tAcc_~~closure~~	176	···172:·000000000007f450··2076·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziPrintLustre_zdwzdcprt6_info
177	···173:·00000000000~~8c690~~·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Abs~~Lustre_zdf~~ShowNumOp2In~~zuzdc~~show~~_closure	177	···173:·0000000000092458·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_zdfOrdTokzuzdczlze_closure
178	···174:·00000000000~~59eb8~~···~~139~~·~~FUNC··~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Abs~~Lustre_zdwz~~dcshowsPrec4~~_~~info~~	178	···174:·00000000000884dd·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_zdtczqAlexAccSkip2_bytes
179	···175:·00000000000~~89081~~···~~··0~~·~~OBJECT~~··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziLexLustre_res~~Wor~~ds~~66_bytes~~	179	···175:·000000000006ee48···102·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_zdfShowPosnzuzdcshow_info
180	···176:·000000000008c220·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfEqOp2Pr~~ezuzdczez~~e_closure	180	···176:·000000000008c258·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfEqOp1Pre_closure
181	···177:·00000000000~~6e88~~8····76·~~FUNC··~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziLexLustre_~~unescapeInitTail1_info~~	181	···177:·00000000000883a8·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_zdfShowToken2_bytes
182	···178:·0000000000087~~03e~~·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdt~~czq~~Boo~~lSp~~e~~cOp~~2~~ST3~~_bytes	182	···178:·0000000000087249·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtrModule2_bytes
183	···179:·000000000008~~d1b8~~·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdfOrdNum~~Exp~~r_closure	183	···179:·000000000008f810·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfReadNumOp2InzuzdcreadList_closure
184	···180:·000000000008~~8546~~·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziPr~~int~~Lustre_zd~~fPrin~~t~~Num~~Op~~2In4_bytes~~	184	···180:·000000000008d8e0·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp1Y_closure
185	···181:·00000000000~~7568~~8···540·~~FUNC··~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Lex~~Lustre_zdwalexS~~canUser_info~~	185	···181:·000000000008ca48·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfReadOp2Inzulexeme1_closure
186	···182:·0000000000094e~~d8·~~····0·~~OBJECT~~··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Par~~Lustre_zd~~tczqH~~app~~yWrap9_c~~l~~osure~~	186	···182:·000000000006e8f0···105·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_unescapeInitTail_info
187	···183:·0000000000094798·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Par~~Lustre_z~~dtrM~~od~~ule3~~_closure	187	···183:·0000000000090d98·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_resWords5_closure
188	···184:·00000000000~~7611~~0···~~··7~~·~~OBJECT~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziLexLustre_~~TV_~~con_info	188	···184:·000000000006ec20···178·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_zdwzdcshowsPrec_info
189	···185:·00000000000~~8cc9~~0·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Abs~~Lustre_zdf~~OrdBoolCon~~st~~zuzdccom~~p~~are~~_closure	189	···185:·0000000000091b40·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_zdtczqAlexLastSkip_closure
190	···186:·00000000000~~7e5c~~0····16·~~FUNC··~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziPrintLustre_zdfPrintOp2Pre3_~~info~~	190	···186:·0000000000095b90·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziPrintLustre_zdfPrintOp1Pre5_closure
191	···187:·00000000000~~67ee8~~····16·~~FUNC··~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdf~~ReadOp1Pr~~e~~16_info~~	191	···187:·000000000008d5a0·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfOrdBoolSpec_closure
192	···188:·000000000008~~7231~~·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Lex~~Lustre_re~~sWords48~~_~~bytes~~	192	···188:·000000000008f568·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfReadNumExpr_closure
193	···189:·00000000000~~87294~~·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziPrintLustre_zdfPrintOp~~1Pre8_bytes~~	193	···189:·0000000000095b60·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziPrintLustre_zdfPrintOp2In_closure
194	···190:·000000000008~~908c~~·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziPr~~int~~Lustre_zdtczqC~~ZCPrint~~3_bytes	194	···190:·0000000000088456·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_zdtczqAlexEOF3_bytes
195	···191:·000000000008~~ee58~~·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_Op2Or_closure	195	···191:·000000000008ffd0·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfReadBoolSpeczuzdcreadList_closure
196	···192:·00000000000~~9500~~8·····0·~~OBJECT~~··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Par~~Lustre_zd~~tcHappyWra~~p11_c~~losure~~	196	···192:·00000000000639b8····89·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfShowBoolSpec1_info
197	···193:·00000000000~~5fb2~~0···~~929~~·~~FUNC··~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdf~~OrdNumEx~~p~~rzuzdc~~c~~ompa~~re~~_info~~	197	···193:·000000000008ee30·····0·OBJECT··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfReadOp2In25_closure
198	···194:·00000000000~~8c6d8~~·····0·~~OBJECT~~··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Abs~~Lustre_zdfOrd~~Num~~Op2In~~zuzdczlz~~e_~~closure~~	198	···194:·000000000007e960····16·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziPrintLustre_zdfPrintOp2In5_info
199	···195:·00000000000~~9560~~8·····0·~~OBJECT~~··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Par~~Lustre_zdtc~~zqH~~ap~~pyAzh1_closure~~	199	···195:·0000000000066ce8····98·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdfReadNumExpr3_info
200	···196:·00000000000~~5dbc0~~···~~323~~·~~FUNC··~~··GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Abs~~Lustre_~~zdfO~~r~~dBoolCo~~nst~~zuz~~d~~cmax_info~~	200	···196:·0000000000088548·····0·OBJECT··GLOBAL·DEFAULT···14·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziLexLustre_resWords75_bytes
201	···197:·00000000000~~915e~~0···~~··0~~·~~OBJECT~~··GLOBAL·DEFAULT···22·ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustrezi~~Lex~~Lustre_zdt~~czq~~N2_c~~losure~~	201	···197:·000000000007d490···143·FUNC····GLOBAL·DEFAULT···12·ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziPrintLustre_zdfPrintBoolNumOpzuzdcprt_info


Offset 1, 9 lines modified		Offset 1, 9 lines modified

1	Relocation·section·'.rela.dyn'·at·offset·0x4~~1d4~~8·contains·3513·entries:	1	Relocation·section·'.rela.dyn'·at·offset·0x42428·contains·3513·entries:
2	····Offset·············Info·············Type···············Symbol's·Value··Symbol's·Name·+·Addend	2	····Offset·············Info·············Type···············Symbol's·Value··Symbol's·Name·+·Addend
3	000000000008b978··0000000000000008·R_X86_64_RELATIVE·························57110	3	000000000008b978··0000000000000008·R_X86_64_RELATIVE·························57110
4	000000000008b980··0000000000000008·R_X86_64_RELATIVE·························570d0	4	000000000008b980··0000000000000008·R_X86_64_RELATIVE·························570d0
5	000000000008b988··0000000000000008·R_X86_64_RELATIVE·························8ec09	5	000000000008b988··0000000000000008·R_X86_64_RELATIVE·························8ec09
6	000000000008b990··0000000000000008·R_X86_64_RELATIVE·························8ec3a	6	000000000008b990··0000000000000008·R_X86_64_RELATIVE·························8ec3a
7	000000000008b998··0000000000000008·R_X86_64_RELATIVE·························8ec6b	7	000000000008b998··0000000000000008·R_X86_64_RELATIVE·························8ec6b
8	000000000008b9a0··0000000000000008·R_X86_64_RELATIVE·························8ef99	8	000000000008b9a0··0000000000000008·R_X86_64_RELATIVE·························8ef99
Offset 995, 89 lines modified		Offset 995, 89 lines modified
995	00000000000902d8··0000000000000008·R_X86_64_RELATIVE·························761f0	995	00000000000902d8··0000000000000008·R_X86_64_RELATIVE·························761f0
996	00000000000902e0··0000000000000008·R_X86_64_RELATIVE·························89a30	996	00000000000902e0··0000000000000008·R_X86_64_RELATIVE·························89a30
997	00000000000902e8··0000000000000008·R_X86_64_RELATIVE·························761f0	997	00000000000902e8··0000000000000008·R_X86_64_RELATIVE·························761f0
998	00000000000902f0··0000000000000008·R_X86_64_RELATIVE·························89650	998	00000000000902f0··0000000000000008·R_X86_64_RELATIVE·························89650
999	00000000000902f8··0000000000000008·R_X86_64_RELATIVE·························761f0	999	00000000000902f8··0000000000000008·R_X86_64_RELATIVE·························761f0
1000	0000000000090300··0000000000000008·R_X86_64_RELATIVE·························89270	1000	0000000000090300··0000000000000008·R_X86_64_RELATIVE·························89270
1001	0000000000090308··0000000000000008·R_X86_64_RELATIVE·························761f0	1001	0000000000090308··0000000000000008·R_X86_64_RELATIVE·························761f0
1002	0000000000090310··0000000000000008·R_X86_64_RELATIVE·························8855c	1002	0000000000090310··0000000000000008·R_X86_64_RELATIVE·························8855e
1003	0000000000090338··0000000000000008·R_X86_64_RELATIVE·························761b0	1003	0000000000090338··0000000000000008·R_X86_64_RELATIVE·························761b0
1004	0000000000090360··0000000000000008·R_X86_64_RELATIVE·························761b0	1004	0000000000090360··0000000000000008·R_X86_64_RELATIVE·························761b0
1005	0000000000090388··0000000000000008·R_X86_64_RELATIVE·························761b0	1005	0000000000090388··0000000000000008·R_X86_64_RELATIVE·························761b0
1006	00000000000903b0··0000000000000008·R_X86_64_RELATIVE·························761b0	1006	00000000000903b0··0000000000000008·R_X86_64_RELATIVE·························761b0
1007	00000000000903d8··0000000000000008·R_X86_64_RELATIVE·························761b0	1007	00000000000903d8··0000000000000008·R_X86_64_RELATIVE·························761b0
1008	0000000000090400··0000000000000008·R_X86_64_RELATIVE·························761b0	1008	0000000000090400··0000000000000008·R_X86_64_RELATIVE·························761b0
1009	0000000000090428··0000000000000008·R_X86_64_RELATIVE·························761b0	1009	0000000000090428··0000000000000008·R_X86_64_RELATIVE·························761b0
1010	0000000000090440··0000000000000008·R_X86_64_RELATIVE·························6d370	1010	0000000000090440··0000000000000008·R_X86_64_RELATIVE·························6d370
1011	0000000000090448··0000000000000008·R_X86_64_RELATIVE·························6d3e0	1011	0000000000090448··0000000000000008·R_X86_64_RELATIVE·························6d3e0
1012	0000000000090450··0000000000000008·R_X86_64_RELATIVE·························6d450	1012	0000000000090450··0000000000000008·R_X86_64_RELATIVE·························6d450
1013	0000000000090458··0000000000000008·R_X86_64_RELATIVE·························6d4b0	1013	0000000000090458··0000000000000008·R_X86_64_RELATIVE·························6d4b0
1014	0000000000090460··0000000000000008·R_X86_64_RELATIVE·························6d568	1014	0000000000090460··0000000000000008·R_X86_64_RELATIVE·························6d568
1015	0000000000090468··0000000000000008·R_X86_64_RELATIVE·························6d618	1015	0000000000090468··0000000000000008·R_X86_64_RELATIVE·························6d618
1016	0000000000090490··0000000000000008·R_X86_64_RELATIVE·························88559	1016	0000000000090490··0000000000000008·R_X86_64_RELATIVE·························8855b
1017	0000000000090498··0000000000000008·R_X86_64_RELATIVE·························760b0	1017	0000000000090498··0000000000000008·R_X86_64_RELATIVE·························760b0
1018	00000000000904a0··0000000000000008·R_X86_64_RELATIVE·························90470	1018	00000000000904a0··0000000000000008·R_X86_64_RELATIVE·························90470
1019	00000000000904d8··0000000000000008·R_X86_64_RELATIVE·························88556	1019	00000000000904d8··0000000000000008·R_X86_64_RELATIVE·························88558
1020	00000000000904e0··0000000000000008·R_X86_64_RELATIVE·························760b0	1020	00000000000904e0··0000000000000008·R_X86_64_RELATIVE·························760b0
1021	00000000000904e8··0000000000000008·R_X86_64_RELATIVE·························904b8	1021	00000000000904e8··0000000000000008·R_X86_64_RELATIVE·························904b8
1022	0000000000090520··0000000000000008·R_X86_64_RELATIVE·························88554	1022	0000000000090520··0000000000000008·R_X86_64_RELATIVE·························88556


Offset 1, 2007 lines modified		Offset 1, 2007 lines modified
1	(MjCbr-#BR\|
2	~~W4Z:gW~~» ^e	1	2Hb·D·» d
		2	D\|47nsrX&
3	__gmon_start__	3	__gmon_start__
4	_ITM_deregisterTMCloneTable	4	_ITM_deregisterTMCloneTable
5	_ITM_registerTMCloneTable	5	_ITM_registerTMCloneTable
6	__cxa_finalize	6	__cxa_finalize
7	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecSignal3_bytes	7	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecSignal3_bytes
8	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstI3_bytes	8	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstI3_bytes
9	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2HT3_bytes	9	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2HT3_bytes
10	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2OT2_bytes	10	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2OT2_bytes
11	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2ST3_bytes	11	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2ST3_bytes
12	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2Pre3_bytes	12	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2Pre3_bytes
13	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2In3_bytes	13	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2In3_bytes
14	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp1Pre3_bytes	14	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp1Pre3_bytes
15	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecPar3_bytes	15	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecPar3_bytes
16	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstB3_bytes	16	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstB3_bytes
17	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstD3_bytes	17	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstD3_bytes
18	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtcBoolSpec2_bytes	18	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtcBoolSpec2_bytes
19	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqNumExprOp2In3_bytes	19	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqNumExprOp2In3_bytes
20	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqNumExprPar3_bytes	20	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqNumExprPar3_bytes
21	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqNumExprId3_bytes	21	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqNumExprId3_bytes
22	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqNumExprNum3_bytes	22	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqNumExprNum3_bytes
23	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtcNumExpr2_bytes	23	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtcNumExpr2_bytes
24	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqIdent3_bytes	24	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqIdent3_bytes
25	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolConstFTP3_bytes	25	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolConstFTP3_bytes
26	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolConstFalse2_bytes	26	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolConstFalse2_bytes
27	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolConstTrue2_bytes	27	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolConstTrue2_bytes
28	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtcBoolConst2_bytes	28	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtcBoolConst2_bytes
29	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqOp2NumCmp3_bytes	29	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp2NumCmp3_bytes
30	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqOp2NumOp3_bytes	30	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp2NumOp3_bytes
31	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqOp2InPre2_bytes	31	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp2InPre2_bytes
32	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqOp2Impl2_bytes	32	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp2Impl2_bytes
33	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqOp2Or2_bytes	33	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp2Or2_bytes
34	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqOp2Amp3_bytes	34	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp2Amp3_bytes
35	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqOp2And2_bytes	35	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqOp2And2_bytes
36	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtcOp2In2_bytes	36	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtcOp2In2_bytes
37	ogmazmlanguagezmlustrezm1zi10zi0zm~~GjHmvjpOKwHBvDpn3xuNLH~~_LanguageziLustreziAbsLustre_zdtczqBoolNumOp2Ge2_bytes	37	ogmazmlanguagezmlustrezm1zi10zi0zmFyyMZZYoIIkLE1iH0pn0Eia_LanguageziLustreziAbsLustre_zdtczqBoolNumOp2Ge2_bytes


Offset 1, 846 lines modified		Offset 1, 846 lines modified

1	Hex·dump·of·section·'.gnu.hash':	1	Hex·dump·of·section·'.gnu.hash':
Diff chunk too large, falling back to line-by-line diff (842 lines added, 842 lines removed)
2	··0x00000228·07040000·a8000000·00010000·0e000000·................	2	··0x00000228·07040000·a8000000·00010000·0e000000·................
3	··0x00000238·0~~901~~2002·80~~800~~012·4011~~5400~~·~~401~~10500·..·.....@.T.@...	3	··0x00000238·b0858204·c0488080·20818014·88441040·.....H..·....D.@
4	··0x00000248·00001d20·20004002·4280~~40d5~~·441~~0c00~~0·.~~..··~~.@.B.@.D...	4	··0x00000248·00204108·06020802·88081208·201b0210·.·A.........·...
5	··0x00000258·3b0~~8304~~0·0~~a28~~1504·1~~44542a0~~·0~~00c~~20a0·;.0@.(...~~EB.~~..·.	5	··0x00000258·20174101·90410120·1100c064·06836208··.A..A.·...d..b.
6	··0x00000268·0~~240~~0400·004401~~00·1~~0104104·~~1112d00~~0·.@...D....A.....	6	··0x00000268·08a20000·82000018·26080c20·25054430·........&..·%.D0
7	··0x00000278·0~~86218~~44·~~142~~2~~2015~~·00040000·00180020·.~~b.D~~.~~"·.~~.......·	7	··0x00000278·0b403a43·08428563·09000108·40808800·.@:C.B.c....@...
8	··0x00000288·~~00009404~~·~~06d~~00~~000~~·80c1140c·~~0400~~8~~828~~·~~......~~.....~~...~~.(	8	··0x00000288·32486220·44200964·00420142·48328330·2Hb·D·.d.B.BH2.0
9	··0x00000298·~~0c62800~~0·0~~525~~0004·~~b4c0~~0128·03090~~ac0~~·.b...%..~~...(~~....	9	··0x00000298·14400c10·40000048·20286401·c0200801·.@..@..H·(d..·..
10	··0x000002a8·000a0088·3a060~~514~~·100~~f2e23~~·20002402·....~~:..~~....#·.$.	10	··0x000002a8·84014000·30202402·50008010·0304b080·..@.0·$.P.......
11	··0x000002b8·050558~~12·~~26004104·50008008·8010~~1110~~·..X.&.A.P.......	11	··0x000002b8·0f200148·02211002·0042080e·00004382·.·.H.!...B....C.
12	··0x000002c8·0~~00c~~0014·0~~10884~~01·100~~080~~04·~~6024a~~05a·............`$.Z	12	··0x000002c8·01180050·06402008·44044106·86182000·...P.@·.D.A...·.
13	··0x000002d8·~~86180~~000·8~~001320~~8·020204a8·0140~~1270~~·......2......@.p	13	··0x000002d8·74c1a080·828b9888·40022445·010001a3·t.......@.$E....
14	··0x000002e8·28000~~00e~~·14001000·~~8c1c4~~004·0b03300a·(.........@...0.	14	··0x000002e8·480a0288·90400600·44881022·10801080·H....@..D.."....
15	··0x000002f8·80400104·224d4804·~~9144400~~0·~~001~~00~~ce9~~·.@..~~"MH.~~.D~~@..~~...	15	··0x000002f8·03284081·04200440·24085a20·28000080·.(@..·.@$.Z·(...
16	··0x00000308·10820~~000~~·010~~8088~~0·~~42762192~~·~~22a~~1~~c144~~·.......~~.Bv!~~."..D	16	··0x00000308·5c8006a5·28018620·0908400a·608110c1·\...(..·..@.`...
17	··0x00000318·~~416~~01000·~~02028aa~~0·00500808·~~82020008~~·A`.~~...~~...P......	17	··0x00000318·24200022·40460000·10101001·041118b1·$·."@F..........
18	··0x00000328·18~~019~~480·00160404·~~19311b12~~·340a0000·.........1..4...	18	··0x00000328·55a81004·0400908a·2c400081·82002004·U.......,@....·.
19	··0x00000338·37c02089·0~~442~~0000·~~4072a415~~·~~10ea54~~0b·7.·..B.~~.@r~~....T.	19	··0x00000338·00000800·08000041·c41ab088·03041202·.......A........
20	··0x00000348·~~0101~~0002·0~~d020~~000·ac040401·00a20~~245~~·...............E	20	··0x00000348·40840080·0980d001·00000000·00000000·@...............
21	··0x00000358·~~0110148~~4·00402084·92~~45410~~0·70~~900~~082·....~~.@·~~..~~EA.p.~~..	21	··0x00000358·179a90c4·690a0082·82aa8440·30488084·....i......@0H..
22	··0x00000368·80~~820~~120·04024000·8509280a·040~~11a~~06·...·..@...(.....	22	··0x00000368·00951404·01090048·00105484·20008202·.......H..T.·...
23	··0x00000378·a04~~d4a~~09·c0~~524803~~·08e00~~485~~·4000~~15ba~~·.MJ..RH.....@...	23	··0x00000378·00400106·002305c0·04000004·00000004·.@...#..........
24	··0x00000388·4~~1111~~400·100bd002·908820~~10·~~40000~~004~~·A........~~.·.@~~...	24	··0x00000388·000a4004·00800621·02305244·04080210·..@....!.0RD....
25	··0x00000398·~~20ca7~~060·~~230c14~~01·03a04008·02000120··.~~p`#~~.....@....·	25	··0x00000398·e40020e0·0099bd09·10240000·04000040·..·......$.....@
26	··0x000003a8·822850~~0a·~~28~~8868~~41·40~~a94~~828·41~~080~~108·.(P.(.~~hA@~~.H~~(A.~~..	26	··0x000003a8·58080828·6004100c·80280850·1243140a·X..(`....(.P.C..
27	··0x000003b8·03200100~~·62~~000608·60668600·8060~~1902~~·.·..b...`f.~~..`..~~	27	··0x000003b8·20004a08·40048017·00660620·20002251··.J.@....f.··."Q
28	··0x000003c8·70029~~528·86ae~~1080~~·00~~400820·0a00~~1c1b~~·p..(.....@.·....	28	··0x000003c8·02100191·92000511·04714007·44008251·.........q@.D..Q
29	··0x000003d8·4a059~~6d5·88~~0~~525~~01·08088014·00~~0002~~00·J.....%.........	29	··0x000003d8·40002901·00408100·200c0280·00919802·@.)..@..·.......
30	··0x000003e8·~~468162~~44·~~241a4896~~·~~180~~00100·0~~2221442~~·F.~~bD$~~.H......~~".B~~	30	··0x000003e8·a5004843·80830082·40100000·0030400a·..HC....@....0@.
31	··0x000003f8·00010400·~~0055~~1000~~·964~~00200·~~082~~20c82·.....U...@..."..	31	··0x000003f8·a9011004·c8100082·80221060·12020812·.........".`....
32	··0x00000408·~~910~~0~~1080~~·21008~~144·00~~100040·~~511~~2~~004~~2·....!..D...@Q..B	32	··0x00000408·0a908234·20a10485·13d612f4·02422402·...4·........B$.
33	··0x00000418·~~09605442~~·82819~~403~~·~~24136c69~~·24820010·~~.`TB~~....$.~~li$~~...	33	··0x00000418·242240da·02409ea0·48004820·c18010a0·$"@..@..H.H·....
34	··0x00000428·100018~~e0·~~80080309·f0106008·20000000·..........`.·...	34	··0x00000428·85800038·3a800402·40102004·40004000·...8:...@.·.@.@.
35	··0x00000438·00~~613411~~·~~449~~00005·10201~~c00·~~070~~800~~40·.a4.D...~~.·.~~....@	35	··0x00000438·80000000·01000088·50442111·2500b884·........PD!.%...
36	··0x00000448·00200204·00008000·04202210·00~~11c0~~2~~8·.~~·.......·"....(	36	··0x00000448·00108040·02081014·00010c00·8022d400·...@........."..


Offset 35, 17 lines modified		Offset 35, 17 lines modified
35	··0x00087200·4900274f·70314261·6e670027·4f70314e·I.'Op1Bang.'Op1N	35	··0x00087200·4900274f·70314261·6e670027·4f70314e·I.'Op1Bang.'Op1N
36	··0x00087210·6f740027·4f703159·00274f70·31486973·ot.'Op1Y.'Op1His	36	··0x00087210·6f740027·4f703159·00274f70·31486973·ot.'Op1Y.'Op1His
37	··0x00087220·7400274f·70315a74·6f507265·00274f70·t.'Op1ZtoPre.'Op	37	··0x00087220·7400274f·70315a74·6f507265·00274f70·t.'Op1ZtoPre.'Op
38	··0x00087230·3159746f·50726500·274f7031·50726500·1YtoPre.'Op1Pre.	38	··0x00087230·3159746f·50726500·274f7031·50726500·1YtoPre.'Op1Pre.
39	··0x00087240·274f7031·4f6e6365·004c616e·67756167·'Op1Once.Languag	39	··0x00087240·274f7031·4f6e6365·004c616e·67756167·'Op1Once.Languag
40	··0x00087250·652e4c75·73747265·2e416273·4c757374·e.Lustre.AbsLust	40	··0x00087250·652e4c75·73747265·2e416273·4c757374·e.Lustre.AbsLust
41	··0x00087260·7265006f·676d612d·6c616e67·75616765·re.ogma-language	41	··0x00087260·7265006f·676d612d·6c616e67·75616765·re.ogma-language
42	··0x00087270·2d6c7573·7472652d·312e3130·2e302d47·-lustre-1.10.0-G	42	··0x00087270·2d6c7573·7472652d·312e3130·2e302d46·-lustre-1.10.0-F
43	··0x00087280·~~6a486~~d76·~~6a70~~4f4b·77484~~276~~·~~44706e33~~·~~jHmvjpOKwHBvDpn3~~	43	··0x00087280·79794d5a·596f4949·6b4c4531·69483070·yyMZYoIIkLE1iH0p
44	··0x00087290·~~7875~~4~~e4c~~·4800426f·6f6c5370·65634f70·~~xuNLH~~.BoolSpecOp	44	··0x00087290·6e304569·6100426f·6f6c5370·65634f70·n0Eia.BoolSpecOp
45	··0x000872a0·32496e20·00426f6f·6c537065·634f7032·2In·.BoolSpecOp2	45	··0x000872a0·32496e20·00426f6f·6c537065·634f7032·2In·.BoolSpecOp2
46	··0x000872b0·50726520·00426f6f·6c537065·634f7032·Pre·.BoolSpecOp2	46	··0x000872b0·50726520·00426f6f·6c537065·634f7032·Pre·.BoolSpecOp2
47	··0x000872c0·4f542000·426f6f6c·53706563·4f703248·OT·.BoolSpecOp2H	47	··0x000872c0·4f542000·426f6f6c·53706563·4f703248·OT·.BoolSpecOp2H
48	··0x000872d0·54200042·6f6f6c53·7065634f·70325354·T·.BoolSpecOp2ST	48	··0x000872d0·54200042·6f6f6c53·7065634f·70325354·T·.BoolSpecOp2ST
49	··0x000872e0·2000426f·6f6c5370·65635061·72200042··.BoolSpecPar·.B	49	··0x000872e0·2000426f·6f6c5370·65635061·72200042··.BoolSpecPar·.B
50	··0x000872f0·6f6f6c53·70656343·6f6e7374·49200042·oolSpecConstI·.B	50	··0x000872f0·6f6f6c53·70656343·6f6e7374·49200042·oolSpecConstI·.B
51	··0x00087300·6f6f6c53·70656343·6f6e7374·44200042·oolSpecConstD·.B	51	··0x00087300·6f6f6c53·70656343·6f6e7374·44200042·oolSpecConstD·.B
Offset 63, 253 lines modified		Offset 63, 253 lines modified
63	··0x000873c0·616e6775·6167652f·4c757374·72652f41·anguage/Lustre/A	63	··0x000873c0·616e6775·6167652f·4c757374·72652f41·anguage/Lustre/A
64	··0x000873d0·62734c75·73747265·2e68733a·35363a31·bsLustre.hs:56:1	64	··0x000873d0·62734c75·73747265·2e68733a·35363a31·bsLustre.hs:56:1
65	··0x000873e0·332d3136·7c636173·65007372·632f4c61·3-16\|case.src/La	65	··0x000873e0·332d3136·7c636173·65007372·632f4c61·3-16\|case.src/La
66	··0x000873f0·6e677561·67652f4c·75737472·652f4162·nguage/Lustre/Ab	66	··0x000873f0·6e677561·67652f4c·75737472·652f4162·nguage/Lustre/Ab
67	··0x00087400·734c7573·7472652e·68733a34·363a3133·sLustre.hs:46:13	67	··0x00087400·734c7573·7472652e·68733a34·363a3133·sLustre.hs:46:13
68	··0x00087410·2d31367c·63617365·006f676d·612d6c61·-16\|case.ogma-la	68	··0x00087410·2d31367c·63617365·006f676d·612d6c61·-16\|case.ogma-la
69	··0x00087420·6e677561·67652d6c·75737472·652d312e·nguage-lustre-1.	69	··0x00087420·6e677561·67652d6c·75737472·652d312e·nguage-lustre-1.
70	··0x00087430·31302e30·2d476a48·6d766a70·4f4b7748·10.0-GjHmvjpOKwH
71	··0x00087440·~~4276447~~0·~~6e33~~7875·4~~e4c483a~~·4~~c61~~6~~e67~~·~~BvDpn3xuNLH:Lang~~	70	··0x00087430·31302e30·2d467979·4d5a596f·49496b4c·10.0-FyyMZYoIIkL
		71	··0x00087440·45316948·30706e30·4569613a·4c616e67·E1iH0pn0Eia:Lang
72	··0x00087450·75616765·2e4c7573·7472652e·4162734c·uage.Lustre.AbsL	72	··0x00087450·75616765·2e4c7573·7472652e·4162734c·uage.Lustre.AbsL
73	··0x00087460·75737472·652e426f·6f6c5370·65635061·ustre.BoolSpecPa	73	··0x00087460·75737472·652e426f·6f6c5370·65635061·ustre.BoolSpecPa
74	··0x00087470·72006f67·6d612d6c·616e6775·6167652d·r.ogma-language-	74	··0x00087470·72006f67·6d612d6c·616e6775·6167652d·r.ogma-language-
75	··0x00087480·6c757374·72652d31·2e31302e·302d4~~76a~~·lustre-1.10.0-Gj	75	··0x00087480·6c757374·72652d31·2e31302e·302d4679·lustre-1.10.0-Fy
76	··0x00087490·~~486~~d~~766a~~·704f4~~b77~~·48427644·706e~~3378·HmvjpOKw~~HBvDpn3x	76	··0x00087490·794d5a59·6f49496b·4c453169·4830706e·yMZYoIIkLE1iH0pn
77	··0x000874a0·754~~e4c48~~·3a4c616e·67756167·652e4c75·~~uNLH~~:Language.Lu	77	··0x000874a0·30456961·3a4c616e·67756167·652e4c75·0Eia:Language.Lu
78	··0x000874b0·73747265·2e416273·4c757374·72652e42·stre.AbsLustre.B	78	··0x000874b0·73747265·2e416273·4c757374·72652e42·stre.AbsLustre.B
79	··0x000874c0·6f6f6c53·70656343·6f6e7374·49006f67·oolSpecConstI.og	79	··0x000874c0·6f6f6c53·70656343·6f6e7374·49006f67·oolSpecConstI.og
80	··0x000874d0·6d612d6c·616e6775·6167652d·6c757374·ma-language-lust	80	··0x000874d0·6d612d6c·616e6775·6167652d·6c757374·ma-language-lust
81	··0x000874e0·72652d31·2e31302e·302d4~~76a~~·~~486~~d~~766a~~·re-1.10.0-~~GjHmvj~~	81	··0x000874e0·72652d31·2e31302e·302d4679·794d5a59·re-1.10.0-FyyMZY
82	··0x000874f0·704f4~~b77~~·48427644·706e3378·75~~4e4c48·pOKwHBvD~~pn3x~~uNLH~~	82	··0x000874f0·6f49496b·4c453169·4830706e·30456961·oIIkLE1iH0pn0Eia
83	··0x00087500·3a4c616e·67756167·652e4c75·73747265·:Language.Lustre	83	··0x00087500·3a4c616e·67756167·652e4c75·73747265·:Language.Lustre
84	··0x00087510·2e416273·4c757374·72652e42·6f6f6c53·.AbsLustre.BoolS	84	··0x00087510·2e416273·4c757374·72652e42·6f6f6c53·.AbsLustre.BoolS
85	··0x00087520·70656343·6f6e7374·44006f67·6d612d6c·pecConstD.ogma-l	85	··0x00087520·70656343·6f6e7374·44006f67·6d612d6c·pecConstD.ogma-l
86	··0x00087530·616e6775·6167652d·6c757374·72652d31·anguage-lustre-1	86	··0x00087530·616e6775·6167652d·6c757374·72652d31·anguage-lustre-1
87	··0x00087540·2e31302e·302d476a·486d766a·704f4b77·.10.0-GjHmvjpOKw
88	··0x00087550·~~48427644~~·70~~6e33~~78·754~~e4c48~~·3a4~~c61~~6e·~~HBvDpn3xuNLH:Lan~~	87	··0x00087540·2e31302e·302d4679·794d5a59·6f49496b·.10.0-FyyMZYoIIk
		88	··0x00087550·4c453169·4830706e·30456961·3a4c616e·LE1iH0pn0Eia:Lan
89	··0x00087560·67756167·652e4c75·73747265·2e416273·guage.Lustre.Abs	89	··0x00087560·67756167·652e4c75·73747265·2e416273·guage.Lustre.Abs
90	··0x00087570·4c757374·72652e42·6f6f6c53·70656343·Lustre.BoolSpecC	90	··0x00087570·4c757374·72652e42·6f6f6c53·70656343·Lustre.BoolSpecC
91	··0x00087580·6f6e7374·42006f67·6d612d6c·616e6775·onstB.ogma-langu	91	··0x00087580·6f6e7374·42006f67·6d612d6c·616e6775·onstB.ogma-langu
92	··0x00087590·6167652d·6c757374·72652d31·2e31302e·age-lustre-1.10.	92	··0x00087590·6167652d·6c757374·72652d31·2e31302e·age-lustre-1.10.
93	··0x000875a0·302d476a·486d766a·704f4b77·48427644·0-GjHmvjpOKwHBvD
94	··0x000875b0·70~~6e33~~78·754~~e4c48~~·3a4~~c61~~6e·~~677~~56167·~~pn3xuNLH:Languag~~	93	··0x000875a0·302d4679·794d5a59·6f49496b·4c453169·0-FyyMZYoIIkLE1i
		94	··0x000875b0·4830706e·30456961·3a4c616e·67756167·H0pn0Eia:Languag
95	··0x000875c0·652e4c75·73747265·2e416273·4c757374·e.Lustre.AbsLust	95	··0x000875c0·652e4c75·73747265·2e416273·4c757374·e.Lustre.AbsLust
96	··0x000875d0·72652e42·6f6f6c53·70656353·69676e61·re.BoolSpecSigna	96	··0x000875d0·72652e42·6f6f6c53·70656353·69676e61·re.BoolSpecSigna
97	··0x000875e0·6c006f67·6d612d6c·616e6775·6167652d·l.ogma-language-	97	··0x000875e0·6c006f67·6d612d6c·616e6775·6167652d·l.ogma-language-
98	··0x000875f0·6c757374·72652d31·2e31302e·302d4~~76a~~·lustre-1.10.0-Gj	98	··0x000875f0·6c757374·72652d31·2e31302e·302d4679·lustre-1.10.0-Fy
99	··0x00087600·~~486~~d~~766a~~·704f4~~b77~~·48427644·706e~~3378·HmvjpOKw~~HBvDpn3x	99	··0x00087600·794d5a59·6f49496b·4c453169·4830706e·yMZYoIIkLE1iH0pn
100	··0x00087610·754~~e4c48~~·3a4c616e·67756167·652e4c75·~~uNLH~~:Language.Lu	100	··0x00087610·30456961·3a4c616e·67756167·652e4c75·0Eia:Language.Lu
101	··0x00087620·73747265·2e416273·4c757374·72652e42·stre.AbsLustre.B	101	··0x00087620·73747265·2e416273·4c757374·72652e42·stre.AbsLustre.B
102	··0x00087630·6f6f6c53·7065634f·70315072·65006f67·oolSpecOp1Pre.og	102	··0x00087630·6f6f6c53·7065634f·70315072·65006f67·oolSpecOp1Pre.og
103	··0x00087640·6d612d6c·616e6775·6167652d·6c757374·ma-language-lust	103	··0x00087640·6d612d6c·616e6775·6167652d·6c757374·ma-language-lust
104	··0x00087650·72652d31·2e31302e·302d4~~76a~~·~~486~~d~~766a~~·re-1.10.0-~~GjHmvj~~	104	··0x00087650·72652d31·2e31302e·302d4679·794d5a59·re-1.10.0-FyyMZY
105	··0x00087660·704f4~~b77~~·48427644·706e3378·75~~4e4c48·pOKwHBvD~~pn3x~~uNLH~~	105	··0x00087660·6f49496b·4c453169·4830706e·30456961·oIIkLE1iH0pn0Eia
106	··0x00087670·3a4c616e·67756167·652e4c75·73747265·:Language.Lustre	106	··0x00087670·3a4c616e·67756167·652e4c75·73747265·:Language.Lustre
107	··0x00087680·2e416273·4c757374·72652e42·6f6f6c53·.AbsLustre.BoolS	107	··0x00087680·2e416273·4c757374·72652e42·6f6f6c53·.AbsLustre.BoolS
108	··0x00087690·7065634f·7032496e·006f676d·612d6c61·pecOp2In.ogma-la	108	··0x00087690·7065634f·7032496e·006f676d·612d6c61·pecOp2In.ogma-la
109	··0x000876a0·6e677561·67652d6c·75737472·652d312e·nguage-lustre-1.	109	··0x000876a0·6e677561·67652d6c·75737472·652d312e·nguage-lustre-1.
110	··0x000876b0·31302e30·2d476a48·6d766a70·4f4b7748·10.0-GjHmvjpOKwH
111	··0x000876c0·~~4276447~~0·~~6e33~~7875·4~~e4c483a~~·4~~c61~~6~~e67~~·~~BvDpn3xuNLH:Lang~~	110	··0x000876b0·31302e30·2d467979·4d5a596f·49496b4c·10.0-FyyMZYoIIkL
		111	··0x000876c0·45316948·30706e30·4569613a·4c616e67·E1iH0pn0Eia:Lang
112	··0x000876d0·75616765·2e4c7573·7472652e·4162734c·uage.Lustre.AbsL	112	··0x000876d0·75616765·2e4c7573·7472652e·4162734c·uage.Lustre.AbsL
113	··0x000876e0·75737472·652e426f·6f6c5370·65634f70·ustre.BoolSpecOp	113	··0x000876e0·75737472·652e426f·6f6c5370·65634f70·ustre.BoolSpecOp
114	··0x000876f0·32507265·006f676d·612d6c61·6e677561·2Pre.ogma-langua	114	··0x000876f0·32507265·006f676d·612d6c61·6e677561·2Pre.ogma-langua
115	··0x00087700·67652d6c·75737472·652d312e·31302e30·ge-lustre-1.10.0	115	··0x00087700·67652d6c·75737472·652d312e·31302e30·ge-lustre-1.10.0
116	··0x00087710·2d4~~76a48~~·6d~~766a70~~·4f4~~b77~~48·42764470·-~~GjHmvjpOKwHBvDp~~	116	··0x00087710·2d467979·4d5a596f·49496b4c·45316948·-FyyMZYoIIkLE1iH
117	··0x00087720·~~6e337875~~·4~~e4c48~~3a·4c616e67·75616765·~~n3xuNLH~~:Language	117	··0x00087720·30706e30·4569613a·4c616e67·75616765·0pn0Eia:Language
118	··0x00087730·2e4c7573·7472652e·4162734c·75737472·.Lustre.AbsLustr	118	··0x00087730·2e4c7573·7472652e·4162734c·75737472·.Lustre.AbsLustr
119	··0x00087740·652e426f·6f6c5370·65634f70·324f5400·e.BoolSpecOp2OT.	119	··0x00087740·652e426f·6f6c5370·65634f70·324f5400·e.BoolSpecOp2OT.
120	··0x00087750·6f676d61·2d6c616e·67756167·652d6c75·ogma-language-lu	120	··0x00087750·6f676d61·2d6c616e·67756167·652d6c75·ogma-language-lu
121	··0x00087760·73747265·2d312e31·302e302d·4~~76a486~~d·stre-1.10.0-~~GjHm~~	121	··0x00087760·73747265·2d312e31·302e302d·4679794d·stre-1.10.0-FyyM
122	··0x00087770·~~766a70~~4f·4~~b77~~4842·7644706e·337875~~4e·vjpOKwHBvD~~pn3xuN	122	··0x00087770·5a596f49·496b4c45·31694830·706e3045·ZYoIIkLE1iH0pn0E
123	··0x00087780·~~4c48~~3a4c·616e6775·6167652e·4c757374·LH:Language.Lust	123	··0x00087780·69613a4c·616e6775·6167652e·4c757374·ia:Language.Lust
124	··0x00087790·72652e41·62734c75·73747265·2e426f6f·re.AbsLustre.Boo	124	··0x00087790·72652e41·62734c75·73747265·2e426f6f·re.AbsLustre.Boo
125	··0x000877a0·6c537065·634f7032·4854006f·676d612d·lSpecOp2HT.ogma-	125	··0x000877a0·6c537065·634f7032·4854006f·676d612d·lSpecOp2HT.ogma-
126	··0x000877b0·6c616e67·75616765·2d6c7573·7472652d·language-lustre-	126	··0x000877b0·6c616e67·75616765·2d6c7573·7472652d·language-lustre-
127	··0x000877c0·312e3130·2e302d47·6a486d76·6a704f4b·1.10.0-GjHmvjpOK
128	··0x000877d0·~~77484276~~·~~447~~0~~6e33~~·78754~~e4c~~·~~483a~~4~~c61~~·~~wHBvDpn3xuNLH:La~~	127	··0x000877c0·312e3130·2e302d46·79794d5a·596f4949·1.10.0-FyyMZYoII
		128	··0x000877d0·6b4c4531·69483070·6e304569·613a4c61·kLE1iH0pn0Eia:La
129	··0x000877e0·6e677561·67652e4c·75737472·652e4162·nguage.Lustre.Ab	129	··0x000877e0·6e677561·67652e4c·75737472·652e4162·nguage.Lustre.Ab
130	··0x000877f0·734c7573·7472652e·426f6f6c·53706563·sLustre.BoolSpec	130	··0x000877f0·734c7573·7472652e·426f6f6c·53706563·sLustre.BoolSpec
131	··0x00087800·4f703253·54006f67·6d612d6c·616e6775·Op2ST.ogma-langu	131	··0x00087800·4f703253·54006f67·6d612d6c·616e6775·Op2ST.ogma-langu
132	··0x00087810·6167652d·6c757374·72652d31·2e31302e·age-lustre-1.10.	132	··0x00087810·6167652d·6c757374·72652d31·2e31302e·age-lustre-1.10.
133	··0x00087820·302d476a·486d766a·704f4b77·48427644·0-GjHmvjpOKwHBvD
134	··0x00087830·70~~6e33~~78·754~~e4c48~~·3a4~~c61~~6e·~~677~~56167·~~pn3xuNLH:Languag~~	133	··0x00087820·302d4679·794d5a59·6f49496b·4c453169·0-FyyMZYoIIkLE1i
		134	··0x00087830·4830706e·30456961·3a4c616e·67756167·H0pn0Eia:Languag
135	··0x00087840·652e4c75·73747265·2e416273·4c757374·e.Lustre.AbsLust	135	··0x00087840·652e4c75·73747265·2e416273·4c757374·e.Lustre.AbsLust
136	··0x00087850·72652e4e·756d4578·70724e75·6d006f67·re.NumExprNum.og	136	··0x00087850·72652e4e·756d4578·70724e75·6d006f67·re.NumExprNum.og
137	··0x00087860·6d612d6c·616e6775·6167652d·6c757374·ma-language-lust	137	··0x00087860·6d612d6c·616e6775·6167652d·6c757374·ma-language-lust
138	··0x00087870·72652d31·2e31302e·302d4~~76a~~·~~486~~d~~766a~~·re-1.10.0-~~GjHmvj~~	138	··0x00087870·72652d31·2e31302e·302d4679·794d5a59·re-1.10.0-FyyMZY
139	··0x00087880·704f4~~b77~~·48427644·706e3378·75~~4e4c48·pOKwHBvD~~pn3x~~uNLH~~	139	··0x00087880·6f49496b·4c453169·4830706e·30456961·oIIkLE1iH0pn0Eia
140	··0x00087890·3a4c616e·67756167·652e4c75·73747265·:Language.Lustre	140	··0x00087890·3a4c616e·67756167·652e4c75·73747265·:Language.Lustre
141	··0x000878a0·2e416273·4c757374·72652e4e·756d4578·.AbsLustre.NumEx	141	··0x000878a0·2e416273·4c757374·72652e4e·756d4578·.AbsLustre.NumEx
142	··0x000878b0·70724964·006f676d·612d6c61·6e677561·prId.ogma-langua	142	··0x000878b0·70724964·006f676d·612d6c61·6e677561·prId.ogma-langua
143	··0x000878c0·67652d6c·75737472·652d312e·31302e30·ge-lustre-1.10.0	143	··0x000878c0·67652d6c·75737472·652d312e·31302e30·ge-lustre-1.10.0
144	··0x000878d0·2d4~~76a48~~·6d~~766a70~~·4f4~~b77~~48·42764470·-~~GjHmvjpOKwHBvDp~~	144	··0x000878d0·2d467979·4d5a596f·49496b4c·45316948·-FyyMZYoIIkLE1iH
145	··0x000878e0·~~6e337875~~·4~~e4c48~~3a·4c616e67·75616765·~~n3xuNLH~~:Language	145	··0x000878e0·30706e30·4569613a·4c616e67·75616765·0pn0Eia:Language
146	··0x000878f0·2e4c7573·7472652e·4162734c·75737472·.Lustre.AbsLustr	146	··0x000878f0·2e4c7573·7472652e·4162734c·75737472·.Lustre.AbsLustr
147	··0x00087900·652e4e75·6d457870·72506172·006f676d·e.NumExprPar.ogm	147	··0x00087900·652e4e75·6d457870·72506172·006f676d·e.NumExprPar.ogm
148	··0x00087910·612d6c61·6e677561·67652d6c·75737472·a-language-lustr	148	··0x00087910·612d6c61·6e677561·67652d6c·75737472·a-language-lustr
149	··0x00087920·652d312e·31302e30·2d476a48·6d766a70·e-1.10.0-GjHmvjp
150	··0x00087930·~~4f4b7748~~·~~4276447~~0·~~6e33~~7875·4~~e4c483a~~·~~OKwHBvDpn3xuNLH:~~	149	··0x00087920·652d312e·31302e30·2d467979·4d5a596f·e-1.10.0-FyyMZYo
		150	··0x00087930·49496b4c·45316948·30706e30·4569613a·IIkLE1iH0pn0Eia:
151	··0x00087940·4c616e67·75616765·2e4c7573·7472652e·Language.Lustre.	151	··0x00087940·4c616e67·75616765·2e4c7573·7472652e·Language.Lustre.
152	··0x00087950·4162734c·75737472·652e4e75·6d457870·AbsLustre.NumExp	152	··0x00087950·4162734c·75737472·652e4e75·6d457870·AbsLustre.NumExp
153	··0x00087960·724f7032·496e006f·676d612d·6c616e67·rOp2In.ogma-lang	153	··0x00087960·724f7032·496e006f·676d612d·6c616e67·rOp2In.ogma-lang
154	··0x00087970·75616765·2d6c7573·7472652d·312e3130·uage-lustre-1.10	154	··0x00087970·75616765·2d6c7573·7472652d·312e3130·uage-lustre-1.10
155	··0x00087980·2e302d47·6a486d76·6a704f4b·77484276·.0-GjHmvjpOKwHBv
156	··0x00087990·~~447~~0~~6e33~~·78754~~e4c~~·~~483a~~4~~c61~~·6~~e677~~561·~~Dpn3xuNLH:Langua~~	155	··0x00087980·2e302d46·79794d5a·596f4949·6b4c4531·.0-FyyMZYoIIkLE1
		156	··0x00087990·69483070·6e304569·613a4c61·6e677561·iH0pn0Eia:Langua
157	··0x000879a0·67652e4c·75737472·652e4162·734c7573·ge.Lustre.AbsLus	157	··0x000879a0·67652e4c·75737472·652e4162·734c7573·ge.Lustre.AbsLus
158	··0x000879b0·7472652e·426f6f6c·436f6e73·74547275·tre.BoolConstTru	158	··0x000879b0·7472652e·426f6f6c·436f6e73·74547275·tre.BoolConstTru
159	··0x000879c0·65006f67·6d612d6c·616e6775·6167652d·e.ogma-language-	159	··0x000879c0·65006f67·6d612d6c·616e6775·6167652d·e.ogma-language-
160	··0x000879d0·6c757374·72652d31·2e31302e·302d4~~76a~~·lustre-1.10.0-Gj	160	··0x000879d0·6c757374·72652d31·2e31302e·302d4679·lustre-1.10.0-Fy
161	··0x000879e0·~~486~~d~~766a~~·704f4~~b77~~·48427644·706e~~3378·HmvjpOKw~~HBvDpn3x	161	··0x000879e0·794d5a59·6f49496b·4c453169·4830706e·yMZYoIIkLE1iH0pn
162	··0x000879f0·754~~e4c48~~·3a4c616e·67756167·652e4c75·~~uNLH~~:Language.Lu	162	··0x000879f0·30456961·3a4c616e·67756167·652e4c75·0Eia:Language.Lu
163	··0x00087a00·73747265·2e416273·4c757374·72652e42·stre.AbsLustre.B	163	··0x00087a00·73747265·2e416273·4c757374·72652e42·stre.AbsLustre.B
Max diff block lines reached; 40023/50785 bytes (78.81%) of diff not shown.


Offset 363, 342 lines modified		Offset 363, 342 lines modified
363	··0x0008d690·00000000·00000000·31d60800·00000000·........1.......	363	··0x0008d690·00000000·00000000·31d60800·00000000·........1.......
364	··0x0008d6a0·00000000·00000000·03000000·00000000·................	364	··0x0008d6a0·00000000·00000000·03000000·00000000·................
365	··0x0008d6b0·00000000·00000000·00000000·00000000·................	365	··0x0008d6b0·00000000·00000000·00000000·00000000·................
366	··0x0008d6c0·92d60800·00000000·03000000·00000000·................	366	··0x0008d6c0·92d60800·00000000·03000000·00000000·................
367	··0x0008d6d0·00000000·00000000·39720800·00000000·........9r......	367	··0x0008d6d0·00000000·00000000·39720800·00000000·........9r......
368	··0x0008d6e0·00000000·00000000·11d60800·00000000·................	368	··0x0008d6e0·00000000·00000000·11d60800·00000000·................
369	··0x0008d6f0·d1d60800·00000000·00000000·00000000·................	369	··0x0008d6f0·d1d60800·00000000·00000000·00000000·................
370	··0x0008d700·~~d27936eb~~·~~2a8e02~~c1·a~~3f19ab4~~·~~da8d~~8~~af7~~·.y6.*...........	370	··0x0008d700·e1c86259·9fdb17c3·a4c6a719·621c85c4·..bY........b...
371	··0x0008d710·00000000·00000000·03000000·00000000·................	371	··0x0008d710·00000000·00000000·03000000·00000000·................
372	··0x0008d720·00000000·00000000·e1d60800·00000000·................	372	··0x0008d720·00000000·00000000·e1d60800·00000000·................
373	··0x0008d730·00000000·00000000·03000000·00000000·................	373	··0x0008d730·00000000·00000000·03000000·00000000·................
374	··0x0008d740·00000000·00000000·40720800·00000000·........@r......	374	··0x0008d740·00000000·00000000·40720800·00000000·........@r......
375	··0x0008d750·00000000·00000000·11d60800·00000000·................	375	··0x0008d750·00000000·00000000·11d60800·00000000·................
376	··0x0008d760·41d70800·00000000·21d70800·00000000·A.......!.......	376	··0x0008d760·41d70800·00000000·21d70800·00000000·A.......!.......
377	··0x0008d770·~~7473f823~~·~~a979b964~~·45~~526646~~·~~0d5bab0d~~·ts.#.y.~~dERfF~~.[..	377	··0x0008d770·49c8ebd0·ec4af0c7·2519b31b·bc43114f·I....J..%....C.O
378	··0x0008d780·00000000·00000000·03000000·00000000·................	378	··0x0008d780·00000000·00000000·03000000·00000000·................
379	··0x0008d790·00000000·00000000·38720800·00000000·........8r......	379	··0x0008d790·00000000·00000000·38720800·00000000·........8r......
380	··0x0008d7a0·00000000·00000000·11d60800·00000000·................	380	··0x0008d7a0·00000000·00000000·11d60800·00000000·................
381	··0x0008d7b0·91d70800·00000000·21d70800·00000000·........!.......	381	··0x0008d7b0·91d70800·00000000·21d70800·00000000·........!.......
382	··0x0008d7c0·c~~8c5~~af75·~~d3e~~32dea·~~3f16~~f0b8·~~676ed6b2~~·...u..-.?...gn..	382	··0x0008d7c0·27da4791·c62743bd·a4a45f62·c8bbf393·'.G..'C..._b....
383	··0x0008d7d0·00000000·00000000·03000000·00000000·................	383	··0x0008d7d0·00000000·00000000·03000000·00000000·................
384	··0x0008d7e0·00000000·00000000·2d720800·00000000·........-r......	384	··0x0008d7e0·00000000·00000000·2d720800·00000000·........-r......
385	··0x0008d7f0·00000000·00000000·11d60800·00000000·................	385	··0x0008d7f0·00000000·00000000·11d60800·00000000·................
386	··0x0008d800·e1d70800·00000000·21d70800·00000000·........!.......	386	··0x0008d800·e1d70800·00000000·21d70800·00000000·........!.......
387	··0x0008d810·~~337d3b4d~~·~~55304281~~·~~9108f30a~~·~~99caf0cc~~·~~3};MU0B~~.........	387	··0x0008d810·e56b5482·18a494a6·d5b9581e·8ee68534·.kT.......X....4
388	··0x0008d820·00000000·00000000·03000000·00000000·................	388	··0x0008d820·00000000·00000000·03000000·00000000·................
389	··0x0008d830·00000000·00000000·22720800·00000000·........"r......	389	··0x0008d830·00000000·00000000·22720800·00000000·........"r......
390	··0x0008d840·00000000·00000000·11d60800·00000000·................	390	··0x0008d840·00000000·00000000·11d60800·00000000·................
391	··0x0008d850·31d80800·00000000·21d70800·00000000·1.......!.......	391	··0x0008d850·31d80800·00000000·21d70800·00000000·1.......!.......
392	··0x0008d860·49~~2cea4~~9·~~cb1e7d4e~~·0d~~65ffaa~~·~~2e405~~8fe·I,.I..}N.e...@X.	392	··0x0008d860·19b280f9·002cc513·4db67804·97bd68f0·.....,..M.x...h.
393	··0x0008d870·00000000·00000000·03000000·00000000·................	393	··0x0008d870·00000000·00000000·03000000·00000000·................
394	··0x0008d880·00000000·00000000·19720800·00000000·.........r......	394	··0x0008d880·00000000·00000000·19720800·00000000·.........r......
395	··0x0008d890·00000000·00000000·11d60800·00000000·................	395	··0x0008d890·00000000·00000000·11d60800·00000000·................
396	··0x0008d8a0·81d80800·00000000·21d70800·00000000·........!.......	396	··0x0008d8a0·81d80800·00000000·21d70800·00000000·........!.......
397	··0x0008d8b0·~~188b2e76~~·14~~56ca18~~·~~830~~1~~a6c8~~·2~~a62fc68~~·...~~v.V~~.....~~.*b.h~~	397	··0x0008d8b0·5fa7f028·74441983·1121cf47·20e365bd·_..(tD...!.G·.e.
398	··0x0008d8c0·00000000·00000000·03000000·00000000·................	398	··0x0008d8c0·00000000·00000000·03000000·00000000·................
399	··0x0008d8d0·00000000·00000000·13720800·00000000·.........r......	399	··0x0008d8d0·00000000·00000000·13720800·00000000·.........r......
400	··0x0008d8e0·00000000·00000000·11d60800·00000000·................	400	··0x0008d8e0·00000000·00000000·11d60800·00000000·................
401	··0x0008d8f0·d1d80800·00000000·21d70800·00000000·........!.......	401	··0x0008d8f0·d1d80800·00000000·21d70800·00000000·........!.......
402	··0x0008d900·1eabe82f·~~60a57019~~·~~517031c4~~·~~8e69731~~6·.../`.p.Q~~p1..is~~.	402	··0x0008d900·9e6a7687·2d41a264·a727606a·535bb4a6·.jv.-A.d.'`jS[..
403	··0x0008d910·00000000·00000000·03000000·00000000·................	403	··0x0008d910·00000000·00000000·03000000·00000000·................
404	··0x0008d920·00000000·00000000·0b720800·00000000·.........r......	404	··0x0008d920·00000000·00000000·0b720800·00000000·.........r......
405	··0x0008d930·00000000·00000000·11d60800·00000000·................	405	··0x0008d930·00000000·00000000·11d60800·00000000·................
406	··0x0008d940·21d90800·00000000·21d70800·00000000·!.......!.......	406	··0x0008d940·21d90800·00000000·21d70800·00000000·!.......!.......
407	··0x0008d950·~~386f7b88~~·~~1463d46b~~·~~597c8139~~·~~590cc9c6~~·8o{..c.~~kY\|~~.9Y...	407	··0x0008d950·eca2034d·518f5bb8·f493e3ba·7be02efa·...MQ.[.....{...
408	··0x0008d960·00000000·00000000·03000000·00000000·................	408	··0x0008d960·00000000·00000000·03000000·00000000·................
409	··0x0008d970·00000000·00000000·02720800·00000000·.........r......	409	··0x0008d970·00000000·00000000·02720800·00000000·.........r......
410	··0x0008d980·00000000·00000000·11d60800·00000000·................	410	··0x0008d980·00000000·00000000·11d60800·00000000·................
411	··0x0008d990·71d90800·00000000·21d70800·00000000·q.......!.......	411	··0x0008d990·71d90800·00000000·21d70800·00000000·q.......!.......
412	··0x0008d9a0·~~eadb0~~a50·~~84c7b298~~·~~469b88bf~~·~~876027~~34·...~~P..~~..F....~~`'4~~	412	··0x0008d9a0·b23abadc·7b5131b9·fa2e9edc·05c3953a·.:..{Q1........:
413	··0x0008d9b0·00000000·00000000·03000000·00000000·................	413	··0x0008d9b0·00000000·00000000·03000000·00000000·................
414	··0x0008d9c0·00000000·00000000·56700800·00000000·........Vp......	414	··0x0008d9c0·00000000·00000000·56700800·00000000·........Vp......
415	··0x0008d9d0·00000000·00000000·11d60800·00000000·................	415	··0x0008d9d0·00000000·00000000·11d60800·00000000·................
416	··0x0008d9e0·c1d90800·00000000·00000000·00000000·................	416	··0x0008d9e0·c1d90800·00000000·00000000·00000000·................
417	··0x0008d9f0·c07407e1·~~908~~0~~e0ed~~·ea6b4294·df6dc5cc·.t.......kB..m..	417	··0x0008d9f0·d791e19e·3a308778·5612347c·85f93c77·....:0.xV.4\|..<w
418	··0x0008da00·00000000·00000000·03000000·00000000·................	418	··0x0008da00·00000000·00000000·03000000·00000000·................
419	··0x0008da10·00000000·00000000·d1d90800·00000000·................	419	··0x0008da10·00000000·00000000·d1d90800·00000000·................
420	··0x0008da20·00000000·00000000·03000000·00000000·................	420	··0x0008da20·00000000·00000000·03000000·00000000·................
421	··0x0008da30·00000000·00000000·fb710800·00000000·.........q......	421	··0x0008da30·00000000·00000000·fb710800·00000000·.........q......
422	··0x0008da40·00000000·00000000·11d60800·00000000·................	422	··0x0008da40·00000000·00000000·11d60800·00000000·................
423	··0x0008da50·31da0800·00000000·11da0800·00000000·1...............	423	··0x0008da50·31da0800·00000000·11da0800·00000000·1...............
424	··0x0008da60·~~71bd59~~cd·~~0869c224~~·~~5b9e0c24~~·3d~~bec584~~·q.Y..i.$[..$=...	424	··0x0008da60·2b0eaac1·c71e39d7·8246ef05·fd25776c·+.....9..F...%wl
425	··0x0008da70·00000000·00000000·03000000·00000000·................	425	··0x0008da70·00000000·00000000·03000000·00000000·................
426	··0x0008da80·00000000·00000000·f4710800·00000000·.........q......	426	··0x0008da80·00000000·00000000·f4710800·00000000·.........q......
427	··0x0008da90·00000000·00000000·11d60800·00000000·................	427	··0x0008da90·00000000·00000000·11d60800·00000000·................
428	··0x0008daa0·81da0800·00000000·11da0800·00000000·................	428	··0x0008daa0·81da0800·00000000·11da0800·00000000·................
429	··0x0008dab0·~~a52157fe~~·~~8622c397~~·46303d63·~~e6030d03~~·.~~!W.~~."~~..F0=~~c....	429	··0x0008dab0·19f63551·04307e2d·a72363d8·08943225·..5Q.0~-.#c...2%
430	··0x0008dac0·00000000·00000000·03000000·00000000·................	430	··0x0008dac0·00000000·00000000·03000000·00000000·................
431	··0x0008dad0·00000000·00000000·eb710800·00000000·.........q......	431	··0x0008dad0·00000000·00000000·eb710800·00000000·.........q......
432	··0x0008dae0·00000000·00000000·11d60800·00000000·................	432	··0x0008dae0·00000000·00000000·11d60800·00000000·................
433	··0x0008daf0·d1da0800·00000000·00000000·00000000·................	433	··0x0008daf0·d1da0800·00000000·00000000·00000000·................
434	··0x0008db00·~~325a6f81~~·~~d9cd6~~eac·~~23ef0442~~·~~e56d7~~4~~7b·2Zo~~...n.#..B.mt{	434	··0x0008db00·9a12370a·cfe4be11·d7451d19·71c08b41·..7......E..q..A
435	··0x0008db10·00000000·00000000·03000000·00000000·................	435	··0x0008db10·00000000·00000000·03000000·00000000·................
436	··0x0008db20·00000000·00000000·e1da0800·00000000·................	436	··0x0008db20·00000000·00000000·e1da0800·00000000·................
437	··0x0008db30·00000000·00000000·03000000·00000000·................	437	··0x0008db30·00000000·00000000·03000000·00000000·................
438	··0x0008db40·00000000·00000000·df710800·00000000·.........q......	438	··0x0008db40·00000000·00000000·df710800·00000000·.........q......
439	··0x0008db50·00000000·00000000·11d60800·00000000·................	439	··0x0008db50·00000000·00000000·11d60800·00000000·................
440	··0x0008db60·41db0800·00000000·21db0800·00000000·A.......!.......	440	··0x0008db60·41db0800·00000000·21db0800·00000000·A.......!.......
441	··0x0008db70·~~265d15d9~~·430e681d·8f1~~3a6~~c1·f2f5~~707~~6~~·&]~~..C.h.......pv	441	··0x0008db70·cc932217·3376ecd8·111873c2·8f8e8621·..".3v....s....!
442	··0x0008db80·00000000·00000000·03000000·00000000·................	442	··0x0008db80·00000000·00000000·03000000·00000000·................
443	··0x0008db90·00000000·00000000·d2710800·00000000·.........q......	443	··0x0008db90·00000000·00000000·d2710800·00000000·.........q......
444	··0x0008dba0·00000000·00000000·11d60800·00000000·................	444	··0x0008dba0·00000000·00000000·11d60800·00000000·................
445	··0x0008dbb0·91db0800·00000000·21db0800·00000000·........!.......	445	··0x0008dbb0·91db0800·00000000·21db0800·00000000·........!.......
446	··0x0008dbc0·~~3faee~~421·~~701dbf04~~·~~a3cc8454~~·2~~4ca~~1d04·~~?..!p~~......T$...	446	··0x0008dbc0·67695473·9794c233·1843a69a·e981d544·giTs...3.C.....D
447	··0x0008dbd0·00000000·00000000·03000000·00000000·................	447	··0x0008dbd0·00000000·00000000·03000000·00000000·................
448	··0x0008dbe0·00000000·00000000·c6710800·00000000·.........q......	448	··0x0008dbe0·00000000·00000000·c6710800·00000000·.........q......
449	··0x0008dbf0·00000000·00000000·11d60800·00000000·................	449	··0x0008dbf0·00000000·00000000·11d60800·00000000·................
450	··0x0008dc00·e1db0800·00000000·21db0800·00000000·........!.......	450	··0x0008dc00·e1db0800·00000000·21db0800·00000000·........!.......
451	··0x0008dc10·~~4a18abda~~·~~9d819f56~~·~~2cb04ae0~~·~~232238b7~~·J.....~~.V,~~.J.~~#"8.~~	451	··0x0008dc10·28a346c5·fbb4551c·578d3c82·9ef6ca5f·(.F...U.W.<...._
452	··0x0008dc20·00000000·00000000·03000000·00000000·................	452	··0x0008dc20·00000000·00000000·03000000·00000000·................
453	··0x0008dc30·00000000·00000000·bc710800·00000000·.........q......	453	··0x0008dc30·00000000·00000000·bc710800·00000000·.........q......
454	··0x0008dc40·00000000·00000000·11d60800·00000000·................	454	··0x0008dc40·00000000·00000000·11d60800·00000000·................
455	··0x0008dc50·31dc0800·00000000·00000000·00000000·1...............	455	··0x0008dc50·31dc0800·00000000·00000000·00000000·1...............
456	··0x0008dc60·~~b779d9d3~~·~~61cfe6f5~~·~~e6462672~~·~~4712e08~~4·.y..a....~~F&rG~~...	456	··0x0008dc60·f0a0a309·0ae05e93·c9f474e8·9f9aa794·......^...t.....
457	··0x0008dc70·00000000·00000000·03000000·00000000·................	457	··0x0008dc70·00000000·00000000·03000000·00000000·................
458	··0x0008dc80·00000000·00000000·41dc0800·00000000·........A.......	458	··0x0008dc80·00000000·00000000·41dc0800·00000000·........A.......
459	··0x0008dc90·00000000·00000000·03000000·00000000·................	459	··0x0008dc90·00000000·00000000·03000000·00000000·................
460	··0x0008dca0·00000000·00000000·ae710800·00000000·.........q......	460	··0x0008dca0·00000000·00000000·ae710800·00000000·.........q......
461	··0x0008dcb0·00000000·00000000·11d60800·00000000·................	461	··0x0008dcb0·00000000·00000000·11d60800·00000000·................
462	··0x0008dcc0·a1dc0800·00000000·81dc0800·00000000·................	462	··0x0008dcc0·a1dc0800·00000000·81dc0800·00000000·................
463	··0x0008dcd0·~~a8b36a3b~~·~~426ddb79~~·~~de940737~~·~~e606cc45~~·..~~j;Bm~~.~~y..~~.7...E	463	··0x0008dcd0·f0cd7c4f·8458e8f3·647abaf5·ca85b28d·..\|O.X..dz......
464	··0x0008dce0·00000000·00000000·03000000·00000000·................	464	··0x0008dce0·00000000·00000000·03000000·00000000·................
465	··0x0008dcf0·00000000·00000000·a0710800·00000000·.........q......	465	··0x0008dcf0·00000000·00000000·a0710800·00000000·.........q......
466	··0x0008dd00·00000000·00000000·11d60800·00000000·................	466	··0x0008dd00·00000000·00000000·11d60800·00000000·................
467	··0x0008dd10·f1dc0800·00000000·81dc0800·00000000·................	467	··0x0008dd10·f1dc0800·00000000·81dc0800·00000000·................
468	··0x0008dd20·~~00acb50d~~·~~95dbec13~~·1~~45be~~248·811~~53ca9·.~~...~~.....[~~.H..<.	468	··0x0008dd20·483da426·d73f565a·68392489·5941f0f0·H=.&.?VZh9$.YA..
469	··0x0008dd30·00000000·00000000·03000000·00000000·................	469	··0x0008dd30·00000000·00000000·03000000·00000000·................
470	··0x0008dd40·00000000·00000000·92710800·00000000·.........q......	470	··0x0008dd40·00000000·00000000·92710800·00000000·.........q......
471	··0x0008dd50·00000000·00000000·11d60800·00000000·................	471	··0x0008dd50·00000000·00000000·11d60800·00000000·................
472	··0x0008dd60·41dd0800·00000000·81dc0800·00000000·A...............	472	··0x0008dd60·41dd0800·00000000·81dc0800·00000000·A...............
473	··0x0008dd70·~~a5528854~~·~~079a59e8~~·~~7dc9~~a~~f50~~·~~8b0d191~~d·~~.R.T~~..Y.}..P....	473	··0x0008dd70·2c36437a·a9581da2·0496aaf3·df32e1fd·,6Cz.X.......2..
474	··0x0008dd80·00000000·00000000·03000000·00000000·................	474	··0x0008dd80·00000000·00000000·03000000·00000000·................
475	··0x0008dd90·00000000·00000000·84710800·00000000·.........q......	475	··0x0008dd90·00000000·00000000·84710800·00000000·.........q......
476	··0x0008dda0·00000000·00000000·11d60800·00000000·................	476	··0x0008dda0·00000000·00000000·11d60800·00000000·................
477	··0x0008ddb0·91dd0800·00000000·81dc0800·00000000·................	477	··0x0008ddb0·91dd0800·00000000·81dc0800·00000000·................
478	··0x0008ddc0·308~~dfadc~~·~~9a0b16c~~9·~~ced~~2~~5073~~·~~4b3eac6a~~·0........~~.PsK>~~.j	478	··0x0008ddc0·938c4482·3ef12849·9932a38d·e3888341·..D.>.(I.2.....A
479	··0x0008ddd0·00000000·00000000·03000000·00000000·................	479	··0x0008ddd0·00000000·00000000·03000000·00000000·................
480	··0x0008dde0·00000000·00000000·76710800·00000000·........vq......	480	··0x0008dde0·00000000·00000000·76710800·00000000·........vq......
481	··0x0008ddf0·00000000·00000000·11d60800·00000000·................	481	··0x0008ddf0·00000000·00000000·11d60800·00000000·................
482	··0x0008de00·e1dd0800·00000000·81dc0800·00000000·................	482	··0x0008de00·e1dd0800·00000000·81dc0800·00000000·................
483	··0x0008de10·~~56bf~~d204·~~34805995~~·~~4862a7~~32·79~~227b6~~f·V...4.Y.Hb.2y~~"{o~~	483	··0x0008de10·62a07d23·ead7ebd0·bbdf2b34·b9ed2e2f·b.}#......+4.../
484	··0x0008de20·00000000·00000000·03000000·00000000·................	484	··0x0008de20·00000000·00000000·03000000·00000000·................
485	··0x0008de30·00000000·00000000·68710800·00000000·........hq......	485	··0x0008de30·00000000·00000000·68710800·00000000·........hq......
486	··0x0008de40·00000000·00000000·11d60800·00000000·................	486	··0x0008de40·00000000·00000000·11d60800·00000000·................
487	··0x0008de50·31de0800·00000000·81dc0800·00000000·1...............	487	··0x0008de50·31de0800·00000000·81dc0800·00000000·1...............
488	··0x0008de60·~~b46b~~4~~4b2~~·~~4ff51718~~·~~302e47~~6d·b8b~~f1fe1~~·.kD.O...0.Gm....	488	··0x0008de60·1e414970·ee6c4a9a·d3b39967·89bc2294·.AIp.lJ....g..".
489	··0x0008de70·00000000·00000000·03000000·00000000·................	489	··0x0008de70·00000000·00000000·03000000·00000000·................
Max diff block lines reached; 74839/84980 bytes (88.07%) of diff not shown.


Offset 1, 19 lines modified		Offset 1, 19 lines modified
1	Magic:·Wanted·33214052,	1	Magic:·Wanted·33214052,
2	·······got····33214052	2	·······got····33214052
3	Version:·Wanted·9066,	3	Version:·Wanted·9066,
4	·········got····9066	4	·········got····9066
5	Way:·Wanted·,	5	Way:·Wanted·,
6	·····got····~~dyn~~	6	·····got····
7	interface·Language.Lustre.AbsLustre·9066	7	interface·Language.Lustre.AbsLustre·9066
8	··interface·hash:·3588c27a1b6d918db96334f2aa1c56f5
9	··ABI·hash:·fd1998c28ac6625fc6bca72ad02e55d3
10	··~~expo~~rt-~~list~~·hash:·5c~~84cc~~9~~53a74c5d14b~~b6e~~9714133012f~~	8	··interface·hash:·1a109a0d99de09e3b2e723aac62535ca
		9	··ABI·hash:·6624a62a4b8595b75b5731c8dee0c766
		10	··export-list·hash:·7b63eafb941fb58597c6f3c1b89a023c
11	··orphan·hash:·693e9af84d3dfcc71e640e005bdc5e2e	11	··orphan·hash:·693e9af84d3dfcc71e640e005bdc5e2e
12	··flag·hash:·5fbc~~08bb4~~3~~1eb~~c~~6b2~~f859~~3be6e4aa4~~46	12	··flag·hash:·89dcbca61aa09e34a6c1edf259130349
13	··opt_hash:·6c7aa9c86a88606ea9feb346b37abe02	13	··opt_hash:·6c7aa9c86a88606ea9feb346b37abe02
14	··hpc_hash:·93b885adfe0da089cdf634904fd59f71	14	··hpc_hash:·93b885adfe0da089cdf634904fd59f71
15	··plugin_hash:·ad164012d6b1e14942349d58b1132007	15	··plugin_hash:·ad164012d6b1e14942349d58b1132007
16	··src_hash:·e8c3e36e142d7ef0a3d42db825e2d844	16	··src_hash:·e8c3e36e142d7ef0a3d42db825e2d844
17	··sig·of:·Nothing	17	··sig·of:·Nothing
18	··used·TH·splices:·False	18	··used·TH·splices:·False
19	··where	19	··where
Offset 41, 89 lines modified		Offset 41, 89 lines modified
41	import··-/··GHC.Read·ba5dce38a7afde3b9905828c32529080	41	import··-/··GHC.Read·ba5dce38a7afde3b9905828c32529080
42	import··-/··GHC.Show·43ee6873466de083d2b7ce9578f828dc	42	import··-/··GHC.Show·43ee6873466de083d2b7ce9578f828dc
43	import··-/··Prelude·a1ae76d73d35cc0683dc06ee0b1f4dc2	43	import··-/··Prelude·a1ae76d73d35cc0683dc06ee0b1f4dc2
44	import··-/··Text.ParserCombinators.ReadPrec·a657147dbd7291808782bfe31b23cd99	44	import··-/··Text.ParserCombinators.ReadPrec·a657147dbd7291808782bfe31b23cd99
45	import··-/··Text.Read.Lex·fa35b276d63ddd86fac347999b64f2f6	45	import··-/··Text.Read.Lex·fa35b276d63ddd86fac347999b64f2f6
46	import··-/··GHC.Classes·448b501d99f99154cdcc210e9f32fa08	46	import··-/··GHC.Classes·448b501d99f99154cdcc210e9f32fa08
47	import··-/··GHC.Types·40ada155ed73681c14b0e90149f6df94	47	import··-/··GHC.Types·40ada155ed73681c14b0e90149f6df94
48	~~320e8~~85ad9a~~af17c2851~~c19c~~e5799ea~~a	48	cb592582a02a498b9913fcbcba9c2f4a
49	··$fEqBoolConst·::·GHC.Classes.Eq·BoolConst	49	··$fEqBoolConst·::·GHC.Classes.Eq·BoolConst
50	··DFunId	50	··DFunId
51	··[HasNoCafRefs,·TagSig:·<TagProper>,	51	··[HasNoCafRefs,·TagSig:·<TagProper>,
52	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,	52	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,
53	···Unfolding:·DFun:.·@BoolConst·$fEqBoolConst_$c==·$fEqBoolConst_$c/=]	53	···Unfolding:·DFun:.·@BoolConst·$fEqBoolConst_$c==·$fEqBoolConst_$c/=]
54	~~ab35~~d~~c3f~~8~~5b540e~~4b7~~a48a09c629a~~e46	54	51aebd7e183e9f2a4bdefb46ee4ace49
55	··$fEqBoolConst_$c/=·::·BoolConst·->·BoolConst·->·GHC.Types.Bool	55	··$fEqBoolConst_$c/=·::·BoolConst·->·BoolConst·->·GHC.Types.Bool
56	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,	56	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,
57	···Arity:·2,·Strictness:·<SL><SL>,·Inline:·(sat-args=2),	57	···Arity:·2,·Strictness:·<SL><SL>,·Inline:·(sat-args=2),
58	···Unfolding:·Core:·StableUser·<2,FalseFalse>	58	···Unfolding:·Core:·StableUser·<2,FalseFalse>
59	··············\·(x['GHC.Types.Many]·::·BoolConst)	59	··············\·(x['GHC.Types.Many]·::·BoolConst)
60	················(y['GHC.Types.Many]·::·BoolConst)·->	60	················(y['GHC.Types.Many]·::·BoolConst)·->
61	··············case·GHC.Prim.dataToTag#·@BoolConst·x·of·a#·{·DEFAULT·->	61	··············case·GHC.Prim.dataToTag#·@BoolConst·x·of·a#·{·DEFAULT·->
62	··············case·GHC.Prim.dataToTag#·@BoolConst·y·of·b#·{·DEFAULT·->	62	··············case·GHC.Prim.dataToTag#·@BoolConst·y·of·b#·{·DEFAULT·->
63	··············case·GHC.Prim.==#·a#·b#·of·lwild·{	63	··············case·GHC.Prim.==#·a#·b#·of·lwild·{
64	················DEFAULT·->·GHC.Types.True·1#·->·GHC.Types.False·}·}·}]	64	················DEFAULT·->·GHC.Types.True·1#·->·GHC.Types.False·}·}·}]
65	07~~e1b~~d2~~940~~6be9~~bd9~~06c88~~68ed~~1~~dfd3~~b	65	338d77b6d191e805528eb8fc0817368b
66	··$fEqBoolConst_$c==·::·BoolConst·->·BoolConst·->·GHC.Types.Bool	66	··$fEqBoolConst_$c==·::·BoolConst·->·BoolConst·->·GHC.Types.Bool
67	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,	67	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,
68	···Strictness:·<SL><SL>,	68	···Strictness:·<SL><SL>,
69	···Unfolding:·Core:·<vanilla>	69	···Unfolding:·Core:·<vanilla>
70	··············\·(a['GHC.Types.Many]·::·BoolConst)	70	··············\·(a['GHC.Types.Many]·::·BoolConst)
71	················(b['GHC.Types.Many]·::·BoolConst)·->	71	················(b['GHC.Types.Many]·::·BoolConst)·->
72	··············case·GHC.Prim.dataToTag#·@BoolConst·a·of·a#·{·DEFAULT·->	72	··············case·GHC.Prim.dataToTag#·@BoolConst·a·of·a#·{·DEFAULT·->
73	··············case·GHC.Prim.dataToTag#·@BoolConst·b·of·b#·{·DEFAULT·->	73	··············case·GHC.Prim.dataToTag#·@BoolConst·b·of·b#·{·DEFAULT·->
74	··············GHC.Prim.tagToEnum#·@GHC.Types.Bool·(GHC.Prim.==#·a#·b#)·}·}]	74	··············GHC.Prim.tagToEnum#·@GHC.Types.Bool·(GHC.Prim.==#·a#·b#)·}·}]
75	~~58cf~~faa~~95d9c734~~094~~77663~~a~~9b99b~~e5d	75	3040f5a4f42db5509a951daeecdee13b
76	··$fEqBoolNumOp·::·GHC.Classes.Eq·BoolNumOp	76	··$fEqBoolNumOp·::·GHC.Classes.Eq·BoolNumOp
77	··DFunId	77	··DFunId
78	··[HasNoCafRefs,·TagSig:·<TagProper>,	78	··[HasNoCafRefs,·TagSig:·<TagProper>,
79	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,	79	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,
80	···Unfolding:·DFun:.·@BoolNumOp·$fEqBoolNumOp_$c==·$fEqBoolNumOp_$c/=]	80	···Unfolding:·DFun:.·@BoolNumOp·$fEqBoolNumOp_$c==·$fEqBoolNumOp_$c/=]
81	c83~~fb9a534~~21f9~~b91~~d~~098a6fc435~~75fa	81	ce08372c01662e93acd57ddfb3eb3758
82	··$fEqBoolNumOp_$c/=·::·BoolNumOp·->·BoolNumOp·->·GHC.Types.Bool	82	··$fEqBoolNumOp_$c/=·::·BoolNumOp·->·BoolNumOp·->·GHC.Types.Bool
83	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,	83	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,
84	···Arity:·2,·Strictness:·<SL><SL>,·Inline:·(sat-args=2),	84	···Arity:·2,·Strictness:·<SL><SL>,·Inline:·(sat-args=2),
85	···Unfolding:·Core:·StableUser·<2,FalseFalse>	85	···Unfolding:·Core:·StableUser·<2,FalseFalse>
86	··············\·(x['GHC.Types.Many]·::·BoolNumOp)	86	··············\·(x['GHC.Types.Many]·::·BoolNumOp)
87	················(y['GHC.Types.Many]·::·BoolNumOp)·->	87	················(y['GHC.Types.Many]·::·BoolNumOp)·->
88	··············case·GHC.Prim.dataToTag#·@BoolNumOp·x·of·a#·{·DEFAULT·->	88	··············case·GHC.Prim.dataToTag#·@BoolNumOp·x·of·a#·{·DEFAULT·->
89	··············case·GHC.Prim.dataToTag#·@BoolNumOp·y·of·b#·{·DEFAULT·->	89	··············case·GHC.Prim.dataToTag#·@BoolNumOp·y·of·b#·{·DEFAULT·->
90	··············case·GHC.Prim.==#·a#·b#·of·lwild·{	90	··············case·GHC.Prim.==#·a#·b#·of·lwild·{
91	················DEFAULT·->·GHC.Types.True·1#·->·GHC.Types.False·}·}·}]	91	················DEFAULT·->·GHC.Types.True·1#·->·GHC.Types.False·}·}·}]
92	~~d36~~c~~6d55606a72ae38~~83c~~fe696~~a0f~~748~~	92	b95c20b82a13ffcb2938370374acf6c6
93	··$fEqBoolNumOp_$c==·::·BoolNumOp·->·BoolNumOp·->·GHC.Types.Bool	93	··$fEqBoolNumOp_$c==·::·BoolNumOp·->·BoolNumOp·->·GHC.Types.Bool
94	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,	94	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,
95	···Strictness:·<SL><SL>,	95	···Strictness:·<SL><SL>,
96	···Unfolding:·Core:·<vanilla>	96	···Unfolding:·Core:·<vanilla>
97	··············\·(a['GHC.Types.Many]·::·BoolNumOp)	97	··············\·(a['GHC.Types.Many]·::·BoolNumOp)
98	················(b['GHC.Types.Many]·::·BoolNumOp)·->	98	················(b['GHC.Types.Many]·::·BoolNumOp)·->
99	··············case·GHC.Prim.dataToTag#·@BoolNumOp·a·of·a#·{·DEFAULT·->	99	··············case·GHC.Prim.dataToTag#·@BoolNumOp·a·of·a#·{·DEFAULT·->
100	··············case·GHC.Prim.dataToTag#·@BoolNumOp·b·of·b#·{·DEFAULT·->	100	··············case·GHC.Prim.dataToTag#·@BoolNumOp·b·of·b#·{·DEFAULT·->
101	··············GHC.Prim.tagToEnum#·@GHC.Types.Bool·(GHC.Prim.==#·a#·b#)·}·}]	101	··············GHC.Prim.tagToEnum#·@GHC.Types.Bool·(GHC.Prim.==#·a#·b#)·}·}]
102	622ee~~6246~~c~~59b~~9f245~~da86b5~~08~~defb26~~	102	95247fe3507cc3a95a5e4124a0665afc
103	··$fEqBoolSpec·::·GHC.Classes.Eq·BoolSpec	103	··$fEqBoolSpec·::·GHC.Classes.Eq·BoolSpec
104	··DFunId	104	··DFunId
105	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],	105	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],
106	···Inline:·CONLIKE,	106	···Inline:·CONLIKE,
107	···Unfolding:·DFun:.·@BoolSpec·$fEqBoolSpec_$c==·$fEqBoolSpec_$c/=]	107	···Unfolding:·DFun:.·@BoolSpec·$fEqBoolSpec_$c==·$fEqBoolSpec_$c/=]
108	1a6~~09aa90~~af36~~b8b9~~8~~a23~~697afd7~~866a~~	108	4622c2ceac3f64cc3869ba98d37a4991
109	··$fEqBoolSpec_$c/=·::·BoolSpec·->·BoolSpec·->·GHC.Types.Bool	109	··$fEqBoolSpec_$c/=·::·BoolSpec·->·BoolSpec·->·GHC.Types.Bool
110	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,	110	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,
111	···Strictness:·<SL><SL>,·Inline:·(sat-args=2),	111	···Strictness:·<SL><SL>,·Inline:·(sat-args=2),
112	···Unfolding:·Core:·StableUser·<2,FalseFalse>	112	···Unfolding:·Core:·StableUser·<2,FalseFalse>
113	··············\·(x['GHC.Types.Many]·::·BoolSpec)	113	··············\·(x['GHC.Types.Many]·::·BoolSpec)
114	················(y['GHC.Types.Many]·::·BoolSpec)·->	114	················(y['GHC.Types.Many]·::·BoolSpec)·->
115	··············case·$fEqBoolSpec_$c==·x·y·of·wild·{	115	··············case·$fEqBoolSpec_$c==·x·y·of·wild·{
116	················GHC.Types.False·->·GHC.Types.True	116	················GHC.Types.False·->·GHC.Types.True
117	················GHC.Types.True·->·GHC.Types.False·}]	117	················GHC.Types.True·->·GHC.Types.False·}]
118	c~~40f0~~9~~476~~9~~9a081126a8149~~e~~394d4b1e~~	118	d686952d9cc4767a3ffe8ccebba46fd0
119	··$fEqBoolSpec_$c==·::·BoolSpec·->·BoolSpec·->·GHC.Types.Bool	119	··$fEqBoolSpec_$c==·::·BoolSpec·->·BoolSpec·->·GHC.Types.Bool
120	··[TagSig:·<TagDunno>,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,	120	··[TagSig:·<TagDunno>,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,
121	···Strictness:·<SL><SL>]	121	···Strictness:·<SL><SL>]
122	4eac~~fcb004007e~~a~~a313~~0~~320c0a~~b~~76a~~fc	122	ed07786b2e5af4fe0e46628be8ffe8dd
123	··$fEqIdent·::·GHC.Classes.Eq·Ident	123	··$fEqIdent·::·GHC.Classes.Eq·Ident
124	··DFunId	124	··DFunId
125	··[HasNoCafRefs,·TagSig:·<TagProper>,	125	··[HasNoCafRefs,·TagSig:·<TagProper>,
126	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,	126	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,
127	···Unfolding:·DFun:.	127	···Unfolding:·DFun:.
128	················@Ident	128	················@Ident
129	················GHC.Base.eqString	129	················GHC.Base.eqString
Offset 132, 97 lines modified		Offset 132, 97 lines modified
132	·················%<'GHC.Types.Many>_N·->_R·Sym·(N:Ident[0])	132	·················%<'GHC.Types.Many>_N·->_R·Sym·(N:Ident[0])
133	·················%<'GHC.Types.Many>_N·->_R·<GHC.Types.Bool>_R)	133	·················%<'GHC.Types.Many>_N·->_R·<GHC.Types.Bool>_R)
134	················GHC.Classes.$fEqList_$s$c/=1	134	················GHC.Classes.$fEqList_$s$c/=1
135	··················`cast`	135	··················`cast`
136	················(Sym·(N:Ident[0])	136	················(Sym·(N:Ident[0])
137	·················%<'GHC.Types.Many>_N·->_R·Sym·(N:Ident[0])	137	·················%<'GHC.Types.Many>_N·->_R·Sym·(N:Ident[0])
138	·················%<'GHC.Types.Many>_N·->_R·<GHC.Types.Bool>_R)]	138	·················%<'GHC.Types.Many>_N·->_R·<GHC.Types.Bool>_R)]
139	~~8f8f~~30~~17422de~~69~~963~~b0~~3cfcf~~1a~~8afdc~~	139	f7166d630f5f55b462d4b7be0311bd72
140	··$fEqNumExpr·::·GHC.Classes.Eq·NumExpr	140	··$fEqNumExpr·::·GHC.Classes.Eq·NumExpr
141	··DFunId	141	··DFunId
142	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],	142	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],
143	···Inline:·CONLIKE,	143	···Inline:·CONLIKE,
144	···Unfolding:·DFun:.·@NumExpr·$fEqNumExpr_$c==·$fEqNumExpr_$c/=]	144	···Unfolding:·DFun:.·@NumExpr·$fEqNumExpr_$c==·$fEqNumExpr_$c/=]
145	c~~2daa73f7c~~6~~92c~~d734564943~~1226897~~c	145	2c743859e4b26ffed8304e93a78011bc
146	··$fEqNumExpr_$c/=·::·NumExpr·->·NumExpr·->·GHC.Types.Bool	146	··$fEqNumExpr_$c/=·::·NumExpr·->·NumExpr·->·GHC.Types.Bool
Max diff block lines reached; 233553/240175 bytes (97.24%) of diff not shown.


Offset 1, 17 lines modified		Offset 1, 17 lines modified
1	Magic:·Wanted·33214052,	1	Magic:·Wanted·33214052,
2	·······got····33214052	2	·······got····33214052
3	Version:·Wanted·9066,	3	Version:·Wanted·9066,
4	·········got····9066	4	·········got····9066
5	Way:·Wanted·,	5	Way:·Wanted·,
6	·····got····dyn	6	·····got····dyn
7	interface·Language.Lustre.LexLustre·9066	7	interface·Language.Lustre.LexLustre·9066
8	··interface·hash:·f500dda6983287cdcb1e343d9f6f9f8e
9	··ABI·hash:·60dec7d277f861058e38fd5f3a759f3a
10	··~~expo~~rt-~~list~~·hash:·~~d5cda400~~e9dd~~8fdd7~~a~~16e87af24c78d0~~	8	··interface·hash:·c28e765b5e9dbc7b3a44bed055a3254f
		9	··ABI·hash:·fccd459a07c1d389b67c7d0566396441
		10	··export-list·hash:·b9348df138298158bf6d8decb77edd92
11	··orphan·hash:·693e9af84d3dfcc71e640e005bdc5e2e	11	··orphan·hash:·693e9af84d3dfcc71e640e005bdc5e2e
12	··flag·hash:·588f69eb45ada178c4d6e058fc0d7757	12	··flag·hash:·588f69eb45ada178c4d6e058fc0d7757
13	··opt_hash:·6c7aa9c86a88606ea9feb346b37abe02	13	··opt_hash:·6c7aa9c86a88606ea9feb346b37abe02
14	··hpc_hash:·93b885adfe0da089cdf634904fd59f71	14	··hpc_hash:·93b885adfe0da089cdf634904fd59f71
15	··plugin_hash:·ad164012d6b1e14942349d58b1132007	15	··plugin_hash:·ad164012d6b1e14942349d58b1132007
16	··src_hash:·a286a95ce0dfe63a39aec946e277366c	16	··src_hash:·a286a95ce0dfe63a39aec946e277366c
17	··sig·of:·Nothing	17	··sig·of:·Nothing
Offset 95, 31 lines modified		Offset 95, 31 lines modified
95	import··-/··GHC.Classes·448b501d99f99154cdcc210e9f32fa08	95	import··-/··GHC.Classes·448b501d99f99154cdcc210e9f32fa08
96	import··-/··GHC.Types·40ada155ed73681c14b0e90149f6df94	96	import··-/··GHC.Types·40ada155ed73681c14b0e90149f6df94
97	addDependentFile·"src/Language/Lustre/LexLustre.x"·075b2a1e678733ebcd2487c5c72d2107	97	addDependentFile·"src/Language/Lustre/LexLustre.x"·075b2a1e678733ebcd2487c5c72d2107
98	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcconfig.h"·83d1bd0114cd44e9fff29c5f0a098afa	98	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcconfig.h"·83d1bd0114cd44e9fff29c5f0a098afa
99	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcplatform.h"·9edfa565cf0644189110990a5fbdf8c6	99	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcplatform.h"·9edfa565cf0644189110990a5fbdf8c6
100	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcautoconf.h"·40eaabd0f2e7dff677e970e31999eed3	100	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcautoconf.h"·40eaabd0f2e7dff677e970e31999eed3
101	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcversion.h"·ed2abc0c378d044c7bbfd76a73a209e2	101	addDependentFile·"/usr/lib/ghc/lib/../lib/x86_64-linux-ghc-9.6.6/rts-1.0.2/include/ghcversion.h"·ed2abc0c378d044c7bbfd76a73a209e2
102	addDependentFile·"dist-ghc/build/autogen/cabal_macros.h"·0~~b1497~~03~~147fcafe1f~~1~~e91b~~c8a7~~5198f~~	102	addDependentFile·"dist-ghc/build/autogen/cabal_macros.h"·cfcad0320eea2038910a02cdaa77547d
103	addDependentFile·"/usr/include/stdc-predef.h"·e0e98fa6835be825bf17295c7217815d	103	addDependentFile·"/usr/include/stdc-predef.h"·e0e98fa6835be825bf17295c7217815d
104	b~~a44feb7ee77~~3~~51c~~9~~8d09f2a1~~2~~c40e0c~~	104	b05bcfa33bfe324e9b0eac66b2031512
105	··$bTS·::·GHC.Base.String·->·GHC.Types.Int·->·Tok	105	··$bTS·::·GHC.Base.String·->·GHC.Types.Int·->·Tok
106	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,	106	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,
107	···Arity:·2,·Strictness:·<L><1!P(L)>,·CPR:·1,	107	···Arity:·2,·Strictness:·<L><1!P(L)>,·CPR:·1,
108	···Unfolding:·Core:·StableSystem·<2,TrueTrue>	108	···Unfolding:·Core:·StableSystem·<2,TrueTrue>
109	··············\·(t['GHC.Types.Many]·::·GHC.Base.String)	109	··············\·(t['GHC.Types.Many]·::·GHC.Base.String)
110	················(i['GHC.Types.Many]·::·GHC.Types.Int)·->	110	················(i['GHC.Types.Many]·::·GHC.Types.Int)·->
111	··············case·i·of·conrep·{·GHC.Types.I#·unbx·->·TK·t·unbx·}]	111	··············case·i·of·conrep·{·GHC.Types.I#·unbx·->·TK·t·unbx·}]
112	e93~~0d6fabca9bd~~0d9aa69~~056b71fa6d4~~	112	d5be3e47df2753460b8a6c7a1d8ed7c8
113	··$fEqPosn·::·GHC.Classes.Eq·Posn	113	··$fEqPosn·::·GHC.Classes.Eq·Posn
114	··DFunId	114	··DFunId
115	··[HasNoCafRefs,·TagSig:·<TagProper>,	115	··[HasNoCafRefs,·TagSig:·<TagProper>,
116	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,	116	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,
117	···Unfolding:·DFun:.·@Posn·$fEqPosn_$c==·$fEqPosn_$c/=]	117	···Unfolding:·DFun:.·@Posn·$fEqPosn_$c==·$fEqPosn_$c/=]
118	5c4a~~35258a93b630dea~~c8~~c5e~~0f52~~c747~~	118	ef4ce46a4471cb1661c8779407222c98
119	··$fEqPosn_$c/=·::·Posn·->·Posn·->·GHC.Types.Bool	119	··$fEqPosn_$c/=·::·Posn·->·Posn·->·GHC.Types.Bool
120	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,	120	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,
121	···Arity:·2,·Strictness:·<1!P(L,L,L)><1!P(L,L,L)>,	121	···Arity:·2,·Strictness:·<1!P(L,L,L)><1!P(L,L,L)>,
122	···Inline:·(sat-args=2),	122	···Inline:·(sat-args=2),
123	···Unfolding:·Core:·StableUser·<2,FalseFalse>	123	···Unfolding:·Core:·StableUser·<2,FalseFalse>
124	··············\·(x['GHC.Types.Many]·::·Posn)·(y['GHC.Types.Many]·::·Posn)·->	124	··············\·(x['GHC.Types.Many]·::·Posn)·(y['GHC.Types.Many]·::·Posn)·->
125	··············case·x·of·wild·{·Pn·bx·bx1·bx2·->	125	··············case·x·of·wild·{·Pn·bx·bx1·bx2·->
Offset 128, 15 lines modified		Offset 128, 15 lines modified
128	················DEFAULT·->·GHC.Types.True	128	················DEFAULT·->·GHC.Types.True
129	················1#	129	················1#
130	················->·case·GHC.Prim.==#·bx1·bx4·of·lwild1·{	130	················->·case·GHC.Prim.==#·bx1·bx4·of·lwild1·{
131	·····················DEFAULT·->·GHC.Types.True	131	·····················DEFAULT·->·GHC.Types.True
132	·····················1#	132	·····················1#
133	·····················->·case·GHC.Prim.==#·bx2·bx5·of·lwild2·{	133	·····················->·case·GHC.Prim.==#·bx2·bx5·of·lwild2·{
134	··························DEFAULT·->·GHC.Types.True·1#·->·GHC.Types.False·}·}·}·}·}]	134	··························DEFAULT·->·GHC.Types.True·1#·->·GHC.Types.False·}·}·}·}·}]
135	cd~~58b6~~9b~~ff43a7~~2~~2491~~43be~~fac3~~4668b	135	acfcd2535911ac0f2680841ecbef4678
136	··$fEqPosn_$c==·::·Posn·->·Posn·->·GHC.Types.Bool	136	··$fEqPosn_$c==·::·Posn·->·Posn·->·GHC.Types.Bool
137	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,	137	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,
138	···Strictness:·<1!P(L,L,L)><1!P(L,L,L)>,	138	···Strictness:·<1!P(L,L,L)><1!P(L,L,L)>,
139	···Unfolding:·Core:·StableSystem·<2,TrueFalse>	139	···Unfolding:·Core:·StableSystem·<2,TrueFalse>
140	··············\·(ds['GHC.Types.Many]·::·Posn)·(ds1['GHC.Types.Many]·::·Posn)·->	140	··············\·(ds['GHC.Types.Many]·::·Posn)·(ds1['GHC.Types.Many]·::·Posn)·->
141	··············case·ds·of·wild·{·Pn·bx·bx1·bx2·->	141	··············case·ds·of·wild·{·Pn·bx·bx1·bx2·->
142	··············case·ds1·of·wild1·{·Pn·bx3·bx4·bx5·->	142	··············case·ds1·of·wild1·{·Pn·bx3·bx4·bx5·->
Offset 145, 63 lines modified		Offset 145, 63 lines modified
145	················1#	145	················1#
146	················->·case·GHC.Prim.==#·bx1·bx4·of·lwild1·{	146	················->·case·GHC.Prim.==#·bx1·bx4·of·lwild1·{
147	·····················DEFAULT·->·GHC.Types.False	147	·····················DEFAULT·->·GHC.Types.False
148	·····················1#	148	·····················1#
149	·····················->·GHC.Prim.tagToEnum#	149	·····················->·GHC.Prim.tagToEnum#
150	··························@GHC.Types.Bool	150	··························@GHC.Types.Bool
151	··························(GHC.Prim.==#·bx2·bx5)·}·}·}·}]	151	··························(GHC.Prim.==#·bx2·bx5)·}·}·}·}]
152	d~~5e5e52a8d~~e~~1149076eee2d~~3~~56fc4~~487	152	d3fa57f7bae5d862c7c9447345e72422
153	··$fEqTok·::·GHC.Classes.Eq·Tok	153	··$fEqTok·::·GHC.Classes.Eq·Tok
154	··DFunId	154	··DFunId
155	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],	155	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],
156	···Inline:·CONLIKE,·Unfolding:·DFun:.·@Tok·$fEqTok_$c==·$fEqTok_$c/=]	156	···Inline:·CONLIKE,·Unfolding:·DFun:.·@Tok·$fEqTok_$c==·$fEqTok_$c/=]
157	02886696a~~dee~~e~~7d87~~58~~2332~~2~~71a~~63def	157	0a3613a559e84105e5e52e44632acc4f
158	··$fEqTok1·::·()	158	··$fEqTok1·::·()
159	··[LambdaFormInfo:·LFThunk·(updatable=True·might_be_function=·False),	159	··[LambdaFormInfo:·LFThunk·(updatable=True·might_be_function=·False),
160	···Strictness:·b,·CPR:·b]	160	···Strictness:·b,·CPR:·b]
161	08598~~56c5769ea~~91d8~~b1ab~~2~~1122f~~c~~54f~~	161	8fa8885c44d4b916c848022486a4c392
162	··$fEqTokSymbol·::·GHC.Classes.Eq·TokSymbol	162	··$fEqTokSymbol·::·GHC.Classes.Eq·TokSymbol
163	··DFunId	163	··DFunId
164	··[HasNoCafRefs,·TagSig:·<TagProper>,	164	··[HasNoCafRefs,·TagSig:·<TagProper>,
165	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,	165	···LambdaFormInfo:·LFCon[GHC.Classes.C:Eq],·Inline:·CONLIKE,
166	···Unfolding:·DFun:.·@TokSymbol·$fEqTokSymbol_$c==·$fEqTokSymbol_$c/=]	166	···Unfolding:·DFun:.·@TokSymbol·$fEqTokSymbol_$c==·$fEqTokSymbol_$c/=]
167	081~~926~~4~~fbe~~8e7~~97688~~5864~~175939f0c8~~	167	4c614c3b4ac5c857d414a55a4d1ac4b3
168	··$fEqTokSymbol_$c/=·::·TokSymbol·->·TokSymbol·->·GHC.Types.Bool	168	··$fEqTokSymbol_$c/=·::·TokSymbol·->·TokSymbol·->·GHC.Types.Bool
169	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,	169	··[HasNoCafRefs,·TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,
170	···Arity:·2,·Strictness:·<1!P(A,L)><1!P(A,L)>,·Inline:·(sat-args=2),	170	···Arity:·2,·Strictness:·<1!P(A,L)><1!P(A,L)>,·Inline:·(sat-args=2),
171	···Unfolding:·Core:·StableUser·<2,FalseFalse>	171	···Unfolding:·Core:·StableUser·<2,FalseFalse>
172	··············\·(x['GHC.Types.Many]·::·TokSymbol)	172	··············\·(x['GHC.Types.Many]·::·TokSymbol)
173	················(y['GHC.Types.Many]·::·TokSymbol)·->	173	················(y['GHC.Types.Many]·::·TokSymbol)·->
174	··············case·x·of·wild·{·TokSymbol·ds·bx·->	174	··············case·x·of·wild·{·TokSymbol·ds·bx·->
175	··············case·y·of·wild1·{·TokSymbol·ds1·bx1·->	175	··············case·y·of·wild1·{·TokSymbol·ds1·bx1·->
176	··············case·GHC.Classes.eqInt	176	··············case·GHC.Classes.eqInt
177	·····················(GHC.Types.I#·bx)	177	·····················(GHC.Types.I#·bx)
178	·····················(GHC.Types.I#·bx1)·of·wild2·{	178	·····················(GHC.Types.I#·bx1)·of·wild2·{
179	················GHC.Types.False·->·GHC.Types.True	179	················GHC.Types.False·->·GHC.Types.True
180	················GHC.Types.True·->·GHC.Types.False·}·}·}]	180	················GHC.Types.True·->·GHC.Types.False·}·}·}]
181	~~69e8161dc47~~d~~7234169f968ba6632de8~~	181	f1a07af99fedee7d0b4b1a3ecc706bb0
182	··$fEqTokSymbol_$c==·::·TokSymbol·->·TokSymbol·->·GHC.Types.Bool	182	··$fEqTokSymbol_$c==·::·TokSymbol·->·TokSymbol·->·GHC.Types.Bool
183	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,	183	··[HasNoCafRefs,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,
184	···Strictness:·<1!P(A,L)><1!P(A,L)>,	184	···Strictness:·<1!P(A,L)><1!P(A,L)>,
185	···Unfolding:·Core:·StableSystem·<2,TrueTrue>	185	···Unfolding:·Core:·StableSystem·<2,TrueTrue>
186	··············\·(x['GHC.Types.Many]·::·TokSymbol)	186	··············\·(x['GHC.Types.Many]·::·TokSymbol)
187	················(y['GHC.Types.Many]·::·TokSymbol)·->	187	················(y['GHC.Types.Many]·::·TokSymbol)·->
188	··············case·x·of·wild·{·TokSymbol·ds·bx·->	188	··············case·x·of·wild·{·TokSymbol·ds·bx·->
189	··············case·y·of·wild1·{·TokSymbol·ds1·bx1·->	189	··············case·y·of·wild1·{·TokSymbol·ds1·bx1·->
190	··············GHC.Prim.tagToEnum#·@GHC.Types.Bool·(GHC.Prim.==#·bx·bx1)·}·}]	190	··············GHC.Prim.tagToEnum#·@GHC.Types.Bool·(GHC.Prim.==#·bx·bx1)·}·}]
191	81~~892b~~3~~ea7~~bcf~~33846de4be8d2128~~9ca	191	85e0d3c8eb2cf4637aac8a695ebb39a9
192	··$fEqTok_$c/=·::·Tok·->·Tok·->·GHC.Types.Bool	192	··$fEqTok_$c/=·::·Tok·->·Tok·->·GHC.Types.Bool
193	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,	193	··[TagSig:·<TagProper>,·LambdaFormInfo:·LFReEntrant·2,·Arity:·2,
194	···Strictness:·<SL><SL>,·Inline:·(sat-args=2),	194	···Strictness:·<SL><SL>,·Inline:·(sat-args=2),
195	···Unfolding:·Core:·StableUser·<2,FalseFalse>	195	···Unfolding:·Core:·StableUser·<2,FalseFalse>
196	··············\·(x['GHC.Types.Many]·::·Tok)·(y['GHC.Types.Many]·::·Tok)·->	196	··············\·(x['GHC.Types.Many]·::·Tok)·(y['GHC.Types.Many]·::·Tok)·->
197	··············case·$fEqTok_$c==·x·y·of·wild·{	197	··············case·$fEqTok_$c==·x·y·of·wild·{
198	················GHC.Types.False·->·GHC.Types.True	198	················GHC.Types.False·->·GHC.Types.True
199	················GHC.Types.True·->·GHC.Types.False·}]	199	················GHC.Types.True·->·GHC.Types.False·}]
200	~~33d4~~f~~1a7~~2~~cd1~~4d6ae~~1015e~~c3~~4b1d~~a~~c42~~	200	ab733fbeb21aa74f8a5d3b2cfac7adcd
201	··$fEqTok_$c==·::·Tok·->·Tok·->·GHC.Types.Bool	201	··$fEqTok_$c==·::·Tok·->·Tok·->·GHC.Types.Bool
202	··[LambdaFormInfo:·LFReEntrant·2,·Arity:·2,·Strictness:·<SL><SL>,	202	··[LambdaFormInfo:·LFReEntrant·2,·Arity:·2,·Strictness:·<SL><SL>,
203	···Unfolding:·Core:·<vanilla>	203	···Unfolding:·Core:·<vanilla>
Max diff block lines reached; 139093/146066 bytes (95.23%) of diff not shown.


Offset 1, 32 lines modified		Offset 1, 32 lines modified
1	Magic:·Wanted·33214052,	1	Magic:·Wanted·33214052,
2	·······got····33214052	2	·······got····33214052
3	Version:·Wanted·9066,	3	Version:·Wanted·9066,
4	·········got····9066	4	·········got····9066
5	Way:·Wanted·,	5	Way:·Wanted·,
6	·····got····~~dyn~~	6	·····got····
7	interface·Language.Lustre.ParLustre·9066	7	interface·Language.Lustre.ParLustre·9066
8	··interface·hash:·d24b5865317021d9915f864bd6deb8c7
9	··ABI·hash:·80dc76716437ee57e361047d4e20609a
10	··~~expo~~rt-~~list~~·hash:·~~6733837~~a3b8c5~~75d~~43804e1~~1b624~~7~~1d2~~	8	··interface·hash:·2a8e2cee0ac9f84052ac3435c4cdf0c7
		9	··ABI·hash:·c4db8199c8ef7e2ecc1263aeb87cdf9a
		10	··export-list·hash:·3dc435299a5fe777cef71af8ba22b7cb
11	··orphan·hash:·693e9af84d3dfcc71e640e005bdc5e2e	11	··orphan·hash:·693e9af84d3dfcc71e640e005bdc5e2e
12	··flag·hash:·0~~8fa78576~~d3~~f499~~60~~e1b~~cb7aed3~~b6260~~	12	··flag·hash:·46216bc9d912f694dce71a0533474bc7
13	··opt_hash:·6c7aa9c86a88606ea9feb346b37abe02	13	··opt_hash:·6c7aa9c86a88606ea9feb346b37abe02
14	··hpc_hash:·93b885adfe0da089cdf634904fd59f71	14	··hpc_hash:·93b885adfe0da089cdf634904fd59f71
15	··plugin_hash:·ad164012d6b1e14942349d58b1132007	15	··plugin_hash:·ad164012d6b1e14942349d58b1132007
16	··src_hash:·4b45c691f50c2d8d49971e3299918a89	16	··src_hash:·4b45c691f50c2d8d49971e3299918a89
17	··sig·of:·Nothing	17	··sig·of:·Nothing
18	··used·TH·splices:·False	18	··used·TH·splices:·False
19	··where	19	··where
20	exports:	20	exports:
21	··happyError	21	··happyError
22	··myLexer	22	··myLexer
23	··pBoolSpec	23	··pBoolSpec
24	direct·module·dependencies:·ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~:Language.Lustre.AbsLustre	24	direct·module·dependencies:·ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia:Language.Lustre.AbsLustre
25	····························ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~:Language.Lustre.LexLustre	25	····························ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia:Language.Lustre.LexLustre
26	boot·module·dependencies:	26	boot·module·dependencies:
27	direct·package·dependencies:·array-0.5.6.0·base-4.18.2.1	27	direct·package·dependencies:·array-0.5.6.0·base-4.18.2.1
28	plugin·package·dependencies:	28	plugin·package·dependencies:
29	orphans:·GHC.Base·GHC.Float·GHC.Prim.Ext	29	orphans:·GHC.Base·GHC.Float·GHC.Prim.Ext
30	family·instance·modules:·Control.Applicative·Control.Arrow	30	family·instance·modules:·Control.Applicative·Control.Arrow
31	·························Data.Functor.Const·Data.Functor.Identity·Data.Monoid	31	·························Data.Functor.Const·Data.Functor.Identity·Data.Monoid
32	·························Data.Semigroup.Internal·Data.Type.Ord·Data.Version·GHC.Generics	32	·························Data.Semigroup.Internal·Data.Type.Ord·Data.Version·GHC.Generics
Offset 44, 776 lines modified		Offset 44, 776 lines modified
44	import··-/··GHC.Exts·565f1da425848dd16bbcc60fe089b6c0	44	import··-/··GHC.Exts·565f1da425848dd16bbcc60fe089b6c0
45	import··-/··GHC.List·244787dcc3037f446e8b7d3bd355cd6c	45	import··-/··GHC.List·244787dcc3037f446e8b7d3bd355cd6c
46	import··-/··GHC.Num·ea8b1f3a62ef54a9fb64ffc32cb719e9	46	import··-/··GHC.Num·ea8b1f3a62ef54a9fb64ffc32cb719e9
47	import··-/··GHC.Real·e939e7e838e744ae152556c1fbe03de3	47	import··-/··GHC.Real·e939e7e838e744ae152556c1fbe03de3
48	import··-/··Prelude·a1ae76d73d35cc0683dc06ee0b1f4dc2	48	import··-/··Prelude·a1ae76d73d35cc0683dc06ee0b1f4dc2
49	import··-/··Text.Read·6547f8f7fdce769a43093e83983c3bd7	49	import··-/··Text.Read·6547f8f7fdce769a43093e83983c3bd7
50	import··-/··Unsafe.Coerce·1eaeaade422de388214be89f03374c39	50	import··-/··Unsafe.Coerce·1eaeaade422de388214be89f03374c39
51	import··-/··ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH:Language.Lustre.AbsLustre·fd1998c28ac6625fc6bca72ad02e55d3
52	··exports:·5c84cc953a74c5d14bb6e9714133012f
53	··BoolConst·d793af7a432a1c7a6647a1ed255ddbe0
54	··BoolConstFTP·565d01de1b6f20aceed4566326dd66c5
55	··BoolConstFalse·aa4fce099987875b98608a85b94c2e95
56	··BoolConstTrue·c708f59b7b364032d986dd7105be5ec8
57	··BoolNumOp·1e304054b3a7c76b455e1c1fed28bbf2
58	··BoolNumOp2Eq·2f2e17dd98489c7426df1e9457be7c59
59	··BoolNumOp2Ge·c5930b32aea7ff1c90ace02ea2cc67d0
60	··BoolNumOp2Gt·51be79c1ff826898297b6cff20d253ac
61	··BoolNumOp2Le·8dddfdac5e64a507c629cdab55656014
62	··BoolNumOp2Lt·ad047f197c13863193240708354ce24d
63	··BoolNumOp2Ne·3a884cd7363a7eefdef26645f10850da
64	··BoolSpec·e75baf267b25a1fdeea3c2b1c2bb815e
65	··BoolSpecConstB·8d01b968bd6e9c197a45baf7def8694b
66	··BoolSpecConstD·450164da0f9c60743708bdab99f4f88c
67	··BoolSpecConstI·362f8b4f04c484d87c29c650f59edd70
68	··BoolSpecOp1Pre·601e1b89a28340a4bc6eaa0f0ec45e85
69	··BoolSpecOp2HT·b03942a3a976aa3c92a3ec459c6fac8b
70	··BoolSpecOp2In·0b98860a87560a256b2c7c860a7c8a74
71	··BoolSpecOp2OT·c20be26dd7adb632dfc20ea7b29c6913
72	··BoolSpecOp2Pre·a67377b443272d726d9d8b0571e2bd4f
73	··BoolSpecOp2ST·f2e1886e08bb3d8c7337509c5d4d78cd
74	··BoolSpecPar·2b020b0478158448f641cad6f06e5962
75	··BoolSpecSignal·0f7c7764b8bb6b7576cbaf8b0c8ab49c
76	··Ident·c0cd53bb474b2f52319dc1a88892c113
77	··Ident·9eb2dd1c8e12f36b86f6cce8b957b116
78	··NumExpr·b841be6cb6573b6f1076b6762a67ee91
79	··NumExprId·11ac9d614bb2248fd44f7e54c9181dee
80	··NumExprNum·245a1836d3154ad927b12005bcadcc46
81	··NumExprOp2In·6f5a6117b908521bab70816fbaaaf394
82	··NumExprPar·7107575de9c42119d3176ef5c8d005cb
83	··NumOp2In·dada08943ec1ec9611537f94861f721c
84	··NumOp2Minus·8108d6ccab1c34ecbe237bc5d84c7143
85	··NumOp2Mult·397b99b6c98c048ff21c572a2214fb8d
86	··NumOp2Plus·598cbcc41d93732865bbde28612b82a1
87	··Op1Bang·ac72577d42542244faa521207d0399b0
88	··Op1Hist·1acf73d6874da308102141ae82249672
89	··Op1Not·00fbed0052393c07b8887c453e69529c
90	··Op1Once·e1d1609fbd1113b79f59b79fef2fc073
91	··Op1Pre·aa3ce678c71147eeb03cb5a85958bac3
92	··Op1Pre·50b83f107161146faae147d1bcced518
93	··Op1Y·da5f6b35c0a4533aec16c4cf32b45b3b
94	··Op1YtoPre·8e632b8f2ede0ee0131aed913138c01a
95	··Op1ZtoPre·561d607c12e5d292f159dbe974d60264
96	··Op2Amp·39e501f889e8b908314290c37c533d2f
97	··Op2And·022583d31960947bd083fb3f6d7f13e6
98	··Op2Impl·7dc22a6f16a1994c20a8b2b71972527d
99	··Op2In·d6987dad1e8078966896db100ecc9985
100	··Op2InPre·378504fc47d55aa449186b98d8a2394d
101	··Op2NumCmp·69d206a51017b9c76a7d3915622328ce
102	··Op2NumOp·dfff937372951ab74034510fe5c390c0
103	··Op2OT·6d53ac26310e56ae82b3b7b1f140393d
104	··Op2Or·bf82c2a0da632e37f834b120d3c72cbd
105	··Op2Pre·e1afd8e5fa7ff600e6efcdf237993213
106	··Op2SI·4302f933f0bcb450493ca6324142044f
107	import··-/··ogma-language-lustre-1.10.0-GjHmvjpOKwHBvDpn3xuNLH:Language.Lustre.LexLustre·60dec7d277f861058e38fd5f3a759f3a
108	··exports:·d5cda400e9dd8fdd7a16e87af24c78d0
109	··Err·c83d43aff6ea1e9aba60c7ad43583cc7
110	··PT·db2e876e69ed357afb5158e213c705fc
111	··TD·a682f47a136edffd91364102b283a576
112	··TI·88831e481e964f6b74e72193bf932efd
113	··TS·47ef884206954c64ab46647b0d7d359b
114	··TV·a28665ec4026630493b2305ec4b8be92
115	··Token·f721881e0aac5a508fdea6939b5e60fb
116	··prToken·3fb952aec98bed6c916d5d5b888f5e90
117	··tokenPos·89ed926a7988d813458725b9231216c0
118	··token~~s·e7~~a8e~~973782~~b~~3d0d~~6857~~234~~3c~~10a4528~~	51	import··-/··ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia:Language.Lustre.AbsLustre·6624a62a4b8595b75b5731c8dee0c766
		52	··exports:·7b63eafb941fb58597c6f3c1b89a023c
		53	··BoolConst·77bb593b463cfd19ece2b9360ab7cb54
		54	··BoolConstFTP·bf785348d448ef07a5761aae677cf657
		55	··BoolConstFalse·b1f18c3ad6c5d784eef1579f4a0a32a8
		56	··BoolConstTrue·bfced988c9477fa17aeee0b0fd8d5036
		57	··BoolNumOp·352c55675e44632eb460fc65dbe79d23
		58	··BoolNumOp2Eq·326caf05e3122d323f6654559037eefb
		59	··BoolNumOp2Ge·3f82d66150b62f4268f1a1bf339dbe44
		60	··BoolNumOp2Gt·85f23fc216c675327e4ec3466ba8e660
		61	··BoolNumOp2Le·f78586e8b9e9f6e98496d9c7181344aa
		62	··BoolNumOp2Lt·47663e9e78427e0a283750b0b6e90a21
		63	··BoolNumOp2Ne·49e797ba6569cb2b9c508b3cfdc475af
		64	··BoolSpec·12cbfe35d3ac3bfcfe0f826fde1aee7e
		65	··BoolSpecConstB·47b4d6bb2288a198c075a8ecbc50d3f0
		66	··BoolSpecConstD·c0b4a5968d98ecb3b6d364d2caa5e23d
		67	··BoolSpecConstI·4920d049166088e0b4d67cf3ffc7c742
		68	··BoolSpecOp1Pre·18590c18cbb89a0f9970a0397ebd2f1e
Max diff block lines reached; 40591/49389 bytes (82.19%) of diff not shown.


Offset 282, 16 lines modified		Offset 282, 16 lines modified
00001190:·00c2·0100·0004·00c3·0100·0004·00c4·0100··................		00001190:·00c2·0100·0004·00c3·0100·0004·00c4·0100··................
000011a0:·0004·00c5·0100·0004·00c6·0100·0004·00c7··................		000011a0:·0004·00c5·0100·0004·00c6·0100·0004·00c7··................
000011b0:·0100·0004·00c8·0100·0004·00c9·0100·0004··................		000011b0:·0100·0004·00c8·0100·0004·00c9·0100·0004··................
000011c0:·00ca·0100·0004·00cb·0100·0004·00cc·0100··................		000011c0:·00ca·0100·0004·00cb·0100·0004·00cc·0100··................
000011d0:·0004·00cd·0100·0004·00ce·0100·0003·03cf··................		000011d0:·0004·00cd·0100·0004·00ce·0100·0003·03cf··................
000011e0:·0100·0003·01cf·01d0·0132·6f67·6d61·2d6c··.........2ogma-l		000011e0:·0100·0003·01cf·01d0·0132·6f67·6d61·2d6c··.........2ogma-l
000011f0:·616e·6775·6167·652d·6c75·7374·7265·2d31··anguage-lustre-1		000011f0:·616e·6775·6167·652d·6c75·7374·7265·2d31··anguage-lustre-1
00001200:·2e31·302e·302d·476a·486d·766a·704f·4b77··.10.0-GjHmvjpOKw
00001210:·~~4842~~·~~7644~~·706e·3378·754e·~~4c48~~·194c·616e··~~HBvDpn3xuNLH.Lan~~		00001200:·2e31·302e·302d·4679·794d·5a59·6f49·496b··.10.0-FyyMZYoIIk
		00001210:·4c45·3169·4830·706e·3045·6961·194c·616e··LE1iH0pn0Eia.Lan
00001220:·6775·6167·652e·4c75·7374·7265·2e41·6273··guage.Lustre.Abs		00001220:·6775·6167·652e·4c75·7374·7265·2e41·6273··guage.Lustre.Abs
00001230:·4c75·7374·7265·194c·616e·6775·6167·652e··Lustre.Language.		00001230:·4c75·7374·7265·194c·616e·6775·6167·652e··Lustre.Language.
00001240:·4c75·7374·7265·2e4c·6578·4c75·7374·7265··Lustre.LexLustre		00001240:·4c75·7374·7265·2e4c·6578·4c75·7374·7265··Lustre.LexLustre
00001250:·194c·616e·6775·6167·652e·4c75·7374·7265··.Language.Lustre		00001250:·194c·616e·6775·6167·652e·4c75·7374·7265··.Language.Lustre
00001260:·2e50·6172·4c75·7374·7265·1b4c·616e·6775··.ParLustre.Langu		00001260:·2e50·6172·4c75·7374·7265·1b4c·616e·6775··.ParLustre.Langu
00001270:·6167·652e·4c75·7374·7265·2e50·7269·6e74··age.Lustre.Print		00001270:·6167·652e·4c75·7374·7265·2e50·7269·6e74··age.Lustre.Print
00001280:·4c75·7374·7265·146f·676d·612d·6c61·6e67··Lustre.ogma-lang		00001280:·4c75·7374·7265·146f·676d·612d·6c61·6e67··Lustre.ogma-lang


Offset 1, 15 lines modified		Offset 1, 15 lines modified
1	Package:·libghc-ogma-language-lustre-prof	1	Package:·libghc-ogma-language-lustre-prof
2	Source:·haskell-ogma-language-lustre	2	Source:·haskell-ogma-language-lustre
3	Version:·1.10.0-1	3	Version:·1.10.0-1
4	Architecture:·amd64	4	Architecture:·amd64
5	Maintainer:·Debian·Haskell·Group·<pkg-haskell-maintainers@lists.alioth.debian.org>	5	Maintainer:·Debian·Haskell·Group·<pkg-haskell-maintainers@lists.alioth.debian.org>
6	Installed-Size:·1761	6	Installed-Size:·1765
7	Depends:·libghc-array-prof-0.5.6.0-65c23,·libghc-base-prof-4.18.2.1-8e81e,·libghc-ogma-language-lustre-dev·(=·1.10.0-1)	7	Depends:·libghc-array-prof-0.5.6.0-65c23,·libghc-base-prof-4.18.2.1-8e81e,·libghc-ogma-language-lustre-dev·(=·1.10.0-1)
8	Provides:·libghc-ogma-language-lustre-prof-1.10.0-~~5e1c2~~	8	Provides:·libghc-ogma-language-lustre-prof-1.10.0-3764a
9	Section:·haskell	9	Section:·haskell
10	Priority:·optional	10	Priority:·optional
11	Homepage:·https://github.com/nasa/ogma	11	Homepage:·https://github.com/nasa/ogma
12	Description:·Runtime·Monitor·translator:·Lustre·Language·Frontend;·profiling·libraries	12	Description:·Runtime·Monitor·translator:·Lustre·Language·Frontend;·profiling·libraries
13	·Ogma·is·a·tool·to·facilitate·the·integration·of·safe·runtime·monitors·into	13	·Ogma·is·a·tool·to·facilitate·the·integration·of·safe·runtime·monitors·into
14	·other·systems.·Ogma·extends	14	·other·systems.·Ogma·extends
15	·<https://github.com/Copilot-Language/copilot·Copilot>,·a·high-level·runtime	15	·<https://github.com/Copilot-Language/copilot·Copilot>,·a·high-level·runtime


Offset 1, 8 lines modified		Offset 1, 8 lines modified
1	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/AbsLustre.p_hi	1	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.p_hi
2	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/LexLustre.p_hi	2	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.p_hi
3	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/ParLustre.p_hi	3	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.p_hi
4	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/PrintLustre.p_hi	4	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.p_hi
5	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/libHSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~_p.a	5	usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia_p.a
6	usr/share/doc/libghc-ogma-language-lustre-prof/changelog.Debian.gz	6	usr/share/doc/libghc-ogma-language-lustre-prof/changelog.Debian.gz
7	usr/share/doc/libghc-ogma-language-lustre-prof/changelog.gz	7	usr/share/doc/libghc-ogma-language-lustre-prof/changelog.gz
8	usr/share/doc/libghc-ogma-language-lustre-prof/copyright	8	usr/share/doc/libghc-ogma-language-lustre-prof/copyright


Offset 1, 21 lines modified		Offset 1, 21 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/
7	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/	7	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/
9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/	9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/
10	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/	10	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/
11	-rw-r--r--···0·root·········(0)·root·········(0)····84716·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/AbsLustre.p_hi	11	-rw-r--r--···0·root·········(0)·root·········(0)····84712·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/AbsLustre.p_hi
12	-rw-r--r--···0·root·········(0)·root·········(0)····62098·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/LexLustre.p_hi	12	-rw-r--r--···0·root·········(0)·root·········(0)····62098·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/LexLustre.p_hi
13	-rw-r--r--···0·root·········(0)·root·········(0)····17250·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/ParLustre.p_hi	13	-rw-r--r--···0·root·········(0)·root·········(0)····17260·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/ParLustre.p_hi
14	-rw-r--r--···0·root·········(0)·root·········(0)····29984·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/Language/Lustre/PrintLustre.p_hi	14	-rw-r--r--···0·root·········(0)·root·········(0)····29995·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/Language/Lustre/PrintLustre.p_hi
15	-rw-r--r--···0·root·········(0)·root·········(0)··15~~88628~~·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~/libHSogma-language-lustre-1.10.0-~~GjHmvjpOKwHBvDpn3xuNLH~~_p.a	15	-rw-r--r--···0·root·········(0)·root·········(0)··1592770·2025-09-23·03:09:36.000000·./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia/libHSogma-language-lustre-1.10.0-FyyMZYoIIkLE1iH0pn0Eia_p.a
16	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/	16	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/
17	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/	17	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/
18	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/	18	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/
19	-rw-r--r--···0·root·········(0)·root·········(0)······218·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/changelog.Debian.gz	19	-rw-r--r--···0·root·········(0)·root·········(0)······218·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/changelog.Debian.gz
20	-rw-r--r--···0·root·········(0)·root·········(0)······776·2025-09-22·13:17:22.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/changelog.gz	20	-rw-r--r--···0·root·········(0)·root·········(0)······776·2025-09-22·13:17:22.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/changelog.gz
21	-rw-r--r--···0·root·········(0)·root·········(0)·····1217·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/copyright	21	-rw-r--r--···0·root·········(0)·root·········(0)·····1217·2025-09-23·03:09:36.000000·./usr/share/doc/libghc-ogma-language-lustre-prof/copyright