Job 2865

CakeML:b378040fc02c949ecd0a24ced798201a572514a4
  Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48]
HOL:86a75cd8d1485d21d884aaa99aef55e9299ffb62
  [termination] [Jun 14 17:10:27]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jun 18 06:53:36 Claimed job
Jun 18 06:53:38 Reusing HOL
Jun 18 06:53:48 Starting developers
Jun 18 06:53:49 Finished developers                                               0s  34MB
Jun 18 06:53:49 Starting developers/bin
Jun 18 06:53:53 Finished developers/bin                                           4s 479MB
Jun 18 06:53:53 Starting misc
Jun 18 06:54:36 Finished misc                                                    42s   1GB
Jun 18 06:54:36 Starting compiler/proofs
Jun 18 08:47:25 Finished compiler/proofs                                    1h52m48s  29GB
Jun 18 08:47:25 Starting compiler/bootstrap/translation
Jun 18 14:44:49 Finished compiler/bootstrap/translation                     5h57m23s  57GB
Jun 18 14:44:50 Starting semantics/ffi
Jun 18 14:44:58 Finished semantics/ffi                                            8s 547MB
Jun 18 14:44:58 Starting semantics
Jun 18 14:44:59 Finished semantics                                                0s  63MB
Jun 18 14:44:59 Starting semantics/proofs
Jun 18 14:45:23 Finished semantics/proofs                                        23s 837MB
Jun 18 14:45:24 Starting semantics/alt_semantics
Jun 18 14:45:45 Finished semantics/alt_semantics                                 21s 888MB
Jun 18 14:45:45 Starting semantics/alt_semantics/proofs
Jun 18 14:56:55 Finished semantics/alt_semantics/proofs                       11m09s   2GB
Jun 18 14:56:55 Starting basis/pure
Jun 18 14:56:57 Finished basis/pure                                               1s  97MB
Jun 18 14:56:57 Starting translator
Jun 18 14:58:37 Finished translator                                            1m39s   2GB
Jun 18 14:58:37 Starting compiler/parsing
Jun 18 14:58:38 Finished compiler/parsing                                         0s  70MB
Jun 18 14:58:38 Starting characteristic
Jun 18 14:58:40 Finished characteristic                                           1s 122MB
Jun 18 14:58:40 Starting translator/monadic
Jun 18 14:58:42 Finished translator/monadic                                       1s 124MB
Jun 18 14:58:42 Starting translator/monadic/monad_base
Jun 18 14:58:43 Finished translator/monadic/monad_base                            0s  59MB
Jun 18 14:58:43 Starting basis
Jun 18 15:01:21 Finished basis                                                 2m37s   4GB
Jun 18 15:01:21 Starting compiler
Jun 18 15:01:24 Finished compiler                                                 2s 210MB
Jun 18 15:01:24 Starting compiler/inference
Jun 18 15:01:26 Finished compiler/inference                                       1s 119MB
Jun 18 15:01:26 Starting compiler/backend/reg_alloc
Jun 18 15:01:27 Finished compiler/backend/reg_alloc                               0s  64MB
Jun 18 15:01:27 Starting compiler/backend/gc
Jun 18 15:01:29 Finished compiler/backend/gc                                      1s 143MB
Jun 18 15:01:29 Starting compiler/backend
Jun 18 15:01:34 Finished compiler/backend                                         4s 255MB
Jun 18 15:01:34 Starting compiler/encoders/asm
Jun 18 15:01:35 Finished compiler/encoders/asm                                    1s  93MB
Jun 18 15:01:36 Starting compiler/encoders/x64
Jun 18 15:01:37 Finished compiler/encoders/x64                                    1s  90MB
Jun 18 15:01:37 Starting compiler/encoders/arm7
Jun 18 15:01:38 Finished compiler/encoders/arm7                                   1s  90MB
Jun 18 15:01:38 Starting compiler/encoders/arm8
Jun 18 15:01:40 Finished compiler/encoders/arm8                                   1s  90MB
Jun 18 15:01:40 Starting compiler/encoders/arm8_asl
Jun 18 17:19:32 Finished compiler/encoders/arm8_asl                         2h17m52s  37GB
Jun 18 17:19:32 Starting compiler/encoders/mips
Jun 18 17:19:34 Finished compiler/encoders/mips                                   1s  92MB
Jun 18 17:19:34 Starting compiler/encoders/riscv
Jun 18 17:19:35 Finished compiler/encoders/riscv                                  1s  94MB
Jun 18 17:19:35 Starting compiler/encoders/ag32
Jun 18 17:19:37 Finished compiler/encoders/ag32                                   1s  88MB
Jun 18 17:19:37 Starting compiler/encoders/tests
Jun 18 17:19:38 Finished compiler/encoders/tests                                  1s 110MB
Jun 18 17:19:39 Starting compiler/encoders/monadic_enc
Jun 18 17:19:41 Finished compiler/encoders/monadic_enc                            1s 146MB
Jun 18 17:19:41 Starting compiler/backend/x64
Jun 18 17:19:43 Finished compiler/backend/x64                                     1s 146MB
Jun 18 17:19:43 Starting compiler/backend/arm7
Jun 18 17:19:45 Finished compiler/backend/arm7                                    1s 146MB
Jun 18 17:19:45 Starting compiler/backend/arm8
Jun 18 17:19:47 Finished compiler/backend/arm8                                    1s 145MB
Jun 18 17:19:47 Starting compiler/backend/mips
Jun 18 17:19:49 Finished compiler/backend/mips                                    1s 140MB
Jun 18 17:19:49 Starting compiler/backend/riscv
Jun 18 17:19:51 Finished compiler/backend/riscv                                   1s 145MB
Jun 18 17:19:51 Starting compiler/backend/ag32
Jun 18 17:21:02 Finished compiler/backend/ag32                                 1m10s   1GB
Jun 18 17:21:02 Starting compiler/backend/pattern_matching
Jun 18 17:21:03 Finished compiler/backend/pattern_matching                        0s  63MB
Jun 18 17:21:03 Starting compiler/parsing/ocaml
Jun 18 17:22:58 Finished compiler/parsing/ocaml                                1m54s   1GB
Jun 18 17:22:59 Starting compiler/printing
Jun 18 17:23:00 Finished compiler/printing                                        1s 129MB
Jun 18 17:23:00 Starting compiler/parsing/proofs
Jun 18 17:23:01 Finished compiler/parsing/proofs                                  0s  68MB
Jun 18 17:23:02 Starting compiler/inference/proofs
Jun 18 17:23:03 Finished compiler/inference/proofs                                1s 120MB
Jun 18 17:23:04 Starting compiler/backend/semantics
Jun 18 17:26:20 Finished compiler/backend/semantics                            3m16s   2GB
Jun 18 17:26:20 Starting compiler/backend/reg_alloc/proofs
Jun 18 17:26:22 Finished compiler/backend/reg_alloc/proofs                        1s 126MB
Jun 18 17:26:22 Starting compiler/backend/proofs
Jun 18 17:27:10 Finished compiler/backend/proofs                                 47s   3GB
Jun 18 17:27:10 Starting compiler/backend/serialiser
Jun 18 17:27:12 Finished compiler/backend/serialiser                              1s 150MB
Jun 18 17:27:12 Starting compiler/encoders/x64/proofs
Jun 18 17:37:48 Finished compiler/encoders/x64/proofs                         10m35s   5GB
Jun 18 17:37:48 Starting compiler/encoders/arm7/proofs
Jun 18 17:51:34 Finished compiler/encoders/arm7/proofs                        13m45s  11GB
Jun 18 17:51:34 Starting compiler/encoders/arm8/proofs
Jun 18 17:58:50 Finished compiler/encoders/arm8/proofs                         7m15s   3GB
Jun 18 17:58:50 Starting compiler/encoders/arm8_asl/proofs
Jun 18 18:51:40 Finished compiler/encoders/arm8_asl/proofs                    52m49s  19GB
Jun 18 18:51:41 Starting compiler/encoders/mips/proofs
Jun 18 19:02:15 Finished compiler/encoders/mips/proofs                        10m33s   3GB
Jun 18 19:02:15 Starting compiler/encoders/riscv/proofs
Jun 18 19:11:04 Finished compiler/encoders/riscv/proofs                        8m48s   3GB
Jun 18 19:11:04 Starting compiler/encoders/ag32/proofs
Jun 18 19:14:06 Finished compiler/encoders/ag32/proofs                         3m02s   2GB
Jun 18 19:14:07 Starting compiler/backend/x64/proofs
Jun 18 19:14:37 Finished compiler/backend/x64/proofs                             30s   2GB
Jun 18 19:14:37 Starting compiler/backend/arm7/proofs
Jun 18 19:15:06 Finished compiler/backend/arm7/proofs                            29s   1GB
Jun 18 19:15:07 Starting compiler/backend/arm8/proofs
Jun 18 19:15:35 Finished compiler/backend/arm8/proofs                            28s   1GB
Jun 18 19:15:35 Starting compiler/backend/arm8_asl
Jun 18 19:15:58 Finished compiler/backend/arm8_asl                               22s   1GB
Jun 18 19:15:58 Starting compiler/backend/mips/proofs
Jun 18 19:16:28 Finished compiler/backend/mips/proofs                            29s   2GB
Jun 18 19:16:29 Starting compiler/backend/riscv/proofs
Jun 18 19:16:59 Finished compiler/backend/riscv/proofs                           30s   2GB
Jun 18 19:17:00 Starting compiler/backend/ag32/proofs
Jun 18 19:31:02 Finished compiler/backend/ag32/proofs                         14m01s   5GB
Jun 18 19:31:02 Starting compiler/backend/cv_compute
Jun 18 19:32:18 Finished compiler/backend/cv_compute                           1m15s   1GB
Jun 18 19:32:18 Starting cv_translator
Jun 18 19:52:55 Finished cv_translator                                        20m36s   6GB
Jun 18 19:52:55 Starting candle
Jun 18 19:52:55 Finished candle                                                   0s  17MB
Jun 18 19:52:56 Starting candle/set-theory
Jun 18 19:53:29 Finished candle/set-theory                                       33s   1GB
Jun 18 19:53:30 Starting candle/syntax-lib
Jun 18 19:53:31 Finished candle/syntax-lib                                        1s  98MB
Jun 18 19:53:31 Starting candle/standard
Jun 18 19:53:31 Finished candle/standard                                          0s  17MB
Jun 18 19:53:32 Starting candle/standard/syntax
Jun 18 19:53:43 Finished candle/standard/syntax                                  11s 727MB
Jun 18 19:53:43 Starting candle/standard/semantics
Jun 18 19:55:43 Finished candle/standard/semantics                             1m59s   2GB
Jun 18 19:55:43 Starting candle/standard/monadic
Jun 18 19:55:45 Finished candle/standard/monadic                                  1s 126MB
Jun 18 19:55:45 Starting candle/standard/ml_kernel
Jun 18 19:57:31 Finished candle/standard/ml_kernel                             1m45s   4GB
Jun 18 19:57:31 Starting candle/standard/ml_kernel/lisp
Jun 18 19:57:32 Finished candle/standard/ml_kernel/lisp                           0s  55MB
Jun 18 19:57:32 Starting candle/overloading
Jun 18 19:57:32 Finished candle/overloading                                       0s  17MB
Jun 18 19:57:32 Starting candle/overloading/syntax
Jun 18 20:00:54 Finished candle/overloading/syntax                             3m21s   1GB
Jun 18 20:00:54 Starting candle/overloading/semantics
Jun 18 20:12:27 Finished candle/overloading/semantics                         11m32s   5GB
Jun 18 20:12:27 Starting candle/overloading/monadic
Jun 18 20:14:53 Finished candle/overloading/monadic                            2m25s   1GB
Jun 18 20:14:53 Starting candle/overloading/ml_kernel
Jun 18 20:22:32 Finished candle/overloading/ml_kernel                          7m38s   6GB
Jun 18 20:22:32 Starting candle/overloading/ml_checker
Jun 18 20:24:48 Finished candle/overloading/ml_checker                         2m15s   6GB
Jun 18 20:24:48 Starting candle/prover
Jun 18 20:35:17 Finished candle/prover                                        10m28s   5GB
Jun 18 20:35:17 Starting candle/prover/compute
Jun 18 20:35:19 Finished candle/prover/compute                                    1s 154MB
Jun 18 20:35:19 Starting pancake
Jun 18 20:35:21 Finished pancake                                                  1s 140MB
Jun 18 20:35:21 Starting pancake/semantics
Jun 18 20:38:47 Finished pancake/semantics                                     3m24s   2GB
Jun 18 20:38:47 Starting pancake/parser
Jun 18 20:39:32 Finished pancake/parser                                          44s 488MB
Jun 18 20:39:32 Starting pancake/static_checker
Jun 18 20:40:41 Finished pancake/static_checker                                1m08s   1GB
Jun 18 20:40:41 Starting pancake/proofs
Jun 18 21:14:05 Finished pancake/proofs                                       33m24s   5GB
Jun 18 21:14:05 Starting compiler/dafny
Jun 18 21:19:49 Finished compiler/dafny                                        5m43s  11GB
Jun 18 21:19:50 Starting compiler/dafny/translation
Jun 18 21:41:21 Finished compiler/dafny/translation                           21m30s  19GB
Jun 18 21:41:21 Starting compiler/dafny/compilation
Jun 18 21:44:07 Finished compiler/dafny/compilation                            2m45s  12GB
Jun 18 21:44:07 Starting compiler/dafny/semantics
Jun 18 21:44:47 Finished compiler/dafny/semantics                                39s   1GB
Jun 18 21:44:47 Starting characteristic/examples
Jun 18 21:46:19 Finished characteristic/examples                               1m31s   4GB
Jun 18 21:46:20 Starting tutorial/solutions
Jun 18 21:48:47 Finished tutorial/solutions                                    2m27s   3GB
Jun 18 21:48:48 Starting translator/monadic/examples
Jun 18 21:52:35 Finished translator/monadic/examples                           3m47s   3GB
Jun 18 21:52:35 Starting examples
Jun 18 22:00:26 Finished examples                                              7m50s   4GB
Jun 18 22:00:26 Starting examples/compilation
Jun 18 22:00:27 Finished examples/compilation                                     0s  17MB
Jun 18 22:00:27 Starting examples/compilation/x64
Jun 18 22:04:22 FAILED: examples/compilation/x64
Scanning $(HOLDIR)/src/TeX
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/src/integer
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/algebra/base
Scanning $(HOLDIR)/src/algebra/construction
Scanning $(HOLDIR)/src/algebra
Scanning $(HOLDIR)/src/hol88
Scanning $(HOLDIR)/src/rational
Scanning $(HOLDIR)/src/real
Scanning $(HOLDIR)/src/real/analysis
Scanning $(HOLDIR)/examples/misc
Scanning $(HOLDIR)/examples/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/src/search
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/translator
Scanning $(CAKEMLDIR)/characteristic
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/translator/monadic
Scanning $(CAKEMLDIR)/basis
Scanning $(HOLDIR)/examples/algorithms
Scanning $(HOLDIR)/examples/machine-code/multiword
Scanning $(CAKEMLDIR)/compiler/backend/pattern_matching
Scanning $(CAKEMLDIR)/unverified/reg_alloc
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc
Scanning $(HOLDIR)/src/floating-point
Scanning $(HOLDIR)/src/monad/more_monads
Scanning $(HOLDIR)/src/update
Scanning $(HOLDIR)/examples/l3-machine-code/common
Scanning $(CAKEMLDIR)/compiler/encoders/asm
Scanning $(CAKEMLDIR)/compiler/backend
Scanning $(CAKEMLDIR)/compiler/encoders/ag32
Scanning $(CAKEMLDIR)/compiler/backend/ag32
Scanning $(HOLDIR)/examples/l3-machine-code/lib
Scanning $(HOLDIR)/examples/l3-machine-code/arm/model
Scanning $(HOLDIR)/examples/machine-code/decompiler
Scanning $(HOLDIR)/examples/l3-machine-code
Scanning $(HOLDIR)/examples/l3-machine-code/arm/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm7
Scanning $(CAKEMLDIR)/compiler/backend/arm7
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/model
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm8
Scanning $(CAKEMLDIR)/compiler/backend/arm8
Scanning $(HOLDIR)/examples/l3-machine-code/mips/model
Scanning $(HOLDIR)/examples/l3-machine-code/mips/step
Scanning $(CAKEMLDIR)/compiler/encoders/mips
Scanning $(CAKEMLDIR)/compiler/backend/mips
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/model
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/step
Scanning $(CAKEMLDIR)/compiler/encoders/riscv
Scanning $(CAKEMLDIR)/compiler/backend/riscv
Scanning $(HOLDIR)/examples/l3-machine-code/x64/model
Scanning $(HOLDIR)/examples/l3-machine-code/x64/step
Scanning $(CAKEMLDIR)/compiler/encoders/x64
Scanning $(CAKEMLDIR)/compiler/backend/x64
Scanning $(HOLDIR)/examples/algorithms/unification/triangular
Scanning $(HOLDIR)/src/transfer/examples
Scanning $(HOLDIR)/examples/algorithms/unification/triangular/first-order
Scanning $(HOLDIR)/examples/algorithms/unification/triangular/first-order/compilation
Scanning $(CAKEMLDIR)/compiler/inference
Scanning $(CAKEMLDIR)/pancake
Scanning $(CAKEMLDIR)/pancake/parser
Scanning $(CAKEMLDIR)/compiler
Scanning $(HOLDIR)/src/num/theories/cv_compute/automation
Scanning $(HOLDIR)/examples/bootstrap
Scanning $(CAKEMLDIR)/compiler/backend/serialiser
Scanning $(CAKEMLDIR)/compiler/backend/cv_compute
Scanning $(CAKEMLDIR)/cv_translator
Scanning $(HOLDIR)/examples/Crypto/AES
Scanning $(HOLDIR)/src/probability
Scanning $(HOLDIR)/examples/Crypto/DES
Scanning $(HOLDIR)/examples/Crypto/IDEA
Scanning $(HOLDIR)/examples/Crypto/Keccak
Scanning $(HOLDIR)/examples/Crypto/MARS
Scanning $(HOLDIR)/examples/Crypto/MD5
Scanning $(HOLDIR)/examples/Crypto/RC6
Scanning $(HOLDIR)/examples/Crypto/SHA-1
Scanning $(HOLDIR)/examples/Crypto/Serpent/Bitslice
Scanning $(HOLDIR)/examples/Crypto/Serpent/Reference
Scanning $(HOLDIR)/src/emit
Scanning $(HOLDIR)/examples/Crypto/TEA
Scanning $(HOLDIR)/examples/Crypto/TWOFISH
Scanning $(HOLDIR)/examples/Crypto
Scanning $(CAKEMLDIR)/examples
Scanned 104 directories
Linking /home/myreen/regression/cakeml-2865/examples/compilation/x64/catCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "catCompile">>
eval_cake: config EVAL-ed --- Thu Jun 19 00:00:42 2025
Saved theorem _______ "cat_prog_cv_eq"
Saved theorem _______ "cat_prog_cv_thm"
Able to translate: cat_progeval_cake: cv_trans_deep_embedding prog_def finished --- Thu Jun 19 00:00:46 2025
eval_cake: about to run cv_eval on to_livesets_def --- Thu Jun 19 00:00:46 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1053 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval to_livesets finished --- Thu Jun 19 00:00:50 2025
Num regs: 9 Alg: IRC
0 moves: 64	coalesceable: 43	coalesced: 41
1 moves: 20	coalesceable: 20	coalesced: 19
2 moves: 81	coalesceable: 61	coalesced: 51
3 moves: 24	coalesceable: 24	coalesced: 21
4 moves: 14	coalesceable: 14	coalesced: 13
5 moves: 134	coalesceable: 108	coalesced: 100
6 moves: 7	coalesceable: 7	coalesced: 7
7 moves: 7	coalesceable: 7	coalesced: 7
8 moves: 7	coalesceable: 7	coalesced: 7
9 moves: 7	coalesceable: 7	coalesced: 7
10 moves: 7	coalesceable: 7	coalesced: 7
11 moves: 16	coalesceable: 16	coalesced: 16
12 moves: 43	coalesceable: 43	coalesced: 35
13 moves: 27	coalesceable: 18	coalesced: 17
14 moves: 49	coalesceable: 46	coalesced: 38
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 7	coalesceable: 3	coalesced: 2
17 moves: 10	coalesceable: 7	coalesced: 7
18 moves: 18	coalesceable: 18	coalesced: 18
19 moves: 19	coalesceable: 19	coalesced: 18
20 moves: 19	coalesceable: 19	coalesced: 18
21 moves: 29	coalesceable: 29	coalesced: 26
22 moves: 32	coalesceable: 26	coalesced: 25
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 16	coalesceable: 16	coalesced: 15
25 moves: 35	coalesceable: 35	coalesced: 26
26 moves: 17	coalesceable: 17	coalesced: 13
27 moves: 17	coalesceable: 17	coalesced: 13
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 316	coalesceable: 252	coalesced: 296
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 24	coalesceable: 23	coalesced: 23
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 21	coalesceable: 18	coalesced: 18
35 moves: 89	coalesceable: 78	coalesced: 85
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 63	coalesceable: 60	coalesced: 60
38 moves: 85	coalesceable: 82	coalesced: 82
39 moves: 28	coalesceable: 25	coalesced: 25
40 moves: 47	coalesceable: 44	coalesced: 44
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 21	coalesceable: 18	coalesced: 18
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 50	coalesceable: 47	coalesced: 47
46 moves: 8	coalesceable: 7	coalesced: 7
47 moves: 11	coalesceable: 10	coalesced: 10
48 moves: 21	coalesceable: 18	coalesced: 18
49 moves: 25	coalesceable: 22	coalesced: 22
50 moves: 15	coalesceable: 14	coalesced: 14
51 moves: 20	coalesceable: 17	coalesced: 17
52 moves: 24	coalesceable: 21	coalesced: 21
53 moves: 175	coalesceable: 82	coalesced: 117
54 moves: 87	coalesceable: 49	coalesced: 55
55 moves: 28	coalesceable: 15	coalesced: 19
56 moves: 32	coalesceable: 25	coalesced: 17
57 moves: 50	coalesceable: 39	coalesced: 31
58 moves: 64	coalesceable: 33	coalesced: 39
59 moves: 42	coalesceable: 34	coalesced: 26
60 moves: 67	coalesceable: 43	coalesced: 36
61 moves: 893	coalesceable: 459	coalesced: 620
62 moves: 1051	coalesceable: 473	coalesced: 748
63 moves: 1131	coalesceable: 473	coalesced: 808
64 moves: 1215	coalesceable: 476	coalesced: 881
65 moves: 1303	coalesceable: 482	coalesced: 936
66 moves: 1395	coalesceable: 491	coalesced: 1012
67 moves: 1491	coalesceable: 503	coalesced: 1084
68 moves: 1591	coalesceable: 515	coalesced: 1169
69 moves: 1695	coalesceable: 529	coalesced: 1233
70 moves: 1803	coalesceable: 544	coalesced: 1316
71 moves: 13	coalesceable: 13	coalesced: 12
72 moves: 15	coalesceable: 15	coalesced: 14
73 moves: 15	coalesceable: 15	coalesced: 13
74 moves: 17	coalesceable: 17	coalesced: 16
75 moves: 17	coalesceable: 17	coalesced: 15
76 moves: 17	coalesceable: 17	coalesced: 15
77 moves: 19	coalesceable: 19	coalesced: 18
78 moves: 19	coalesceable: 19	coalesced: 17
79 moves: 19	coalesceable: 19	coalesced: 17
80 moves: 19	coalesceable: 19	coalesced: 17
81 moves: 21	coalesceable: 21	coalesced: 20
82 moves: 21	coalesceable: 21	coalesced: 19
83 moves: 21	coalesceable: 21	coalesced: 19
84 moves: 21	coalesceable: 21	coalesced: 19
85 moves: 21	coalesceable: 21	coalesced: 19
86 moves: 23	coalesceable: 22	coalesced: 17
87 moves: 23	coalesceable: 22	coalesced: 17
88 moves: 23	coalesceable: 22	coalesced: 17
89 moves: 23	coalesceable: 22	coalesced: 17
90 moves: 23	coalesceable: 22	coalesced: 17
91 moves: 23	coalesceable: 22	coalesced: 17
92 moves: 25	coalesceable: 23	coalesced: 15
93 moves: 25	coalesceable: 23	coalesced: 14
94 moves: 25	coalesceable: 23	coalesced: 16
95 moves: 25	coalesceable: 23	coalesced: 15
96 moves: 25	coalesceable: 23	coalesced: 16
97 moves: 25	coalesceable: 23	coalesced: 15
98 moves: 25	coalesceable: 23	coalesced: 16
99 moves: 27	coalesceable: 23	coalesced: 12
100 moves: 27	coalesceable: 24	coalesced: 11
101 moves: 27	coalesceable: 24	coalesced: 14
102 moves: 27	coalesceable: 24	coalesced: 13
103 moves: 27	coalesceable: 24	coalesced: 14
104 moves: 27	coalesceable: 24	coalesced: 13
105 moves: 27	coalesceable: 24	coalesced: 14
106 moves: 27	coalesceable: 24	coalesced: 14
107 moves: 29	coalesceable: 23	coalesced: 14
108 moves: 29	coalesceable: 24	coalesced: 13
109 moves: 29	coalesceable: 25	coalesced: 16
110 moves: 29	coalesceable: 25	coalesced: 15
111 moves: 29	coalesceable: 25	coalesced: 16
112 moves: 29	coalesceable: 25	coalesced: 15
113 moves: 29	coalesceable: 25	coalesced: 16
114 moves: 29	coalesceable: 25	coalesced: 15
115 moves: 29	coalesceable: 25	coalesced: 17
116 moves: 61	coalesceable: 56	coalesced: 57
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 15	coalesceable: 13	coalesced: 13
120 moves: 15	coalesceable: 13	coalesced: 12
121 moves: 15	coalesceable: 13	coalesced: 12
122 moves: 15	coalesceable: 13	coalesced: 12
123 moves: 15	coalesceable: 13	coalesced: 12
124 moves: 15	coalesceable: 13	coalesced: 12
125 moves: 15	coalesceable: 13	coalesced: 12
126 moves: 15	coalesceable: 13	coalesced: 12
127 moves: 15	coalesceable: 13	coalesced: 12
128 moves: 15	coalesceable: 13	coalesced: 12
129 moves: 15	coalesceable: 13	coalesced: 12
130 moves: 15	coalesceable: 13	coalesced: 12
131 moves: 15	coalesceable: 13	coalesced: 12
132 moves: 15	coalesceable: 13	coalesced: 12
133 moves: 15	coalesceable: 13	coalesced: 12
134 moves: 15	coalesceable: 13	coalesced: 12
135 moves: 23	coalesceable: 20	coalesced: 17
136 moves: 15	coalesceable: 13	coalesced: 12
137 moves: 15	coalesceable: 13	coalesced: 12
138 moves: 15	coalesceable: 13	coalesced: 12
139 moves: 30	coalesceable: 19	coalesced: 21
140 moves: 15	coalesceable: 13	coalesced: 12
141 moves: 15	coalesceable: 13	coalesced: 12
142 moves: 15	coalesceable: 13	coalesced: 12
143 moves: 15	coalesceable: 13	coalesced: 12
144 moves: 15	coalesceable: 13	coalesced: 12
145 moves: 15	coalesceable: 13	coalesced: 12
146 moves: 15	coalesceable: 13	coalesced: 12
147 moves: 15	coalesceable: 13	coalesced: 12
148 moves: 15	coalesceable: 13	coalesced: 12
149 moves: 15	coalesceable: 13	coalesced: 12
150 moves: 15	coalesceable: 13	coalesced: 12
151 moves: 15	coalesceable: 13	coalesced: 12
152 moves: 15	coalesceable: 13	coalesced: 12
153 moves: 10	coalesceable: 6	coalesced: 6
154 moves: 15	coalesceable: 13	coalesced: 12
155 moves: 15	coalesceable: 13	coalesced: 12
156 moves: 15	coalesceable: 13	coalesced: 12
157 moves: 15	coalesceable: 13	coalesced: 12
158 moves: 10	coalesceable: 6	coalesced: 6
159 moves: 15	coalesceable: 12	coalesced: 10
160 moves: 15	coalesceable: 13	coalesced: 12
161 moves: 15	coalesceable: 13	coalesced: 12
162 moves: 15	coalesceable: 13	coalesced: 12
163 moves: 15	coalesceable: 13	coalesced: 12
164 moves: 15	coalesceable: 13	coalesced: 12
165 moves: 15	coalesceable: 13	coalesced: 12
166 moves: 15	coalesceable: 13	coalesced: 12
167 moves: 15	coalesceable: 13	coalesced: 12
168 moves: 15	coalesceable: 13	coalesced: 12
169 moves: 15	coalesceable: 13	coalesced: 12
170 moves: 2	coalesceable: 2	coalesced: 2
171 moves: 15	coalesceable: 13	coalesced: 12
172 moves: 15	coalesceable: 13	coalesced: 12
173 moves: 15	coalesceable: 13	coalesced: 12
174 moves: 5	coalesceable: 3	coalesced: 3
175 moves: 3	coalesceable: 0	coalesced: 3
176 moves: 25	coalesceable: 19	coalesced: 12
177 moves: 2	coalesceable: 0	coalesced: 2
178 moves: 6	coalesceable: 6	coalesced: 6
179 moves: 2	coalesceable: 0	coalesced: 2
180 moves: 7	coalesceable: 7	coalesced: 7
181 moves: 4	coalesceable: 0	coalesced: 4
182 moves: 121	coalesceable: 60	coalesced: 71
183 moves: 3	coalesceable: 0	coalesced: 3
184 moves: 55	coalesceable: 34	coalesced: 37
185 moves: 2	coalesceable: 0	coalesced: 2
186 moves: 43	coalesceable: 24	coalesced: 28
187 moves: 3	coalesceable: 0	coalesced: 3
188 moves: 22	coalesceable: 17	coalesced: 12
189 moves: 3	coalesceable: 0	coalesced: 3
190 moves: 22	coalesceable: 17	coalesced: 12
191 moves: 3	coalesceable: 0	coalesced: 3
192 moves: 27	coalesceable: 20	coalesced: 15
193 moves: 3	coalesceable: 0	coalesced: 3
194 moves: 26	coalesceable: 21	coalesced: 15
195 moves: 3	coalesceable: 0	coalesced: 3
196 moves: 20	coalesceable: 16	coalesced: 12
197 moves: 3	coalesceable: 0	coalesced: 3
198 moves: 20	coalesceable: 16	coalesced: 12
199 moves: 3	coalesceable: 0	coalesced: 3
200 moves: 26	coalesceable: 22	coalesced: 18
201 moves: 3	coalesceable: 0	coalesced: 3
202 moves: 26	coalesceable: 22	coalesced: 18
203 moves: 3	coalesceable: 0	coalesced: 3
204 moves: 55	coalesceable: 34	coalesced: 37
205 moves: 2	coalesceable: 0	coalesced: 2
206 moves: 2	coalesceable: 1	coalesced: 2
207 moves: 2	coalesceable: 0	coalesced: 2
208 moves: 42	coalesceable: 27	coalesced: 24
209 moves: 2	coalesceable: 0	coalesced: 2
210 moves: 2	coalesceable: 1	coalesced: 2
211 moves: 2	coalesceable: 0	coalesced: 2
212 moves: 18	coalesceable: 18	coalesced: 16
213 moves: 2	coalesceable: 0	coalesced: 2
214 moves: 22	coalesceable: 17	coalesced: 12
215 moves: 2	coalesceable: 0	coalesced: 2
216 moves: 2	coalesceable: 1	coalesced: 2
217 moves: 3	coalesceable: 0	coalesced: 3
218 moves: 35	coalesceable: 22	coalesced: 18
219 moves: 3	coalesceable: 0	coalesced: 3
220 moves: 17	coalesceable: 17	coalesced: 15
221 moves: 4	coalesceable: 0	coalesced: 4
222 moves: 18	coalesceable: 18	coalesced: 16
223 moves: 6	coalesceable: 0	coalesced: 6
224 moves: 213	coalesceable: 95	coalesced: 134
225 moves: 4	coalesceable: 0	coalesced: 4
226 moves: 121	coalesceable: 60	coalesced: 71
227 moves: 2	coalesceable: 0	coalesced: 2
228 moves: 70	coalesceable: 52	coalesced: 46
229 moves: 3	coalesceable: 0	coalesced: 3
230 moves: 99	coalesceable: 68	coalesced: 66
231 moves: 4	coalesceable: 0	coalesced: 4
232 moves: 389	coalesceable: 144	coalesced: 267
233 moves: 2	coalesceable: 0	coalesced: 2
234 moves: 59	coalesceable: 38	coalesced: 44
235 moves: 2	coalesceable: 0	coalesced: 2
236 moves: 6	coalesceable: 3	coalesced: 4
237 moves: 4	coalesceable: 0	coalesced: 4
238 moves: 151	coalesceable: 87	coalesced: 99
239 moves: 3	coalesceable: 0	coalesced: 3
240 moves: 106	coalesceable: 74	coalesced: 71
241 moves: 2	coalesceable: 0	coalesced: 2
242 moves: 4	coalesceable: 4	coalesced: 4
243 moves: 2	coalesceable: 0	coalesced: 2
244 moves: 4	coalesceable: 4	coalesced: 4
245 moves: 4	coalesceable: 0	coalesced: 4
246 moves: 125	coalesceable: 64	coalesced: 101
247 moves: 4	coalesceable: 0	coalesced: 4
248 moves: 108	coalesceable: 53	coalesced: 64
249 moves: 3	coalesceable: 0	coalesced: 3
250 moves: 44	coalesceable: 33	coalesced: 30
251 moves: 3	coalesceable: 0	coalesced: 3
252 moves: 402	coalesceable: 170	coalesced: 237
253 moves: 2	coalesceable: 0	coalesced: 2
254 moves: 5	coalesceable: 5	coalesced: 5
255 moves: 2	coalesceable: 0	coalesced: 2
256 moves: 250	coalesceable: 129	coalesced: 182
257 moves: 2	coalesceable: 0	coalesced: 2
258 moves: 63	coalesceable: 51	coalesced: 51
259 moves: 3	coalesceable: 0	coalesced: 3
260 moves: 51	coalesceable: 41	coalesced: 39
261 moves: 2	coalesceable: 0	coalesced: 2
262 moves: 19	coalesceable: 17	coalesced: 14
263 moves: 2	coalesceable: 0	coalesced: 2
264 moves: 13	coalesceable: 10	coalesced: 9
265 moves: 20	coalesceable: 17	coalesced: 16
266 moves: 22	coalesceable: 14	coalesced: 17
267 moves: 2	coalesceable: 0	coalesced: 2
268 moves: 29	coalesceable: 17	coalesced: 20
269 moves: 2	coalesceable: 0	coalesced: 2
270 moves: 13	coalesceable: 9	coalesced: 8
271 moves: 2	coalesceable: 0	coalesced: 2
272 moves: 11	coalesceable: 7	coalesced: 9

