Job 2727

CakeML:0b3fec415c9264f22e15c0f3f3b3fc46b7906aac
  Remove compilationLib, {..}_compileLib and backendComputeLib [Nov 26 22:49:53]
#1097 (remove-compilationlib)
Merging into:d0fd8fe2625d24ae005b57d0f413f010ed38f194
  Fix some more uses of DB [Dec 02 08:50:38]
HOL:170d36c740894aae4921820ec897176f62a29452
  Minor tweaks to hol-mode's configuration of comint [Nov 30 02:48:13]
Machine:pavlova

Dec 03 14:20:10 Claimed job
Dec 03 14:20:18 Building HOL
Dec 03 14:31:20 Starting developers
Dec 03 14:31:24 Finished developers                                               3s 218MB
Dec 03 14:31:25 Starting developers/bin
Dec 03 14:31:31 Finished developers/bin                                           4s 746MB
Dec 03 14:31:32 Starting compiler/proofs
Dec 03 16:15:03 Finished compiler/proofs                                    1h43m30s  30GB
Dec 03 16:15:04 Starting compiler/bootstrap/translation
Dec 04 01:06:23 Finished compiler/bootstrap/translation                     8h51m18s  80GB
Dec 04 01:06:24 Starting semantics/ffi
Dec 04 01:06:34 Finished semantics/ffi                                            9s 581MB
Dec 04 01:06:35 Starting semantics
Dec 04 01:06:37 Finished semantics                                                0s  53MB
Dec 04 01:06:38 Starting semantics/proofs
Dec 04 01:07:01 Finished semantics/proofs                                        22s 689MB
Dec 04 01:07:02 Starting semantics/alt_semantics
Dec 04 01:07:23 Finished semantics/alt_semantics                                 19s 882MB
Dec 04 01:07:24 Starting semantics/alt_semantics/proofs
Dec 04 01:17:38 Finished semantics/alt_semantics/proofs                       10m12s   2GB
Dec 04 01:17:39 Starting basis/pure
Dec 04 01:17:40 Finished basis/pure                                               0s  59MB
Dec 04 01:17:41 Starting translator
Dec 04 01:19:18 Finished translator                                            1m35s   2GB
Dec 04 01:19:18 Starting compiler/parsing
Dec 04 01:19:20 Finished compiler/parsing                                         0s  57MB
Dec 04 01:19:21 Starting characteristic
Dec 04 01:19:23 Finished characteristic                                           0s  81MB
Dec 04 01:19:24 Starting translator/monadic
Dec 04 01:19:25 Finished translator/monadic                                       0s  80MB
Dec 04 01:19:26 Starting basis
Dec 04 01:21:47 Finished basis                                                 2m18s   4GB
Dec 04 01:21:48 Starting compiler/inference
Dec 04 01:21:50 Finished compiler/inference                                       0s  86MB
Dec 04 01:21:51 Starting compiler/backend/reg_alloc
Dec 04 01:21:52 Finished compiler/backend/reg_alloc                               0s  56MB
Dec 04 01:21:53 Starting compiler/backend/gc
Dec 04 01:21:55 Finished compiler/backend/gc                                      1s 131MB
Dec 04 01:21:56 Starting compiler/backend
Dec 04 01:22:01 Finished compiler/backend                                         4s 238MB
Dec 04 01:22:02 Starting compiler/encoders/asm
Dec 04 01:22:04 Finished compiler/encoders/asm                                    0s  82MB
Dec 04 01:22:05 Starting compiler/encoders/x64
Dec 04 01:22:07 Finished compiler/encoders/x64                                    0s  89MB
Dec 04 01:22:08 Starting compiler/encoders/arm7
Dec 04 01:22:09 Finished compiler/encoders/arm7                                   0s  87MB
Dec 04 01:22:10 Starting compiler/encoders/arm8
Dec 04 01:22:12 Finished compiler/encoders/arm8                                   0s  84MB
Dec 04 01:22:13 Starting compiler/encoders/arm8_asl
Dec 04 03:21:05 Finished compiler/encoders/arm8_asl                         1h58m51s  36GB
Dec 04 03:21:06 Starting compiler/encoders/mips
Dec 04 03:21:08 Finished compiler/encoders/mips                                   0s  89MB
Dec 04 03:21:09 Starting compiler/encoders/riscv
Dec 04 03:21:11 Finished compiler/encoders/riscv                                  0s  84MB
Dec 04 03:21:12 Starting compiler/encoders/ag32
Dec 04 03:21:13 Finished compiler/encoders/ag32                                   0s  82MB
Dec 04 03:21:14 Starting compiler/backend/x64
Dec 04 03:21:16 Finished compiler/backend/x64                                     1s 131MB
Dec 04 03:21:17 Starting compiler/backend/arm7
Dec 04 03:21:19 Finished compiler/backend/arm7                                    1s 130MB
Dec 04 03:21:20 Starting compiler/backend/arm8
Dec 04 03:21:22 Finished compiler/backend/arm8                                    1s 131MB
Dec 04 03:21:23 Starting compiler/backend/mips
Dec 04 03:21:25 Finished compiler/backend/mips                                    1s 131MB
Dec 04 03:21:26 Starting compiler/backend/riscv
Dec 04 03:21:28 Finished compiler/backend/riscv                                   1s 131MB
Dec 04 03:21:29 Starting compiler/backend/ag32
Dec 04 03:22:34 Finished compiler/backend/ag32                                 1m04s   1GB
Dec 04 03:22:35 Starting compiler/parsing/proofs
Dec 04 03:22:37 Finished compiler/parsing/proofs                                  0s  60MB
Dec 04 03:22:38 Starting compiler/inference/proofs
Dec 04 03:22:39 Finished compiler/inference/proofs                                0s  85MB
Dec 04 03:22:40 Starting compiler/backend/semantics
Dec 04 03:25:44 Finished compiler/backend/semantics                            3m02s   2GB
Dec 04 03:25:45 Starting compiler/backend/reg_alloc/proofs
Dec 04 03:25:46 Finished compiler/backend/reg_alloc/proofs                        0s  86MB
Dec 04 03:25:47 Starting compiler/backend/proofs
Dec 04 03:26:34 Finished compiler/backend/proofs                                 45s   2GB
Dec 04 03:26:35 Starting compiler/backend/serialiser
Dec 04 03:26:37 Finished compiler/backend/serialiser                              1s 132MB
Dec 04 03:26:38 Starting compiler/encoders/x64/proofs
Dec 04 03:36:44 Finished compiler/encoders/x64/proofs                         10m05s  10GB
Dec 04 03:36:45 Starting compiler/encoders/arm7/proofs
Dec 04 03:49:44 Finished compiler/encoders/arm7/proofs                        12m58s   9GB
Dec 04 03:49:45 Starting compiler/encoders/arm8/proofs
Dec 04 03:56:50 Finished compiler/encoders/arm8/proofs                         7m03s   4GB
Dec 04 03:56:51 Starting compiler/encoders/arm8_asl/proofs
Dec 04 04:45:59 Finished compiler/encoders/arm8_asl/proofs                    49m06s  20GB
Dec 04 04:46:00 Starting compiler/encoders/mips/proofs
Dec 04 04:56:03 Finished compiler/encoders/mips/proofs                        10m01s  10GB
Dec 04 04:56:04 Starting compiler/encoders/riscv/proofs
Dec 04 05:04:06 Finished compiler/encoders/riscv/proofs                        8m01s   5GB
Dec 04 05:04:07 Starting compiler/encoders/ag32/proofs
Dec 04 05:06:57 Finished compiler/encoders/ag32/proofs                         2m48s   1GB
Dec 04 05:06:58 Starting compiler/backend/x64/proofs
Dec 04 05:07:29 Finished compiler/backend/x64/proofs                             29s   2GB
Dec 04 05:07:30 Starting compiler/backend/arm7/proofs
Dec 04 05:08:00 Finished compiler/backend/arm7/proofs                            30s   2GB
Dec 04 05:08:01 Starting compiler/backend/arm8/proofs
Dec 04 05:08:30 Finished compiler/backend/arm8/proofs                            27s   1GB
Dec 04 05:08:31 Starting compiler/backend/arm8_asl
Dec 04 05:08:52 Finished compiler/backend/arm8_asl                               19s   1GB
Dec 04 05:08:52 Starting compiler/backend/mips/proofs
Dec 04 05:09:24 Finished compiler/backend/mips/proofs                            31s   2GB
Dec 04 05:09:25 Starting compiler/backend/riscv/proofs
Dec 04 05:09:57 Finished compiler/backend/riscv/proofs                           30s   2GB
Dec 04 05:09:58 Starting compiler/backend/ag32/proofs
Dec 04 05:23:29 Finished compiler/backend/ag32/proofs                         13m29s   5GB
Dec 04 05:23:30 Starting compiler/backend/cv_compute
Dec 04 05:24:38 Finished compiler/backend/cv_compute                           1m06s   2GB
Dec 04 05:24:39 Starting cv_translator
Dec 04 05:41:51 Finished cv_translator                                        17m11s   7GB
Dec 04 05:41:52 Starting candle/set-theory
Dec 04 05:42:26 Finished candle/set-theory                                       33s   1GB
Dec 04 05:42:27 Starting candle/syntax-lib
Dec 04 05:42:29 Finished candle/syntax-lib                                        0s  59MB
Dec 04 05:42:30 Starting candle/standard/syntax
Dec 04 05:42:42 Finished candle/standard/syntax                                  11s 759MB
Dec 04 05:42:43 Starting candle/standard/semantics
Dec 04 05:44:45 Finished candle/standard/semantics                             2m01s   2GB
Dec 04 05:44:46 Starting candle/standard/monadic
Dec 04 05:44:48 Finished candle/standard/monadic                                  0s  94MB
Dec 04 05:44:49 Starting candle/standard/ml_kernel
Dec 04 05:46:33 Finished candle/standard/ml_kernel                             1m42s   4GB
Dec 04 05:46:34 Starting candle/overloading/syntax
Dec 04 05:49:37 Finished candle/overloading/syntax                             3m02s   1GB
Dec 04 05:49:38 Starting candle/overloading/semantics
Dec 04 06:00:37 Finished candle/overloading/semantics                         10m58s   9GB
Dec 04 06:00:38 Starting candle/overloading/monadic
Dec 04 06:02:56 Finished candle/overloading/monadic                            2m16s   2GB
Dec 04 06:02:57 Starting candle/overloading/ml_kernel
Dec 04 06:10:21 Finished candle/overloading/ml_kernel                          7m23s   5GB
Dec 04 06:10:22 Starting candle/overloading/ml_checker
Dec 04 06:12:52 Finished candle/overloading/ml_checker                         2m29s   6GB
Dec 04 06:12:53 Starting candle/prover
Dec 04 06:22:11 Finished candle/prover                                         9m16s   5GB
Dec 04 06:22:12 Starting pancake
Dec 04 06:22:34 Finished pancake                                                 21s 807MB
Dec 04 06:22:35 Starting pancake/ffi
Dec 04 06:22:36 Finished pancake/ffi                                              0s  11MB
Dec 04 06:22:37 Starting pancake/semantics
Dec 04 06:24:43 Finished pancake/semantics                                     2m05s   2GB
Dec 04 06:24:44 Starting pancake/parser
Dec 04 06:25:08 Finished pancake/parser                                          23s 421MB
Dec 04 06:25:09 Starting pancake/proofs
Dec 04 06:41:09 Finished pancake/proofs                                       15m59s   6GB
Dec 04 06:41:10 Starting compiler/dafny
Dec 04 06:43:47 Finished compiler/dafny                                        2m36s   9GB
Dec 04 06:43:48 Starting compiler/dafny/translation
Dec 04 07:12:45 Finished compiler/dafny/translation                           28m55s  15GB
Dec 04 07:12:46 Starting compiler/dafny/compilation
Dec 04 07:15:21 Finished compiler/dafny/compilation                            2m34s   9GB
Dec 04 07:15:22 Starting compiler/dafny/semantics
Dec 04 07:15:58 Finished compiler/dafny/semantics                                34s   1GB
Dec 04 07:15:59 Starting characteristic/examples
Dec 04 07:17:21 Finished characteristic/examples                               1m21s   4GB
Dec 04 07:17:22 Starting tutorial/solutions
Dec 04 07:19:46 Finished tutorial/solutions                                    2m22s   4GB
Dec 04 07:19:47 Starting translator/monadic/examples
Dec 04 07:22:42 Finished translator/monadic/examples                           2m54s   3GB
Dec 04 07:22:43 Starting examples
Dec 04 07:35:05 Finished examples                                             12m20s   5GB
Dec 04 07:35:06 Starting examples/compilation/x64
Dec 04 07:41:03 FAILED: examples/compilation/x64
Scanning $(HOLDIR)/src/bag
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)/examples/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
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)/src/ring/src
Scanning $(HOLDIR)/src/integer
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/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/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 $(CAKEMLDIR)/examples
Scanned 87 directories
/scratch/cakeml/regression/cakeml-2727/developers/readme_gen catCompileScript.sml diffCompileScript.sml echoCompileScript.sml grepCompileScript.sml helloCompileScript.sml helloErrCompileScript.sml iocatCompileScript.sml patchCompileScript.sml sortCompileScript.sml test_interpreterScript.sml wordcountCompileScript.sml  
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/catCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "catCompile">>
eval_cake: config EVAL-ed --- Wed Dec 04 18:35:19 2024
Saved theorem _______ "cat_prog_cv_eq"
Able to translate: cat_progeval_cake: cv_trans_deep_embedding prog_def finished --- Wed Dec 04 18:35:24 2024
eval_cake: about to run cv_eval on to_livesets_def --- Wed Dec 04 18:35:24 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.0 seconds.
Found 1010 cv code equations to use.
Calling cv_compute.
Took 1.1 seconds.
eval_cake: cv_eval to_livesets finished --- Wed Dec 04 18:35:25 2024
Num regs: 9 Alg: IRC
0 moves: 68	coalesceable: 52	coalesced: 44
1 moves: 17	coalesceable: 17	coalesced: 15
2 moves: 84	coalesceable: 60	coalesced: 45
3 moves: 24	coalesceable: 18	coalesced: 16
4 moves: 13	coalesceable: 13	coalesced: 11
5 moves: 147	coalesceable: 115	coalesced: 109
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: 14	coalesceable: 13	coalesced: 10
12 moves: 41	coalesceable: 37	coalesced: 32
13 moves: 29	coalesceable: 20	coalesced: 17
14 moves: 52	coalesceable: 45	coalesced: 39
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 9	coalesceable: 7	coalesced: 4
17 moves: 9	coalesceable: 6	coalesced: 6
18 moves: 19	coalesceable: 19	coalesced: 19
19 moves: 20	coalesceable: 20	coalesced: 19
20 moves: 17	coalesceable: 14	coalesced: 14
21 moves: 32	coalesceable: 27	coalesced: 23
22 moves: 38	coalesceable: 32	coalesced: 31
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 14	coalesceable: 14	coalesced: 12
25 moves: 30	coalesceable: 27	coalesced: 20
26 moves: 17	coalesceable: 17	coalesced: 12
27 moves: 17	coalesceable: 15	coalesced: 8
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 279	coalesceable: 232	coalesced: 232
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 22	coalesceable: 21	coalesced: 21
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 22	coalesceable: 19	coalesced: 19
35 moves: 86	coalesceable: 77	coalesced: 77
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 57	coalesceable: 54	coalesced: 54
38 moves: 71	coalesceable: 68	coalesced: 68
39 moves: 27	coalesceable: 24	coalesced: 24
40 moves: 45	coalesceable: 42	coalesced: 42
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 22	coalesceable: 19	coalesced: 19
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 49	coalesceable: 46	coalesced: 46
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: 13	coalesceable: 12	coalesced: 12
51 moves: 19	coalesceable: 16	coalesced: 16
52 moves: 23	coalesceable: 20	coalesced: 20
53 moves: 189	coalesceable: 113	coalesced: 102
54 moves: 84	coalesceable: 58	coalesced: 41
55 moves: 35	coalesceable: 20	coalesced: 19
56 moves: 32	coalesceable: 22	coalesced: 17
57 moves: 51	coalesceable: 37	coalesced: 32
58 moves: 69	coalesceable: 44	coalesced: 38
59 moves: 43	coalesceable: 33	coalesced: 28
60 moves: 68	coalesceable: 43	coalesced: 34
61 moves: 932	coalesceable: 601	coalesced: 404
62 moves: 1094	coalesceable: 685	coalesced: 415
63 moves: 1176	coalesceable: 723	coalesced: 433
64 moves: 1262	coalesceable: 763	coalesced: 447
65 moves: 1352	coalesceable: 805	coalesced: 406
66 moves: 1445	coalesceable: 848	coalesced: 415
67 moves: 1543	coalesceable: 894	coalesced: 456
68 moves: 1646	coalesceable: 941	coalesced: 480
69 moves: 1752	coalesceable: 987	coalesced: 502
70 moves: 1862	coalesceable: 1033	coalesced: 504
71 moves: 13	coalesceable: 12	coalesced: 12
72 moves: 15	coalesceable: 14	coalesced: 14
73 moves: 14	coalesceable: 13	coalesced: 12
74 moves: 17	coalesceable: 16	coalesced: 16
75 moves: 16	coalesceable: 15	coalesced: 14
76 moves: 15	coalesceable: 14	coalesced: 13
77 moves: 19	coalesceable: 18	coalesced: 18
78 moves: 18	coalesceable: 17	coalesced: 16
79 moves: 17	coalesceable: 16	coalesced: 15
80 moves: 16	coalesceable: 15	coalesced: 14
81 moves: 21	coalesceable: 20	coalesced: 20
82 moves: 20	coalesceable: 19	coalesced: 18
83 moves: 19	coalesceable: 18	coalesced: 17
84 moves: 18	coalesceable: 17	coalesced: 16
85 moves: 17	coalesceable: 16	coalesced: 15
86 moves: 23	coalesceable: 21	coalesced: 17
87 moves: 22	coalesceable: 20	coalesced: 16
88 moves: 21	coalesceable: 19	coalesced: 15
89 moves: 20	coalesceable: 18	coalesced: 14
90 moves: 19	coalesceable: 17	coalesced: 13
91 moves: 18	coalesceable: 16	coalesced: 12
92 moves: 25	coalesceable: 22	coalesced: 19
93 moves: 24	coalesceable: 21	coalesced: 18
94 moves: 23	coalesceable: 20	coalesced: 17
95 moves: 22	coalesceable: 19	coalesced: 16
96 moves: 21	coalesceable: 18	coalesced: 15
97 moves: 20	coalesceable: 17	coalesced: 14
98 moves: 19	coalesceable: 16	coalesced: 13
99 moves: 27	coalesceable: 22	coalesced: 16
100 moves: 26	coalesceable: 22	coalesced: 16
101 moves: 25	coalesceable: 21	coalesced: 15
102 moves: 24	coalesceable: 20	coalesced: 14
103 moves: 23	coalesceable: 19	coalesced: 13
104 moves: 22	coalesceable: 18	coalesced: 12
105 moves: 21	coalesceable: 17	coalesced: 11
106 moves: 20	coalesceable: 16	coalesced: 10
107 moves: 29	coalesceable: 22	coalesced: 18
108 moves: 28	coalesceable: 22	coalesced: 18
109 moves: 27	coalesceable: 22	coalesced: 17
110 moves: 26	coalesceable: 21	coalesced: 16
111 moves: 25	coalesceable: 20	coalesced: 15
112 moves: 24	coalesceable: 19	coalesced: 14
113 moves: 23	coalesceable: 18	coalesced: 13
114 moves: 22	coalesceable: 17	coalesced: 12
115 moves: 21	coalesceable: 16	coalesced: 11
116 moves: 63	coalesceable: 12	coalesced: 8
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 16	coalesceable: 11	coalesced: 11
120 moves: 16	coalesceable: 10	coalesced: 10
121 moves: 16	coalesceable: 10	coalesced: 10
122 moves: 16	coalesceable: 10	coalesced: 10
123 moves: 16	coalesceable: 10	coalesced: 10
124 moves: 16	coalesceable: 10	coalesced: 10
125 moves: 16	coalesceable: 10	coalesced: 10
126 moves: 16	coalesceable: 10	coalesced: 10
127 moves: 16	coalesceable: 10	coalesced: 10
128 moves: 16	coalesceable: 10	coalesced: 10
129 moves: 16	coalesceable: 10	coalesced: 10
130 moves: 16	coalesceable: 10	coalesced: 10
131 moves: 16	coalesceable: 10	coalesced: 10
132 moves: 16	coalesceable: 10	coalesced: 10
133 moves: 16	coalesceable: 10	coalesced: 10
134 moves: 16	coalesceable: 10	coalesced: 10
135 moves: 24	coalesceable: 16	coalesced: 15
136 moves: 16	coalesceable: 10	coalesced: 10
137 moves: 16	coalesceable: 10	coalesced: 10
138 moves: 16	coalesceable: 10	coalesced: 10
139 moves: 30	coalesceable: 19	coalesced: 17
140 moves: 16	coalesceable: 10	coalesced: 10
141 moves: 16	coalesceable: 10	coalesced: 10
142 moves: 16	coalesceable: 10	coalesced: 10
143 moves: 16	coalesceable: 10	coalesced: 10
144 moves: 16	coalesceable: 10	coalesced: 10
145 moves: 16	coalesceable: 10	coalesced: 10
146 moves: 16	coalesceable: 10	coalesced: 10
147 moves: 16	coalesceable: 10	coalesced: 10
148 moves: 16	coalesceable: 10	coalesced: 10
149 moves: 16	coalesceable: 10	coalesced: 10
150 moves: 16	coalesceable: 10	coalesced: 10
151 moves: 16	coalesceable: 10	coalesced: 10
152 moves: 16	coalesceable: 10	coalesced: 10
153 moves: 10	coalesceable: 6	coalesced: 6
154 moves: 16	coalesceable: 10	coalesced: 10
155 moves: 16	coalesceable: 10	coalesced: 10
156 moves: 16	coalesceable: 10	coalesced: 10
157 moves: 16	coalesceable: 10	coalesced: 10
158 moves: 10	coalesceable: 6	coalesced: 6
159 moves: 15	coalesceable: 11	coalesced: 10
160 moves: 16	coalesceable: 10	coalesced: 10
161 moves: 16	coalesceable: 10	coalesced: 10
162 moves: 16	coalesceable: 10	coalesced: 10
163 moves: 16	coalesceable: 10	coalesced: 10
164 moves: 16	coalesceable: 10	coalesced: 10
165 moves: 16	coalesceable: 10	coalesced: 10
166 moves: 16	coalesceable: 10	coalesced: 10
167 moves: 16	coalesceable: 10	coalesced: 10
168 moves: 16	coalesceable: 10	coalesced: 10
169 moves: 16	coalesceable: 10	coalesced: 10
170 moves: 2	coalesceable: 2	coalesced: 2
171 moves: 16	coalesceable: 10	coalesced: 10
172 moves: 16	coalesceable: 10	coalesced: 10
173 moves: 16	coalesceable: 10	coalesced: 10
174 moves: 5	coalesceable: 3	coalesced: 3
175 moves: 6	coalesceable: 6	coalesced: 6
176 moves: 25	coalesceable: 18	coalesced: 11
177 moves: 4	coalesceable: 4	coalesced: 4
178 moves: 6	coalesceable: 6	coalesced: 6
179 moves: 4	coalesceable: 4	coalesced: 4
180 moves: 8	coalesceable: 8	coalesced: 7
181 moves: 8	coalesceable: 8	coalesced: 8
182 moves: 123	coalesceable: 71	coalesced: 57
183 moves: 6	coalesceable: 6	coalesced: 6
184 moves: 60	coalesceable: 28	coalesced: 26
185 moves: 4	coalesceable: 4	coalesced: 4
186 moves: 47	coalesceable: 21	coalesced: 19
187 moves: 6	coalesceable: 6	coalesced: 6
188 moves: 20	coalesceable: 13	coalesced: 9
189 moves: 6	coalesceable: 6	coalesced: 6
190 moves: 20	coalesceable: 13	coalesced: 9
191 moves: 6	coalesceable: 6	coalesced: 6
192 moves: 25	coalesceable: 15	coalesced: 12
193 moves: 6	coalesceable: 6	coalesced: 6
194 moves: 24	coalesceable: 17	coalesced: 13
195 moves: 6	coalesceable: 6	coalesced: 6
196 moves: 20	coalesceable: 15	coalesced: 12
197 moves: 6	coalesceable: 6	coalesced: 6
198 moves: 20	coalesceable: 15	coalesced: 12
199 moves: 6	coalesceable: 6	coalesced: 6
200 moves: 26	coalesceable: 21	coalesced: 18
201 moves: 6	coalesceable: 6	coalesced: 6
202 moves: 26	coalesceable: 21	coalesced: 18
203 moves: 6	coalesceable: 6	coalesced: 6
204 moves: 60	coalesceable: 28	coalesced: 26
205 moves: 4	coalesceable: 4	coalesced: 4
206 moves: 3	coalesceable: 3	coalesced: 3
207 moves: 4	coalesceable: 4	coalesced: 4
208 moves: 42	coalesceable: 28	coalesced: 26
209 moves: 4	coalesceable: 4	coalesced: 4
210 moves: 3	coalesceable: 3	coalesced: 3
211 moves: 4	coalesceable: 4	coalesced: 4
212 moves: 18	coalesceable: 16	coalesced: 16
213 moves: 4	coalesceable: 4	coalesced: 4
214 moves: 21	coalesceable: 14	coalesced: 12
215 moves: 4	coalesceable: 4	coalesced: 4
216 moves: 3	coalesceable: 3	coalesced: 3
217 moves: 6	coalesceable: 6	coalesced: 6
218 moves: 34	coalesceable: 22	coalesced: 15
219 moves: 6	coalesceable: 6	coalesced: 6
220 moves: 17	coalesceable: 15	coalesced: 15
221 moves: 8	coalesceable: 8	coalesced: 8
222 moves: 17	coalesceable: 15	coalesced: 15
223 moves: 12	coalesceable: 12	coalesced: 12
224 moves: 216	coalesceable: 133	coalesced: 84
225 moves: 8	coalesceable: 8	coalesced: 8
226 moves: 123	coalesceable: 71	coalesced: 57
227 moves: 4	coalesceable: 4	coalesced: 4
228 moves: 76	coalesceable: 55	coalesced: 52
229 moves: 6	coalesceable: 6	coalesced: 6
230 moves: 104	coalesceable: 73	coalesced: 63
231 moves: 8	coalesceable: 8	coalesced: 8
232 moves: 428	coalesceable: 228	coalesced: 178
233 moves: 4	coalesceable: 4	coalesced: 4
234 moves: 60	coalesceable: 38	coalesced: 35
235 moves: 4	coalesceable: 4	coalesced: 4
236 moves: 8	coalesceable: 6	coalesced: 6
237 moves: 8	coalesceable: 8	coalesced: 8
238 moves: 157	coalesceable: 104	coalesced: 87
239 moves: 6	coalesceable: 6	coalesced: 6
240 moves: 111	coalesceable: 77	coalesced: 69
241 moves: 4	coalesceable: 4	coalesced: 4
242 moves: 5	coalesceable: 5	coalesced: 5
243 moves: 4	coalesceable: 4	coalesced: 4
244 moves: 5	coalesceable: 5	coalesced: 5
245 moves: 8	coalesceable: 8	coalesced: 8
246 moves: 128	coalesceable: 77	coalesced: 70
247 moves: 8	coalesceable: 8	coalesced: 8
248 moves: 111	coalesceable: 66	coalesced: 51
249 moves: 6	coalesceable: 6	coalesced: 6
250 moves: 46	coalesceable: 34	coalesced: 31
251 moves: 6	coalesceable: 6	coalesced: 6
252 moves: 434	coalesceable: 270	coalesced: 198
253 moves: 4	coalesceable: 4	coalesced: 4
254 moves: 5	coalesceable: 5	coalesced: 5
255 moves: 4	coalesceable: 4	coalesced: 4
256 moves: 276	coalesceable: 140	coalesced: 132
257 moves: 4	coalesceable: 4	coalesced: 4
258 moves: 68	coalesceable: 53	coalesced: 53
259 moves: 6	coalesceable: 6	coalesced: 6
260 moves: 55	coalesceable: 42	coalesced: 39
261 moves: 4	coalesceable: 4	coalesced: 4
262 moves: 21	coalesceable: 18	coalesced: 16
263 moves: 4	coalesceable: 4	coalesced: 4
264 moves: 17	coalesceable: 14	coalesced: 14
265 moves: 22	coalesceable: 18	coalesced: 18
266 moves: 23	coalesceable: 14	coalesced: 14
267 moves: 4	coalesceable: 4	coalesced: 4
268 moves: 35	coalesceable: 20	coalesced: 18
269 moves: 4	coalesceable: 4	coalesced: 4
270 moves: 12	coalesceable: 8	coalesced: 7
271 moves: 4	coalesceable: 4	coalesced: 4
272 moves: 11	coalesceable: 7	coalesced: 7

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

