IntersectMBO · effectfully · Oct 27, 2023 · Sep 21, 2023 · Oct 3, 2023 · Oct 3, 2023
diff --git a/...st/semantics/0000020002010200020101020201000100010001020101020201010000020102.eval.golden b/...st/semantics/0000020002010200020101020201000100010001020101020201010000020102.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 684546394
-| mem: 2201563})
+({cpu: 667161612
+| mem: 2128559})
diff --git a/...st/semantics/0001000101000000010101000001000001010101010100000001000001010000.eval.golden b/...st/semantics/0001000101000000010101000001000001010101010100000001000001010000.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1248384556
-| mem: 4095836})
+({cpu: 1195333210
+| mem: 3872924})
diff --git a/...st/semantics/0003040402030103010203030303000200000104030002040304020400000102.eval.golden b/...st/semantics/0003040402030103010203030303000200000104030002040304020400000102.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1475736955
-| mem: 5642372})
+({cpu: 1341133917
+| mem: 5086528})
diff --git a/...st/semantics/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden b/...st/semantics/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 2471411815
-| mem: 8078179})
+({cpu: 2418360469
+| mem: 7855267})
diff --git a/...st/semantics/0101010001010101010101000100010100000001010000010001000001000101.eval.golden b/...st/semantics/0101010001010101010101000100010100000001010000010001000001000101.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 8454932933
-| mem: 24302140})
+({cpu: 8450102933
+| mem: 24281140})
diff --git a/...st/semantics/0101020201010201010200010102000201000201010102000102010201010000.eval.golden b/...st/semantics/0101020201010201010200010102000201000201010102000102010201010000.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 515690880
-| mem: 1742569})
+({cpu: 498306098
+| mem: 1669565})
diff --git a/...st/semantics/0101080808040600020306010000000302050807010208060100070207080202.eval.golden b/...st/semantics/0101080808040600020306010000000302050807010208060100070207080202.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1550341057
-| mem: 5448464})
+({cpu: 1497289711
+| mem: 5225552})
diff --git a/...st/semantics/0104010200020000040103020102020004040300030304040400010301040303.eval.golden b/...st/semantics/0104010200020000040103020102020004040300030304040400010301040303.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 841256504
-| mem: 3193135})
+({cpu: 823871722
+| mem: 3120131})
diff --git a/...st/semantics/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden b/...st/semantics/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1486667324
-| mem: 5104473})
+({cpu: 1433615978
+| mem: 4881561})
diff --git a/...st/semantics/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden b/...st/semantics/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1081648220
-| mem: 3836691})
+({cpu: 1064263438
+| mem: 3763687})
diff --git a/...st/semantics/0705030002040601010206030604080208020207000101060706050502040301.eval.golden b/...st/semantics/0705030002040601010206030604080208020207000101060706050502040301.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 2420276502
-| mem: 7718814})
+({cpu: 2415446502
+| mem: 7697814})
diff --git a/...st/semantics/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden b/...st/semantics/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1213016565
-| mem: 4558093})
+({cpu: 1195631783
+| mem: 4485089})
diff --git a/...st/semantics/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden b/...st/semantics/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1242684275
-| mem: 4719311})
+({cpu: 1205538413
+| mem: 4565799})
diff --git a/...st/semantics/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden b/...st/semantics/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1998958646
-| mem: 7314934})
+({cpu: 1906385016
+| mem: 6931006})
diff --git a/...st/semantics/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden b/...st/semantics/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1030103537
-| mem: 3389303})
+({cpu: 1012718755
+| mem: 3316299})
diff --git a/...st/semantics/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden b/...st/semantics/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1107167136
-| mem: 3967697})
+({cpu: 1054115790
+| mem: 3744785})
diff --git a/...st/semantics/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden b/...st/semantics/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 690273400
-| mem: 2482927})
+({cpu: 653127538
+| mem: 2329415})
diff --git a/...st/semantics/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden b/...st/semantics/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 898806501
-| mem: 3327897})
+({cpu: 881421719
+| mem: 3254893})
diff --git a/...st/semantics/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden b/...st/semantics/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1735698866
-| mem: 5196609})
+({cpu: 1718314084
+| mem: 5123605})
diff --git a/...st/semantics/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden b/...st/semantics/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1633775702
-| mem: 5802878})
+({cpu: 1580724356
+| mem: 5579966})
diff --git a/...st/semantics/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden b/...st/semantics/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1501952996
-| mem: 5101883})
+({cpu: 1448901650
+| mem: 4878971})
diff --git a/...st/semantics/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden b/...st/semantics/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 588889754
-| mem: 1949783})
+({cpu: 571504972
+| mem: 1876779})
diff --git a/...st/semantics/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden b/...st/semantics/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 35968684004
-| mem: 99151620})
+({cpu: 35963854004
+| mem: 99130620})
diff --git a/...st/semantics/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden b/...st/semantics/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 192057688781
-| mem: 541503022})
+({cpu: 192052858781
+| mem: 541482022})
diff --git a/...st/semantics/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden b/...st/semantics/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 828264925
-| mem: 2859700})
+({cpu: 775213579
+| mem: 2636788})
diff --git a/...st/semantics/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden b/...st/semantics/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 516588528
-| mem: 1771767})
+({cpu: 499203746
+| mem: 1698763})
diff --git a/...st/semantics/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden b/...st/semantics/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 757259000
-| mem: 2863394})
+({cpu: 704207654
+| mem: 2640482})
diff --git a/...st/semantics/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden b/...st/semantics/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 38983930944
-| mem: 109284782})
+({cpu: 38979100944
+| mem: 109263782})
diff --git a/...st/semantics/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden b/...st/semantics/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 4577400073
-| mem: 13569944})
+({cpu: 4524348727
+| mem: 13347032})
diff --git a/...st/semantics/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden b/...st/semantics/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 853030175
-| mem: 3233933})
+({cpu: 835645393
+| mem: 3160929})
diff --git a/...st/semantics/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden b/...st/semantics/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1581047006
-| mem: 5461638})
+({cpu: 1527995660
+| mem: 5238726})
diff --git a/...st/semantics/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden b/...st/semantics/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1621340262
-| mem: 6150412})
+({cpu: 1486737224
+| mem: 5594568})
diff --git a/...st/semantics/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden b/...st/semantics/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 494247642
-| mem: 1691439})
+({cpu: 476862860
+| mem: 1618435})
diff --git a/...st/semantics/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden b/...st/semantics/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 649372901
-| mem: 2336799})
+({cpu: 631988119
+| mem: 2263795})
diff --git a/...st/semantics/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden b/...st/semantics/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 978885993
-| mem: 3603166})
+({cpu: 925834647
+| mem: 3380254})
diff --git a/...st/semantics/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden b/...st/semantics/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1060944540
-| mem: 3910826})
+({cpu: 1007893194
+| mem: 3687914})
diff --git a/...st/semantics/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden b/...st/semantics/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 583794205
-| mem: 1937347})
+({cpu: 566409423
+| mem: 1864343})
diff --git a/...st/semantics/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden b/...st/semantics/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1562921703
-| mem: 5329870})
+({cpu: 1509870357
+| mem: 5106958})
diff --git a/...st/semantics/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden b/...st/semantics/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 671912358
-| mem: 2171327})
+({cpu: 654527576
+| mem: 2098323})
diff --git a/...st/semantics/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden b/...st/semantics/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1278263373
-| mem: 4814927})
+({cpu: 1241117449
+| mem: 4661415})
diff --git a/...st/semantics/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden b/...st/semantics/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 900183658
-| mem: 3288425})
+({cpu: 882798876
+| mem: 3215421})
diff --git a/...st/semantics/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden b/...st/semantics/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1958713633
-| mem: 6087250})
+({cpu: 1905662287
+| mem: 5864338})
diff --git a/...st/semantics/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden b/...st/semantics/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 370596209
-| mem: 1365899})
+({cpu: 353211427
+| mem: 1292895})
diff --git a/...st/semantics/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden b/...st/semantics/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 461416040
-| mem: 1621383})
+({cpu: 444031258
+| mem: 1548379})
diff --git a/...st/semantics/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden b/...st/semantics/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 554576787
-| mem: 1868889})
+({cpu: 537192005
+| mem: 1795885})
diff --git a/...st/semantics/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden b/...st/semantics/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1264812539
-| mem: 4670788})
+({cpu: 1211761193
+| mem: 4447876})
diff --git a/...st/semantics/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden b/...st/semantics/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 516588528
-| mem: 1771767})
+({cpu: 499203746
+| mem: 1698763})
diff --git a/...st/semantics/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden b/...st/semantics/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 617586481
-| mem: 2287729})
+({cpu: 580440619
+| mem: 2134217})
diff --git a/...st/semantics/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden b/...st/semantics/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1334884662
-| mem: 4676631})
+({cpu: 1317499880
+| mem: 4603627})
diff --git a/...st/semantics/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden b/...st/semantics/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1180146587
-| mem: 4489199})
+({cpu: 1143000663
+| mem: 4335687})
diff --git a/...st/semantics/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden b/...st/semantics/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 619656375
-| mem: 2308767})
+({cpu: 582510451
+| mem: 2155255})
diff --git a/...st/semantics/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden b/...st/semantics/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 518241765
-| mem: 1747771})
+({cpu: 500856983
+| mem: 1674767})
diff --git a/...st/semantics/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden b/...st/semantics/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 1071227946
-| mem: 3983474})
+({cpu: 1018176600
+| mem: 3760562})
diff --git a/...st/semantics/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden b/...st/semantics/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 807015182
-| mem: 2801361})
+({cpu: 769869258
+| mem: 2647849})
diff --git a/...st/semantics/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden b/...st/semantics/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 922630227
-| mem: 3461748})
+({cpu: 869578881
+| mem: 3238836})
diff --git a/...st/semantics/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden b/...st/semantics/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 79784955260
-| mem: 227165762})
+({cpu: 79780125260
+| mem: 227144762})
diff --git a/...st/semantics/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden b/...st/semantics/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 2650238898
-| mem: 8516132})
+({cpu: 2597187552
+| mem: 8293220})