eval_cake: external register allocation finished --- Thu Jun 19 00:00:53 2025
Saved theorem _______ "temp_oracle_cv_eq"
Saved theorem _______ "temp_oracle_cv_thm"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Thu Jun 19 00:00:55 2025
eval_cake: about to run cv_eval_raw on complie_cake_def --- Thu Jun 19 00:00:55 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1516 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval_raw complie_cake_def finished --- Thu Jun 19 00:01:01 2025
eval_cake: to_pair evaluation finished --- Thu Jun 19 00:01:01 2025
eval_cake: abbrevations for result defined --- Thu Jun 19 00:01:01 2025
eval_cake: new_spec run on result --- Thu Jun 19 00:01:01 2025
eval_cake: about to run cv_compute on export --- Thu Jun 19 00:01:01 2025
eval_cake: cv_compute on export finished --- Thu Jun 19 00:01:01 2025
Writing cv to file: cat.S
eval_cake: theory tidy up finished --- Thu Jun 19 00:01:01 2025
Saved theorem _______ "cat_compiled"
Exporting theory "catCompile" ... done.
Theory "catCompile" took 19.7s to build
Linking /home/myreen/regression/cakeml-2865/examples/compilation/x64/diffCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "diffCompile">>
eval_cake: config EVAL-ed --- Thu Jun 19 00:01:15 2025
Saved theorem _______ "diff_prog_cv_eq"
Saved theorem _______ "diff_prog_cv_thm"
Able to translate: diff_progeval_cake: cv_trans_deep_embedding prog_def finished --- Thu Jun 19 00:01:19 2025
eval_cake: about to run cv_eval on to_livesets_def --- Thu Jun 19 00:01:19 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1053 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval to_livesets finished --- Thu Jun 19 00:01:24 2025
Num regs: 9 Alg: IRC
0 moves: 64	coalesceable: 43	coalesced: 41
1 moves: 20	coalesceable: 20	coalesced: 19
2 moves: 81	coalesceable: 61	coalesced: 51
3 moves: 24	coalesceable: 24	coalesced: 21
4 moves: 14	coalesceable: 14	coalesced: 13
5 moves: 134	coalesceable: 108	coalesced: 100
6 moves: 7	coalesceable: 7	coalesced: 7
7 moves: 7	coalesceable: 7	coalesced: 7
8 moves: 7	coalesceable: 7	coalesced: 7
9 moves: 7	coalesceable: 7	coalesced: 7
10 moves: 7	coalesceable: 7	coalesced: 7
11 moves: 16	coalesceable: 16	coalesced: 16
12 moves: 43	coalesceable: 43	coalesced: 35
13 moves: 27	coalesceable: 18	coalesced: 17
14 moves: 49	coalesceable: 46	coalesced: 38
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 7	coalesceable: 3	coalesced: 2
17 moves: 10	coalesceable: 7	coalesced: 7
18 moves: 18	coalesceable: 18	coalesced: 18
19 moves: 19	coalesceable: 19	coalesced: 18
20 moves: 19	coalesceable: 19	coalesced: 18
21 moves: 29	coalesceable: 29	coalesced: 26
22 moves: 32	coalesceable: 26	coalesced: 25
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 16	coalesceable: 16	coalesced: 15
25 moves: 35	coalesceable: 35	coalesced: 26
26 moves: 17	coalesceable: 17	coalesced: 13
27 moves: 17	coalesceable: 17	coalesced: 13
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 316	coalesceable: 252	coalesced: 296
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 24	coalesceable: 23	coalesced: 23
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 21	coalesceable: 18	coalesced: 18
35 moves: 89	coalesceable: 78	coalesced: 85
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 63	coalesceable: 60	coalesced: 60
38 moves: 85	coalesceable: 82	coalesced: 82
39 moves: 28	coalesceable: 25	coalesced: 25
40 moves: 47	coalesceable: 44	coalesced: 44
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 21	coalesceable: 18	coalesced: 18
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 50	coalesceable: 47	coalesced: 47
46 moves: 8	coalesceable: 7	coalesced: 7
47 moves: 11	coalesceable: 10	coalesced: 10
48 moves: 21	coalesceable: 18	coalesced: 18
49 moves: 25	coalesceable: 22	coalesced: 22
50 moves: 15	coalesceable: 14	coalesced: 14
51 moves: 20	coalesceable: 17	coalesced: 17
52 moves: 24	coalesceable: 21	coalesced: 21
53 moves: 175	coalesceable: 82	coalesced: 117
54 moves: 87	coalesceable: 49	coalesced: 55
55 moves: 28	coalesceable: 15	coalesced: 19
56 moves: 32	coalesceable: 25	coalesced: 17
57 moves: 50	coalesceable: 39	coalesced: 31
58 moves: 64	coalesceable: 33	coalesced: 39
59 moves: 42	coalesceable: 34	coalesced: 26
60 moves: 67	coalesceable: 43	coalesced: 36
61 moves: 893	coalesceable: 459	coalesced: 620
62 moves: 1051	coalesceable: 473	coalesced: 748
63 moves: 1131	coalesceable: 473	coalesced: 808
64 moves: 1215	coalesceable: 476	coalesced: 881
65 moves: 1303	coalesceable: 482	coalesced: 936
66 moves: 1395	coalesceable: 491	coalesced: 1012
67 moves: 1491	coalesceable: 503	coalesced: 1084
68 moves: 1591	coalesceable: 515	coalesced: 1169
69 moves: 1695	coalesceable: 529	coalesced: 1233
70 moves: 1803	coalesceable: 544	coalesced: 1316
71 moves: 13	coalesceable: 13	coalesced: 12
72 moves: 15	coalesceable: 15	coalesced: 14
73 moves: 15	coalesceable: 15	coalesced: 13
74 moves: 17	coalesceable: 17	coalesced: 16
75 moves: 17	coalesceable: 17	coalesced: 15
76 moves: 17	coalesceable: 17	coalesced: 15
77 moves: 19	coalesceable: 19	coalesced: 18
78 moves: 19	coalesceable: 19	coalesced: 17
79 moves: 19	coalesceable: 19	coalesced: 17
80 moves: 19	coalesceable: 19	coalesced: 17
81 moves: 21	coalesceable: 21	coalesced: 20
82 moves: 21	coalesceable: 21	coalesced: 19
83 moves: 21	coalesceable: 21	coalesced: 19
84 moves: 21	coalesceable: 21	coalesced: 19
85 moves: 21	coalesceable: 21	coalesced: 19
86 moves: 23	coalesceable: 22	coalesced: 17
87 moves: 23	coalesceable: 22	coalesced: 17
88 moves: 23	coalesceable: 22	coalesced: 17
89 moves: 23	coalesceable: 22	coalesced: 17
90 moves: 23	coalesceable: 22	coalesced: 17
91 moves: 23	coalesceable: 22	coalesced: 17
92 moves: 25	coalesceable: 23	coalesced: 15
93 moves: 25	coalesceable: 23	coalesced: 14
94 moves: 25	coalesceable: 23	coalesced: 16
95 moves: 25	coalesceable: 23	coalesced: 15
96 moves: 25	coalesceable: 23	coalesced: 16
97 moves: 25	coalesceable: 23	coalesced: 15
98 moves: 25	coalesceable: 23	coalesced: 16
99 moves: 27	coalesceable: 23	coalesced: 12
100 moves: 27	coalesceable: 24	coalesced: 11
101 moves: 27	coalesceable: 24	coalesced: 14
102 moves: 27	coalesceable: 24	coalesced: 13
103 moves: 27	coalesceable: 24	coalesced: 14
104 moves: 27	coalesceable: 24	coalesced: 13
105 moves: 27	coalesceable: 24	coalesced: 14
106 moves: 27	coalesceable: 24	coalesced: 14
107 moves: 29	coalesceable: 23	coalesced: 14
108 moves: 29	coalesceable: 24	coalesced: 13
109 moves: 29	coalesceable: 25	coalesced: 16
110 moves: 29	coalesceable: 25	coalesced: 15
111 moves: 29	coalesceable: 25	coalesced: 16
112 moves: 29	coalesceable: 25	coalesced: 15
113 moves: 29	coalesceable: 25	coalesced: 16
114 moves: 29	coalesceable: 25	coalesced: 15
115 moves: 29	coalesceable: 25	coalesced: 17
116 moves: 61	coalesceable: 56	coalesced: 57
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 15	coalesceable: 13	coalesced: 13
120 moves: 15	coalesceable: 13	coalesced: 12
121 moves: 15	coalesceable: 13	coalesced: 12
122 moves: 15	coalesceable: 13	coalesced: 12
123 moves: 15	coalesceable: 13	coalesced: 12
124 moves: 15	coalesceable: 13	coalesced: 12
125 moves: 15	coalesceable: 13	coalesced: 12
126 moves: 15	coalesceable: 13	coalesced: 12
127 moves: 15	coalesceable: 13	coalesced: 12
128 moves: 15	coalesceable: 13	coalesced: 12
129 moves: 15	coalesceable: 13	coalesced: 12
130 moves: 15	coalesceable: 13	coalesced: 12
131 moves: 15	coalesceable: 13	coalesced: 12
132 moves: 15	coalesceable: 13	coalesced: 12
133 moves: 15	coalesceable: 13	coalesced: 12
134 moves: 15	coalesceable: 13	coalesced: 12
135 moves: 15	coalesceable: 13	coalesced: 12
136 moves: 15	coalesceable: 13	coalesced: 12
137 moves: 15	coalesceable: 13	coalesced: 12
138 moves: 15	coalesceable: 13	coalesced: 12
139 moves: 15	coalesceable: 13	coalesced: 12
140 moves: 15	coalesceable: 13	coalesced: 12
141 moves: 15	coalesceable: 13	coalesced: 12
142 moves: 15	coalesceable: 13	coalesced: 12
143 moves: 15	coalesceable: 13	coalesced: 12
144 moves: 15	coalesceable: 13	coalesced: 12
145 moves: 15	coalesceable: 13	coalesced: 12
146 moves: 2	coalesceable: 2	coalesced: 2
147 moves: 15	coalesceable: 13	coalesced: 12
148 moves: 15	coalesceable: 13	coalesced: 12
149 moves: 15	coalesceable: 13	coalesced: 12
150 moves: 15	coalesceable: 13	coalesced: 12
151 moves: 23	coalesceable: 20	coalesced: 17
152 moves: 15	coalesceable: 13	coalesced: 12
153 moves: 15	coalesceable: 13	coalesced: 12
154 moves: 30	coalesceable: 19	coalesced: 21
155 moves: 15	coalesceable: 13	coalesced: 12
156 moves: 15	coalesceable: 13	coalesced: 12
157 moves: 15	coalesceable: 13	coalesced: 12
158 moves: 15	coalesceable: 13	coalesced: 12
159 moves: 15	coalesceable: 13	coalesced: 12
160 moves: 15	coalesceable: 13	coalesced: 12
161 moves: 15	coalesceable: 13	coalesced: 12
162 moves: 15	coalesceable: 13	coalesced: 12
163 moves: 15	coalesceable: 13	coalesced: 12
164 moves: 15	coalesceable: 13	coalesced: 12
165 moves: 15	coalesceable: 13	coalesced: 12
166 moves: 15	coalesceable: 13	coalesced: 12
167 moves: 15	coalesceable: 13	coalesced: 12
168 moves: 15	coalesceable: 13	coalesced: 12
169 moves: 10	coalesceable: 6	coalesced: 6
170 moves: 15	coalesceable: 13	coalesced: 12
171 moves: 15	coalesceable: 13	coalesced: 12
172 moves: 15	coalesceable: 13	coalesced: 12
173 moves: 15	coalesceable: 13	coalesced: 12
174 moves: 10	coalesceable: 6	coalesced: 6
175 moves: 15	coalesceable: 12	coalesced: 10
176 moves: 15	coalesceable: 12	coalesced: 10
177 moves: 15	coalesceable: 13	coalesced: 12
178 moves: 15	coalesceable: 13	coalesced: 12
179 moves: 15	coalesceable: 13	coalesced: 12
180 moves: 15	coalesceable: 13	coalesced: 12
181 moves: 15	coalesceable: 13	coalesced: 12
182 moves: 15	coalesceable: 13	coalesced: 12
183 moves: 15	coalesceable: 13	coalesced: 12
184 moves: 15	coalesceable: 13	coalesced: 12
185 moves: 15	coalesceable: 13	coalesced: 12
186 moves: 15	coalesceable: 13	coalesced: 12
187 moves: 15	coalesceable: 13	coalesced: 12
188 moves: 15	coalesceable: 13	coalesced: 12
189 moves: 15	coalesceable: 13	coalesced: 12
190 moves: 2	coalesceable: 2	coalesced: 2
191 moves: 15	coalesceable: 13	coalesced: 12
192 moves: 15	coalesceable: 13	coalesced: 12
193 moves: 15	coalesceable: 13	coalesced: 12
194 moves: 15	coalesceable: 13	coalesced: 12
195 moves: 15	coalesceable: 13	coalesced: 12
196 moves: 15	coalesceable: 13	coalesced: 12
197 moves: 15	coalesceable: 13	coalesced: 12
198 moves: 15	coalesceable: 13	coalesced: 12
199 moves: 15	coalesceable: 13	coalesced: 12
200 moves: 15	coalesceable: 13	coalesced: 12
201 moves: 15	coalesceable: 13	coalesced: 12
202 moves: 15	coalesceable: 13	coalesced: 12
203 moves: 15	coalesceable: 13	coalesced: 12
204 moves: 15	coalesceable: 13	coalesced: 12
205 moves: 15	coalesceable: 13	coalesced: 12
206 moves: 15	coalesceable: 12	coalesced: 10
207 moves: 15	coalesceable: 13	coalesced: 12
208 moves: 15	coalesceable: 13	coalesced: 12
209 moves: 5	coalesceable: 3	coalesced: 3
210 moves: 2	coalesceable: 0	coalesced: 2
211 moves: 4	coalesceable: 4	coalesced: 4
212 moves: 3	coalesceable: 0	coalesced: 3
213 moves: 25	coalesceable: 19	coalesced: 12
214 moves: 3	coalesceable: 0	coalesced: 3
215 moves: 29	coalesceable: 22	coalesced: 17
216 moves: 2	coalesceable: 0	coalesced: 2
217 moves: 5	coalesceable: 5	coalesced: 4
218 moves: 3	coalesceable: 0	coalesced: 3
219 moves: 29	coalesceable: 23	coalesced: 21
220 moves: 2	coalesceable: 0	coalesced: 2
221 moves: 5	coalesceable: 5	coalesced: 4
222 moves: 2	coalesceable: 0	coalesced: 2
223 moves: 6	coalesceable: 6	coalesced: 6
224 moves: 2	coalesceable: 0	coalesced: 2
225 moves: 6	coalesceable: 6	coalesced: 6
226 moves: 2	coalesceable: 0	coalesced: 2
227 moves: 9	coalesceable: 9	coalesced: 8
228 moves: 3	coalesceable: 0	coalesced: 3
229 moves: 59	coalesceable: 34	coalesced: 39
230 moves: 3	coalesceable: 0	coalesced: 3
231 moves: 50	coalesceable: 37	coalesced: 32
232 moves: 3	coalesceable: 0	coalesced: 3
233 moves: 66	coalesceable: 38	coalesced: 42
234 moves: 3	coalesceable: 0	coalesced: 3
235 moves: 126	coalesceable: 80	coalesced: 86
236 moves: 2	coalesceable: 0	coalesced: 2
237 moves: 7	coalesceable: 7	coalesced: 7
238 moves: 4	coalesceable: 0	coalesced: 4
239 moves: 121	coalesceable: 60	coalesced: 71
240 moves: 3	coalesceable: 0	coalesced: 3
241 moves: 55	coalesceable: 34	coalesced: 37
242 moves: 2	coalesceable: 0	coalesced: 2
243 moves: 43	coalesceable: 24	coalesced: 28
244 moves: 3	coalesceable: 0	coalesced: 3
245 moves: 22	coalesceable: 17	coalesced: 12
246 moves: 3	coalesceable: 0	coalesced: 3
247 moves: 22	coalesceable: 17	coalesced: 12
248 moves: 3	coalesceable: 0	coalesced: 3
249 moves: 27	coalesceable: 20	coalesced: 15
250 moves: 3	coalesceable: 0	coalesced: 3
251 moves: 26	coalesceable: 21	coalesced: 15
252 moves: 3	coalesceable: 0	coalesced: 3
253 moves: 20	coalesceable: 16	coalesced: 12
254 moves: 3	coalesceable: 0	coalesced: 3
255 moves: 20	coalesceable: 16	coalesced: 12
256 moves: 3	coalesceable: 0	coalesced: 3
257 moves: 26	coalesceable: 22	coalesced: 18
258 moves: 3	coalesceable: 0	coalesced: 3
259 moves: 26	coalesceable: 22	coalesced: 18
260 moves: 3	coalesceable: 0	coalesced: 3
261 moves: 55	coalesceable: 34	coalesced: 37
262 moves: 2	coalesceable: 0	coalesced: 2
263 moves: 135	coalesceable: 86	coalesced: 88
264 moves: 5	coalesceable: 0	coalesced: 5
265 moves: 296	coalesceable: 139	coalesced: 186
266 moves: 3	coalesceable: 0	coalesced: 3
267 moves: 175	coalesceable: 81	coalesced: 118
268 moves: 2	coalesceable: 0	coalesced: 2
269 moves: 5	coalesceable: 5	coalesced: 5
270 moves: 2	coalesceable: 0	coalesced: 2
271 moves: 2	coalesceable: 1	coalesced: 2
272 moves: 2	coalesceable: 0	coalesced: 2
273 moves: 42	coalesceable: 27	coalesced: 24
274 moves: 2	coalesceable: 0	coalesced: 2
275 moves: 22	coalesceable: 17	coalesced: 12
276 moves: 2	coalesceable: 0	coalesced: 2
277 moves: 2	coalesceable: 1	coalesced: 2
278 moves: 3	coalesceable: 0	coalesced: 3
279 moves: 35	coalesceable: 22	coalesced: 18
280 moves: 3	coalesceable: 0	coalesced: 3
281 moves: 17	coalesceable: 17	coalesced: 15
282 moves: 2	coalesceable: 0	coalesced: 2
283 moves: 7	coalesceable: 7	coalesced: 7
284 moves: 4	coalesceable: 0	coalesced: 4
285 moves: 18	coalesceable: 18	coalesced: 16
286 moves: 6	coalesceable: 0	coalesced: 6
287 moves: 213	coalesceable: 95	coalesced: 134
288 moves: 6	coalesceable: 0	coalesced: 6
289 moves: 213	coalesceable: 95	coalesced: 134
290 moves: 4	coalesceable: 0	coalesced: 4
291 moves: 121	coalesceable: 60	coalesced: 71
292 moves: 2	coalesceable: 0	coalesced: 2
293 moves: 70	coalesceable: 52	coalesced: 46
294 moves: 3	coalesceable: 0	coalesced: 3
295 moves: 99	coalesceable: 68	coalesced: 66
296 moves: 4	coalesceable: 0	coalesced: 4
297 moves: 389	coalesceable: 144	coalesced: 267
298 moves: 2	coalesceable: 0	coalesced: 2
299 moves: 59	coalesceable: 38	coalesced: 44
300 moves: 2	coalesceable: 0	coalesced: 2
301 moves: 6	coalesceable: 3	coalesced: 4
302 moves: 4	coalesceable: 0	coalesced: 4
303 moves: 151	coalesceable: 87	coalesced: 99
304 moves: 3	coalesceable: 0	coalesced: 3
305 moves: 106	coalesceable: 74	coalesced: 71
306 moves: 2	coalesceable: 0	coalesced: 2
307 moves: 4	coalesceable: 4	coalesced: 4
308 moves: 2	coalesceable: 0	coalesced: 2
309 moves: 4	coalesceable: 4	coalesced: 4
310 moves: 4	coalesceable: 0	coalesced: 4
311 moves: 125	coalesceable: 64	coalesced: 101
312 moves: 4	coalesceable: 0	coalesced: 4
313 moves: 108	coalesceable: 53	coalesced: 64
314 moves: 3	coalesceable: 0	coalesced: 3
315 moves: 402	coalesceable: 170	coalesced: 237
316 moves: 2	coalesceable: 0	coalesced: 2
317 moves: 5	coalesceable: 5	coalesced: 5
318 moves: 2	coalesceable: 0	coalesced: 2
319 moves: 14	coalesceable: 10	coalesced: 9
320 moves: 2	coalesceable: 0	coalesced: 2
321 moves: 250	coalesceable: 129	coalesced: 182
322 moves: 2	coalesceable: 0	coalesced: 2
323 moves: 63	coalesceable: 51	coalesced: 51
324 moves: 3	coalesceable: 0	coalesced: 3
325 moves: 51	coalesceable: 41	coalesced: 39
326 moves: 2	coalesceable: 0	coalesced: 2
327 moves: 19	coalesceable: 17	coalesced: 14
328 moves: 2	coalesceable: 0	coalesced: 2
329 moves: 147	coalesceable: 73	coalesced: 75
330 moves: 203	coalesceable: 113	coalesced: 121
331 moves: 197	coalesceable: 100	coalesced: 133
332 moves: 2	coalesceable: 0	coalesced: 2
333 moves: 40	coalesceable: 26	coalesced: 25
334 moves: 2	coalesceable: 0	coalesced: 2
335 moves: 35	coalesceable: 18	coalesced: 22
336 moves: 2	coalesceable: 0	coalesced: 2
337 moves: 10	coalesceable: 6	coalesced: 6
338 moves: 31	coalesceable: 14	coalesced: 21
339 moves: 3	coalesceable: 0	coalesced: 3
340 moves: 78	coalesceable: 40	coalesced: 51
341 moves: 6	coalesceable: 0	coalesced: 6
342 moves: 335	coalesceable: 114	coalesced: 224
343 moves: 4	coalesceable: 0	coalesced: 4
344 moves: 61	coalesceable: 42	coalesced: 38
345 moves: 3	coalesceable: 0	coalesced: 3
346 moves: 51	coalesceable: 30	coalesced: 30
347 moves: 3	coalesceable: 0	coalesced: 3
348 moves: 51	coalesceable: 26	coalesced: 34
349 moves: 3	coalesceable: 0	coalesced: 3
350 moves: 78	coalesceable: 49	coalesced: 55
351 moves: 4	coalesceable: 0	coalesced: 4
352 moves: 85	coalesceable: 49	coalesced: 55
353 moves: 3	coalesceable: 0	coalesced: 3
354 moves: 257	coalesceable: 120	coalesced: 187
355 moves: 3	coalesceable: 0	coalesced: 3
356 moves: 7	coalesceable: 7	coalesced: 7
357 moves: 5	coalesceable: 0	coalesced: 5
358 moves: 338	coalesceable: 136	coalesced: 234
359 moves: 3	coalesceable: 0	coalesced: 3
360 moves: 33	coalesceable: 25	coalesced: 18
361 moves: 5	coalesceable: 0	coalesced: 5
362 moves: 803	coalesceable: 286	coalesced: 620
363 moves: 29	coalesceable: 25	coalesced: 22
364 moves: 29	coalesceable: 25	coalesced: 22
365 moves: 6	coalesceable: 0	coalesced: 6
366 moves: 1410	coalesceable: 492	coalesced: 1090
367 moves: 3	coalesceable: 0	coalesced: 3
368 moves: 660	coalesceable: 198	coalesced: 498
369 moves: 2	coalesceable: 0	coalesced: 2
370 moves: 67	coalesceable: 48	coalesced: 49
371 moves: 3	coalesceable: 0	coalesced: 3
372 moves: 167	coalesceable: 108	coalesced: 126
373 moves: 2	coalesceable: 0	coalesced: 2
374 moves: 43	coalesceable: 39	coalesced: 37