eval_cake: external register allocation finished --- Wed Dec 04 18:36:03 2024
Saved theorem _______ "temp_oracle_cv_eq"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Wed Dec 04 18:36:06 2024
eval_cake: about to run cv_eval_raw on complie_cake_def --- Wed Dec 04 18:36:06 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1467 cv code equations to use.
Calling cv_compute.
Took 5.5 seconds.
eval_cake: cv_eval_raw complie_cake_def finished --- Wed Dec 04 18:36:13 2024
eval_cake: to_pair evaluation finished --- Wed Dec 04 18:36:13 2024
eval_cake: abbrevations for result defined --- Wed Dec 04 18:36:14 2024
eval_cake: new_spec run on result --- Wed Dec 04 18:36:14 2024
eval_cake: about to run cv_compute on export --- Wed Dec 04 18:36:14 2024
eval_cake: cv_compute on export finished --- Wed Dec 04 18:36:14 2024
eval_cake: theory tidy up finished --- Wed Dec 04 18:36:15 2024
Saved theorem _______ "diff_compiled"
Exporting theory "diffCompile" ... done.
Theory "diffCompile" took 22.6s to build
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/echoCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "echoCompile">>
eval_cake: config EVAL-ed --- Wed Dec 04 18:36:29 2024
Saved theorem _______ "echo_prog_cv_eq"
Able to translate: echo_progeval_cake: cv_trans_deep_embedding prog_def finished --- Wed Dec 04 18:36:33 2024
eval_cake: about to run cv_eval on to_livesets_def --- Wed Dec 04 18:36:33 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.0 seconds.
Found 1010 cv code equations to use.
Calling cv_compute.
Took 1.0 seconds.
eval_cake: cv_eval to_livesets finished --- Wed Dec 04 18:36:35 2024
Num regs: 9 Alg: IRC
0 moves: 68	coalesceable: 52	coalesced: 44
1 moves: 17	coalesceable: 17	coalesced: 15
2 moves: 84	coalesceable: 60	coalesced: 45
3 moves: 24	coalesceable: 18	coalesced: 16
4 moves: 13	coalesceable: 13	coalesced: 11
5 moves: 147	coalesceable: 115	coalesced: 109
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: 14	coalesceable: 13	coalesced: 10
12 moves: 41	coalesceable: 37	coalesced: 32
13 moves: 29	coalesceable: 20	coalesced: 17
14 moves: 52	coalesceable: 45	coalesced: 39
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 9	coalesceable: 7	coalesced: 4
17 moves: 9	coalesceable: 6	coalesced: 6
18 moves: 19	coalesceable: 19	coalesced: 19
19 moves: 20	coalesceable: 20	coalesced: 19
20 moves: 17	coalesceable: 14	coalesced: 14
21 moves: 32	coalesceable: 27	coalesced: 23
22 moves: 38	coalesceable: 32	coalesced: 31
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 14	coalesceable: 14	coalesced: 12
25 moves: 30	coalesceable: 27	coalesced: 20
26 moves: 17	coalesceable: 17	coalesced: 12
27 moves: 17	coalesceable: 15	coalesced: 8
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 279	coalesceable: 232	coalesced: 232
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 22	coalesceable: 21	coalesced: 21
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 22	coalesceable: 19	coalesced: 19
35 moves: 86	coalesceable: 77	coalesced: 77
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 57	coalesceable: 54	coalesced: 54
38 moves: 71	coalesceable: 68	coalesced: 68
39 moves: 27	coalesceable: 24	coalesced: 24
40 moves: 45	coalesceable: 42	coalesced: 42
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 22	coalesceable: 19	coalesced: 19
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 49	coalesceable: 46	coalesced: 46
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: 13	coalesceable: 12	coalesced: 12
51 moves: 19	coalesceable: 16	coalesced: 16
52 moves: 23	coalesceable: 20	coalesced: 20
53 moves: 189	coalesceable: 113	coalesced: 102
54 moves: 84	coalesceable: 58	coalesced: 41
55 moves: 35	coalesceable: 20	coalesced: 19
56 moves: 32	coalesceable: 22	coalesced: 17
57 moves: 51	coalesceable: 37	coalesced: 32
58 moves: 69	coalesceable: 44	coalesced: 38
59 moves: 43	coalesceable: 33	coalesced: 28
60 moves: 68	coalesceable: 43	coalesced: 34
61 moves: 932	coalesceable: 601	coalesced: 404
62 moves: 1094	coalesceable: 685	coalesced: 415
63 moves: 1176	coalesceable: 723	coalesced: 433
64 moves: 1262	coalesceable: 763	coalesced: 447
65 moves: 1352	coalesceable: 805	coalesced: 406
66 moves: 1445	coalesceable: 848	coalesced: 415
67 moves: 1543	coalesceable: 894	coalesced: 456
68 moves: 1646	coalesceable: 941	coalesced: 480
69 moves: 1752	coalesceable: 987	coalesced: 502
70 moves: 1862	coalesceable: 1033	coalesced: 504
71 moves: 13	coalesceable: 12	coalesced: 12
72 moves: 15	coalesceable: 14	coalesced: 14
73 moves: 14	coalesceable: 13	coalesced: 12
74 moves: 17	coalesceable: 16	coalesced: 16
75 moves: 16	coalesceable: 15	coalesced: 14
76 moves: 15	coalesceable: 14	coalesced: 13
77 moves: 19	coalesceable: 18	coalesced: 18
78 moves: 18	coalesceable: 17	coalesced: 16
79 moves: 17	coalesceable: 16	coalesced: 15
80 moves: 16	coalesceable: 15	coalesced: 14
81 moves: 21	coalesceable: 20	coalesced: 20
82 moves: 20	coalesceable: 19	coalesced: 18
83 moves: 19	coalesceable: 18	coalesced: 17
84 moves: 18	coalesceable: 17	coalesced: 16
85 moves: 17	coalesceable: 16	coalesced: 15
86 moves: 23	coalesceable: 21	coalesced: 17
87 moves: 22	coalesceable: 20	coalesced: 16
88 moves: 21	coalesceable: 19	coalesced: 15
89 moves: 20	coalesceable: 18	coalesced: 14
90 moves: 19	coalesceable: 17	coalesced: 13
91 moves: 18	coalesceable: 16	coalesced: 12
92 moves: 25	coalesceable: 22	coalesced: 19
93 moves: 24	coalesceable: 21	coalesced: 18
94 moves: 23	coalesceable: 20	coalesced: 17
95 moves: 22	coalesceable: 19	coalesced: 16
96 moves: 21	coalesceable: 18	coalesced: 15
97 moves: 20	coalesceable: 17	coalesced: 14
98 moves: 19	coalesceable: 16	coalesced: 13
99 moves: 27	coalesceable: 22	coalesced: 16
100 moves: 26	coalesceable: 22	coalesced: 16
101 moves: 25	coalesceable: 21	coalesced: 15
102 moves: 24	coalesceable: 20	coalesced: 14
103 moves: 23	coalesceable: 19	coalesced: 13
104 moves: 22	coalesceable: 18	coalesced: 12
105 moves: 21	coalesceable: 17	coalesced: 11
106 moves: 20	coalesceable: 16	coalesced: 10
107 moves: 29	coalesceable: 22	coalesced: 18
108 moves: 28	coalesceable: 22	coalesced: 18
109 moves: 27	coalesceable: 22	coalesced: 17
110 moves: 26	coalesceable: 21	coalesced: 16
111 moves: 25	coalesceable: 20	coalesced: 15
112 moves: 24	coalesceable: 19	coalesced: 14
113 moves: 23	coalesceable: 18	coalesced: 13
114 moves: 22	coalesceable: 17	coalesced: 12
115 moves: 21	coalesceable: 16	coalesced: 11
116 moves: 63	coalesceable: 12	coalesced: 8
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 16	coalesceable: 11	coalesced: 11
120 moves: 16	coalesceable: 10	coalesced: 10
121 moves: 16	coalesceable: 10	coalesced: 10
122 moves: 16	coalesceable: 10	coalesced: 10
123 moves: 16	coalesceable: 10	coalesced: 10
124 moves: 16	coalesceable: 10	coalesced: 10
125 moves: 16	coalesceable: 10	coalesced: 10
126 moves: 16	coalesceable: 10	coalesced: 10
127 moves: 16	coalesceable: 10	coalesced: 10
128 moves: 16	coalesceable: 10	coalesced: 10
129 moves: 16	coalesceable: 10	coalesced: 10
130 moves: 16	coalesceable: 10	coalesced: 10
131 moves: 16	coalesceable: 10	coalesced: 10
132 moves: 16	coalesceable: 10	coalesced: 10
133 moves: 16	coalesceable: 10	coalesced: 10
134 moves: 24	coalesceable: 16	coalesced: 15
135 moves: 16	coalesceable: 10	coalesced: 10
136 moves: 30	coalesceable: 19	coalesced: 17
137 moves: 16	coalesceable: 10	coalesced: 10
138 moves: 16	coalesceable: 10	coalesced: 10
139 moves: 16	coalesceable: 10	coalesced: 10
140 moves: 16	coalesceable: 10	coalesced: 10
141 moves: 16	coalesceable: 10	coalesced: 10
142 moves: 16	coalesceable: 10	coalesced: 10
143 moves: 16	coalesceable: 10	coalesced: 10
144 moves: 16	coalesceable: 10	coalesced: 10
145 moves: 16	coalesceable: 10	coalesced: 10
146 moves: 16	coalesceable: 10	coalesced: 10
147 moves: 16	coalesceable: 10	coalesced: 10
148 moves: 16	coalesceable: 10	coalesced: 10
149 moves: 10	coalesceable: 6	coalesced: 6
150 moves: 16	coalesceable: 10	coalesced: 10
151 moves: 16	coalesceable: 10	coalesced: 10
152 moves: 16	coalesceable: 10	coalesced: 10
153 moves: 10	coalesceable: 6	coalesced: 6
154 moves: 15	coalesceable: 11	coalesced: 10
155 moves: 16	coalesceable: 10	coalesced: 10
156 moves: 16	coalesceable: 10	coalesced: 10
157 moves: 16	coalesceable: 10	coalesced: 10
158 moves: 16	coalesceable: 10	coalesced: 10
159 moves: 16	coalesceable: 10	coalesced: 10
160 moves: 2	coalesceable: 2	coalesced: 2
161 moves: 16	coalesceable: 10	coalesced: 10
162 moves: 5	coalesceable: 3	coalesced: 3
163 moves: 6	coalesceable: 6	coalesced: 6
164 moves: 25	coalesceable: 18	coalesced: 11
165 moves: 4	coalesceable: 4	coalesced: 4
166 moves: 6	coalesceable: 6	coalesced: 6
167 moves: 4	coalesceable: 4	coalesced: 4
168 moves: 8	coalesceable: 8	coalesced: 7
169 moves: 8	coalesceable: 8	coalesced: 8
170 moves: 123	coalesceable: 71	coalesced: 57
171 moves: 6	coalesceable: 6	coalesced: 6
172 moves: 60	coalesceable: 28	coalesced: 26
173 moves: 8	coalesceable: 8	coalesced: 8
174 moves: 184	coalesceable: 97	coalesced: 90
175 moves: 6	coalesceable: 6	coalesced: 6
176 moves: 7	coalesceable: 7	coalesced: 4
177 moves: 6	coalesceable: 6	coalesced: 6
178 moves: 20	coalesceable: 13	coalesced: 9
179 moves: 6	coalesceable: 6	coalesced: 6
180 moves: 20	coalesceable: 13	coalesced: 9
181 moves: 6	coalesceable: 6	coalesced: 6
182 moves: 25	coalesceable: 15	coalesced: 12
183 moves: 6	coalesceable: 6	coalesced: 6
184 moves: 24	coalesceable: 17	coalesced: 13
185 moves: 6	coalesceable: 6	coalesced: 6
186 moves: 20	coalesceable: 15	coalesced: 12
187 moves: 6	coalesceable: 6	coalesced: 6
188 moves: 20	coalesceable: 15	coalesced: 12
189 moves: 6	coalesceable: 6	coalesced: 6
190 moves: 26	coalesceable: 21	coalesced: 18
191 moves: 4	coalesceable: 4	coalesced: 4
192 moves: 3	coalesceable: 3	coalesced: 3
193 moves: 4	coalesceable: 4	coalesced: 4
194 moves: 21	coalesceable: 14	coalesced: 12
195 moves: 4	coalesceable: 4	coalesced: 4
196 moves: 3	coalesceable: 3	coalesced: 3
197 moves: 6	coalesceable: 6	coalesced: 6
198 moves: 34	coalesceable: 22	coalesced: 15
199 moves: 6	coalesceable: 6	coalesced: 6
200 moves: 17	coalesceable: 15	coalesced: 15
201 moves: 8	coalesceable: 8	coalesced: 8
202 moves: 17	coalesceable: 15	coalesced: 15
203 moves: 12	coalesceable: 12	coalesced: 12
204 moves: 216	coalesceable: 133	coalesced: 84
205 moves: 8	coalesceable: 8	coalesced: 8
206 moves: 123	coalesceable: 71	coalesced: 57
207 moves: 4	coalesceable: 4	coalesced: 4
208 moves: 76	coalesceable: 55	coalesced: 52
209 moves: 6	coalesceable: 6	coalesced: 6
210 moves: 104	coalesceable: 73	coalesced: 63
211 moves: 8	coalesceable: 8	coalesced: 8
212 moves: 428	coalesceable: 228	coalesced: 178
213 moves: 4	coalesceable: 4	coalesced: 4
214 moves: 60	coalesceable: 38	coalesced: 35
215 moves: 4	coalesceable: 4	coalesced: 4
216 moves: 8	coalesceable: 6	coalesced: 6
217 moves: 8	coalesceable: 8	coalesced: 8
218 moves: 157	coalesceable: 104	coalesced: 87
219 moves: 6	coalesceable: 6	coalesced: 6
220 moves: 111	coalesceable: 77	coalesced: 69
221 moves: 4	coalesceable: 4	coalesced: 4
222 moves: 5	coalesceable: 5	coalesced: 5
223 moves: 8	coalesceable: 8	coalesced: 8
224 moves: 128	coalesceable: 77	coalesced: 70
225 moves: 8	coalesceable: 8	coalesced: 8
226 moves: 111	coalesceable: 66	coalesced: 51
227 moves: 6	coalesceable: 6	coalesced: 6
228 moves: 46	coalesceable: 34	coalesced: 31
229 moves: 6	coalesceable: 6	coalesced: 6
230 moves: 434	coalesceable: 270	coalesced: 198
231 moves: 4	coalesceable: 4	coalesced: 4
232 moves: 5	coalesceable: 5	coalesced: 5
233 moves: 4	coalesceable: 4	coalesced: 4
234 moves: 40	coalesceable: 26	coalesced: 25

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

eval_cake: external register allocation finished --- Wed Dec 04 18:37:21 2024
Saved theorem _______ "temp_oracle_cv_eq"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Wed Dec 04 18:37:26 2024
eval_cake: about to run cv_eval_raw on complie_cake_def --- Wed Dec 04 18:37:26 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1467 cv code equations to use.
Calling cv_compute.
Took 9.6 seconds.
eval_cake: cv_eval_raw complie_cake_def finished --- Wed Dec 04 18:37:36 2024
eval_cake: to_pair evaluation finished --- Wed Dec 04 18:37:36 2024
eval_cake: abbrevations for result defined --- Wed Dec 04 18:37:39 2024
eval_cake: new_spec run on result --- Wed Dec 04 18:37:39 2024
eval_cake: about to run cv_compute on export --- Wed Dec 04 18:37:39 2024
eval_cake: cv_compute on export finished --- Wed Dec 04 18:37:41 2024
eval_cake: theory tidy up finished --- Wed Dec 04 18:37:42 2024
Saved theorem _______ "grep_compiled"
Exporting theory "grepCompile" ... done.
Theory "grepCompile" took 40.1s to build
cc -O2 -o cake_grep grep.S /scratch/cakeml/regression/cakeml-2727/basis/basis_ffi.o -lm
/usr/bin/ld: warning: /tmp/ccopQAjg.o: missing .note.GNU-stack section implies executable stack
/usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/helloCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "helloCompile">>
eval_cake: config EVAL-ed --- Wed Dec 04 18:37:57 2024
Saved theorem _______ "hello_prog_cv_eq"
Able to translate: hello_progeval_cake: cv_trans_deep_embedding prog_def finished --- Wed Dec 04 18:38:01 2024
eval_cake: about to run cv_eval on to_livesets_def --- Wed Dec 04 18:38:01 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.0 seconds.
Found 1010 cv code equations to use.
Calling cv_compute.
Took 1.0 seconds.
eval_cake: cv_eval to_livesets finished --- Wed Dec 04 18:38:03 2024
Num regs: 9 Alg: IRC
0 moves: 68	coalesceable: 52	coalesced: 44
1 moves: 17	coalesceable: 17	coalesced: 15
2 moves: 84	coalesceable: 60	coalesced: 45
3 moves: 24	coalesceable: 18	coalesced: 16
4 moves: 13	coalesceable: 13	coalesced: 11
5 moves: 147	coalesceable: 115	coalesced: 109
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: 14	coalesceable: 13	coalesced: 10
12 moves: 41	coalesceable: 37	coalesced: 32
13 moves: 29	coalesceable: 20	coalesced: 17
14 moves: 52	coalesceable: 45	coalesced: 39
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 9	coalesceable: 7	coalesced: 4
17 moves: 9	coalesceable: 6	coalesced: 6
18 moves: 19	coalesceable: 19	coalesced: 19
19 moves: 20	coalesceable: 20	coalesced: 19
20 moves: 17	coalesceable: 14	coalesced: 14
21 moves: 32	coalesceable: 27	coalesced: 23
22 moves: 38	coalesceable: 32	coalesced: 31
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 14	coalesceable: 14	coalesced: 12
25 moves: 30	coalesceable: 27	coalesced: 20
26 moves: 17	coalesceable: 17	coalesced: 12
27 moves: 17	coalesceable: 15	coalesced: 8
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 279	coalesceable: 232	coalesced: 232
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 22	coalesceable: 21	coalesced: 21
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 22	coalesceable: 19	coalesced: 19
35 moves: 86	coalesceable: 77	coalesced: 77
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 57	coalesceable: 54	coalesced: 54
38 moves: 71	coalesceable: 68	coalesced: 68
39 moves: 27	coalesceable: 24	coalesced: 24
40 moves: 45	coalesceable: 42	coalesced: 42
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 22	coalesceable: 19	coalesced: 19
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 49	coalesceable: 46	coalesced: 46
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: 13	coalesceable: 12	coalesced: 12
51 moves: 19	coalesceable: 16	coalesced: 16
52 moves: 23	coalesceable: 20	coalesced: 20
53 moves: 189	coalesceable: 113	coalesced: 102
54 moves: 84	coalesceable: 58	coalesced: 41
55 moves: 35	coalesceable: 20	coalesced: 19
56 moves: 32	coalesceable: 22	coalesced: 17
57 moves: 51	coalesceable: 37	coalesced: 32
58 moves: 69	coalesceable: 44	coalesced: 38
59 moves: 43	coalesceable: 33	coalesced: 28
60 moves: 68	coalesceable: 43	coalesced: 34
61 moves: 932	coalesceable: 601	coalesced: 404
62 moves: 1094	coalesceable: 685	coalesced: 415
63 moves: 1176	coalesceable: 723	coalesced: 433
64 moves: 1262	coalesceable: 763	coalesced: 447
65 moves: 1352	coalesceable: 805	coalesced: 406
66 moves: 1445	coalesceable: 848	coalesced: 415
67 moves: 1543	coalesceable: 894	coalesced: 456
68 moves: 1646	coalesceable: 941	coalesced: 480
69 moves: 1752	coalesceable: 987	coalesced: 502
70 moves: 1862	coalesceable: 1033	coalesced: 504
71 moves: 13	coalesceable: 12	coalesced: 12
72 moves: 15	coalesceable: 14	coalesced: 14
73 moves: 14	coalesceable: 13	coalesced: 12
74 moves: 17	coalesceable: 16	coalesced: 16
75 moves: 16	coalesceable: 15	coalesced: 14
76 moves: 15	coalesceable: 14	coalesced: 13
77 moves: 19	coalesceable: 18	coalesced: 18
78 moves: 18	coalesceable: 17	coalesced: 16
79 moves: 17	coalesceable: 16	coalesced: 15
80 moves: 16	coalesceable: 15	coalesced: 14
81 moves: 21	coalesceable: 20	coalesced: 20
82 moves: 20	coalesceable: 19	coalesced: 18
83 moves: 19	coalesceable: 18	coalesced: 17
84 moves: 18	coalesceable: 17	coalesced: 16
85 moves: 17	coalesceable: 16	coalesced: 15
86 moves: 23	coalesceable: 21	coalesced: 17
87 moves: 22	coalesceable: 20	coalesced: 16
88 moves: 21	coalesceable: 19	coalesced: 15
89 moves: 20	coalesceable: 18	coalesced: 14
90 moves: 19	coalesceable: 17	coalesced: 13
91 moves: 18	coalesceable: 16	coalesced: 12
92 moves: 25	coalesceable: 22	coalesced: 19
93 moves: 24	coalesceable: 21	coalesced: 18
94 moves: 23	coalesceable: 20	coalesced: 17
95 moves: 22	coalesceable: 19	coalesced: 16
96 moves: 21	coalesceable: 18	coalesced: 15
97 moves: 20	coalesceable: 17	coalesced: 14
98 moves: 19	coalesceable: 16	coalesced: 13
99 moves: 27	coalesceable: 22	coalesced: 16
100 moves: 26	coalesceable: 22	coalesced: 16
101 moves: 25	coalesceable: 21	coalesced: 15
102 moves: 24	coalesceable: 20	coalesced: 14
103 moves: 23	coalesceable: 19	coalesced: 13
104 moves: 22	coalesceable: 18	coalesced: 12
105 moves: 21	coalesceable: 17	coalesced: 11
106 moves: 20	coalesceable: 16	coalesced: 10
107 moves: 29	coalesceable: 22	coalesced: 18
108 moves: 28	coalesceable: 22	coalesced: 18
109 moves: 27	coalesceable: 22	coalesced: 17
110 moves: 26	coalesceable: 21	coalesced: 16
111 moves: 25	coalesceable: 20	coalesced: 15
112 moves: 24	coalesceable: 19	coalesced: 14
113 moves: 23	coalesceable: 18	coalesced: 13
114 moves: 22	coalesceable: 17	coalesced: 12
115 moves: 21	coalesceable: 16	coalesced: 11
116 moves: 63	coalesceable: 12	coalesced: 8
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 16	coalesceable: 11	coalesced: 11
120 moves: 16	coalesceable: 10	coalesced: 10
121 moves: 16	coalesceable: 10	coalesced: 10
122 moves: 16	coalesceable: 10	coalesced: 10
123 moves: 16	coalesceable: 10	coalesced: 10
124 moves: 16	coalesceable: 10	coalesced: 10
125 moves: 16	coalesceable: 10	coalesced: 10
126 moves: 16	coalesceable: 10	coalesced: 10
127 moves: 16	coalesceable: 10	coalesced: 10
128 moves: 16	coalesceable: 10	coalesced: 10
129 moves: 24	coalesceable: 16	coalesced: 15
130 moves: 30	coalesceable: 19	coalesced: 17
131 moves: 16	coalesceable: 10	coalesced: 10
132 moves: 16	coalesceable: 10	coalesced: 10
133 moves: 16	coalesceable: 10	coalesced: 10
134 moves: 16	coalesceable: 10	coalesced: 10
135 moves: 16	coalesceable: 10	coalesced: 10
136 moves: 10	coalesceable: 6	coalesced: 6
137 moves: 16	coalesceable: 10	coalesced: 10
138 moves: 16	coalesceable: 10	coalesced: 10
139 moves: 16	coalesceable: 10	coalesced: 10
140 moves: 10	coalesceable: 6	coalesced: 6
141 moves: 15	coalesceable: 11	coalesced: 10
142 moves: 16	coalesceable: 10	coalesced: 10
143 moves: 16	coalesceable: 10	coalesced: 10
144 moves: 16	coalesceable: 10	coalesced: 10
145 moves: 16	coalesceable: 10	coalesced: 10
146 moves: 2	coalesceable: 2	coalesced: 2
147 moves: 16	coalesceable: 10	coalesced: 10
148 moves: 5	coalesceable: 3	coalesced: 3
149 moves: 4	coalesceable: 4	coalesced: 4
150 moves: 8	coalesceable: 8	coalesced: 7
151 moves: 8	coalesceable: 8	coalesced: 8
152 moves: 123	coalesceable: 71	coalesced: 57
153 moves: 6	coalesceable: 6	coalesced: 6
154 moves: 20	coalesceable: 13	coalesced: 9
155 moves: 6	coalesceable: 6	coalesced: 6
156 moves: 20	coalesceable: 13	coalesced: 9
157 moves: 6	coalesceable: 6	coalesced: 6
158 moves: 25	coalesceable: 15	coalesced: 12
159 moves: 6	coalesceable: 6	coalesced: 6
160 moves: 24	coalesceable: 17	coalesced: 13
161 moves: 6	coalesceable: 6	coalesced: 6
162 moves: 20	coalesceable: 15	coalesced: 12
163 moves: 6	coalesceable: 6	coalesced: 6
164 moves: 20	coalesceable: 15	coalesced: 12
165 moves: 6	coalesceable: 6	coalesced: 6
166 moves: 26	coalesceable: 21	coalesced: 18
167 moves: 4	coalesceable: 4	coalesced: 4
168 moves: 21	coalesceable: 14	coalesced: 12
169 moves: 4	coalesceable: 4	coalesced: 4
170 moves: 3	coalesceable: 3	coalesced: 3
171 moves: 6	coalesceable: 6	coalesced: 6
172 moves: 17	coalesceable: 15	coalesced: 15
173 moves: 8	coalesceable: 8	coalesced: 8
174 moves: 17	coalesceable: 15	coalesced: 15
175 moves: 12	coalesceable: 12	coalesced: 12
176 moves: 216	coalesceable: 133	coalesced: 84
177 moves: 8	coalesceable: 8	coalesced: 8
178 moves: 157	coalesceable: 104	coalesced: 87
179 moves: 6	coalesceable: 6	coalesced: 6
180 moves: 111	coalesceable: 77	coalesced: 69
181 moves: 4	coalesceable: 4	coalesced: 4
182 moves: 5	coalesceable: 5	coalesced: 5
183 moves: 8	coalesceable: 8	coalesced: 8
184 moves: 128	coalesceable: 77	coalesced: 70
185 moves: 8	coalesceable: 8	coalesced: 8
186 moves: 111	coalesceable: 66	coalesced: 51
187 moves: 6	coalesceable: 6	coalesced: 6
188 moves: 434	coalesceable: 270	coalesced: 198
189 moves: 4	coalesceable: 4	coalesced: 4
190 moves: 5	coalesceable: 5	coalesced: 5
191 moves: 4	coalesceable: 4	coalesced: 4
192 moves: 17	coalesceable: 13	coalesced: 11