eval_cake: external register allocation finished --- Thu Jun 19 00:01:27 2025
Saved theorem _______ "temp_oracle_cv_eq"
Saved theorem _______ "temp_oracle_cv_thm"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Thu Jun 19 00:01:29 2025
eval_cake: about to run cv_eval_raw on complie_cake_def --- Thu Jun 19 00:01:29 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1516 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval_raw complie_cake_def finished --- Thu Jun 19 00:01:36 2025
eval_cake: to_pair evaluation finished --- Thu Jun 19 00:01:36 2025
eval_cake: abbrevations for result defined --- Thu Jun 19 00:01:36 2025
eval_cake: new_spec run on result --- Thu Jun 19 00:01:37 2025
eval_cake: about to run cv_compute on export --- Thu Jun 19 00:01:37 2025
eval_cake: cv_compute on export finished --- Thu Jun 19 00:01:38 2025
Writing cv to file: diff.S
eval_cake: theory tidy up finished --- Thu Jun 19 00:01:38 2025
Saved theorem _______ "diff_compiled"
Exporting theory "diffCompile" ... done.
Theory "diffCompile" took 23.9s to build
Linking /home/myreen/regression/cakeml-2865/examples/compilation/x64/echoCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "echoCompile">>
eval_cake: config EVAL-ed --- Thu Jun 19 00:01:51 2025
Saved theorem _______ "echo_prog_cv_eq"
Saved theorem _______ "echo_prog_cv_thm"
Able to translate: echo_progeval_cake: cv_trans_deep_embedding prog_def finished --- Thu Jun 19 00:01:55 2025
eval_cake: about to run cv_eval on to_livesets_def --- Thu Jun 19 00:01:55 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1053 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval to_livesets finished --- Thu Jun 19 00:01:59 2025
Num regs: 9 Alg: IRC
0 moves: 64	coalesceable: 43	coalesced: 41
1 moves: 20	coalesceable: 20	coalesced: 19
2 moves: 81	coalesceable: 61	coalesced: 51
3 moves: 24	coalesceable: 24	coalesced: 21
4 moves: 14	coalesceable: 14	coalesced: 13
5 moves: 134	coalesceable: 108	coalesced: 100
6 moves: 7	coalesceable: 7	coalesced: 7
7 moves: 7	coalesceable: 7	coalesced: 7
8 moves: 7	coalesceable: 7	coalesced: 7
9 moves: 7	coalesceable: 7	coalesced: 7
10 moves: 7	coalesceable: 7	coalesced: 7
11 moves: 16	coalesceable: 16	coalesced: 16
12 moves: 43	coalesceable: 43	coalesced: 35
13 moves: 27	coalesceable: 18	coalesced: 17
14 moves: 49	coalesceable: 46	coalesced: 38
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 7	coalesceable: 3	coalesced: 2
17 moves: 10	coalesceable: 7	coalesced: 7
18 moves: 18	coalesceable: 18	coalesced: 18
19 moves: 19	coalesceable: 19	coalesced: 18
20 moves: 19	coalesceable: 19	coalesced: 18
21 moves: 29	coalesceable: 29	coalesced: 26
22 moves: 32	coalesceable: 26	coalesced: 25
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 16	coalesceable: 16	coalesced: 15
25 moves: 35	coalesceable: 35	coalesced: 26
26 moves: 17	coalesceable: 17	coalesced: 13
27 moves: 17	coalesceable: 17	coalesced: 13
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 316	coalesceable: 252	coalesced: 296
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 24	coalesceable: 23	coalesced: 23
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 21	coalesceable: 18	coalesced: 18
35 moves: 89	coalesceable: 78	coalesced: 85
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 63	coalesceable: 60	coalesced: 60
38 moves: 85	coalesceable: 82	coalesced: 82
39 moves: 28	coalesceable: 25	coalesced: 25
40 moves: 47	coalesceable: 44	coalesced: 44
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 21	coalesceable: 18	coalesced: 18
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 50	coalesceable: 47	coalesced: 47
46 moves: 8	coalesceable: 7	coalesced: 7
47 moves: 11	coalesceable: 10	coalesced: 10
48 moves: 21	coalesceable: 18	coalesced: 18
49 moves: 25	coalesceable: 22	coalesced: 22
50 moves: 15	coalesceable: 14	coalesced: 14
51 moves: 20	coalesceable: 17	coalesced: 17
52 moves: 24	coalesceable: 21	coalesced: 21
53 moves: 175	coalesceable: 82	coalesced: 117
54 moves: 87	coalesceable: 49	coalesced: 55
55 moves: 28	coalesceable: 15	coalesced: 19
56 moves: 32	coalesceable: 25	coalesced: 17
57 moves: 50	coalesceable: 39	coalesced: 31
58 moves: 64	coalesceable: 33	coalesced: 39
59 moves: 42	coalesceable: 34	coalesced: 26
60 moves: 67	coalesceable: 43	coalesced: 36
61 moves: 893	coalesceable: 459	coalesced: 620
62 moves: 1051	coalesceable: 473	coalesced: 748
63 moves: 1131	coalesceable: 473	coalesced: 808
64 moves: 1215	coalesceable: 476	coalesced: 881
65 moves: 1303	coalesceable: 482	coalesced: 936
66 moves: 1395	coalesceable: 491	coalesced: 1012
67 moves: 1491	coalesceable: 503	coalesced: 1084
68 moves: 1591	coalesceable: 515	coalesced: 1169
69 moves: 1695	coalesceable: 529	coalesced: 1233
70 moves: 1803	coalesceable: 544	coalesced: 1316
71 moves: 13	coalesceable: 13	coalesced: 12
72 moves: 15	coalesceable: 15	coalesced: 14
73 moves: 15	coalesceable: 15	coalesced: 13
74 moves: 17	coalesceable: 17	coalesced: 16
75 moves: 17	coalesceable: 17	coalesced: 15
76 moves: 17	coalesceable: 17	coalesced: 15
77 moves: 19	coalesceable: 19	coalesced: 18
78 moves: 19	coalesceable: 19	coalesced: 17
79 moves: 19	coalesceable: 19	coalesced: 17
80 moves: 19	coalesceable: 19	coalesced: 17
81 moves: 21	coalesceable: 21	coalesced: 20
82 moves: 21	coalesceable: 21	coalesced: 19
83 moves: 21	coalesceable: 21	coalesced: 19
84 moves: 21	coalesceable: 21	coalesced: 19
85 moves: 21	coalesceable: 21	coalesced: 19
86 moves: 23	coalesceable: 22	coalesced: 17
87 moves: 23	coalesceable: 22	coalesced: 17
88 moves: 23	coalesceable: 22	coalesced: 17
89 moves: 23	coalesceable: 22	coalesced: 17
90 moves: 23	coalesceable: 22	coalesced: 17
91 moves: 23	coalesceable: 22	coalesced: 17
92 moves: 25	coalesceable: 23	coalesced: 15
93 moves: 25	coalesceable: 23	coalesced: 14
94 moves: 25	coalesceable: 23	coalesced: 16
95 moves: 25	coalesceable: 23	coalesced: 15
96 moves: 25	coalesceable: 23	coalesced: 16
97 moves: 25	coalesceable: 23	coalesced: 15
98 moves: 25	coalesceable: 23	coalesced: 16
99 moves: 27	coalesceable: 23	coalesced: 12
100 moves: 27	coalesceable: 24	coalesced: 11
101 moves: 27	coalesceable: 24	coalesced: 14
102 moves: 27	coalesceable: 24	coalesced: 13
103 moves: 27	coalesceable: 24	coalesced: 14
104 moves: 27	coalesceable: 24	coalesced: 13
105 moves: 27	coalesceable: 24	coalesced: 14
106 moves: 27	coalesceable: 24	coalesced: 14
107 moves: 29	coalesceable: 23	coalesced: 14
108 moves: 29	coalesceable: 24	coalesced: 13
109 moves: 29	coalesceable: 25	coalesced: 16
110 moves: 29	coalesceable: 25	coalesced: 15
111 moves: 29	coalesceable: 25	coalesced: 16
112 moves: 29	coalesceable: 25	coalesced: 15
113 moves: 29	coalesceable: 25	coalesced: 16
114 moves: 29	coalesceable: 25	coalesced: 15
115 moves: 29	coalesceable: 25	coalesced: 17
116 moves: 61	coalesceable: 56	coalesced: 57
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 15	coalesceable: 13	coalesced: 13
120 moves: 15	coalesceable: 13	coalesced: 12
121 moves: 15	coalesceable: 13	coalesced: 12
122 moves: 15	coalesceable: 13	coalesced: 12
123 moves: 15	coalesceable: 13	coalesced: 12
124 moves: 15	coalesceable: 13	coalesced: 12
125 moves: 15	coalesceable: 13	coalesced: 12
126 moves: 15	coalesceable: 13	coalesced: 12
127 moves: 15	coalesceable: 13	coalesced: 12
128 moves: 15	coalesceable: 13	coalesced: 12
129 moves: 15	coalesceable: 13	coalesced: 12
130 moves: 15	coalesceable: 13	coalesced: 12
131 moves: 15	coalesceable: 13	coalesced: 12
132 moves: 15	coalesceable: 13	coalesced: 12
133 moves: 15	coalesceable: 13	coalesced: 12
134 moves: 23	coalesceable: 20	coalesced: 17
135 moves: 15	coalesceable: 13	coalesced: 12
136 moves: 30	coalesceable: 19	coalesced: 21
137 moves: 15	coalesceable: 13	coalesced: 12
138 moves: 15	coalesceable: 13	coalesced: 12
139 moves: 15	coalesceable: 13	coalesced: 12
140 moves: 15	coalesceable: 13	coalesced: 12
141 moves: 15	coalesceable: 13	coalesced: 12
142 moves: 15	coalesceable: 13	coalesced: 12
143 moves: 15	coalesceable: 13	coalesced: 12
144 moves: 15	coalesceable: 13	coalesced: 12
145 moves: 15	coalesceable: 13	coalesced: 12
146 moves: 15	coalesceable: 13	coalesced: 12
147 moves: 15	coalesceable: 13	coalesced: 12
148 moves: 15	coalesceable: 13	coalesced: 12
149 moves: 10	coalesceable: 6	coalesced: 6
150 moves: 15	coalesceable: 13	coalesced: 12
151 moves: 15	coalesceable: 13	coalesced: 12
152 moves: 15	coalesceable: 13	coalesced: 12
153 moves: 10	coalesceable: 6	coalesced: 6
154 moves: 15	coalesceable: 12	coalesced: 10
155 moves: 15	coalesceable: 13	coalesced: 12
156 moves: 15	coalesceable: 13	coalesced: 12
157 moves: 15	coalesceable: 13	coalesced: 12
158 moves: 15	coalesceable: 13	coalesced: 12
159 moves: 15	coalesceable: 13	coalesced: 12
160 moves: 2	coalesceable: 2	coalesced: 2
161 moves: 15	coalesceable: 13	coalesced: 12
162 moves: 5	coalesceable: 3	coalesced: 3
163 moves: 3	coalesceable: 0	coalesced: 3
164 moves: 25	coalesceable: 19	coalesced: 12
165 moves: 2	coalesceable: 0	coalesced: 2
166 moves: 6	coalesceable: 6	coalesced: 6
167 moves: 2	coalesceable: 0	coalesced: 2
168 moves: 7	coalesceable: 7	coalesced: 7
169 moves: 4	coalesceable: 0	coalesced: 4
170 moves: 121	coalesceable: 60	coalesced: 71
171 moves: 3	coalesceable: 0	coalesced: 3
172 moves: 55	coalesceable: 34	coalesced: 37
173 moves: 4	coalesceable: 0	coalesced: 4
174 moves: 163	coalesceable: 100	coalesced: 114
175 moves: 3	coalesceable: 0	coalesced: 3
176 moves: 7	coalesceable: 7	coalesced: 5
177 moves: 3	coalesceable: 0	coalesced: 3
178 moves: 22	coalesceable: 17	coalesced: 12
179 moves: 3	coalesceable: 0	coalesced: 3
180 moves: 22	coalesceable: 17	coalesced: 12
181 moves: 3	coalesceable: 0	coalesced: 3
182 moves: 27	coalesceable: 20	coalesced: 15
183 moves: 3	coalesceable: 0	coalesced: 3
184 moves: 26	coalesceable: 21	coalesced: 15
185 moves: 3	coalesceable: 0	coalesced: 3
186 moves: 20	coalesceable: 16	coalesced: 12
187 moves: 3	coalesceable: 0	coalesced: 3
188 moves: 20	coalesceable: 16	coalesced: 12
189 moves: 3	coalesceable: 0	coalesced: 3
190 moves: 26	coalesceable: 22	coalesced: 18
191 moves: 2	coalesceable: 0	coalesced: 2
192 moves: 2	coalesceable: 1	coalesced: 2
193 moves: 2	coalesceable: 0	coalesced: 2
194 moves: 22	coalesceable: 17	coalesced: 12
195 moves: 2	coalesceable: 0	coalesced: 2
196 moves: 2	coalesceable: 1	coalesced: 2
197 moves: 3	coalesceable: 0	coalesced: 3
198 moves: 35	coalesceable: 22	coalesced: 18
199 moves: 3	coalesceable: 0	coalesced: 3
200 moves: 17	coalesceable: 17	coalesced: 15
201 moves: 4	coalesceable: 0	coalesced: 4
202 moves: 18	coalesceable: 18	coalesced: 16
203 moves: 6	coalesceable: 0	coalesced: 6
204 moves: 213	coalesceable: 95	coalesced: 134
205 moves: 4	coalesceable: 0	coalesced: 4
206 moves: 121	coalesceable: 60	coalesced: 71
207 moves: 2	coalesceable: 0	coalesced: 2
208 moves: 70	coalesceable: 52	coalesced: 46
209 moves: 3	coalesceable: 0	coalesced: 3
210 moves: 99	coalesceable: 68	coalesced: 66
211 moves: 4	coalesceable: 0	coalesced: 4
212 moves: 389	coalesceable: 144	coalesced: 267
213 moves: 2	coalesceable: 0	coalesced: 2
214 moves: 59	coalesceable: 38	coalesced: 44
215 moves: 2	coalesceable: 0	coalesced: 2
216 moves: 6	coalesceable: 3	coalesced: 4
217 moves: 4	coalesceable: 0	coalesced: 4
218 moves: 151	coalesceable: 87	coalesced: 99
219 moves: 3	coalesceable: 0	coalesced: 3
220 moves: 106	coalesceable: 74	coalesced: 71
221 moves: 2	coalesceable: 0	coalesced: 2
222 moves: 4	coalesceable: 4	coalesced: 4
223 moves: 4	coalesceable: 0	coalesced: 4
224 moves: 125	coalesceable: 64	coalesced: 101
225 moves: 4	coalesceable: 0	coalesced: 4
226 moves: 108	coalesceable: 53	coalesced: 64
227 moves: 3	coalesceable: 0	coalesced: 3
228 moves: 44	coalesceable: 33	coalesced: 30
229 moves: 3	coalesceable: 0	coalesced: 3
230 moves: 402	coalesceable: 170	coalesced: 237
231 moves: 2	coalesceable: 0	coalesced: 2
232 moves: 5	coalesceable: 5	coalesced: 5
233 moves: 2	coalesceable: 0	coalesced: 2
234 moves: 38	coalesceable: 24	coalesced: 31