eval_cake: external register allocation finished --- Wed Dec 04 18:38:06 2024
Saved theorem _______ "temp_oracle_cv_eq"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Wed Dec 04 18:38:07 2024
eval_cake: about to run cv_eval_raw on complie_cake_def --- Wed Dec 04 18:38:07 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1467 cv code equations to use.
Calling cv_compute.
Took 2.9 seconds.
eval_cake: cv_eval_raw complie_cake_def finished --- Wed Dec 04 18:38:12 2024
eval_cake: to_pair evaluation finished --- Wed Dec 04 18:38:12 2024
eval_cake: abbrevations for result defined --- Wed Dec 04 18:38:12 2024
eval_cake: new_spec run on result --- Wed Dec 04 18:38:12 2024
eval_cake: about to run cv_compute on export --- Wed Dec 04 18:38:12 2024
eval_cake: cv_compute on export finished --- Wed Dec 04 18:38:14 2024
eval_cake: theory tidy up finished --- Wed Dec 04 18:38:15 2024
Saved theorem _______ "hello_compiled"
Exporting theory "helloCompile" ... done.
Theory "helloCompile" took 18.4s to build
cc -O2 -o cake_hello hello.S /scratch/cakeml/regression/cakeml-2727/basis/basis_ffi.o -lm
/usr/bin/ld: warning: /tmp/ccXEn2Gd.o: missing .note.GNU-stack section implies executable stack
/usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/helloErrCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "helloErrCompile">>
eval_cake: config EVAL-ed --- Wed Dec 04 18:38:28 2024
Saved theorem _______ "helloErr_prog_cv_eq"
Able to translate: helloErr_progeval_cake: cv_trans_deep_embedding prog_def finished --- Wed Dec 04 18:38:32 2024
eval_cake: about to run cv_eval on to_livesets_def --- Wed Dec 04 18:38:32 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.0 seconds.
Found 1010 cv code equations to use.
Calling cv_compute.
Took 1.0 seconds.
eval_cake: cv_eval to_livesets finished --- Wed Dec 04 18:38:34 2024
Num regs: 9 Alg: IRC
0 moves: 68	coalesceable: 52	coalesced: 44
1 moves: 17	coalesceable: 17	coalesced: 15
2 moves: 84	coalesceable: 60	coalesced: 45
3 moves: 24	coalesceable: 18	coalesced: 16
4 moves: 13	coalesceable: 13	coalesced: 11
5 moves: 147	coalesceable: 115	coalesced: 109
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: 14	coalesceable: 13	coalesced: 10
12 moves: 41	coalesceable: 37	coalesced: 32
13 moves: 29	coalesceable: 20	coalesced: 17
14 moves: 52	coalesceable: 45	coalesced: 39
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 9	coalesceable: 7	coalesced: 4
17 moves: 9	coalesceable: 6	coalesced: 6
18 moves: 19	coalesceable: 19	coalesced: 19
19 moves: 20	coalesceable: 20	coalesced: 19
20 moves: 17	coalesceable: 14	coalesced: 14
21 moves: 32	coalesceable: 27	coalesced: 23
22 moves: 38	coalesceable: 32	coalesced: 31
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 14	coalesceable: 14	coalesced: 12
25 moves: 30	coalesceable: 27	coalesced: 20
26 moves: 17	coalesceable: 17	coalesced: 12
27 moves: 17	coalesceable: 15	coalesced: 8
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 279	coalesceable: 232	coalesced: 232
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 22	coalesceable: 21	coalesced: 21
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 22	coalesceable: 19	coalesced: 19
35 moves: 86	coalesceable: 77	coalesced: 77
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 57	coalesceable: 54	coalesced: 54
38 moves: 71	coalesceable: 68	coalesced: 68
39 moves: 27	coalesceable: 24	coalesced: 24
40 moves: 45	coalesceable: 42	coalesced: 42
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 22	coalesceable: 19	coalesced: 19
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 49	coalesceable: 46	coalesced: 46
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: 13	coalesceable: 12	coalesced: 12
51 moves: 19	coalesceable: 16	coalesced: 16
52 moves: 23	coalesceable: 20	coalesced: 20
53 moves: 189	coalesceable: 113	coalesced: 102
54 moves: 84	coalesceable: 58	coalesced: 41
55 moves: 35	coalesceable: 20	coalesced: 19
56 moves: 32	coalesceable: 22	coalesced: 17
57 moves: 51	coalesceable: 37	coalesced: 32
58 moves: 69	coalesceable: 44	coalesced: 38
59 moves: 43	coalesceable: 33	coalesced: 28
60 moves: 68	coalesceable: 43	coalesced: 34
61 moves: 932	coalesceable: 601	coalesced: 404
62 moves: 1094	coalesceable: 685	coalesced: 415
63 moves: 1176	coalesceable: 723	coalesced: 433
64 moves: 1262	coalesceable: 763	coalesced: 447
65 moves: 1352	coalesceable: 805	coalesced: 406
66 moves: 1445	coalesceable: 848	coalesced: 415
67 moves: 1543	coalesceable: 894	coalesced: 456
68 moves: 1646	coalesceable: 941	coalesced: 480
69 moves: 1752	coalesceable: 987	coalesced: 502
70 moves: 1862	coalesceable: 1033	coalesced: 504
71 moves: 13	coalesceable: 12	coalesced: 12
72 moves: 15	coalesceable: 14	coalesced: 14
73 moves: 14	coalesceable: 13	coalesced: 12
74 moves: 17	coalesceable: 16	coalesced: 16
75 moves: 16	coalesceable: 15	coalesced: 14
76 moves: 15	coalesceable: 14	coalesced: 13
77 moves: 19	coalesceable: 18	coalesced: 18
78 moves: 18	coalesceable: 17	coalesced: 16
79 moves: 17	coalesceable: 16	coalesced: 15
80 moves: 16	coalesceable: 15	coalesced: 14
81 moves: 21	coalesceable: 20	coalesced: 20
82 moves: 20	coalesceable: 19	coalesced: 18
83 moves: 19	coalesceable: 18	coalesced: 17
84 moves: 18	coalesceable: 17	coalesced: 16
85 moves: 17	coalesceable: 16	coalesced: 15
86 moves: 23	coalesceable: 21	coalesced: 17
87 moves: 22	coalesceable: 20	coalesced: 16
88 moves: 21	coalesceable: 19	coalesced: 15
89 moves: 20	coalesceable: 18	coalesced: 14
90 moves: 19	coalesceable: 17	coalesced: 13
91 moves: 18	coalesceable: 16	coalesced: 12
92 moves: 25	coalesceable: 22	coalesced: 19
93 moves: 24	coalesceable: 21	coalesced: 18
94 moves: 23	coalesceable: 20	coalesced: 17
95 moves: 22	coalesceable: 19	coalesced: 16
96 moves: 21	coalesceable: 18	coalesced: 15
97 moves: 20	coalesceable: 17	coalesced: 14
98 moves: 19	coalesceable: 16	coalesced: 13
99 moves: 27	coalesceable: 22	coalesced: 16
100 moves: 26	coalesceable: 22	coalesced: 16
101 moves: 25	coalesceable: 21	coalesced: 15
102 moves: 24	coalesceable: 20	coalesced: 14
103 moves: 23	coalesceable: 19	coalesced: 13
104 moves: 22	coalesceable: 18	coalesced: 12
105 moves: 21	coalesceable: 17	coalesced: 11
106 moves: 20	coalesceable: 16	coalesced: 10
107 moves: 29	coalesceable: 22	coalesced: 18
108 moves: 28	coalesceable: 22	coalesced: 18
109 moves: 27	coalesceable: 22	coalesced: 17
110 moves: 26	coalesceable: 21	coalesced: 16
111 moves: 25	coalesceable: 20	coalesced: 15
112 moves: 24	coalesceable: 19	coalesced: 14
113 moves: 23	coalesceable: 18	coalesced: 13
114 moves: 22	coalesceable: 17	coalesced: 12
115 moves: 21	coalesceable: 16	coalesced: 11
116 moves: 63	coalesceable: 12	coalesced: 8
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 16	coalesceable: 11	coalesced: 11
120 moves: 16	coalesceable: 10	coalesced: 10
121 moves: 16	coalesceable: 10	coalesced: 10
122 moves: 16	coalesceable: 10	coalesced: 10
123 moves: 16	coalesceable: 10	coalesced: 10
124 moves: 16	coalesceable: 10	coalesced: 10
125 moves: 16	coalesceable: 10	coalesced: 10
126 moves: 16	coalesceable: 10	coalesced: 10
127 moves: 16	coalesceable: 10	coalesced: 10
128 moves: 16	coalesceable: 10	coalesced: 10
129 moves: 16	coalesceable: 10	coalesced: 10
130 moves: 16	coalesceable: 10	coalesced: 10
131 moves: 24	coalesceable: 16	coalesced: 15
132 moves: 30	coalesceable: 19	coalesced: 17
133 moves: 16	coalesceable: 10	coalesced: 10
134 moves: 16	coalesceable: 10	coalesced: 10
135 moves: 16	coalesceable: 10	coalesced: 10
136 moves: 16	coalesceable: 10	coalesced: 10
137 moves: 16	coalesceable: 10	coalesced: 10
138 moves: 10	coalesceable: 6	coalesced: 6
139 moves: 16	coalesceable: 10	coalesced: 10
140 moves: 16	coalesceable: 10	coalesced: 10
141 moves: 16	coalesceable: 10	coalesced: 10
142 moves: 10	coalesceable: 6	coalesced: 6
143 moves: 15	coalesceable: 11	coalesced: 10
144 moves: 15	coalesceable: 11	coalesced: 10
145 moves: 16	coalesceable: 10	coalesced: 10
146 moves: 16	coalesceable: 10	coalesced: 10
147 moves: 16	coalesceable: 10	coalesced: 10
148 moves: 16	coalesceable: 10	coalesced: 10
149 moves: 2	coalesceable: 2	coalesced: 2
150 moves: 16	coalesceable: 10	coalesced: 10
151 moves: 5	coalesceable: 3	coalesced: 3
152 moves: 4	coalesceable: 4	coalesced: 4
153 moves: 69	coalesceable: 45	coalesced: 39
154 moves: 4	coalesceable: 4	coalesced: 4
155 moves: 3	coalesceable: 3	coalesced: 3
156 moves: 4	coalesceable: 4	coalesced: 4
157 moves: 8	coalesceable: 8	coalesced: 7
158 moves: 8	coalesceable: 8	coalesced: 8
159 moves: 123	coalesceable: 71	coalesced: 57
160 moves: 6	coalesceable: 6	coalesced: 6
161 moves: 20	coalesceable: 13	coalesced: 9
162 moves: 6	coalesceable: 6	coalesced: 6
163 moves: 20	coalesceable: 13	coalesced: 9
164 moves: 6	coalesceable: 6	coalesced: 6
165 moves: 25	coalesceable: 15	coalesced: 12
166 moves: 6	coalesceable: 6	coalesced: 6
167 moves: 24	coalesceable: 17	coalesced: 13
168 moves: 6	coalesceable: 6	coalesced: 6
169 moves: 20	coalesceable: 15	coalesced: 12
170 moves: 6	coalesceable: 6	coalesced: 6
171 moves: 20	coalesceable: 15	coalesced: 12
172 moves: 6	coalesceable: 6	coalesced: 6
173 moves: 26	coalesceable: 21	coalesced: 18
174 moves: 4	coalesceable: 4	coalesced: 4
175 moves: 21	coalesceable: 14	coalesced: 12
176 moves: 4	coalesceable: 4	coalesced: 4
177 moves: 3	coalesceable: 3	coalesced: 3
178 moves: 6	coalesceable: 6	coalesced: 6
179 moves: 17	coalesceable: 15	coalesced: 15
180 moves: 8	coalesceable: 8	coalesced: 8
181 moves: 17	coalesceable: 15	coalesced: 15
182 moves: 12	coalesceable: 12	coalesced: 12
183 moves: 216	coalesceable: 133	coalesced: 84
184 moves: 8	coalesceable: 8	coalesced: 8
185 moves: 157	coalesceable: 104	coalesced: 87
186 moves: 6	coalesceable: 6	coalesced: 6
187 moves: 111	coalesceable: 77	coalesced: 69
188 moves: 4	coalesceable: 4	coalesced: 4
189 moves: 5	coalesceable: 5	coalesced: 5
190 moves: 8	coalesceable: 8	coalesced: 8
191 moves: 128	coalesceable: 77	coalesced: 70
192 moves: 8	coalesceable: 8	coalesced: 8
193 moves: 111	coalesceable: 66	coalesced: 51
194 moves: 6	coalesceable: 6	coalesced: 6
195 moves: 434	coalesceable: 270	coalesced: 198
196 moves: 4	coalesceable: 4	coalesced: 4
197 moves: 5	coalesceable: 5	coalesced: 5
198 moves: 4	coalesceable: 4	coalesced: 4
199 moves: 20	coalesceable: 15	coalesced: 13

eval_cake: external register allocation finished --- Wed Dec 04 18:38:37 2024
Saved theorem _______ "temp_oracle_cv_eq"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Wed Dec 04 18:38:38 2024
eval_cake: about to run cv_eval_raw on complie_cake_def --- Wed Dec 04 18:38:38 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1467 cv code equations to use.
Calling cv_compute.
Took 2.7 seconds.
eval_cake: cv_eval_raw complie_cake_def finished --- Wed Dec 04 18:38:43 2024
eval_cake: to_pair evaluation finished --- Wed Dec 04 18:38:43 2024
eval_cake: abbrevations for result defined --- Wed Dec 04 18:38:45 2024
eval_cake: new_spec run on result --- Wed Dec 04 18:38:45 2024
eval_cake: about to run cv_compute on export --- Wed Dec 04 18:38:45 2024
eval_cake: cv_compute on export finished --- Wed Dec 04 18:38:45 2024
eval_cake: theory tidy up finished --- Wed Dec 04 18:38:46 2024
Saved theorem _______ "helloErr_compiled"
Exporting theory "helloErrCompile" ... done.
Theory "helloErrCompile" took 18.5s to build
cc -O2 -o cake_helloErr helloErr.S /scratch/cakeml/regression/cakeml-2727/basis/basis_ffi.o -lm
/usr/bin/ld: warning: /tmp/cczQaBUg.o: missing .note.GNU-stack section implies executable stack
/usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/iocatCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "iocatCompile">>
eval_cake: config EVAL-ed --- Wed Dec 04 18:38:59 2024
Saved theorem _______ "cat_prog_cv_eq"
Able to translate: cat_progeval_cake: cv_trans_deep_embedding prog_def finished --- Wed Dec 04 18:39:03 2024
eval_cake: about to run cv_eval on to_livesets_def --- Wed Dec 04 18:39:03 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.0 seconds.
Found 1010 cv code equations to use.
Calling cv_compute.
Took 1.1 seconds.
eval_cake: cv_eval to_livesets finished --- Wed Dec 04 18:39:05 2024
Num regs: 9 Alg: IRC
0 moves: 68	coalesceable: 52	coalesced: 44
1 moves: 17	coalesceable: 17	coalesced: 15
2 moves: 84	coalesceable: 60	coalesced: 45
3 moves: 24	coalesceable: 18	coalesced: 16
4 moves: 13	coalesceable: 13	coalesced: 11
5 moves: 147	coalesceable: 115	coalesced: 109
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: 14	coalesceable: 13	coalesced: 10
12 moves: 41	coalesceable: 37	coalesced: 32
13 moves: 29	coalesceable: 20	coalesced: 17
14 moves: 52	coalesceable: 45	coalesced: 39
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 9	coalesceable: 7	coalesced: 4
17 moves: 9	coalesceable: 6	coalesced: 6
18 moves: 19	coalesceable: 19	coalesced: 19
19 moves: 20	coalesceable: 20	coalesced: 19
20 moves: 17	coalesceable: 14	coalesced: 14
21 moves: 32	coalesceable: 27	coalesced: 23
22 moves: 38	coalesceable: 32	coalesced: 31
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 14	coalesceable: 14	coalesced: 12
25 moves: 30	coalesceable: 27	coalesced: 20
26 moves: 17	coalesceable: 17	coalesced: 12
27 moves: 17	coalesceable: 15	coalesced: 8
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 279	coalesceable: 232	coalesced: 232
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 22	coalesceable: 21	coalesced: 21
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 22	coalesceable: 19	coalesced: 19
35 moves: 86	coalesceable: 77	coalesced: 77
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 57	coalesceable: 54	coalesced: 54
38 moves: 71	coalesceable: 68	coalesced: 68
39 moves: 27	coalesceable: 24	coalesced: 24
40 moves: 45	coalesceable: 42	coalesced: 42
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 22	coalesceable: 19	coalesced: 19
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 49	coalesceable: 46	coalesced: 46
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: 13	coalesceable: 12	coalesced: 12
51 moves: 19	coalesceable: 16	coalesced: 16
52 moves: 23	coalesceable: 20	coalesced: 20
53 moves: 189	coalesceable: 113	coalesced: 102
54 moves: 84	coalesceable: 58	coalesced: 41
55 moves: 35	coalesceable: 20	coalesced: 19
56 moves: 32	coalesceable: 22	coalesced: 17
57 moves: 51	coalesceable: 37	coalesced: 32
58 moves: 69	coalesceable: 44	coalesced: 38
59 moves: 43	coalesceable: 33	coalesced: 28
60 moves: 68	coalesceable: 43	coalesced: 34
61 moves: 932	coalesceable: 601	coalesced: 404
62 moves: 1094	coalesceable: 685	coalesced: 415
63 moves: 1176	coalesceable: 723	coalesced: 433
64 moves: 1262	coalesceable: 763	coalesced: 447
65 moves: 1352	coalesceable: 805	coalesced: 406
66 moves: 1445	coalesceable: 848	coalesced: 415
67 moves: 1543	coalesceable: 894	coalesced: 456
68 moves: 1646	coalesceable: 941	coalesced: 480
69 moves: 1752	coalesceable: 987	coalesced: 502
70 moves: 1862	coalesceable: 1033	coalesced: 504
71 moves: 13	coalesceable: 12	coalesced: 12
72 moves: 15	coalesceable: 14	coalesced: 14
73 moves: 14	coalesceable: 13	coalesced: 12
74 moves: 17	coalesceable: 16	coalesced: 16
75 moves: 16	coalesceable: 15	coalesced: 14
76 moves: 15	coalesceable: 14	coalesced: 13
77 moves: 19	coalesceable: 18	coalesced: 18
78 moves: 18	coalesceable: 17	coalesced: 16
79 moves: 17	coalesceable: 16	coalesced: 15
80 moves: 16	coalesceable: 15	coalesced: 14
81 moves: 21	coalesceable: 20	coalesced: 20
82 moves: 20	coalesceable: 19	coalesced: 18
83 moves: 19	coalesceable: 18	coalesced: 17
84 moves: 18	coalesceable: 17	coalesced: 16
85 moves: 17	coalesceable: 16	coalesced: 15
86 moves: 23	coalesceable: 21	coalesced: 17
87 moves: 22	coalesceable: 20	coalesced: 16
88 moves: 21	coalesceable: 19	coalesced: 15
89 moves: 20	coalesceable: 18	coalesced: 14
90 moves: 19	coalesceable: 17	coalesced: 13
91 moves: 18	coalesceable: 16	coalesced: 12
92 moves: 25	coalesceable: 22	coalesced: 19
93 moves: 24	coalesceable: 21	coalesced: 18
94 moves: 23	coalesceable: 20	coalesced: 17
95 moves: 22	coalesceable: 19	coalesced: 16
96 moves: 21	coalesceable: 18	coalesced: 15
97 moves: 20	coalesceable: 17	coalesced: 14
98 moves: 19	coalesceable: 16	coalesced: 13
99 moves: 27	coalesceable: 22	coalesced: 16
100 moves: 26	coalesceable: 22	coalesced: 16
101 moves: 25	coalesceable: 21	coalesced: 15
102 moves: 24	coalesceable: 20	coalesced: 14
103 moves: 23	coalesceable: 19	coalesced: 13
104 moves: 22	coalesceable: 18	coalesced: 12
105 moves: 21	coalesceable: 17	coalesced: 11
106 moves: 20	coalesceable: 16	coalesced: 10
107 moves: 29	coalesceable: 22	coalesced: 18
108 moves: 28	coalesceable: 22	coalesced: 18
109 moves: 27	coalesceable: 22	coalesced: 17
110 moves: 26	coalesceable: 21	coalesced: 16
111 moves: 25	coalesceable: 20	coalesced: 15
112 moves: 24	coalesceable: 19	coalesced: 14
113 moves: 23	coalesceable: 18	coalesced: 13
114 moves: 22	coalesceable: 17	coalesced: 12
115 moves: 21	coalesceable: 16	coalesced: 11
116 moves: 63	coalesceable: 12	coalesced: 8
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 16	coalesceable: 11	coalesced: 11
120 moves: 16	coalesceable: 10	coalesced: 10
121 moves: 16	coalesceable: 10	coalesced: 10
122 moves: 16	coalesceable: 10	coalesced: 10
123 moves: 16	coalesceable: 10	coalesced: 10
124 moves: 16	coalesceable: 10	coalesced: 10
125 moves: 16	coalesceable: 10	coalesced: 10
126 moves: 16	coalesceable: 10	coalesced: 10
127 moves: 16	coalesceable: 10	coalesced: 10
128 moves: 16	coalesceable: 10	coalesced: 10
129 moves: 16	coalesceable: 10	coalesced: 10
130 moves: 16	coalesceable: 10	coalesced: 10
131 moves: 16	coalesceable: 10	coalesced: 10
132 moves: 16	coalesceable: 10	coalesced: 10
133 moves: 16	coalesceable: 10	coalesced: 10
134 moves: 16	coalesceable: 10	coalesced: 10
135 moves: 24	coalesceable: 16	coalesced: 15
136 moves: 16	coalesceable: 10	coalesced: 10
137 moves: 30	coalesceable: 19	coalesced: 17
138 moves: 16	coalesceable: 10	coalesced: 10
139 moves: 16	coalesceable: 10	coalesced: 10
140 moves: 16	coalesceable: 10	coalesced: 10
141 moves: 16	coalesceable: 10	coalesced: 10
142 moves: 16	coalesceable: 10	coalesced: 10
143 moves: 16	coalesceable: 10	coalesced: 10
144 moves: 16	coalesceable: 10	coalesced: 10
145 moves: 16	coalesceable: 10	coalesced: 10
146 moves: 16	coalesceable: 10	coalesced: 10
147 moves: 16	coalesceable: 10	coalesced: 10
148 moves: 16	coalesceable: 10	coalesced: 10
149 moves: 16	coalesceable: 10	coalesced: 10
150 moves: 10	coalesceable: 6	coalesced: 6
151 moves: 16	coalesceable: 10	coalesced: 10
152 moves: 16	coalesceable: 10	coalesced: 10
153 moves: 16	coalesceable: 10	coalesced: 10
154 moves: 16	coalesceable: 10	coalesced: 10
155 moves: 10	coalesceable: 6	coalesced: 6
156 moves: 15	coalesceable: 11	coalesced: 10
157 moves: 16	coalesceable: 10	coalesced: 10
158 moves: 16	coalesceable: 10	coalesced: 10
159 moves: 16	coalesceable: 10	coalesced: 10
160 moves: 16	coalesceable: 10	coalesced: 10
161 moves: 16	coalesceable: 10	coalesced: 10
162 moves: 16	coalesceable: 10	coalesced: 10
163 moves: 16	coalesceable: 10	coalesced: 10
164 moves: 16	coalesceable: 10	coalesced: 10
165 moves: 2	coalesceable: 2	coalesced: 2
166 moves: 16	coalesceable: 10	coalesced: 10
167 moves: 16	coalesceable: 10	coalesced: 10
168 moves: 5	coalesceable: 3	coalesced: 3
169 moves: 6	coalesceable: 6	coalesced: 6
170 moves: 25	coalesceable: 18	coalesced: 11
171 moves: 4	coalesceable: 4	coalesced: 4
172 moves: 6	coalesceable: 6	coalesced: 6
173 moves: 4	coalesceable: 4	coalesced: 4
174 moves: 8	coalesceable: 8	coalesced: 7
175 moves: 8	coalesceable: 8	coalesced: 8
176 moves: 123	coalesceable: 71	coalesced: 57
177 moves: 6	coalesceable: 6	coalesced: 6
178 moves: 60	coalesceable: 28	coalesced: 26
179 moves: 4	coalesceable: 4	coalesced: 4
180 moves: 47	coalesceable: 21	coalesced: 19
181 moves: 6	coalesceable: 6	coalesced: 6
182 moves: 20	coalesceable: 13	coalesced: 9
183 moves: 6	coalesceable: 6	coalesced: 6
184 moves: 20	coalesceable: 13	coalesced: 9
185 moves: 6	coalesceable: 6	coalesced: 6
186 moves: 25	coalesceable: 15	coalesced: 12
187 moves: 6	coalesceable: 6	coalesced: 6
188 moves: 24	coalesceable: 17	coalesced: 13
189 moves: 6	coalesceable: 6	coalesced: 6
190 moves: 20	coalesceable: 15	coalesced: 12
191 moves: 6	coalesceable: 6	coalesced: 6
192 moves: 20	coalesceable: 15	coalesced: 12
193 moves: 6	coalesceable: 6	coalesced: 6
194 moves: 26	coalesceable: 21	coalesced: 18
195 moves: 6	coalesceable: 6	coalesced: 6
196 moves: 26	coalesceable: 21	coalesced: 18
197 moves: 6	coalesceable: 6	coalesced: 6
198 moves: 60	coalesceable: 28	coalesced: 26
199 moves: 4	coalesceable: 4	coalesced: 4
200 moves: 42	coalesceable: 28	coalesced: 26
201 moves: 4	coalesceable: 4	coalesced: 4
202 moves: 21	coalesceable: 14	coalesced: 12
203 moves: 4	coalesceable: 4	coalesced: 4
204 moves: 3	coalesceable: 3	coalesced: 3
205 moves: 6	coalesceable: 6	coalesced: 6
206 moves: 34	coalesceable: 22	coalesced: 15
207 moves: 6	coalesceable: 6	coalesced: 6
208 moves: 17	coalesceable: 15	coalesced: 15
209 moves: 8	coalesceable: 8	coalesced: 8
210 moves: 17	coalesceable: 15	coalesced: 15
211 moves: 12	coalesceable: 12	coalesced: 12
212 moves: 216	coalesceable: 133	coalesced: 84
213 moves: 8	coalesceable: 8	coalesced: 8
214 moves: 123	coalesceable: 71	coalesced: 57
215 moves: 4	coalesceable: 4	coalesced: 4
216 moves: 76	coalesceable: 55	coalesced: 52
217 moves: 6	coalesceable: 6	coalesced: 6
218 moves: 104	coalesceable: 73	coalesced: 63
219 moves: 8	coalesceable: 8	coalesced: 8
220 moves: 428	coalesceable: 228	coalesced: 178
221 moves: 4	coalesceable: 4	coalesced: 4
222 moves: 60	coalesceable: 38	coalesced: 35
223 moves: 4	coalesceable: 4	coalesced: 4
224 moves: 8	coalesceable: 6	coalesced: 6
225 moves: 8	coalesceable: 8	coalesced: 8
226 moves: 157	coalesceable: 104	coalesced: 87
227 moves: 6	coalesceable: 6	coalesced: 6
228 moves: 111	coalesceable: 77	coalesced: 69
229 moves: 4	coalesceable: 4	coalesced: 4
230 moves: 5	coalesceable: 5	coalesced: 5
231 moves: 4	coalesceable: 4	coalesced: 4
232 moves: 5	coalesceable: 5	coalesced: 5
233 moves: 8	coalesceable: 8	coalesced: 8
234 moves: 128	coalesceable: 77	coalesced: 70
235 moves: 8	coalesceable: 8	coalesced: 8
236 moves: 111	coalesceable: 66	coalesced: 51
237 moves: 6	coalesceable: 6	coalesced: 6
238 moves: 434	coalesceable: 270	coalesced: 198
239 moves: 4	coalesceable: 4	coalesced: 4
240 moves: 5	coalesceable: 5	coalesced: 5
241 moves: 4	coalesceable: 4	coalesced: 4
242 moves: 276	coalesceable: 140	coalesced: 132
243 moves: 4	coalesceable: 4	coalesced: 4
244 moves: 68	coalesceable: 53	coalesced: 53
245 moves: 6	coalesceable: 6	coalesced: 6
246 moves: 55	coalesceable: 42	coalesced: 39
247 moves: 6	coalesceable: 6	coalesced: 6
248 moves: 30	coalesceable: 16	coalesced: 12
249 moves: 4	coalesceable: 4	coalesced: 4
250 moves: 26	coalesceable: 12	coalesced: 10
251 moves: 4	coalesceable: 4	coalesced: 4
252 moves: 11	coalesceable: 7	coalesced: 7