eval_cake: external register allocation finished --- Thu Jun 19 00:02:02 2025
Saved theorem _______ "temp_oracle_cv_eq"
Saved theorem _______ "temp_oracle_cv_thm"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Thu Jun 19 00:02:03 2025
eval_cake: about to run cv_eval_raw on complie_cake_def --- Thu Jun 19 00:02:03 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1516 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval_raw complie_cake_def finished --- Thu Jun 19 00:02:09 2025
eval_cake: to_pair evaluation finished --- Thu Jun 19 00:02:09 2025
eval_cake: abbrevations for result defined --- Thu Jun 19 00:02:10 2025
eval_cake: new_spec run on result --- Thu Jun 19 00:02:10 2025
eval_cake: about to run cv_compute on export --- Thu Jun 19 00:02:10 2025
eval_cake: cv_compute on export finished --- Thu Jun 19 00:02:10 2025
Writing cv to file: echo.S
eval_cake: theory tidy up finished --- Thu Jun 19 00:02:10 2025
Saved theorem _______ "echo_compiled"
Exporting theory "echoCompile" ... done.
Theory "echoCompile" took 19.7s to build
cc -O2 -o cake_cat cat.S /home/myreen/regression/cakeml-2865/basis/basis_ffi.o -lm
cc -O2 -o cake_diff diff.S /home/myreen/regression/cakeml-2865/basis/basis_ffi.o -lm
cc -O2 -o cake_echo echo.S /home/myreen/regression/cakeml-2865/basis/basis_ffi.o -lm
Linking /home/myreen/regression/cakeml-2865/examples/compilation/x64/grepCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "grepCompile">>
eval_cake: config EVAL-ed --- Thu Jun 19 00:02:26 2025
Saved theorem _______ "grep_prog_cv_eq"
Saved theorem _______ "grep_prog_cv_thm"
Able to translate: grep_progeval_cake: cv_trans_deep_embedding prog_def finished --- Thu Jun 19 00:02:32 2025
eval_cake: about to run cv_eval on to_livesets_def --- Thu Jun 19 00:02:32 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1053 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval to_livesets finished --- Thu Jun 19 00:02:39 2025
Num regs: 9 Alg: IRC
0 moves: 64	coalesceable: 43	coalesced: 41
1 moves: 20	coalesceable: 20	coalesced: 19
2 moves: 81	coalesceable: 61	coalesced: 51
3 moves: 24	coalesceable: 24	coalesced: 21
4 moves: 14	coalesceable: 14	coalesced: 13
5 moves: 134	coalesceable: 108	coalesced: 100
6 moves: 7	coalesceable: 7	coalesced: 7
7 moves: 7	coalesceable: 7	coalesced: 7
8 moves: 7	coalesceable: 7	coalesced: 7
9 moves: 7	coalesceable: 7	coalesced: 7
10 moves: 7	coalesceable: 7	coalesced: 7
11 moves: 16	coalesceable: 16	coalesced: 16
12 moves: 43	coalesceable: 43	coalesced: 35
13 moves: 27	coalesceable: 18	coalesced: 17
14 moves: 49	coalesceable: 46	coalesced: 38
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 7	coalesceable: 3	coalesced: 2
17 moves: 10	coalesceable: 7	coalesced: 7
18 moves: 18	coalesceable: 18	coalesced: 18
19 moves: 19	coalesceable: 19	coalesced: 18
20 moves: 19	coalesceable: 19	coalesced: 18
21 moves: 29	coalesceable: 29	coalesced: 26
22 moves: 32	coalesceable: 26	coalesced: 25
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 16	coalesceable: 16	coalesced: 15
25 moves: 35	coalesceable: 35	coalesced: 26
26 moves: 17	coalesceable: 17	coalesced: 13
27 moves: 17	coalesceable: 17	coalesced: 13
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 316	coalesceable: 252	coalesced: 296
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 24	coalesceable: 23	coalesced: 23
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 21	coalesceable: 18	coalesced: 18
35 moves: 89	coalesceable: 78	coalesced: 85
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 63	coalesceable: 60	coalesced: 60
38 moves: 85	coalesceable: 82	coalesced: 82
39 moves: 28	coalesceable: 25	coalesced: 25
40 moves: 47	coalesceable: 44	coalesced: 44
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 21	coalesceable: 18	coalesced: 18
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 50	coalesceable: 47	coalesced: 47
46 moves: 8	coalesceable: 7	coalesced: 7
47 moves: 11	coalesceable: 10	coalesced: 10
48 moves: 21	coalesceable: 18	coalesced: 18
49 moves: 25	coalesceable: 22	coalesced: 22
50 moves: 15	coalesceable: 14	coalesced: 14
51 moves: 20	coalesceable: 17	coalesced: 17
52 moves: 24	coalesceable: 21	coalesced: 21
53 moves: 175	coalesceable: 82	coalesced: 117
54 moves: 87	coalesceable: 49	coalesced: 55
55 moves: 28	coalesceable: 15	coalesced: 19
56 moves: 32	coalesceable: 25	coalesced: 17
57 moves: 50	coalesceable: 39	coalesced: 31
58 moves: 64	coalesceable: 33	coalesced: 39
59 moves: 42	coalesceable: 34	coalesced: 26
60 moves: 67	coalesceable: 43	coalesced: 36
61 moves: 893	coalesceable: 459	coalesced: 620
62 moves: 1051	coalesceable: 473	coalesced: 748
63 moves: 1131	coalesceable: 473	coalesced: 808
64 moves: 1215	coalesceable: 476	coalesced: 881
65 moves: 1303	coalesceable: 482	coalesced: 936
66 moves: 1395	coalesceable: 491	coalesced: 1012
67 moves: 1491	coalesceable: 503	coalesced: 1084
68 moves: 1591	coalesceable: 515	coalesced: 1169
69 moves: 1695	coalesceable: 529	coalesced: 1233
70 moves: 1803	coalesceable: 544	coalesced: 1316
71 moves: 13	coalesceable: 13	coalesced: 12
72 moves: 15	coalesceable: 15	coalesced: 14
73 moves: 15	coalesceable: 15	coalesced: 13
74 moves: 17	coalesceable: 17	coalesced: 16
75 moves: 17	coalesceable: 17	coalesced: 15
76 moves: 17	coalesceable: 17	coalesced: 15
77 moves: 19	coalesceable: 19	coalesced: 18
78 moves: 19	coalesceable: 19	coalesced: 17
79 moves: 19	coalesceable: 19	coalesced: 17
80 moves: 19	coalesceable: 19	coalesced: 17
81 moves: 21	coalesceable: 21	coalesced: 20
82 moves: 21	coalesceable: 21	coalesced: 19
83 moves: 21	coalesceable: 21	coalesced: 19
84 moves: 21	coalesceable: 21	coalesced: 19
85 moves: 21	coalesceable: 21	coalesced: 19
86 moves: 23	coalesceable: 22	coalesced: 17
87 moves: 23	coalesceable: 22	coalesced: 17
88 moves: 23	coalesceable: 22	coalesced: 17
89 moves: 23	coalesceable: 22	coalesced: 17
90 moves: 23	coalesceable: 22	coalesced: 17
91 moves: 23	coalesceable: 22	coalesced: 17
92 moves: 25	coalesceable: 23	coalesced: 15
93 moves: 25	coalesceable: 23	coalesced: 14
94 moves: 25	coalesceable: 23	coalesced: 16
95 moves: 25	coalesceable: 23	coalesced: 15
96 moves: 25	coalesceable: 23	coalesced: 16
97 moves: 25	coalesceable: 23	coalesced: 15
98 moves: 25	coalesceable: 23	coalesced: 16
99 moves: 27	coalesceable: 23	coalesced: 12
100 moves: 27	coalesceable: 24	coalesced: 11
101 moves: 27	coalesceable: 24	coalesced: 14
102 moves: 27	coalesceable: 24	coalesced: 13
103 moves: 27	coalesceable: 24	coalesced: 14
104 moves: 27	coalesceable: 24	coalesced: 13
105 moves: 27	coalesceable: 24	coalesced: 14
106 moves: 27	coalesceable: 24	coalesced: 14
107 moves: 29	coalesceable: 23	coalesced: 14
108 moves: 29	coalesceable: 24	coalesced: 13
109 moves: 29	coalesceable: 25	coalesced: 16
110 moves: 29	coalesceable: 25	coalesced: 15
111 moves: 29	coalesceable: 25	coalesced: 16
112 moves: 29	coalesceable: 25	coalesced: 15
113 moves: 29	coalesceable: 25	coalesced: 16
114 moves: 29	coalesceable: 25	coalesced: 15
115 moves: 29	coalesceable: 25	coalesced: 17
116 moves: 61	coalesceable: 56	coalesced: 57
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 15	coalesceable: 13	coalesced: 13
120 moves: 15	coalesceable: 13	coalesced: 12
121 moves: 15	coalesceable: 13	coalesced: 12
122 moves: 15	coalesceable: 13	coalesced: 12
123 moves: 15	coalesceable: 13	coalesced: 12
124 moves: 15	coalesceable: 13	coalesced: 12
125 moves: 15	coalesceable: 13	coalesced: 12
126 moves: 15	coalesceable: 13	coalesced: 12
127 moves: 15	coalesceable: 13	coalesced: 12
128 moves: 15	coalesceable: 13	coalesced: 12
129 moves: 15	coalesceable: 13	coalesced: 12
130 moves: 15	coalesceable: 13	coalesced: 12
131 moves: 15	coalesceable: 13	coalesced: 12
132 moves: 15	coalesceable: 13	coalesced: 12
133 moves: 15	coalesceable: 13	coalesced: 12
134 moves: 15	coalesceable: 13	coalesced: 12
135 moves: 15	coalesceable: 13	coalesced: 12
136 moves: 15	coalesceable: 13	coalesced: 12
137 moves: 15	coalesceable: 13	coalesced: 12
138 moves: 15	coalesceable: 13	coalesced: 12
139 moves: 15	coalesceable: 13	coalesced: 12
140 moves: 15	coalesceable: 13	coalesced: 12
141 moves: 15	coalesceable: 13	coalesced: 12
142 moves: 15	coalesceable: 13	coalesced: 12
143 moves: 15	coalesceable: 13	coalesced: 12
144 moves: 15	coalesceable: 13	coalesced: 12
145 moves: 15	coalesceable: 13	coalesced: 12
146 moves: 15	coalesceable: 13	coalesced: 12
147 moves: 15	coalesceable: 13	coalesced: 12
148 moves: 15	coalesceable: 13	coalesced: 12
149 moves: 15	coalesceable: 13	coalesced: 12
150 moves: 15	coalesceable: 13	coalesced: 12
151 moves: 15	coalesceable: 13	coalesced: 12
152 moves: 15	coalesceable: 13	coalesced: 12
153 moves: 15	coalesceable: 13	coalesced: 12
154 moves: 15	coalesceable: 13	coalesced: 12
155 moves: 15	coalesceable: 13	coalesced: 12
156 moves: 15	coalesceable: 13	coalesced: 12
157 moves: 23	coalesceable: 20	coalesced: 17
158 moves: 15	coalesceable: 13	coalesced: 12
159 moves: 15	coalesceable: 13	coalesced: 12
160 moves: 30	coalesceable: 19	coalesced: 21
161 moves: 15	coalesceable: 13	coalesced: 12
162 moves: 15	coalesceable: 13	coalesced: 12
163 moves: 15	coalesceable: 13	coalesced: 12
164 moves: 15	coalesceable: 13	coalesced: 12
165 moves: 15	coalesceable: 13	coalesced: 12
166 moves: 15	coalesceable: 13	coalesced: 12
167 moves: 15	coalesceable: 13	coalesced: 12
168 moves: 15	coalesceable: 13	coalesced: 12
169 moves: 15	coalesceable: 13	coalesced: 12
170 moves: 15	coalesceable: 13	coalesced: 12
171 moves: 15	coalesceable: 13	coalesced: 12
172 moves: 15	coalesceable: 13	coalesced: 12
173 moves: 15	coalesceable: 13	coalesced: 12
174 moves: 15	coalesceable: 13	coalesced: 12
175 moves: 10	coalesceable: 6	coalesced: 6
176 moves: 15	coalesceable: 13	coalesced: 12
177 moves: 15	coalesceable: 13	coalesced: 12
178 moves: 15	coalesceable: 13	coalesced: 12
179 moves: 15	coalesceable: 13	coalesced: 12
180 moves: 10	coalesceable: 6	coalesced: 6
181 moves: 15	coalesceable: 12	coalesced: 10
182 moves: 15	coalesceable: 12	coalesced: 10
183 moves: 15	coalesceable: 13	coalesced: 12
184 moves: 15	coalesceable: 13	coalesced: 12
185 moves: 15	coalesceable: 13	coalesced: 12
186 moves: 15	coalesceable: 13	coalesced: 12
187 moves: 15	coalesceable: 13	coalesced: 12
188 moves: 15	coalesceable: 13	coalesced: 12
189 moves: 15	coalesceable: 13	coalesced: 12
190 moves: 15	coalesceable: 13	coalesced: 12
191 moves: 15	coalesceable: 13	coalesced: 12
192 moves: 15	coalesceable: 13	coalesced: 12
193 moves: 2	coalesceable: 2	coalesced: 2
194 moves: 15	coalesceable: 13	coalesced: 12
195 moves: 15	coalesceable: 12	coalesced: 10
196 moves: 2	coalesceable: 2	coalesced: 2
197 moves: 15	coalesceable: 13	coalesced: 12
198 moves: 15	coalesceable: 13	coalesced: 12
199 moves: 15	coalesceable: 13	coalesced: 12
200 moves: 15	coalesceable: 13	coalesced: 12
201 moves: 2	coalesceable: 2	coalesced: 2
202 moves: 2	coalesceable: 2	coalesced: 2
203 moves: 15	coalesceable: 13	coalesced: 12
204 moves: 15	coalesceable: 13	coalesced: 12
205 moves: 15	coalesceable: 13	coalesced: 12
206 moves: 15	coalesceable: 13	coalesced: 12
207 moves: 15	coalesceable: 13	coalesced: 12
208 moves: 15	coalesceable: 13	coalesced: 12
209 moves: 2	coalesceable: 2	coalesced: 2
210 moves: 15	coalesceable: 13	coalesced: 12
211 moves: 15	coalesceable: 13	coalesced: 12
212 moves: 15	coalesceable: 13	coalesced: 12
213 moves: 15	coalesceable: 13	coalesced: 12
214 moves: 15	coalesceable: 13	coalesced: 12
215 moves: 15	coalesceable: 13	coalesced: 12
216 moves: 15	coalesceable: 13	coalesced: 12
217 moves: 15	coalesceable: 13	coalesced: 12
218 moves: 15	coalesceable: 13	coalesced: 12
219 moves: 15	coalesceable: 13	coalesced: 12
220 moves: 15	coalesceable: 13	coalesced: 12
221 moves: 15	coalesceable: 13	coalesced: 12
222 moves: 15	coalesceable: 13	coalesced: 12
223 moves: 15	coalesceable: 12	coalesced: 10
224 moves: 15	coalesceable: 13	coalesced: 12
225 moves: 15	coalesceable: 13	coalesced: 12
226 moves: 15	coalesceable: 13	coalesced: 12
227 moves: 15	coalesceable: 13	coalesced: 12
228 moves: 15	coalesceable: 13	coalesced: 12
229 moves: 14	coalesceable: 12	coalesced: 11
230 moves: 15	coalesceable: 13	coalesced: 12
231 moves: 15	coalesceable: 13	coalesced: 12
232 moves: 21	coalesceable: 19	coalesced: 17
233 moves: 15	coalesceable: 13	coalesced: 12
234 moves: 15	coalesceable: 13	coalesced: 12
235 moves: 15	coalesceable: 13	coalesced: 12
236 moves: 15	coalesceable: 13	coalesced: 12
237 moves: 15	coalesceable: 13	coalesced: 12
238 moves: 15	coalesceable: 13	coalesced: 12
239 moves: 15	coalesceable: 13	coalesced: 12
240 moves: 15	coalesceable: 13	coalesced: 12
241 moves: 15	coalesceable: 13	coalesced: 12
242 moves: 15	coalesceable: 13	coalesced: 12
243 moves: 15	coalesceable: 12	coalesced: 10
244 moves: 15	coalesceable: 13	coalesced: 12
245 moves: 15	coalesceable: 13	coalesced: 12
246 moves: 15	coalesceable: 13	coalesced: 12
247 moves: 15	coalesceable: 13	coalesced: 12
248 moves: 15	coalesceable: 13	coalesced: 12
249 moves: 15	coalesceable: 13	coalesced: 12
250 moves: 8	coalesceable: 6	coalesced: 6
251 moves: 15	coalesceable: 13	coalesced: 12
252 moves: 15	coalesceable: 13	coalesced: 12
253 moves: 15	coalesceable: 13	coalesced: 12
254 moves: 15	coalesceable: 13	coalesced: 12
255 moves: 15	coalesceable: 13	coalesced: 12
256 moves: 15	coalesceable: 13	coalesced: 12
257 moves: 15	coalesceable: 13	coalesced: 12
258 moves: 15	coalesceable: 13	coalesced: 12
259 moves: 15	coalesceable: 13	coalesced: 12
260 moves: 15	coalesceable: 13	coalesced: 12
261 moves: 15	coalesceable: 13	coalesced: 12
262 moves: 15	coalesceable: 13	coalesced: 12
263 moves: 15	coalesceable: 13	coalesced: 12
264 moves: 15	coalesceable: 13	coalesced: 12
265 moves: 15	coalesceable: 13	coalesced: 12
266 moves: 15	coalesceable: 13	coalesced: 12
267 moves: 15	coalesceable: 13	coalesced: 12
268 moves: 15	coalesceable: 13	coalesced: 12
269 moves: 15	coalesceable: 13	coalesced: 12
270 moves: 15	coalesceable: 13	coalesced: 12
271 moves: 15	coalesceable: 13	coalesced: 12
272 moves: 15	coalesceable: 13	coalesced: 12
273 moves: 15	coalesceable: 13	coalesced: 12
274 moves: 30	coalesceable: 19	coalesced: 21
275 moves: 15	coalesceable: 13	coalesced: 12
276 moves: 15	coalesceable: 13	coalesced: 12
277 moves: 15	coalesceable: 13	coalesced: 12
278 moves: 15	coalesceable: 13	coalesced: 12
279 moves: 15	coalesceable: 13	coalesced: 12
280 moves: 15	coalesceable: 13	coalesced: 12
281 moves: 15	coalesceable: 13	coalesced: 12
282 moves: 15	coalesceable: 13	coalesced: 12
283 moves: 15	coalesceable: 13	coalesced: 12
284 moves: 15	coalesceable: 13	coalesced: 12
285 moves: 15	coalesceable: 13	coalesced: 12
286 moves: 19	coalesceable: 14	coalesced: 14
287 moves: 15	coalesceable: 13	coalesced: 12
288 moves: 15	coalesceable: 13	coalesced: 12
289 moves: 15	coalesceable: 13	coalesced: 12
290 moves: 15	coalesceable: 13	coalesced: 12
291 moves: 15	coalesceable: 13	coalesced: 12
292 moves: 15	coalesceable: 13	coalesced: 12
293 moves: 1645	coalesceable: 1008	coalesced: 1309
294 moves: 15	coalesceable: 13	coalesced: 12
295 moves: 15	coalesceable: 13	coalesced: 12
296 moves: 15	coalesceable: 13	coalesced: 12
297 moves: 15	coalesceable: 13	coalesced: 12
298 moves: 15	coalesceable: 13	coalesced: 12
299 moves: 15	coalesceable: 12	coalesced: 10
300 moves: 15	coalesceable: 13	coalesced: 12
301 moves: 15	coalesceable: 13	coalesced: 12
302 moves: 15	coalesceable: 13	coalesced: 12
303 moves: 15	coalesceable: 13	coalesced: 12
304 moves: 5	coalesceable: 3	coalesced: 3
305 moves: 2	coalesceable: 0	coalesced: 2
306 moves: 4	coalesceable: 4	coalesced: 4
307 moves: 2	coalesceable: 0	coalesced: 2
308 moves: 4	coalesceable: 4	coalesced: 4
309 moves: 4	coalesceable: 0	coalesced: 4
310 moves: 42	coalesceable: 34	coalesced: 27
311 moves: 2	coalesceable: 0	coalesced: 2
312 moves: 2	coalesceable: 1	coalesced: 2
313 moves: 3	coalesceable: 0	coalesced: 3
314 moves: 2	coalesceable: 1	coalesced: 1
315 moves: 4	coalesceable: 0	coalesced: 4
316 moves: 65	coalesceable: 37	coalesced: 38
317 moves: 3	coalesceable: 0	coalesced: 3
318 moves: 7	coalesceable: 7	coalesced: 5
319 moves: 3	coalesceable: 0	coalesced: 3
320 moves: 25	coalesceable: 19	coalesced: 12
321 moves: 4	coalesceable: 0	coalesced: 4
322 moves: 94	coalesceable: 52	coalesced: 59
323 moves: 2	coalesceable: 0	coalesced: 2
324 moves: 6	coalesceable: 6	coalesced: 6
325 moves: 3	coalesceable: 0	coalesced: 3
326 moves: 42	coalesceable: 28	coalesced: 32
327 moves: 3	coalesceable: 0	coalesced: 3
328 moves: 29	coalesceable: 22	coalesced: 17
329 moves: 2	coalesceable: 0	coalesced: 2
330 moves: 5	coalesceable: 5	coalesced: 4
331 moves: 2	coalesceable: 0	coalesced: 2
332 moves: 6	coalesceable: 6	coalesced: 6
333 moves: 3	coalesceable: 0	coalesced: 3
334 moves: 50	coalesceable: 37	coalesced: 32
335 moves: 3	coalesceable: 0	coalesced: 3
336 moves: 66	coalesceable: 38	coalesced: 42
337 moves: 3	coalesceable: 0	coalesced: 3
338 moves: 38	coalesceable: 26	coalesced: 24
339 moves: 2	coalesceable: 0	coalesced: 2
340 moves: 77	coalesceable: 50	coalesced: 53
341 moves: 3	coalesceable: 0	coalesced: 3
342 moves: 44	coalesceable: 37	coalesced: 27
343 moves: 2	coalesceable: 0	coalesced: 2
344 moves: 33	coalesceable: 21	coalesced: 23
345 moves: 3	coalesceable: 0	coalesced: 3
346 moves: 70	coalesceable: 46	coalesced: 44
347 moves: 3	coalesceable: 0	coalesced: 3
348 moves: 34	coalesceable: 28	coalesced: 25
349 moves: 2	coalesceable: 0	coalesced: 2
350 moves: 11	coalesceable: 11	coalesced: 10
351 moves: 2	coalesceable: 0	coalesced: 2
352 moves: 7	coalesceable: 7	coalesced: 7
353 moves: 2	coalesceable: 0	coalesced: 2
354 moves: 27	coalesceable: 13	coalesced: 17
355 moves: 4	coalesceable: 0	coalesced: 4
356 moves: 121	coalesceable: 60	coalesced: 71
357 moves: 3	coalesceable: 0	coalesced: 3
358 moves: 55	coalesceable: 34	coalesced: 37
359 moves: 2	coalesceable: 0	coalesced: 2
360 moves: 43	coalesceable: 24	coalesced: 28
361 moves: 3	coalesceable: 0	coalesced: 3
362 moves: 22	coalesceable: 17	coalesced: 12
363 moves: 3	coalesceable: 0	coalesced: 3
364 moves: 22	coalesceable: 17	coalesced: 12
365 moves: 3	coalesceable: 0	coalesced: 3
366 moves: 27	coalesceable: 20	coalesced: 15
367 moves: 3	coalesceable: 0	coalesced: 3
368 moves: 26	coalesceable: 21	coalesced: 15
369 moves: 3	coalesceable: 0	coalesced: 3
370 moves: 20	coalesceable: 16	coalesced: 12
371 moves: 3	coalesceable: 0	coalesced: 3
372 moves: 20	coalesceable: 16	coalesced: 12
373 moves: 3	coalesceable: 0	coalesced: 3
374 moves: 26	coalesceable: 22	coalesced: 18
375 moves: 3	coalesceable: 0	coalesced: 3
376 moves: 26	coalesceable: 22	coalesced: 18
377 moves: 3	coalesceable: 0	coalesced: 3
378 moves: 55	coalesceable: 34	coalesced: 37
379 moves: 2	coalesceable: 0	coalesced: 2
380 moves: 2	coalesceable: 1	coalesced: 2
381 moves: 2	coalesceable: 0	coalesced: 2
382 moves: 42	coalesceable: 27	coalesced: 24
383 moves: 2	coalesceable: 0	coalesced: 2
384 moves: 22	coalesceable: 17	coalesced: 12
385 moves: 2	coalesceable: 0	coalesced: 2
386 moves: 2	coalesceable: 1	coalesced: 2
387 moves: 3	coalesceable: 0	coalesced: 3
388 moves: 35	coalesceable: 22	coalesced: 18
389 moves: 3	coalesceable: 0	coalesced: 3
390 moves: 17	coalesceable: 17	coalesced: 15
391 moves: 2	coalesceable: 0	coalesced: 2
392 moves: 7	coalesceable: 7	coalesced: 7
393 moves: 4	coalesceable: 0	coalesced: 4
394 moves: 18	coalesceable: 18	coalesced: 16
395 moves: 6	coalesceable: 0	coalesced: 6
396 moves: 213	coalesceable: 95	coalesced: 134
397 moves: 6	coalesceable: 0	coalesced: 6
398 moves: 213	coalesceable: 95	coalesced: 134
399 moves: 4	coalesceable: 0	coalesced: 4
400 moves: 121	coalesceable: 60	coalesced: 71
401 moves: 2	coalesceable: 0	coalesced: 2
402 moves: 70	coalesceable: 52	coalesced: 46
403 moves: 3	coalesceable: 0	coalesced: 3
404 moves: 99	coalesceable: 68	coalesced: 66
405 moves: 4	coalesceable: 0	coalesced: 4
406 moves: 389	coalesceable: 144	coalesced: 267
407 moves: 2	coalesceable: 0	coalesced: 2
408 moves: 59	coalesceable: 38	coalesced: 44
409 moves: 2	coalesceable: 0	coalesced: 2
410 moves: 6	coalesceable: 3	coalesced: 4
411 moves: 4	coalesceable: 0	coalesced: 4
412 moves: 151	coalesceable: 87	coalesced: 99
413 moves: 3	coalesceable: 0	coalesced: 3
414 moves: 106	coalesceable: 74	coalesced: 71
415 moves: 2	coalesceable: 0	coalesced: 2
416 moves: 4	coalesceable: 4	coalesced: 4
417 moves: 2	coalesceable: 0	coalesced: 2
418 moves: 4	coalesceable: 4	coalesced: 4
419 moves: 4	coalesceable: 0	coalesced: 4
420 moves: 125	coalesceable: 64	coalesced: 101
421 moves: 4	coalesceable: 0	coalesced: 4
422 moves: 108	coalesceable: 53	coalesced: 64
423 moves: 3	coalesceable: 0	coalesced: 3
424 moves: 402	coalesceable: 170	coalesced: 237
425 moves: 2	coalesceable: 0	coalesced: 2
426 moves: 5	coalesceable: 5	coalesced: 5
427 moves: 2	coalesceable: 0	coalesced: 2
428 moves: 250	coalesceable: 129	coalesced: 182
429 moves: 2	coalesceable: 0	coalesced: 2
430 moves: 63	coalesceable: 51	coalesced: 51
431 moves: 3	coalesceable: 0	coalesced: 3
432 moves: 51	coalesceable: 41	coalesced: 39
433 moves: 2	coalesceable: 0	coalesced: 2
434 moves: 19	coalesceable: 17	coalesced: 14
435 moves: 2	coalesceable: 0	coalesced: 2
436 moves: 147	coalesceable: 73	coalesced: 75
437 moves: 203	coalesceable: 113	coalesced: 121
438 moves: 197	coalesceable: 100	coalesced: 133
439 moves: 2	coalesceable: 0	coalesced: 2
440 moves: 40	coalesceable: 26	coalesced: 25
441 moves: 3	coalesceable: 0	coalesced: 3
442 moves: 62	coalesceable: 50	coalesced: 48
443 moves: 3	coalesceable: 0	coalesced: 3
444 moves: 395	coalesceable: 264	coalesced: 299
445 moves: 3	coalesceable: 0	coalesced: 3
446 moves: 30	coalesceable: 23	coalesced: 18
447 moves: 2	coalesceable: 0	coalesced: 2
448 moves: 6	coalesceable: 6	coalesced: 6
449 moves: 3	coalesceable: 0	coalesced: 3
450 moves: 27	coalesceable: 21	coalesced: 19
451 moves: 5	coalesceable: 0	coalesced: 5
452 moves: 2563	coalesceable: 744	coalesced: 1847
453 moves: 5	coalesceable: 0	coalesced: 5
454 moves: 2530	coalesceable: 756	coalesced: 1809
455 moves: 2	coalesceable: 0	coalesced: 2
456 moves: 125	coalesceable: 83	coalesced: 84
457 moves: 2	coalesceable: 0	coalesced: 2
458 moves: 4	coalesceable: 4	coalesced: 4
459 moves: 4	coalesceable: 0	coalesced: 4
460 moves: 86	coalesceable: 50	coalesced: 50
461 moves: 4	coalesceable: 0	coalesced: 4
462 moves: 64	coalesceable: 44	coalesced: 38
463 moves: 5	coalesceable: 0	coalesced: 5
464 moves: 173	coalesceable: 75	coalesced: 96
465 moves: 4	coalesceable: 0	coalesced: 4
466 moves: 65	coalesceable: 43	coalesced: 43
467 moves: 3	coalesceable: 0	coalesced: 3
468 moves: 52	coalesceable: 37	coalesced: 29
469 moves: 3	coalesceable: 0	coalesced: 3
470 moves: 550	coalesceable: 285	coalesced: 418
471 moves: 3	coalesceable: 0	coalesced: 3
472 moves: 13	coalesceable: 13	coalesced: 13
473 moves: 2	coalesceable: 0	coalesced: 2
474 moves: 278	coalesceable: 211	coalesced: 197
475 moves: 4	coalesceable: 0	coalesced: 4
476 moves: 93	coalesceable: 57	coalesced: 67
477 moves: 5	coalesceable: 0	coalesced: 5
478 moves: 460	coalesceable: 252	coalesced: 323
479 moves: 2	coalesceable: 0	coalesced: 2
480 moves: 23	coalesceable: 18	coalesced: 14
481 moves: 4	coalesceable: 0	coalesced: 4
482 moves: 215	coalesceable: 109	coalesced: 149
483 moves: 4	coalesceable: 0	coalesced: 4
484 moves: 657	coalesceable: 410	coalesced: 449
485 moves: 3	coalesceable: 0	coalesced: 3
486 moves: 32	coalesceable: 26	coalesced: 23
487 moves: 2	coalesceable: 0	coalesced: 2
488 moves: 134	coalesceable: 82	coalesced: 93
489 moves: 3	coalesceable: 0	coalesced: 3
490 moves: 194	coalesceable: 134	coalesced: 139
491 moves: 2	coalesceable: 0	coalesced: 2
492 moves: 402	coalesceable: 312	coalesced: 294
493 moves: 3	coalesceable: 0	coalesced: 3
494 moves: 16	coalesceable: 10	coalesced: 7
495 moves: 3	coalesceable: 0	coalesced: 3
496 moves: 37	coalesceable: 28	coalesced: 27
497 moves: 2	coalesceable: 0	coalesced: 2
498 moves: 179	coalesceable: 118	coalesced: 119
499 moves: 2	coalesceable: 0	coalesced: 2
500 moves: 368	coalesceable: 229	coalesced: 264
501 moves: 2	coalesceable: 0	coalesced: 2
502 moves: 18	coalesceable: 14	coalesced: 12
503 moves: 3	coalesceable: 0	coalesced: 3
504 moves: 156	coalesceable: 113	coalesced: 108
505 moves: 3	coalesceable: 0	coalesced: 3
506 moves: 151	coalesceable: 81	coalesced: 99
507 moves: 2	coalesceable: 0	coalesced: 2
508 moves: 129	coalesceable: 102	coalesced: 98
509 moves: 2	coalesceable: 0	coalesced: 2
510 moves: 114	coalesceable: 91	coalesced: 87
511 moves: 2	coalesceable: 0	coalesced: 2
512 moves: 2	coalesceable: 0	coalesced: 2
513 moves: 2	coalesceable: 0	coalesced: 2
514 moves: 86	coalesceable: 56	coalesced: 56
515 moves: 3	coalesceable: 0	coalesced: 3
516 moves: 7	coalesceable: 7	coalesced: 7
517 moves: 5	coalesceable: 0	coalesced: 5
518 moves: 66	coalesceable: 64	coalesced: 43
519 moves: 2	coalesceable: 0	coalesced: 2
520 moves: 124	coalesceable: 72	coalesced: 81
521 moves: 2	coalesceable: 0	coalesced: 2
522 moves: 20	coalesceable: 16	coalesced: 14
523 moves: 7	coalesceable: 7	coalesced: 7
524 moves: 3	coalesceable: 0	coalesced: 3
525 moves: 206	coalesceable: 109	coalesced: 132
526 moves: 31	coalesceable: 19	coalesced: 19
527 moves: 2	coalesceable: 0	coalesced: 2
528 moves: 22	coalesceable: 18	coalesced: 16
529 moves: 5	coalesceable: 0	coalesced: 5
530 moves: 193	coalesceable: 109	coalesced: 121
531 moves: 4	coalesceable: 0	coalesced: 4
532 moves: 213	coalesceable: 121	coalesced: 146
533 moves: 4	coalesceable: 0	coalesced: 4
534 moves: 46	coalesceable: 34	coalesced: 28
535 moves: 3	coalesceable: 0	coalesced: 3
536 moves: 8	coalesceable: 8	coalesced: 7
537 moves: 3	coalesceable: 0	coalesced: 3
538 moves: 9	coalesceable: 9	coalesced: 7
539 moves: 5	coalesceable: 0	coalesced: 5
540 moves: 300	coalesceable: 121	coalesced: 215
541 moves: 5	coalesceable: 0	coalesced: 5
542 moves: 454	coalesceable: 180	coalesced: 287
543 moves: 5	coalesceable: 0	coalesced: 5
544 moves: 90	coalesceable: 56	coalesced: 59
545 moves: 3	coalesceable: 0	coalesced: 3
546 moves: 20	coalesceable: 16	coalesced: 12
547 moves: 2	coalesceable: 0	coalesced: 2
548 moves: 29	coalesceable: 25	coalesced: 22
549 moves: 3	coalesceable: 0	coalesced: 3
550 moves: 20	coalesceable: 16	coalesced: 12
551 moves: 2	coalesceable: 0	coalesced: 2
552 moves: 133	coalesceable: 57	coalesced: 105
553 moves: 2	coalesceable: 0	coalesced: 2
554 moves: 81	coalesceable: 50	coalesced: 59
555 moves: 2	coalesceable: 0	coalesced: 2
556 moves: 19	coalesceable: 15	coalesced: 13
557 moves: 3	coalesceable: 0	coalesced: 3
558 moves: 35	coalesceable: 22	coalesced: 19
559 moves: 4	coalesceable: 0	coalesced: 4
560 moves: 55	coalesceable: 28	coalesced: 37
561 moves: 3	coalesceable: 0	coalesced: 3
562 moves: 20	coalesceable: 16	coalesced: 12
563 moves: 2	coalesceable: 0	coalesced: 2
564 moves: 53	coalesceable: 35	coalesced: 37
565 moves: 2	coalesceable: 0	coalesced: 2
566 moves: 179	coalesceable: 115	coalesced: 139
567 moves: 2	coalesceable: 0	coalesced: 2
568 moves: 18	coalesceable: 10	coalesced: 12
569 moves: 3	coalesceable: 0	coalesced: 3
570 moves: 137	coalesceable: 55	coalesced: 96
571 moves: 3	coalesceable: 0	coalesced: 3
572 moves: 100	coalesceable: 63	coalesced: 69
573 moves: 2	coalesceable: 0	coalesced: 2
574 moves: 4	coalesceable: 4	coalesced: 4
575 moves: 2	coalesceable: 0	coalesced: 2
576 moves: 4	coalesceable: 4	coalesced: 4
577 moves: 2	coalesceable: 0	coalesced: 2
578 moves: 4	coalesceable: 4	coalesced: 4
579 moves: 2	coalesceable: 0	coalesced: 2
580 moves: 4	coalesceable: 4	coalesced: 4
581 moves: 2	coalesceable: 0	coalesced: 2
582 moves: 4	coalesceable: 4	coalesced: 4
583 moves: 2	coalesceable: 0	coalesced: 2
584 moves: 4	coalesceable: 4	coalesced: 4
585 moves: 4	coalesceable: 0	coalesced: 4
586 moves: 81	coalesceable: 59	coalesced: 60
587 moves: 3	coalesceable: 0	coalesced: 3
588 moves: 9	coalesceable: 9	coalesced: 9
589 moves: 3	coalesceable: 0	coalesced: 3
590 moves: 61	coalesceable: 33	coalesced: 38
591 moves: 2	coalesceable: 0	coalesced: 2
592 moves: 21	coalesceable: 19	coalesced: 16
593 moves: 3	coalesceable: 0	coalesced: 3
594 moves: 70	coalesceable: 52	coalesced: 47
595 moves: 3	coalesceable: 0	coalesced: 3
596 moves: 69	coalesceable: 42	coalesced: 50
597 moves: 2	coalesceable: 0	coalesced: 2
598 moves: 18	coalesceable: 14	coalesced: 12
599 moves: 2	coalesceable: 0	coalesced: 2
600 moves: 18	coalesceable: 14	coalesced: 12
601 moves: 8	coalesceable: 8	coalesced: 6
602 moves: 2629	coalesceable: 1368	coalesced: 1813
603 moves: 2	coalesceable: 0	coalesced: 2
604 moves: 8	coalesceable: 8	coalesced: 8
605 moves: 3	coalesceable: 0	coalesced: 3
606 moves: 35	coalesceable: 29	coalesced: 25
607 moves: 9	coalesceable: 0	coalesced: 9
608 moves: 78	coalesceable: 57	coalesced: 43
609 moves: 2	coalesceable: 0	coalesced: 2
610 moves: 18	coalesceable: 18	coalesced: 16
611 moves: 2	coalesceable: 0	coalesced: 2
612 moves: 29	coalesceable: 19	coalesced: 18
613 moves: 2	coalesceable: 0	coalesced: 2
614 moves: 96	coalesceable: 76	coalesced: 70
615 moves: 2	coalesceable: 0	coalesced: 2
616 moves: 26	coalesceable: 22	coalesced: 19
617 moves: 2	coalesceable: 0	coalesced: 2
618 moves: 17	coalesceable: 17	coalesced: 15
619 moves: 2	coalesceable: 0	coalesced: 2
620 moves: 9	coalesceable: 9	coalesced: 8
621 moves: 2	coalesceable: 0	coalesced: 2
622 moves: 51	coalesceable: 32	coalesced: 33
623 moves: 3	coalesceable: 0	coalesced: 3
624 moves: 2	coalesceable: 1	coalesced: 1
625 moves: 3	coalesceable: 0	coalesced: 3
626 moves: 32	coalesceable: 26	coalesced: 23
627 moves: 3	coalesceable: 0	coalesced: 3
628 moves: 2	coalesceable: 1	coalesced: 2
629 moves: 3	coalesceable: 0	coalesced: 3
630 moves: 32	coalesceable: 26	coalesced: 23
631 moves: 2	coalesceable: 0	coalesced: 2
632 moves: 49	coalesceable: 26	coalesced: 32
633 moves: 3	coalesceable: 0	coalesced: 3
634 moves: 22	coalesceable: 21	coalesced: 19
635 moves: 2	coalesceable: 0	coalesced: 2
636 moves: 22	coalesceable: 18	coalesced: 16
637 moves: 2	coalesceable: 0	coalesced: 2
638 moves: 70	coalesceable: 66	coalesced: 54
639 moves: 3	coalesceable: 0	coalesced: 3
640 moves: 18	coalesceable: 18	coalesced: 16
641 moves: 32	coalesceable: 26	coalesced: 23
642 moves: 65	coalesceable: 46	coalesced: 46
643 moves: 3	coalesceable: 0	coalesced: 3
644 moves: 74	coalesceable: 57	coalesced: 52
645 moves: 2	coalesceable: 0	coalesced: 2
646 moves: 28	coalesceable: 23	coalesced: 19
647 moves: 3	coalesceable: 0	coalesced: 3
648 moves: 22	coalesceable: 18	coalesced: 17
649 moves: 2	coalesceable: 0	coalesced: 2
650 moves: 18	coalesceable: 14	coalesced: 12
651 moves: 2	coalesceable: 0	coalesced: 2
652 moves: 45	coalesceable: 33	coalesced: 35
653 moves: 141	coalesceable: 115	coalesced: 104
654 moves: 31	coalesceable: 25	coalesced: 23
655 moves: 3	coalesceable: 0	coalesced: 3
656 moves: 29	coalesceable: 23	coalesced: 20
657 moves: 2	coalesceable: 0	coalesced: 2
658 moves: 5	coalesceable: 5	coalesced: 5
659 moves: 32	coalesceable: 26	coalesced: 23
660 moves: 90	coalesceable: 67	coalesced: 66
661 moves: 3	coalesceable: 0	coalesced: 3
662 moves: 29	coalesceable: 23	coalesced: 20
663 moves: 27	coalesceable: 23	coalesced: 21
664 moves: 84	coalesceable: 63	coalesced: 62
665 moves: 3	coalesceable: 0	coalesced: 3
666 moves: 29	coalesceable: 23	coalesced: 20
667 moves: 2	coalesceable: 0	coalesced: 2
668 moves: 5	coalesceable: 5	coalesced: 5
669 moves: 2	coalesceable: 0	coalesced: 2
670 moves: 18	coalesceable: 14	coalesced: 12
671 moves: 2	coalesceable: 0	coalesced: 2
672 moves: 119	coalesceable: 77	coalesced: 88
673 moves: 2	coalesceable: 0	coalesced: 2
674 moves: 79	coalesceable: 75	coalesced: 62
675 moves: 2	coalesceable: 0	coalesced: 2
676 moves: 5	coalesceable: 5	coalesced: 5
677 moves: 2	coalesceable: 0	coalesced: 2
678 moves: 42	coalesceable: 36	coalesced: 33
679 moves: 2	coalesceable: 0	coalesced: 2
680 moves: 5	coalesceable: 5	coalesced: 5
681 moves: 2	coalesceable: 0	coalesced: 2
682 moves: 42	coalesceable: 36	coalesced: 33
683 moves: 2	coalesceable: 0	coalesced: 2
684 moves: 5	coalesceable: 5	coalesced: 5
685 moves: 2	coalesceable: 0	coalesced: 2
686 moves: 5	coalesceable: 5	coalesced: 5
687 moves: 2	coalesceable: 0	coalesced: 2
688 moves: 5	coalesceable: 5	coalesced: 5
689 moves: 2	coalesceable: 0	coalesced: 2
690 moves: 5	coalesceable: 5	coalesced: 5
691 moves: 2	coalesceable: 0	coalesced: 2
692 moves: 5	coalesceable: 5	coalesced: 5
693 moves: 2	coalesceable: 0	coalesced: 2
694 moves: 5	coalesceable: 5	coalesced: 5
695 moves: 2	coalesceable: 0	coalesced: 2
696 moves: 27	coalesceable: 23	coalesced: 19
697 moves: 2	coalesceable: 0	coalesced: 2
698 moves: 102	coalesceable: 81	coalesced: 82
699 moves: 4	coalesceable: 0	coalesced: 4
700 moves: 92	coalesceable: 34	coalesced: 65
701 moves: 2	coalesceable: 0	coalesced: 2
702 moves: 67	coalesceable: 48	coalesced: 49
703 moves: 3	coalesceable: 0	coalesced: 3
704 moves: 117	coalesceable: 64	coalesced: 89
705 moves: 94	coalesceable: 43	coalesced: 68
706 moves: 2	coalesceable: 0	coalesced: 2
707 moves: 67	coalesceable: 48	coalesced: 49
708 moves: 3	coalesceable: 0	coalesced: 3
709 moves: 10	coalesceable: 6	coalesced: 8
710 moves: 3	coalesceable: 0	coalesced: 3
711 moves: 34	coalesceable: 26	coalesced: 27
712 moves: 34	coalesceable: 26	coalesced: 19
713 moves: 2	coalesceable: 0	coalesced: 2
714 moves: 153	coalesceable: 105	coalesced: 119