eval_cake: external register allocation finished --- Wed Dec 04 18:39:08 2024
Saved theorem _______ "temp_oracle_cv_eq"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Wed Dec 04 18:39:10 2024
eval_cake: about to run cv_eval_raw on complie_cake_def --- Wed Dec 04 18:39:10 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1467 cv code equations to use.
Calling cv_compute.
Took 3.0 seconds.
eval_cake: cv_eval_raw complie_cake_def finished --- Wed Dec 04 18:39:14 2024
eval_cake: to_pair evaluation finished --- Wed Dec 04 18:39:14 2024
eval_cake: abbrevations for result defined --- Wed Dec 04 18:39:15 2024
eval_cake: new_spec run on result --- Wed Dec 04 18:39:15 2024
eval_cake: about to run cv_compute on export --- Wed Dec 04 18:39:15 2024
eval_cake: cv_compute on export finished --- Wed Dec 04 18:39:17 2024
eval_cake: theory tidy up finished --- Wed Dec 04 18:39:17 2024
Saved theorem _______ "iocat_compiled"
Exporting theory "iocatCompile" ... done.
Theory "iocatCompile" took 19.0s to build
cc -O2 -o cake_iocat iocat.S /scratch/cakeml/regression/cakeml-2727/basis/basis_ffi.o -lm
/usr/bin/ld: warning: /tmp/cclvJZI5.o: missing .note.GNU-stack section implies executable stack
/usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/patchCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "patchCompile">>
eval_cake: config EVAL-ed --- Wed Dec 04 18:39:31 2024
Saved theorem _______ "patch_prog_cv_eq"
Able to translate: patch_progeval_cake: cv_trans_deep_embedding prog_def finished --- Wed Dec 04 18:39:35 2024
eval_cake: about to run cv_eval on to_livesets_def --- Wed Dec 04 18:39:35 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.0 seconds.
Found 1010 cv code equations to use.
Calling cv_compute.
Took 1.7 seconds.
eval_cake: cv_eval to_livesets finished --- Wed Dec 04 18:39:38 2024
Num regs: 9 Alg: IRC
0 moves: 68	coalesceable: 52	coalesced: 44
1 moves: 17	coalesceable: 17	coalesced: 15
2 moves: 84	coalesceable: 60	coalesced: 45
3 moves: 24	coalesceable: 18	coalesced: 16
4 moves: 13	coalesceable: 13	coalesced: 11
5 moves: 147	coalesceable: 115	coalesced: 109
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: 14	coalesceable: 13	coalesced: 10
12 moves: 41	coalesceable: 37	coalesced: 32
13 moves: 29	coalesceable: 20	coalesced: 17
14 moves: 52	coalesceable: 45	coalesced: 39
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 9	coalesceable: 7	coalesced: 4
17 moves: 9	coalesceable: 6	coalesced: 6
18 moves: 19	coalesceable: 19	coalesced: 19
19 moves: 20	coalesceable: 20	coalesced: 19
20 moves: 17	coalesceable: 14	coalesced: 14
21 moves: 32	coalesceable: 27	coalesced: 23
22 moves: 38	coalesceable: 32	coalesced: 31
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 14	coalesceable: 14	coalesced: 12
25 moves: 30	coalesceable: 27	coalesced: 20
26 moves: 17	coalesceable: 17	coalesced: 12
27 moves: 17	coalesceable: 15	coalesced: 8
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 279	coalesceable: 232	coalesced: 232
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 22	coalesceable: 21	coalesced: 21
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 22	coalesceable: 19	coalesced: 19
35 moves: 86	coalesceable: 77	coalesced: 77
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 57	coalesceable: 54	coalesced: 54
38 moves: 71	coalesceable: 68	coalesced: 68
39 moves: 27	coalesceable: 24	coalesced: 24
40 moves: 45	coalesceable: 42	coalesced: 42
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 22	coalesceable: 19	coalesced: 19
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 49	coalesceable: 46	coalesced: 46
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: 13	coalesceable: 12	coalesced: 12
51 moves: 19	coalesceable: 16	coalesced: 16
52 moves: 23	coalesceable: 20	coalesced: 20
53 moves: 189	coalesceable: 113	coalesced: 102
54 moves: 84	coalesceable: 58	coalesced: 41
55 moves: 35	coalesceable: 20	coalesced: 19
56 moves: 32	coalesceable: 22	coalesced: 17
57 moves: 51	coalesceable: 37	coalesced: 32
58 moves: 69	coalesceable: 44	coalesced: 38
59 moves: 43	coalesceable: 33	coalesced: 28
60 moves: 68	coalesceable: 43	coalesced: 34
61 moves: 932	coalesceable: 601	coalesced: 404
62 moves: 1094	coalesceable: 685	coalesced: 415
63 moves: 1176	coalesceable: 723	coalesced: 433
64 moves: 1262	coalesceable: 763	coalesced: 447
65 moves: 1352	coalesceable: 805	coalesced: 406
66 moves: 1445	coalesceable: 848	coalesced: 415
67 moves: 1543	coalesceable: 894	coalesced: 456
68 moves: 1646	coalesceable: 941	coalesced: 480
69 moves: 1752	coalesceable: 987	coalesced: 502
70 moves: 1862	coalesceable: 1033	coalesced: 504
71 moves: 13	coalesceable: 12	coalesced: 12
72 moves: 15	coalesceable: 14	coalesced: 14
73 moves: 14	coalesceable: 13	coalesced: 12
74 moves: 17	coalesceable: 16	coalesced: 16
75 moves: 16	coalesceable: 15	coalesced: 14
76 moves: 15	coalesceable: 14	coalesced: 13
77 moves: 19	coalesceable: 18	coalesced: 18
78 moves: 18	coalesceable: 17	coalesced: 16
79 moves: 17	coalesceable: 16	coalesced: 15
80 moves: 16	coalesceable: 15	coalesced: 14
81 moves: 21	coalesceable: 20	coalesced: 20
82 moves: 20	coalesceable: 19	coalesced: 18
83 moves: 19	coalesceable: 18	coalesced: 17
84 moves: 18	coalesceable: 17	coalesced: 16
85 moves: 17	coalesceable: 16	coalesced: 15
86 moves: 23	coalesceable: 21	coalesced: 17
87 moves: 22	coalesceable: 20	coalesced: 16
88 moves: 21	coalesceable: 19	coalesced: 15
89 moves: 20	coalesceable: 18	coalesced: 14
90 moves: 19	coalesceable: 17	coalesced: 13
91 moves: 18	coalesceable: 16	coalesced: 12
92 moves: 25	coalesceable: 22	coalesced: 19
93 moves: 24	coalesceable: 21	coalesced: 18
94 moves: 23	coalesceable: 20	coalesced: 17
95 moves: 22	coalesceable: 19	coalesced: 16
96 moves: 21	coalesceable: 18	coalesced: 15
97 moves: 20	coalesceable: 17	coalesced: 14
98 moves: 19	coalesceable: 16	coalesced: 13
99 moves: 27	coalesceable: 22	coalesced: 16
100 moves: 26	coalesceable: 22	coalesced: 16
101 moves: 25	coalesceable: 21	coalesced: 15
102 moves: 24	coalesceable: 20	coalesced: 14
103 moves: 23	coalesceable: 19	coalesced: 13
104 moves: 22	coalesceable: 18	coalesced: 12
105 moves: 21	coalesceable: 17	coalesced: 11
106 moves: 20	coalesceable: 16	coalesced: 10
107 moves: 29	coalesceable: 22	coalesced: 18
108 moves: 28	coalesceable: 22	coalesced: 18
109 moves: 27	coalesceable: 22	coalesced: 17
110 moves: 26	coalesceable: 21	coalesced: 16
111 moves: 25	coalesceable: 20	coalesced: 15
112 moves: 24	coalesceable: 19	coalesced: 14
113 moves: 23	coalesceable: 18	coalesced: 13
114 moves: 22	coalesceable: 17	coalesced: 12
115 moves: 21	coalesceable: 16	coalesced: 11
116 moves: 63	coalesceable: 12	coalesced: 8
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 16	coalesceable: 11	coalesced: 11
120 moves: 16	coalesceable: 10	coalesced: 10
121 moves: 16	coalesceable: 10	coalesced: 10
122 moves: 16	coalesceable: 10	coalesced: 10
123 moves: 16	coalesceable: 10	coalesced: 10
124 moves: 16	coalesceable: 10	coalesced: 10
125 moves: 16	coalesceable: 10	coalesced: 10
126 moves: 16	coalesceable: 10	coalesced: 10
127 moves: 16	coalesceable: 10	coalesced: 10
128 moves: 16	coalesceable: 10	coalesced: 10
129 moves: 16	coalesceable: 10	coalesced: 10
130 moves: 16	coalesceable: 10	coalesced: 10
131 moves: 16	coalesceable: 10	coalesced: 10
132 moves: 16	coalesceable: 10	coalesced: 10
133 moves: 16	coalesceable: 10	coalesced: 10
134 moves: 16	coalesceable: 10	coalesced: 10
135 moves: 16	coalesceable: 10	coalesced: 10
136 moves: 16	coalesceable: 10	coalesced: 10
137 moves: 16	coalesceable: 10	coalesced: 10
138 moves: 16	coalesceable: 10	coalesced: 10
139 moves: 16	coalesceable: 10	coalesced: 10
140 moves: 16	coalesceable: 10	coalesced: 10
141 moves: 16	coalesceable: 10	coalesced: 10
142 moves: 16	coalesceable: 10	coalesced: 10
143 moves: 16	coalesceable: 10	coalesced: 10
144 moves: 16	coalesceable: 10	coalesced: 10
145 moves: 16	coalesceable: 10	coalesced: 10
146 moves: 16	coalesceable: 10	coalesced: 10
147 moves: 16	coalesceable: 10	coalesced: 10
148 moves: 16	coalesceable: 10	coalesced: 10
149 moves: 16	coalesceable: 10	coalesced: 10
150 moves: 16	coalesceable: 10	coalesced: 10
151 moves: 24	coalesceable: 16	coalesced: 15
152 moves: 16	coalesceable: 10	coalesced: 10
153 moves: 16	coalesceable: 10	coalesced: 10
154 moves: 30	coalesceable: 19	coalesced: 17
155 moves: 16	coalesceable: 10	coalesced: 10
156 moves: 16	coalesceable: 10	coalesced: 10
157 moves: 16	coalesceable: 10	coalesced: 10
158 moves: 16	coalesceable: 10	coalesced: 10
159 moves: 16	coalesceable: 10	coalesced: 10
160 moves: 16	coalesceable: 10	coalesced: 10
161 moves: 16	coalesceable: 10	coalesced: 10
162 moves: 16	coalesceable: 10	coalesced: 10
163 moves: 16	coalesceable: 10	coalesced: 10
164 moves: 16	coalesceable: 10	coalesced: 10
165 moves: 16	coalesceable: 10	coalesced: 10
166 moves: 16	coalesceable: 10	coalesced: 10
167 moves: 16	coalesceable: 10	coalesced: 10
168 moves: 16	coalesceable: 10	coalesced: 10
169 moves: 10	coalesceable: 6	coalesced: 6
170 moves: 16	coalesceable: 10	coalesced: 10
171 moves: 16	coalesceable: 10	coalesced: 10
172 moves: 16	coalesceable: 10	coalesced: 10
173 moves: 16	coalesceable: 10	coalesced: 10
174 moves: 10	coalesceable: 6	coalesced: 6
175 moves: 15	coalesceable: 11	coalesced: 10
176 moves: 15	coalesceable: 11	coalesced: 10
177 moves: 16	coalesceable: 10	coalesced: 10
178 moves: 16	coalesceable: 10	coalesced: 10
179 moves: 16	coalesceable: 10	coalesced: 10
180 moves: 16	coalesceable: 10	coalesced: 10
181 moves: 16	coalesceable: 10	coalesced: 10
182 moves: 16	coalesceable: 10	coalesced: 10
183 moves: 16	coalesceable: 10	coalesced: 10
184 moves: 16	coalesceable: 10	coalesced: 10
185 moves: 16	coalesceable: 10	coalesced: 10
186 moves: 16	coalesceable: 10	coalesced: 10
187 moves: 16	coalesceable: 10	coalesced: 10
188 moves: 16	coalesceable: 10	coalesced: 10
189 moves: 16	coalesceable: 10	coalesced: 10
190 moves: 2	coalesceable: 2	coalesced: 2
191 moves: 16	coalesceable: 10	coalesced: 10
192 moves: 16	coalesceable: 10	coalesced: 10
193 moves: 16	coalesceable: 10	coalesced: 10
194 moves: 16	coalesceable: 10	coalesced: 10
195 moves: 16	coalesceable: 10	coalesced: 10
196 moves: 16	coalesceable: 10	coalesced: 10
197 moves: 15	coalesceable: 11	coalesced: 10
198 moves: 15	coalesceable: 11	coalesced: 10
199 moves: 16	coalesceable: 10	coalesced: 10
200 moves: 16	coalesceable: 10	coalesced: 10
201 moves: 5	coalesceable: 3	coalesced: 3
202 moves: 8	coalesceable: 8	coalesced: 8
203 moves: 42	coalesceable: 31	coalesced: 30
204 moves: 6	coalesceable: 6	coalesced: 6
205 moves: 25	coalesceable: 18	coalesced: 11
206 moves: 4	coalesceable: 4	coalesced: 4
207 moves: 4	coalesceable: 4	coalesced: 4
208 moves: 4	coalesceable: 4	coalesced: 4
209 moves: 6	coalesceable: 6	coalesced: 6
210 moves: 6	coalesceable: 6	coalesced: 6
211 moves: 44	coalesceable: 32	coalesced: 30
212 moves: 8	coalesceable: 8	coalesced: 8
213 moves: 65	coalesceable: 50	coalesced: 47
214 moves: 6	coalesceable: 6	coalesced: 6
215 moves: 29	coalesceable: 20	coalesced: 15
216 moves: 4	coalesceable: 4	coalesced: 4
217 moves: 5	coalesceable: 5	coalesced: 3
218 moves: 4	coalesceable: 4	coalesced: 4
219 moves: 6	coalesceable: 6	coalesced: 6
220 moves: 6	coalesceable: 6	coalesced: 6
221 moves: 92	coalesceable: 56	coalesced: 49
222 moves: 6	coalesceable: 6	coalesced: 6
223 moves: 79	coalesceable: 51	coalesced: 45
224 moves: 4	coalesceable: 4	coalesced: 4
225 moves: 8	coalesceable: 8	coalesced: 7
226 moves: 8	coalesceable: 8	coalesced: 8
227 moves: 123	coalesceable: 71	coalesced: 57
228 moves: 6	coalesceable: 6	coalesced: 6
229 moves: 60	coalesceable: 28	coalesced: 26
230 moves: 4	coalesceable: 4	coalesced: 4
231 moves: 47	coalesceable: 21	coalesced: 19
232 moves: 12	coalesceable: 12	coalesced: 12
233 moves: 898	coalesceable: 548	coalesced: 406
234 moves: 6	coalesceable: 6	coalesced: 6
235 moves: 14	coalesceable: 13	coalesced: 9
236 moves: 6	coalesceable: 6	coalesced: 6
237 moves: 20	coalesceable: 13	coalesced: 9
238 moves: 6	coalesceable: 6	coalesced: 6
239 moves: 20	coalesceable: 13	coalesced: 9
240 moves: 6	coalesceable: 6	coalesced: 6
241 moves: 25	coalesceable: 15	coalesced: 12
242 moves: 6	coalesceable: 6	coalesced: 6
243 moves: 24	coalesceable: 17	coalesced: 13
244 moves: 6	coalesceable: 6	coalesced: 6
245 moves: 20	coalesceable: 15	coalesced: 12
246 moves: 6	coalesceable: 6	coalesced: 6
247 moves: 20	coalesceable: 15	coalesced: 12
248 moves: 6	coalesceable: 6	coalesced: 6
249 moves: 26	coalesceable: 21	coalesced: 18
250 moves: 6	coalesceable: 6	coalesced: 6
251 moves: 26	coalesceable: 21	coalesced: 18
252 moves: 6	coalesceable: 6	coalesced: 6
253 moves: 60	coalesceable: 28	coalesced: 26
254 moves: 4	coalesceable: 4	coalesced: 4
255 moves: 106	coalesceable: 73	coalesced: 65
256 moves: 4	coalesceable: 4	coalesced: 4
257 moves: 23	coalesceable: 15	coalesced: 12
258 moves: 6	coalesceable: 6	coalesced: 6
259 moves: 20	coalesceable: 13	coalesced: 9
260 moves: 8	coalesceable: 8	coalesced: 8
261 moves: 389	coalesceable: 249	coalesced: 202
262 moves: 4	coalesceable: 4	coalesced: 4
263 moves: 23	coalesceable: 15	coalesced: 12
264 moves: 6	coalesceable: 6	coalesced: 6
265 moves: 20	coalesceable: 13	coalesced: 9
266 moves: 6	coalesceable: 6	coalesced: 6
267 moves: 473	coalesceable: 301	coalesced: 255
268 moves: 4	coalesceable: 4	coalesced: 4
269 moves: 3	coalesceable: 3	coalesced: 3
270 moves: 4	coalesceable: 4	coalesced: 4
271 moves: 19	coalesceable: 12	coalesced: 8
272 moves: 4	coalesceable: 4	coalesced: 4
273 moves: 3	coalesceable: 3	coalesced: 3
274 moves: 4	coalesceable: 4	coalesced: 4
275 moves: 3	coalesceable: 3	coalesced: 3
276 moves: 4	coalesceable: 4	coalesced: 4
277 moves: 668	coalesceable: 440	coalesced: 386
278 moves: 4	coalesceable: 4	coalesced: 4
279 moves: 50	coalesceable: 33	coalesced: 33
280 moves: 4	coalesceable: 4	coalesced: 4
281 moves: 3	coalesceable: 3	coalesced: 3
282 moves: 4	coalesceable: 4	coalesced: 4
283 moves: 42	coalesceable: 28	coalesced: 26
284 moves: 4	coalesceable: 4	coalesced: 4
285 moves: 21	coalesceable: 14	coalesced: 12
286 moves: 4	coalesceable: 4	coalesced: 4
287 moves: 3	coalesceable: 3	coalesced: 3
288 moves: 6	coalesceable: 6	coalesced: 6
289 moves: 34	coalesceable: 22	coalesced: 15
290 moves: 6	coalesceable: 6	coalesced: 6
291 moves: 17	coalesceable: 15	coalesced: 15
292 moves: 4	coalesceable: 4	coalesced: 4
293 moves: 8	coalesceable: 8	coalesced: 7
294 moves: 8	coalesceable: 8	coalesced: 8
295 moves: 17	coalesceable: 15	coalesced: 15
296 moves: 12	coalesceable: 12	coalesced: 12
297 moves: 216	coalesceable: 133	coalesced: 84
298 moves: 12	coalesceable: 12	coalesced: 12
299 moves: 216	coalesceable: 133	coalesced: 84
300 moves: 8	coalesceable: 8	coalesced: 8
301 moves: 123	coalesceable: 71	coalesced: 57
302 moves: 4	coalesceable: 4	coalesced: 4
303 moves: 76	coalesceable: 55	coalesced: 52
304 moves: 6	coalesceable: 6	coalesced: 6
305 moves: 104	coalesceable: 73	coalesced: 63
306 moves: 8	coalesceable: 8	coalesced: 8
307 moves: 428	coalesceable: 228	coalesced: 178
308 moves: 4	coalesceable: 4	coalesced: 4
309 moves: 60	coalesceable: 38	coalesced: 35
310 moves: 4	coalesceable: 4	coalesced: 4
311 moves: 8	coalesceable: 6	coalesced: 6
312 moves: 8	coalesceable: 8	coalesced: 8
313 moves: 157	coalesceable: 104	coalesced: 87
314 moves: 6	coalesceable: 6	coalesced: 6
315 moves: 111	coalesceable: 77	coalesced: 69
316 moves: 4	coalesceable: 4	coalesced: 4
317 moves: 5	coalesceable: 5	coalesced: 5
318 moves: 4	coalesceable: 4	coalesced: 4
319 moves: 5	coalesceable: 5	coalesced: 5
320 moves: 8	coalesceable: 8	coalesced: 8
321 moves: 128	coalesceable: 77	coalesced: 70
322 moves: 8	coalesceable: 8	coalesced: 8
323 moves: 111	coalesceable: 66	coalesced: 51
324 moves: 6	coalesceable: 6	coalesced: 6
325 moves: 434	coalesceable: 270	coalesced: 198
326 moves: 4	coalesceable: 4	coalesced: 4
327 moves: 5	coalesceable: 5	coalesced: 5
328 moves: 4	coalesceable: 4	coalesced: 4
329 moves: 13	coalesceable: 9	coalesced: 8
330 moves: 4	coalesceable: 4	coalesced: 4
331 moves: 276	coalesceable: 140	coalesced: 132
332 moves: 4	coalesceable: 4	coalesced: 4
333 moves: 68	coalesceable: 53	coalesced: 53
334 moves: 6	coalesceable: 6	coalesced: 6
335 moves: 55	coalesceable: 42	coalesced: 39
336 moves: 4	coalesceable: 4	coalesced: 4
337 moves: 21	coalesceable: 18	coalesced: 16
338 moves: 4	coalesceable: 4	coalesced: 4
339 moves: 164	coalesceable: 105	coalesced: 89
340 moves: 219	coalesceable: 136	coalesced: 113
341 moves: 217	coalesceable: 131	coalesced: 107
342 moves: 4	coalesceable: 4	coalesced: 4
343 moves: 42	coalesceable: 23	coalesced: 21
344 moves: 4	coalesceable: 4	coalesced: 4
345 moves: 42	coalesceable: 23	coalesced: 22
346 moves: 4	coalesceable: 4	coalesced: 4
347 moves: 15	coalesceable: 12	coalesced: 12
348 moves: 36	coalesceable: 18	coalesced: 18
349 moves: 4	coalesceable: 4	coalesced: 4
350 moves: 8	coalesceable: 8	coalesced: 7
351 moves: 4	coalesceable: 4	coalesced: 4
352 moves: 5	coalesceable: 5	coalesced: 5
353 moves: 4	coalesceable: 4	coalesced: 4
354 moves: 5	coalesceable: 5	coalesced: 5
355 moves: 4	coalesceable: 4	coalesced: 4
356 moves: 5	coalesceable: 5	coalesced: 5
357 moves: 4	coalesceable: 4	coalesced: 4
358 moves: 893	coalesceable: 524	coalesced: 479
359 moves: 4	coalesceable: 4	coalesced: 4
360 moves: 248	coalesceable: 153	coalesced: 135
361 moves: 4	coalesceable: 4	coalesced: 4
362 moves: 70	coalesceable: 45	coalesced: 41
363 moves: 10	coalesceable: 10	coalesced: 10
364 moves: 3768	coalesceable: 2124	coalesced: 1145
365 moves: 6	coalesceable: 6	coalesced: 6
366 moves: 19	coalesceable: 10	coalesced: 7
367 moves: 4	coalesceable: 4	coalesced: 4
368 moves: 72	coalesceable: 40	coalesced: 37
369 moves: 6	coalesceable: 6	coalesced: 6
370 moves: 206	coalesceable: 113	coalesced: 109
371 moves: 4	coalesceable: 4	coalesced: 4
372 moves: 44	coalesceable: 36	coalesced: 36

eval_cake: external register allocation finished --- Wed Dec 04 18:39:44 2024
Saved theorem _______ "temp_oracle_cv_eq"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Wed Dec 04 18:39:47 2024
eval_cake: about to run cv_eval_raw on complie_cake_def --- Wed Dec 04 18:39:47 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1467 cv code equations to use.
Calling cv_compute.
Took 4.4 seconds.
eval_cake: cv_eval_raw complie_cake_def finished --- Wed Dec 04 18:39:52 2024
eval_cake: to_pair evaluation finished --- Wed Dec 04 18:39:52 2024
eval_cake: abbrevations for result defined --- Wed Dec 04 18:39:55 2024
eval_cake: new_spec run on result --- Wed Dec 04 18:39:55 2024
eval_cake: about to run cv_compute on export --- Wed Dec 04 18:39:55 2024
eval_cake: cv_compute on export finished --- Wed Dec 04 18:39:55 2024
eval_cake: theory tidy up finished --- Wed Dec 04 18:39:56 2024
Saved theorem _______ "patch_compiled"
Exporting theory "patchCompile" ... done.
Theory "patchCompile" took 25.7s to build
cc -O2 -o cake_patch patch.S /scratch/cakeml/regression/cakeml-2727/basis/basis_ffi.o -lm
/usr/bin/ld: warning: /tmp/ccFs0ZSu.o: missing .note.GNU-stack section implies executable stack
/usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/sortCompileScript.uo to produce theory-builder executable
<<HOL message: Created theory "sortCompile">>
eval_cake: config EVAL-ed --- Wed Dec 04 18:40:10 2024
Saved theorem _______ "sort_prog_cv_eq"
Able to translate: sort_progeval_cake: cv_trans_deep_embedding prog_def finished --- Wed Dec 04 18:40:14 2024
eval_cake: about to run cv_eval on to_livesets_def --- Wed Dec 04 18:40:14 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.0 seconds.
Found 1010 cv code equations to use.
Calling cv_compute.
Took 1.2 seconds.
eval_cake: cv_eval to_livesets finished --- Wed Dec 04 18:40:16 2024
Num regs: 9 Alg: IRC
0 moves: 68	coalesceable: 52	coalesced: 44
1 moves: 17	coalesceable: 17	coalesced: 15
2 moves: 84	coalesceable: 60	coalesced: 45
3 moves: 24	coalesceable: 18	coalesced: 16
4 moves: 13	coalesceable: 13	coalesced: 11
5 moves: 147	coalesceable: 115	coalesced: 109
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: 14	coalesceable: 13	coalesced: 10
12 moves: 41	coalesceable: 37	coalesced: 32
13 moves: 29	coalesceable: 20	coalesced: 17
14 moves: 52	coalesceable: 45	coalesced: 39
15 moves: 0	coalesceable: 0	coalesced: 0
16 moves: 9	coalesceable: 7	coalesced: 4
17 moves: 9	coalesceable: 6	coalesced: 6
18 moves: 19	coalesceable: 19	coalesced: 19
19 moves: 20	coalesceable: 20	coalesced: 19
20 moves: 17	coalesceable: 14	coalesced: 14
21 moves: 32	coalesceable: 27	coalesced: 23
22 moves: 38	coalesceable: 32	coalesced: 31
23 moves: 0	coalesceable: 0	coalesced: 0
24 moves: 14	coalesceable: 14	coalesced: 12
25 moves: 30	coalesceable: 27	coalesced: 20
26 moves: 17	coalesceable: 17	coalesced: 12
27 moves: 17	coalesceable: 15	coalesced: 8
28 moves: 0	coalesceable: 0	coalesced: 0
29 moves: 0	coalesceable: 0	coalesced: 0
30 moves: 279	coalesceable: 232	coalesced: 232
31 moves: 25	coalesceable: 22	coalesced: 22
32 moves: 22	coalesceable: 21	coalesced: 21
33 moves: 16	coalesceable: 15	coalesced: 15
34 moves: 22	coalesceable: 19	coalesced: 19
35 moves: 86	coalesceable: 77	coalesced: 77
36 moves: 81	coalesceable: 78	coalesced: 78
37 moves: 57	coalesceable: 54	coalesced: 54
38 moves: 71	coalesceable: 68	coalesced: 68
39 moves: 27	coalesceable: 24	coalesced: 24
40 moves: 45	coalesceable: 42	coalesced: 42
41 moves: 7	coalesceable: 6	coalesced: 6
42 moves: 22	coalesceable: 19	coalesced: 19
43 moves: 12	coalesceable: 11	coalesced: 11
44 moves: 20	coalesceable: 17	coalesced: 17
45 moves: 49	coalesceable: 46	coalesced: 46
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: 13	coalesceable: 12	coalesced: 12
51 moves: 19	coalesceable: 16	coalesced: 16
52 moves: 23	coalesceable: 20	coalesced: 20
53 moves: 189	coalesceable: 113	coalesced: 102
54 moves: 84	coalesceable: 58	coalesced: 41
55 moves: 35	coalesceable: 20	coalesced: 19
56 moves: 32	coalesceable: 22	coalesced: 17
57 moves: 51	coalesceable: 37	coalesced: 32
58 moves: 69	coalesceable: 44	coalesced: 38
59 moves: 43	coalesceable: 33	coalesced: 28
60 moves: 68	coalesceable: 43	coalesced: 34
61 moves: 932	coalesceable: 601	coalesced: 404
62 moves: 1094	coalesceable: 685	coalesced: 415
63 moves: 1176	coalesceable: 723	coalesced: 433
64 moves: 1262	coalesceable: 763	coalesced: 447
65 moves: 1352	coalesceable: 805	coalesced: 406
66 moves: 1445	coalesceable: 848	coalesced: 415
67 moves: 1543	coalesceable: 894	coalesced: 456
68 moves: 1646	coalesceable: 941	coalesced: 480
69 moves: 1752	coalesceable: 987	coalesced: 502
70 moves: 1862	coalesceable: 1033	coalesced: 504
71 moves: 13	coalesceable: 12	coalesced: 12
72 moves: 15	coalesceable: 14	coalesced: 14
73 moves: 14	coalesceable: 13	coalesced: 12
74 moves: 17	coalesceable: 16	coalesced: 16
75 moves: 16	coalesceable: 15	coalesced: 14
76 moves: 15	coalesceable: 14	coalesced: 13
77 moves: 19	coalesceable: 18	coalesced: 18
78 moves: 18	coalesceable: 17	coalesced: 16
79 moves: 17	coalesceable: 16	coalesced: 15
80 moves: 16	coalesceable: 15	coalesced: 14
81 moves: 21	coalesceable: 20	coalesced: 20
82 moves: 20	coalesceable: 19	coalesced: 18
83 moves: 19	coalesceable: 18	coalesced: 17
84 moves: 18	coalesceable: 17	coalesced: 16
85 moves: 17	coalesceable: 16	coalesced: 15
86 moves: 23	coalesceable: 21	coalesced: 17
87 moves: 22	coalesceable: 20	coalesced: 16
88 moves: 21	coalesceable: 19	coalesced: 15
89 moves: 20	coalesceable: 18	coalesced: 14
90 moves: 19	coalesceable: 17	coalesced: 13
91 moves: 18	coalesceable: 16	coalesced: 12
92 moves: 25	coalesceable: 22	coalesced: 19
93 moves: 24	coalesceable: 21	coalesced: 18
94 moves: 23	coalesceable: 20	coalesced: 17
95 moves: 22	coalesceable: 19	coalesced: 16
96 moves: 21	coalesceable: 18	coalesced: 15
97 moves: 20	coalesceable: 17	coalesced: 14
98 moves: 19	coalesceable: 16	coalesced: 13
99 moves: 27	coalesceable: 22	coalesced: 16
100 moves: 26	coalesceable: 22	coalesced: 16
101 moves: 25	coalesceable: 21	coalesced: 15
102 moves: 24	coalesceable: 20	coalesced: 14
103 moves: 23	coalesceable: 19	coalesced: 13
104 moves: 22	coalesceable: 18	coalesced: 12
105 moves: 21	coalesceable: 17	coalesced: 11
106 moves: 20	coalesceable: 16	coalesced: 10
107 moves: 29	coalesceable: 22	coalesced: 18
108 moves: 28	coalesceable: 22	coalesced: 18
109 moves: 27	coalesceable: 22	coalesced: 17
110 moves: 26	coalesceable: 21	coalesced: 16
111 moves: 25	coalesceable: 20	coalesced: 15
112 moves: 24	coalesceable: 19	coalesced: 14
113 moves: 23	coalesceable: 18	coalesced: 13
114 moves: 22	coalesceable: 17	coalesced: 12
115 moves: 21	coalesceable: 16	coalesced: 11
116 moves: 63	coalesceable: 12	coalesced: 8
117 moves: 5	coalesceable: 3	coalesced: 3
118 moves: 5	coalesceable: 3	coalesced: 3
119 moves: 16	coalesceable: 11	coalesced: 11
120 moves: 16	coalesceable: 10	coalesced: 10
121 moves: 16	coalesceable: 10	coalesced: 10
122 moves: 16	coalesceable: 10	coalesced: 10
123 moves: 16	coalesceable: 10	coalesced: 10
124 moves: 16	coalesceable: 10	coalesced: 10
125 moves: 16	coalesceable: 10	coalesced: 10
126 moves: 16	coalesceable: 10	coalesced: 10
127 moves: 16	coalesceable: 10	coalesced: 10
128 moves: 16	coalesceable: 10	coalesced: 10
129 moves: 16	coalesceable: 10	coalesced: 10
130 moves: 16	coalesceable: 10	coalesced: 10
131 moves: 16	coalesceable: 10	coalesced: 10
132 moves: 16	coalesceable: 10	coalesced: 10
133 moves: 16	coalesceable: 10	coalesced: 10
134 moves: 16	coalesceable: 10	coalesced: 10
135 moves: 16	coalesceable: 10	coalesced: 10
136 moves: 16	coalesceable: 10	coalesced: 10
137 moves: 16	coalesceable: 10	coalesced: 10
138 moves: 16	coalesceable: 10	coalesced: 10
139 moves: 16	coalesceable: 10	coalesced: 10
140 moves: 24	coalesceable: 16	coalesced: 15
141 moves: 16	coalesceable: 10	coalesced: 10
142 moves: 16	coalesceable: 10	coalesced: 10
143 moves: 30	coalesceable: 19	coalesced: 17
144 moves: 16	coalesceable: 10	coalesced: 10
145 moves: 16	coalesceable: 10	coalesced: 10
146 moves: 16	coalesceable: 10	coalesced: 10
147 moves: 16	coalesceable: 10	coalesced: 10
148 moves: 16	coalesceable: 10	coalesced: 10
149 moves: 16	coalesceable: 10	coalesced: 10
150 moves: 16	coalesceable: 10	coalesced: 10
151 moves: 16	coalesceable: 10	coalesced: 10
152 moves: 16	coalesceable: 10	coalesced: 10
153 moves: 16	coalesceable: 10	coalesced: 10
154 moves: 16	coalesceable: 10	coalesced: 10
155 moves: 16	coalesceable: 10	coalesced: 10
156 moves: 16	coalesceable: 10	coalesced: 10
157 moves: 16	coalesceable: 10	coalesced: 10
158 moves: 16	coalesceable: 10	coalesced: 10
159 moves: 16	coalesceable: 10	coalesced: 10
160 moves: 16	coalesceable: 10	coalesced: 10
161 moves: 16	coalesceable: 10	coalesced: 10
162 moves: 16	coalesceable: 10	coalesced: 10
163 moves: 16	coalesceable: 10	coalesced: 10
164 moves: 16	coalesceable: 10	coalesced: 10
165 moves: 16	coalesceable: 10	coalesced: 10
166 moves: 10	coalesceable: 6	coalesced: 6
167 moves: 16	coalesceable: 10	coalesced: 10
168 moves: 16	coalesceable: 10	coalesced: 10
169 moves: 16	coalesceable: 10	coalesced: 10
170 moves: 16	coalesceable: 10	coalesced: 10
171 moves: 10	coalesceable: 6	coalesced: 6
172 moves: 15	coalesceable: 11	coalesced: 10
173 moves: 15	coalesceable: 11	coalesced: 10
174 moves: 15	coalesceable: 11	coalesced: 10
175 moves: 16	coalesceable: 10	coalesced: 10
176 moves: 16	coalesceable: 10	coalesced: 10
177 moves: 16	coalesceable: 10	coalesced: 10
178 moves: 16	coalesceable: 10	coalesced: 10
179 moves: 16	coalesceable: 10	coalesced: 10
180 moves: 16	coalesceable: 10	coalesced: 10
181 moves: 16	coalesceable: 10	coalesced: 10
182 moves: 16	coalesceable: 10	coalesced: 10
183 moves: 16	coalesceable: 10	coalesced: 10
184 moves: 16	coalesceable: 10	coalesced: 10
185 moves: 2	coalesceable: 2	coalesced: 2
186 moves: 16	coalesceable: 10	coalesced: 10
187 moves: 16	coalesceable: 10	coalesced: 10
188 moves: 16	coalesceable: 10	coalesced: 10
189 moves: 16	coalesceable: 10	coalesced: 10
190 moves: 16	coalesceable: 10	coalesced: 10
191 moves: 5	coalesceable: 3	coalesced: 3
192 moves: 6	coalesceable: 6	coalesced: 6
193 moves: 25	coalesceable: 18	coalesced: 11
194 moves: 6	coalesceable: 6	coalesced: 6
195 moves: 29	coalesceable: 20	coalesced: 15
196 moves: 4	coalesceable: 4	coalesced: 4
197 moves: 5	coalesceable: 5	coalesced: 3
198 moves: 4	coalesceable: 4	coalesced: 4
199 moves: 6	coalesceable: 6	coalesced: 6
200 moves: 4	coalesceable: 4	coalesced: 4
201 moves: 8	coalesceable: 8	coalesced: 7
202 moves: 8	coalesceable: 8	coalesced: 8
203 moves: 123	coalesceable: 71	coalesced: 57
204 moves: 6	coalesceable: 6	coalesced: 6
205 moves: 60	coalesceable: 28	coalesced: 26
206 moves: 4	coalesceable: 4	coalesced: 4
207 moves: 47	coalesceable: 21	coalesced: 19
208 moves: 12	coalesceable: 12	coalesced: 12
209 moves: 271	coalesceable: 174	coalesced: 129
210 moves: 6	coalesceable: 6	coalesced: 6
211 moves: 113	coalesceable: 82	coalesced: 80
212 moves: 6	coalesceable: 6	coalesced: 6
213 moves: 11	coalesceable: 9	coalesced: 9
214 moves: 6	coalesceable: 6	coalesced: 6
215 moves: 20	coalesceable: 13	coalesced: 9
216 moves: 6	coalesceable: 6	coalesced: 6
217 moves: 20	coalesceable: 13	coalesced: 9
218 moves: 6	coalesceable: 6	coalesced: 6
219 moves: 25	coalesceable: 15	coalesced: 12
220 moves: 6	coalesceable: 6	coalesced: 6
221 moves: 24	coalesceable: 17	coalesced: 13
222 moves: 6	coalesceable: 6	coalesced: 6
223 moves: 20	coalesceable: 15	coalesced: 12
224 moves: 6	coalesceable: 6	coalesced: 6
225 moves: 20	coalesceable: 15	coalesced: 12
226 moves: 6	coalesceable: 6	coalesced: 6
227 moves: 26	coalesceable: 21	coalesced: 18
228 moves: 6	coalesceable: 6	coalesced: 6
229 moves: 26	coalesceable: 21	coalesced: 18
230 moves: 6	coalesceable: 6	coalesced: 6
231 moves: 60	coalesceable: 28	coalesced: 26
232 moves: 4	coalesceable: 4	coalesced: 4
233 moves: 3	coalesceable: 3	coalesced: 3
234 moves: 4	coalesceable: 4	coalesced: 4
235 moves: 42	coalesceable: 28	coalesced: 26
236 moves: 4	coalesceable: 4	coalesced: 4
237 moves: 21	coalesceable: 14	coalesced: 12
238 moves: 4	coalesceable: 4	coalesced: 4
239 moves: 3	coalesceable: 3	coalesced: 3
240 moves: 6	coalesceable: 6	coalesced: 6
241 moves: 34	coalesceable: 22	coalesced: 15
242 moves: 6	coalesceable: 6	coalesced: 6
243 moves: 17	coalesceable: 15	coalesced: 15
244 moves: 4	coalesceable: 4	coalesced: 4
245 moves: 8	coalesceable: 8	coalesced: 7
246 moves: 8	coalesceable: 8	coalesced: 8
247 moves: 17	coalesceable: 15	coalesced: 15
248 moves: 12	coalesceable: 12	coalesced: 12
249 moves: 216	coalesceable: 133	coalesced: 84
250 moves: 12	coalesceable: 12	coalesced: 12
251 moves: 216	coalesceable: 133	coalesced: 84
252 moves: 8	coalesceable: 8	coalesced: 8
253 moves: 123	coalesceable: 71	coalesced: 57
254 moves: 6	coalesceable: 6	coalesced: 6
255 moves: 64	coalesceable: 42	coalesced: 34
256 moves: 4	coalesceable: 4	coalesced: 4
257 moves: 21	coalesceable: 10	coalesced: 9
258 moves: 6	coalesceable: 6	coalesced: 6
259 moves: 13	coalesceable: 11	coalesced: 11
260 moves: 4	coalesceable: 4	coalesced: 4
261 moves: 7	coalesceable: 7	coalesced: 7
262 moves: 8	coalesceable: 8	coalesced: 8
263 moves: 14	coalesceable: 12	coalesced: 12
264 moves: 8	coalesceable: 8	coalesced: 8
265 moves: 44	coalesceable: 27	coalesced: 24
266 moves: 4	coalesceable: 4	coalesced: 4
267 moves: 137	coalesceable: 81	coalesced: 72
268 moves: 10	coalesceable: 10	coalesced: 10
269 moves: 139	coalesceable: 90	coalesced: 79
270 moves: 6	coalesceable: 6	coalesced: 6
271 moves: 12	coalesceable: 11	coalesced: 7
272 moves: 4	coalesceable: 4	coalesced: 4
273 moves: 76	coalesceable: 55	coalesced: 52
274 moves: 6	coalesceable: 6	coalesced: 6
275 moves: 104	coalesceable: 73	coalesced: 63
276 moves: 8	coalesceable: 8	coalesced: 8
277 moves: 428	coalesceable: 228	coalesced: 178
278 moves: 4	coalesceable: 4	coalesced: 4
279 moves: 60	coalesceable: 38	coalesced: 35
280 moves: 4	coalesceable: 4	coalesced: 4
281 moves: 8	coalesceable: 6	coalesced: 6
282 moves: 8	coalesceable: 8	coalesced: 8
283 moves: 157	coalesceable: 104	coalesced: 87
284 moves: 6	coalesceable: 6	coalesced: 6
285 moves: 111	coalesceable: 77	coalesced: 69
286 moves: 4	coalesceable: 4	coalesced: 4
287 moves: 5	coalesceable: 5	coalesced: 5
288 moves: 4	coalesceable: 4	coalesced: 4
289 moves: 5	coalesceable: 5	coalesced: 5
290 moves: 8	coalesceable: 8	coalesced: 8
291 moves: 128	coalesceable: 77	coalesced: 70
292 moves: 8	coalesceable: 8	coalesced: 8
293 moves: 111	coalesceable: 66	coalesced: 51
294 moves: 6	coalesceable: 6	coalesced: 6
295 moves: 434	coalesceable: 270	coalesced: 198
296 moves: 4	coalesceable: 4	coalesced: 4
297 moves: 5	coalesceable: 5	coalesced: 5
298 moves: 4	coalesceable: 4	coalesced: 4
299 moves: 276	coalesceable: 140	coalesced: 132
300 moves: 4	coalesceable: 4	coalesced: 4
301 moves: 68	coalesceable: 53	coalesced: 53
302 moves: 6	coalesceable: 6	coalesced: 6
303 moves: 55	coalesceable: 42	coalesced: 39
304 moves: 4	coalesceable: 4	coalesced: 4
305 moves: 21	coalesceable: 18	coalesced: 16
306 moves: 4	coalesceable: 4	coalesced: 4
307 moves: 164	coalesceable: 105	coalesced: 89
308 moves: 219	coalesceable: 136	coalesced: 113
309 moves: 217	coalesceable: 131	coalesced: 107
310 moves: 4	coalesceable: 4	coalesced: 4
311 moves: 42	coalesceable: 23	coalesced: 21
312 moves: 94	coalesceable: 59	coalesced: 46
313 moves: 94	coalesceable: 61	coalesced: 51
314 moves: 125	coalesceable: 74	coalesced: 66
315 moves: 12	coalesceable: 12	coalesced: 12
316 moves: 118	coalesceable: 65	coalesced: 50
317 moves: 127	coalesceable: 80	coalesced: 60
318 moves: 6	coalesceable: 6	coalesced: 6
319 moves: 57	coalesceable: 37	coalesced: 33
320 moves: 6	coalesceable: 6	coalesced: 6
321 moves: 45	coalesceable: 26	coalesced: 24
322 moves: 6	coalesceable: 6	coalesced: 6
323 moves: 33	coalesceable: 13	coalesced: 11
324 moves: 4	coalesceable: 4	coalesced: 4
325 moves: 38	coalesceable: 30	coalesced: 29
326 moves: 47	coalesceable: 32	coalesced: 30