eval_cake: external register allocation finished --- Thu Jun 19 00:02:47 2025
Saved theorem _______ "temp_oracle_cv_eq"
Saved theorem _______ "temp_oracle_cv_thm"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Thu Jun 19 00:02:51 2025
eval_cake: about to run cv_eval_raw on complie_cake_def --- Thu Jun 19 00:02:51 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1516 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval_raw complie_cake_def finished --- Thu Jun 19 00:03:02 2025
eval_cake: to_pair evaluation finished --- Thu Jun 19 00:03:02 2025
eval_cake: abbrevations for result defined --- Thu Jun 19 00:03:05 2025
eval_cake: new_spec run on result --- Thu Jun 19 00:03:05 2025
eval_cake: about to run cv_compute on export --- Thu Jun 19 00:03:05 2025
eval_cake: cv_compute on export finished --- Thu Jun 19 00:03:06 2025
Writing cv to file: grep.S
eval_cake: theory tidy up finished --- Thu Jun 19 00:03:07 2025
Saved theorem _______ "grep_compiled"
Exporting theory "grepCompile" ... done.
Theory "grepCompile" took 41.7s to build
cc -O2 -o cake_grep grep.S /home/myreen/regression/cakeml-2865/basis/basis_ffi.o -lm
Linking /home/myreen/regression/cakeml-2865/examples/compilation/x64/helloCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "helloCompile">>
eval_cake: config EVAL-ed --- Thu Jun 19 00:03:21 2025
Saved theorem _______ "hello_prog_cv_eq"
Saved theorem _______ "hello_prog_cv_thm"
Able to translate: hello_progeval_cake: cv_trans_deep_embedding prog_def finished --- Thu Jun 19 00:03:25 2025
eval_cake: about to run cv_eval on to_livesets_def --- Thu Jun 19 00:03:25 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1053 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval to_livesets finished --- Thu Jun 19 00:03:28 2025
Num regs: 9 Alg: IRC
0 moves: 64	coalesceable: 43	coalesced: 41
1 moves: 20	coalesceable: 20	coalesced: 19
2 moves: 81	coalesceable: 61	coalesced: 51
3 moves: 24	coalesceable: 24	coalesced: 21
4 moves: 14	coalesceable: 14	coalesced: 13
5 moves: 134	coalesceable: 108	coalesced: 100
6 moves: 7	coalesceable: 7	coalesced: 7
7 moves: 7	coalesceable: 7	coalesced: 7
8 moves: 7	coalesceable: 7	coalesced: 7
9 moves: 7	coalesceable: 7	coalesced: 7
10 moves: 7	coalesceable: 7	coalesced: 7
11 moves: 16	coalesceable: 16	coalesced: 16
12 moves: 43	coalesceable: 43	coalesced: 35
13 moves: 27	coalesceable: 18	coalesced: 17
14 moves: 49	coalesceable: 46	coalesced: 38
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 7	coalesceable: 3	coalesced: 2
17 moves: 10	coalesceable: 7	coalesced: 7
18 moves: 18	coalesceable: 18	coalesced: 18
19 moves: 19	coalesceable: 19	coalesced: 18
20 moves: 19	coalesceable: 19	coalesced: 18
21 moves: 29	coalesceable: 29	coalesced: 26
22 moves: 32	coalesceable: 26	coalesced: 25
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 16	coalesceable: 16	coalesced: 15
25 moves: 35	coalesceable: 35	coalesced: 26
26 moves: 17	coalesceable: 17	coalesced: 13
27 moves: 17	coalesceable: 17	coalesced: 13
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 316	coalesceable: 252	coalesced: 296
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 24	coalesceable: 23	coalesced: 23
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 21	coalesceable: 18	coalesced: 18
35 moves: 89	coalesceable: 78	coalesced: 85
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 63	coalesceable: 60	coalesced: 60
38 moves: 85	coalesceable: 82	coalesced: 82
39 moves: 28	coalesceable: 25	coalesced: 25
40 moves: 47	coalesceable: 44	coalesced: 44
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 21	coalesceable: 18	coalesced: 18
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 50	coalesceable: 47	coalesced: 47
46 moves: 8	coalesceable: 7	coalesced: 7
47 moves: 11	coalesceable: 10	coalesced: 10
48 moves: 21	coalesceable: 18	coalesced: 18
49 moves: 25	coalesceable: 22	coalesced: 22
50 moves: 15	coalesceable: 14	coalesced: 14
51 moves: 20	coalesceable: 17	coalesced: 17
52 moves: 24	coalesceable: 21	coalesced: 21
53 moves: 175	coalesceable: 82	coalesced: 117
54 moves: 87	coalesceable: 49	coalesced: 55
55 moves: 28	coalesceable: 15	coalesced: 19
56 moves: 32	coalesceable: 25	coalesced: 17
57 moves: 50	coalesceable: 39	coalesced: 31
58 moves: 64	coalesceable: 33	coalesced: 39
59 moves: 42	coalesceable: 34	coalesced: 26
60 moves: 67	coalesceable: 43	coalesced: 36
61 moves: 893	coalesceable: 459	coalesced: 620
62 moves: 1051	coalesceable: 473	coalesced: 748
63 moves: 1131	coalesceable: 473	coalesced: 808
64 moves: 1215	coalesceable: 476	coalesced: 881
65 moves: 1303	coalesceable: 482	coalesced: 936
66 moves: 1395	coalesceable: 491	coalesced: 1012
67 moves: 1491	coalesceable: 503	coalesced: 1084
68 moves: 1591	coalesceable: 515	coalesced: 1169
69 moves: 1695	coalesceable: 529	coalesced: 1233
70 moves: 1803	coalesceable: 544	coalesced: 1316
71 moves: 13	coalesceable: 13	coalesced: 12
72 moves: 15	coalesceable: 15	coalesced: 14
73 moves: 15	coalesceable: 15	coalesced: 13
74 moves: 17	coalesceable: 17	coalesced: 16
75 moves: 17	coalesceable: 17	coalesced: 15
76 moves: 17	coalesceable: 17	coalesced: 15
77 moves: 19	coalesceable: 19	coalesced: 18
78 moves: 19	coalesceable: 19	coalesced: 17
79 moves: 19	coalesceable: 19	coalesced: 17
80 moves: 19	coalesceable: 19	coalesced: 17
81 moves: 21	coalesceable: 21	coalesced: 20
82 moves: 21	coalesceable: 21	coalesced: 19
83 moves: 21	coalesceable: 21	coalesced: 19
84 moves: 21	coalesceable: 21	coalesced: 19
85 moves: 21	coalesceable: 21	coalesced: 19
86 moves: 23	coalesceable: 22	coalesced: 17
87 moves: 23	coalesceable: 22	coalesced: 17
88 moves: 23	coalesceable: 22	coalesced: 17
89 moves: 23	coalesceable: 22	coalesced: 17
90 moves: 23	coalesceable: 22	coalesced: 17
91 moves: 23	coalesceable: 22	coalesced: 17
92 moves: 25	coalesceable: 23	coalesced: 15
93 moves: 25	coalesceable: 23	coalesced: 14
94 moves: 25	coalesceable: 23	coalesced: 16
95 moves: 25	coalesceable: 23	coalesced: 15
96 moves: 25	coalesceable: 23	coalesced: 16
97 moves: 25	coalesceable: 23	coalesced: 15
98 moves: 25	coalesceable: 23	coalesced: 16
99 moves: 27	coalesceable: 23	coalesced: 12
100 moves: 27	coalesceable: 24	coalesced: 11
101 moves: 27	coalesceable: 24	coalesced: 14
102 moves: 27	coalesceable: 24	coalesced: 13
103 moves: 27	coalesceable: 24	coalesced: 14
104 moves: 27	coalesceable: 24	coalesced: 13
105 moves: 27	coalesceable: 24	coalesced: 14
106 moves: 27	coalesceable: 24	coalesced: 14
107 moves: 29	coalesceable: 23	coalesced: 14
108 moves: 29	coalesceable: 24	coalesced: 13
109 moves: 29	coalesceable: 25	coalesced: 16
110 moves: 29	coalesceable: 25	coalesced: 15
111 moves: 29	coalesceable: 25	coalesced: 16
112 moves: 29	coalesceable: 25	coalesced: 15
113 moves: 29	coalesceable: 25	coalesced: 16
114 moves: 29	coalesceable: 25	coalesced: 15
115 moves: 29	coalesceable: 25	coalesced: 17
116 moves: 61	coalesceable: 56	coalesced: 57
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 15	coalesceable: 13	coalesced: 13
120 moves: 15	coalesceable: 13	coalesced: 12
121 moves: 15	coalesceable: 13	coalesced: 12
122 moves: 15	coalesceable: 13	coalesced: 12
123 moves: 15	coalesceable: 13	coalesced: 12
124 moves: 15	coalesceable: 13	coalesced: 12
125 moves: 15	coalesceable: 13	coalesced: 12
126 moves: 15	coalesceable: 13	coalesced: 12
127 moves: 15	coalesceable: 13	coalesced: 12
128 moves: 15	coalesceable: 13	coalesced: 12
129 moves: 23	coalesceable: 20	coalesced: 17
130 moves: 30	coalesceable: 19	coalesced: 21
131 moves: 15	coalesceable: 13	coalesced: 12
132 moves: 15	coalesceable: 13	coalesced: 12
133 moves: 15	coalesceable: 13	coalesced: 12
134 moves: 15	coalesceable: 13	coalesced: 12
135 moves: 15	coalesceable: 13	coalesced: 12
136 moves: 10	coalesceable: 6	coalesced: 6
137 moves: 15	coalesceable: 13	coalesced: 12
138 moves: 15	coalesceable: 13	coalesced: 12
139 moves: 15	coalesceable: 13	coalesced: 12
140 moves: 10	coalesceable: 6	coalesced: 6
141 moves: 15	coalesceable: 12	coalesced: 10
142 moves: 15	coalesceable: 13	coalesced: 12
143 moves: 15	coalesceable: 13	coalesced: 12
144 moves: 15	coalesceable: 13	coalesced: 12
145 moves: 15	coalesceable: 13	coalesced: 12
146 moves: 2	coalesceable: 2	coalesced: 2
147 moves: 15	coalesceable: 13	coalesced: 12
148 moves: 5	coalesceable: 3	coalesced: 3
149 moves: 2	coalesceable: 0	coalesced: 2
150 moves: 7	coalesceable: 7	coalesced: 7
151 moves: 4	coalesceable: 0	coalesced: 4
152 moves: 121	coalesceable: 60	coalesced: 71
153 moves: 3	coalesceable: 0	coalesced: 3
154 moves: 22	coalesceable: 17	coalesced: 12
155 moves: 3	coalesceable: 0	coalesced: 3
156 moves: 22	coalesceable: 17	coalesced: 12
157 moves: 3	coalesceable: 0	coalesced: 3
158 moves: 27	coalesceable: 20	coalesced: 15
159 moves: 3	coalesceable: 0	coalesced: 3
160 moves: 26	coalesceable: 21	coalesced: 15
161 moves: 3	coalesceable: 0	coalesced: 3
162 moves: 20	coalesceable: 16	coalesced: 12
163 moves: 3	coalesceable: 0	coalesced: 3
164 moves: 20	coalesceable: 16	coalesced: 12
165 moves: 3	coalesceable: 0	coalesced: 3
166 moves: 26	coalesceable: 22	coalesced: 18
167 moves: 2	coalesceable: 0	coalesced: 2
168 moves: 22	coalesceable: 17	coalesced: 12
169 moves: 2	coalesceable: 0	coalesced: 2
170 moves: 2	coalesceable: 1	coalesced: 2
171 moves: 3	coalesceable: 0	coalesced: 3
172 moves: 17	coalesceable: 17	coalesced: 15
173 moves: 4	coalesceable: 0	coalesced: 4
174 moves: 18	coalesceable: 18	coalesced: 16
175 moves: 6	coalesceable: 0	coalesced: 6
176 moves: 213	coalesceable: 95	coalesced: 134
177 moves: 4	coalesceable: 0	coalesced: 4
178 moves: 151	coalesceable: 87	coalesced: 99
179 moves: 3	coalesceable: 0	coalesced: 3
180 moves: 106	coalesceable: 74	coalesced: 71
181 moves: 2	coalesceable: 0	coalesced: 2
182 moves: 4	coalesceable: 4	coalesced: 4
183 moves: 4	coalesceable: 0	coalesced: 4
184 moves: 125	coalesceable: 64	coalesced: 101
185 moves: 4	coalesceable: 0	coalesced: 4
186 moves: 108	coalesceable: 53	coalesced: 64
187 moves: 3	coalesceable: 0	coalesced: 3
188 moves: 402	coalesceable: 170	coalesced: 237
189 moves: 2	coalesceable: 0	coalesced: 2
190 moves: 5	coalesceable: 5	coalesced: 5
191 moves: 2	coalesceable: 0	coalesced: 2
192 moves: 17	coalesceable: 14	coalesced: 11