eval_cake: external register allocation finished --- Wed Dec 04 18:40:19 2024
Saved theorem _______ "temp_oracle_cv_eq"
Able to translate: temp_oracleeval_cake: cv_trans_deep_embedding oracle_def finished --- Wed Dec 04 18:40:22 2024
eval_cake: about to run cv_eval_raw on complie_cake_def --- Wed Dec 04 18:40:22 2024
Translating input to a cv term.
Took 0.0 seconds.
Looking for relevant cv code equations.
Took 0.1 seconds.
Found 1467 cv code equations to use.
Calling cv_compute.
Took 3.3 seconds.
eval_cake: cv_eval_raw complie_cake_def finished --- Wed Dec 04 18:40:26 2024
eval_cake: to_pair evaluation finished --- Wed Dec 04 18:40:26 2024
eval_cake: abbrevations for result defined --- Wed Dec 04 18:40:28 2024
eval_cake: new_spec run on result --- Wed Dec 04 18:40:28 2024
eval_cake: about to run cv_compute on export --- Wed Dec 04 18:40:28 2024
eval_cake: cv_compute on export finished --- Wed Dec 04 18:40:29 2024
eval_cake: theory tidy up finished --- Wed Dec 04 18:40:29 2024
Saved theorem _______ "sort_compiled"
Exporting theory "sortCompile" ... done.
Theory "sortCompile" took 20.1s to build
cc -O2 -o cake_sort sort.S /scratch/cakeml/regression/cakeml-2727/basis/basis_ffi.o -lm
/usr/bin/ld: warning: /tmp/cc25U58x.o: missing .note.GNU-stack section implies executable stack
/usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker
Linking /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/test_interpreterScript.uo to produce theory-builder executable
/scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/test_interpreterScript.sml:4: error: Structure (compilationLib) has not been declared
Found near open preamble helloProgTheory compilationLib basis
error in quse /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/test_interpreterScript.sml : Fail "Static Errors"
error in load /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/test_interpreterScript : Fail "Static Errors"
Uncaught exception at ./basis/FinalPolyML.sml:492: Fail "Static Errors"
Failed script build for /scratch/cakeml/regression/cakeml-2727/examples/compilation/x64/test_interpreterScript - exited with code 1