eval_cake: external register allocation finished --- Thu Jun 19 00:03:31 2025
Saved theorem _______ "temp_oracle_cv_eq"
Saved theorem _______ "temp_oracle_cv_thm"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Thu Jun 19 00:03:33 2025
eval_cake: about to run cv_eval_raw on complie_cake_def --- Thu Jun 19 00:03:33 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1516 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval_raw complie_cake_def finished --- Thu Jun 19 00:03:37 2025
eval_cake: to_pair evaluation finished --- Thu Jun 19 00:03:37 2025
eval_cake: abbrevations for result defined --- Thu Jun 19 00:03:37 2025
eval_cake: new_spec run on result --- Thu Jun 19 00:03:37 2025
eval_cake: about to run cv_compute on export --- Thu Jun 19 00:03:37 2025
eval_cake: cv_compute on export finished --- Thu Jun 19 00:03:38 2025
Writing cv to file: hello.S
eval_cake: theory tidy up finished --- Thu Jun 19 00:03:39 2025
Saved theorem _______ "hello_compiled"
Exporting theory "helloCompile" ... done.
Theory "helloCompile" took 18.4s to build
cc -O2 -o cake_hello hello.S /home/myreen/regression/cakeml-2865/basis/basis_ffi.o -lm
Linking /home/myreen/regression/cakeml-2865/examples/compilation/x64/helloErrCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "helloErrCompile">>
eval_cake: config EVAL-ed --- Thu Jun 19 00:03:51 2025
Saved theorem _______ "helloErr_prog_cv_eq"
Saved theorem _______ "helloErr_prog_cv_thm"
Able to translate: helloErr_progeval_cake: cv_trans_deep_embedding prog_def finished --- Thu Jun 19 00:03:55 2025
eval_cake: about to run cv_eval on to_livesets_def --- Thu Jun 19 00:03:55 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1053 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval to_livesets finished --- Thu Jun 19 00:03:59 2025
Num regs: 9 Alg: IRC
0 moves: 64	coalesceable: 43	coalesced: 41
1 moves: 20	coalesceable: 20	coalesced: 19
2 moves: 81	coalesceable: 61	coalesced: 51
3 moves: 24	coalesceable: 24	coalesced: 21
4 moves: 14	coalesceable: 14	coalesced: 13
5 moves: 134	coalesceable: 108	coalesced: 100
6 moves: 7	coalesceable: 7	coalesced: 7
7 moves: 7	coalesceable: 7	coalesced: 7
8 moves: 7	coalesceable: 7	coalesced: 7
9 moves: 7	coalesceable: 7	coalesced: 7
10 moves: 7	coalesceable: 7	coalesced: 7
11 moves: 16	coalesceable: 16	coalesced: 16
12 moves: 43	coalesceable: 43	coalesced: 35
13 moves: 27	coalesceable: 18	coalesced: 17
14 moves: 49	coalesceable: 46	coalesced: 38
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 7	coalesceable: 3	coalesced: 2
17 moves: 10	coalesceable: 7	coalesced: 7
18 moves: 18	coalesceable: 18	coalesced: 18
19 moves: 19	coalesceable: 19	coalesced: 18
20 moves: 19	coalesceable: 19	coalesced: 18
21 moves: 29	coalesceable: 29	coalesced: 26
22 moves: 32	coalesceable: 26	coalesced: 25
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 16	coalesceable: 16	coalesced: 15
25 moves: 35	coalesceable: 35	coalesced: 26
26 moves: 17	coalesceable: 17	coalesced: 13
27 moves: 17	coalesceable: 17	coalesced: 13
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 316	coalesceable: 252	coalesced: 296
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 24	coalesceable: 23	coalesced: 23
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 21	coalesceable: 18	coalesced: 18
35 moves: 89	coalesceable: 78	coalesced: 85
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 63	coalesceable: 60	coalesced: 60
38 moves: 85	coalesceable: 82	coalesced: 82
39 moves: 28	coalesceable: 25	coalesced: 25
40 moves: 47	coalesceable: 44	coalesced: 44
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 21	coalesceable: 18	coalesced: 18
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 50	coalesceable: 47	coalesced: 47
46 moves: 8	coalesceable: 7	coalesced: 7
47 moves: 11	coalesceable: 10	coalesced: 10
48 moves: 21	coalesceable: 18	coalesced: 18
49 moves: 25	coalesceable: 22	coalesced: 22
50 moves: 15	coalesceable: 14	coalesced: 14
51 moves: 20	coalesceable: 17	coalesced: 17
52 moves: 24	coalesceable: 21	coalesced: 21
53 moves: 175	coalesceable: 82	coalesced: 117
54 moves: 87	coalesceable: 49	coalesced: 55
55 moves: 28	coalesceable: 15	coalesced: 19
56 moves: 32	coalesceable: 25	coalesced: 17
57 moves: 50	coalesceable: 39	coalesced: 31
58 moves: 64	coalesceable: 33	coalesced: 39
59 moves: 42	coalesceable: 34	coalesced: 26
60 moves: 67	coalesceable: 43	coalesced: 36
61 moves: 893	coalesceable: 459	coalesced: 620
62 moves: 1051	coalesceable: 473	coalesced: 748
63 moves: 1131	coalesceable: 473	coalesced: 808
64 moves: 1215	coalesceable: 476	coalesced: 881
65 moves: 1303	coalesceable: 482	coalesced: 936
66 moves: 1395	coalesceable: 491	coalesced: 1012
67 moves: 1491	coalesceable: 503	coalesced: 1084
68 moves: 1591	coalesceable: 515	coalesced: 1169
69 moves: 1695	coalesceable: 529	coalesced: 1233
70 moves: 1803	coalesceable: 544	coalesced: 1316
71 moves: 13	coalesceable: 13	coalesced: 12
72 moves: 15	coalesceable: 15	coalesced: 14
73 moves: 15	coalesceable: 15	coalesced: 13
74 moves: 17	coalesceable: 17	coalesced: 16
75 moves: 17	coalesceable: 17	coalesced: 15
76 moves: 17	coalesceable: 17	coalesced: 15
77 moves: 19	coalesceable: 19	coalesced: 18
78 moves: 19	coalesceable: 19	coalesced: 17
79 moves: 19	coalesceable: 19	coalesced: 17
80 moves: 19	coalesceable: 19	coalesced: 17
81 moves: 21	coalesceable: 21	coalesced: 20
82 moves: 21	coalesceable: 21	coalesced: 19
83 moves: 21	coalesceable: 21	coalesced: 19
84 moves: 21	coalesceable: 21	coalesced: 19
85 moves: 21	coalesceable: 21	coalesced: 19
86 moves: 23	coalesceable: 22	coalesced: 17
87 moves: 23	coalesceable: 22	coalesced: 17
88 moves: 23	coalesceable: 22	coalesced: 17
89 moves: 23	coalesceable: 22	coalesced: 17
90 moves: 23	coalesceable: 22	coalesced: 17
91 moves: 23	coalesceable: 22	coalesced: 17
92 moves: 25	coalesceable: 23	coalesced: 15
93 moves: 25	coalesceable: 23	coalesced: 14
94 moves: 25	coalesceable: 23	coalesced: 16
95 moves: 25	coalesceable: 23	coalesced: 15
96 moves: 25	coalesceable: 23	coalesced: 16
97 moves: 25	coalesceable: 23	coalesced: 15
98 moves: 25	coalesceable: 23	coalesced: 16
99 moves: 27	coalesceable: 23	coalesced: 12
100 moves: 27	coalesceable: 24	coalesced: 11
101 moves: 27	coalesceable: 24	coalesced: 14
102 moves: 27	coalesceable: 24	coalesced: 13
103 moves: 27	coalesceable: 24	coalesced: 14
104 moves: 27	coalesceable: 24	coalesced: 13
105 moves: 27	coalesceable: 24	coalesced: 14
106 moves: 27	coalesceable: 24	coalesced: 14
107 moves: 29	coalesceable: 23	coalesced: 14
108 moves: 29	coalesceable: 24	coalesced: 13
109 moves: 29	coalesceable: 25	coalesced: 16
110 moves: 29	coalesceable: 25	coalesced: 15
111 moves: 29	coalesceable: 25	coalesced: 16
112 moves: 29	coalesceable: 25	coalesced: 15
113 moves: 29	coalesceable: 25	coalesced: 16
114 moves: 29	coalesceable: 25	coalesced: 15
115 moves: 29	coalesceable: 25	coalesced: 17
116 moves: 61	coalesceable: 56	coalesced: 57
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 15	coalesceable: 13	coalesced: 13
120 moves: 15	coalesceable: 13	coalesced: 12
121 moves: 15	coalesceable: 13	coalesced: 12
122 moves: 15	coalesceable: 13	coalesced: 12
123 moves: 15	coalesceable: 13	coalesced: 12
124 moves: 15	coalesceable: 13	coalesced: 12
125 moves: 15	coalesceable: 13	coalesced: 12
126 moves: 15	coalesceable: 13	coalesced: 12
127 moves: 15	coalesceable: 13	coalesced: 12
128 moves: 15	coalesceable: 13	coalesced: 12
129 moves: 15	coalesceable: 13	coalesced: 12
130 moves: 15	coalesceable: 13	coalesced: 12
131 moves: 23	coalesceable: 20	coalesced: 17
132 moves: 30	coalesceable: 19	coalesced: 21
133 moves: 15	coalesceable: 13	coalesced: 12
134 moves: 15	coalesceable: 13	coalesced: 12
135 moves: 15	coalesceable: 13	coalesced: 12
136 moves: 15	coalesceable: 13	coalesced: 12
137 moves: 15	coalesceable: 13	coalesced: 12
138 moves: 10	coalesceable: 6	coalesced: 6
139 moves: 15	coalesceable: 13	coalesced: 12
140 moves: 15	coalesceable: 13	coalesced: 12
141 moves: 15	coalesceable: 13	coalesced: 12
142 moves: 10	coalesceable: 6	coalesced: 6
143 moves: 15	coalesceable: 12	coalesced: 10
144 moves: 15	coalesceable: 12	coalesced: 10
145 moves: 15	coalesceable: 13	coalesced: 12
146 moves: 15	coalesceable: 13	coalesced: 12
147 moves: 15	coalesceable: 13	coalesced: 12
148 moves: 15	coalesceable: 13	coalesced: 12
149 moves: 2	coalesceable: 2	coalesced: 2
150 moves: 15	coalesceable: 13	coalesced: 12
151 moves: 5	coalesceable: 3	coalesced: 3
152 moves: 2	coalesceable: 0	coalesced: 2
153 moves: 71	coalesceable: 47	coalesced: 49
154 moves: 2	coalesceable: 0	coalesced: 2
155 moves: 3	coalesceable: 3	coalesced: 3
156 moves: 2	coalesceable: 0	coalesced: 2
157 moves: 7	coalesceable: 7	coalesced: 7
158 moves: 4	coalesceable: 0	coalesced: 4
159 moves: 121	coalesceable: 60	coalesced: 71
160 moves: 3	coalesceable: 0	coalesced: 3
161 moves: 22	coalesceable: 17	coalesced: 12
162 moves: 3	coalesceable: 0	coalesced: 3
163 moves: 22	coalesceable: 17	coalesced: 12
164 moves: 3	coalesceable: 0	coalesced: 3
165 moves: 27	coalesceable: 20	coalesced: 15
166 moves: 3	coalesceable: 0	coalesced: 3
167 moves: 26	coalesceable: 21	coalesced: 15
168 moves: 3	coalesceable: 0	coalesced: 3
169 moves: 20	coalesceable: 16	coalesced: 12
170 moves: 3	coalesceable: 0	coalesced: 3
171 moves: 20	coalesceable: 16	coalesced: 12
172 moves: 3	coalesceable: 0	coalesced: 3
173 moves: 26	coalesceable: 22	coalesced: 18
174 moves: 2	coalesceable: 0	coalesced: 2
175 moves: 22	coalesceable: 17	coalesced: 12
176 moves: 2	coalesceable: 0	coalesced: 2
177 moves: 2	coalesceable: 1	coalesced: 2
178 moves: 3	coalesceable: 0	coalesced: 3
179 moves: 17	coalesceable: 17	coalesced: 15
180 moves: 4	coalesceable: 0	coalesced: 4
181 moves: 18	coalesceable: 18	coalesced: 16
182 moves: 6	coalesceable: 0	coalesced: 6
183 moves: 213	coalesceable: 95	coalesced: 134
184 moves: 4	coalesceable: 0	coalesced: 4
185 moves: 151	coalesceable: 87	coalesced: 99
186 moves: 3	coalesceable: 0	coalesced: 3
187 moves: 106	coalesceable: 74	coalesced: 71
188 moves: 2	coalesceable: 0	coalesced: 2
189 moves: 4	coalesceable: 4	coalesced: 4
190 moves: 4	coalesceable: 0	coalesced: 4
191 moves: 125	coalesceable: 64	coalesced: 101
192 moves: 4	coalesceable: 0	coalesced: 4
193 moves: 108	coalesceable: 53	coalesced: 64
194 moves: 3	coalesceable: 0	coalesced: 3
195 moves: 402	coalesceable: 170	coalesced: 237
196 moves: 2	coalesceable: 0	coalesced: 2
197 moves: 5	coalesceable: 5	coalesced: 5
198 moves: 2	coalesceable: 0	coalesced: 2
199 moves: 20	coalesceable: 15	coalesced: 15

eval_cake: external register allocation finished --- Thu Jun 19 00:04:02 2025
Saved theorem _______ "temp_oracle_cv_eq"
Saved theorem _______ "temp_oracle_cv_thm"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Thu Jun 19 00:04:03 2025
eval_cake: about to run cv_eval_raw on complie_cake_def --- Thu Jun 19 00:04:03 2025
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1516 cv code equations to use.
Calling cv_compute.
Abbreviating result.
eval_cake: cv_eval_raw complie_cake_def finished --- Thu Jun 19 00:04:09 2025
eval_cake: to_pair evaluation finished --- Thu Jun 19 00:04:09 2025
eval_cake: abbrevations for result defined --- Thu Jun 19 00:04:09 2025
eval_cake: new_spec run on result --- Thu Jun 19 00:04:09 2025
eval_cake: about to run cv_compute on export --- Thu Jun 19 00:04:09 2025
eval_cake: cv_compute on export finished --- Thu Jun 19 00:04:10 2025
Writing cv to file: helloErr.S
eval_cake: theory tidy up finished --- Thu Jun 19 00:04:10 2025
Saved theorem _______ "helloErr_compiled"
Exporting theory "helloErrCompile" ... done.
Theory "helloErrCompile" took 19.0s to build
cc -O2 -o cake_helloErr helloErr.S /home/myreen/regression/cakeml-2865/basis/basis_ffi.o -lm
Linking /home/myreen/regression/cakeml-2865/examples/compilation/x64/iocatCompileScript.uo to produce theory-builder executable
Run out of store - interrupting threads
error in quse /home/myreen/regression/cakeml-2865/examples/iocatProgTheory.sml : Interrupt
error in load $(CAKEMLDIR)/examples/iocatProgTheory : Interrupt
error in load /home/myreen/regression/cakeml-2865/examples/compilation/x64/iocatCompileScript : Interrupt
Uncaught exception at /home/myreen/regression/HOL-86a75cd8d1485d21d884aaa99aef55e9299ffb62/src/postkernel/TheoryReader.sml:69: Interrupt
Failed script build for /home/myreen/regression/cakeml-2865/examples/compilation/x64/iocatCompileScript - exited with code 1